runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inescp-1.0/rand08759d.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//rand08759d.cudf /home/misc2010/tmp/201007050905/inescp-1.0/rand08759d.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 0.45 0.16 4/38 24383 /proc/meminfo: memFree=514772/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=3720 CPUtime=0.01 /proc/24383/stat : 24383 (cudf-solver.py) R 24382 24382 24102 769 24102 4202496 626 0 0 0 0 1 0 0 25 0 1 0 524936989 3809280 529 1283457024 134512640 135539072 4294558416 18446744073709551615 4159511102 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/24383/statm: 930 529 324 251 0 231 0 [startup+0.126654 s] /proc/loadavg: 1.00 0.45 0.16 4/38 24383 /proc/meminfo: memFree=514772/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=0.01 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+0.208141 s] /proc/loadavg: 1.00 0.45 0.16 4/38 24383 /proc/meminfo: memFree=514772/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=0.01 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+0.306693 s] /proc/loadavg: 1.00 0.45 0.16 4/38 24383 /proc/meminfo: memFree=514772/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=0.01 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+0.706829 s] /proc/loadavg: 1.00 0.45 0.16 4/38 24383 /proc/meminfo: memFree=514772/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=0.01 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6380 [startup+1.50712 s] /proc/loadavg: 1.00 0.45 0.16 2/48 24393 /proc/meminfo: memFree=477028/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=0.01 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 748 0 0 0 0 1 0 0 25 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 [pid=24385] ppid=24383 vsize=865484 CPUtime=1.47 /proc/24385/stat : 24385 (java) S 24383 24382 24102 769 24102 4202496 16059 0 1 0 142 5 0 0 25 0 9 0 524936990 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159497362 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24385/statm: 216371 14648 2716 10 0 210709 0 [pid=24385/tid=24386] ppid=24383 vsize=865484 CPUtime=0.87 /proc/24385/task/24386/stat : 24386 (java) R 24383 24382 24102 769 24102 4202560 3514 0 1 0 87 0 0 0 25 0 9 0 524936991 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4124064358 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24385/tid=24387] ppid=24383 vsize=865484 CPUtime=0.49 /proc/24385/task/24387/stat : 24387 (java) S 24383 24382 24102 769 24102 4202560 10989 0 0 0 44 5 0 0 17 0 9 0 524936991 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159511560 0 0 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 [pid=24385/tid=24388] ppid=24383 vsize=865484 CPUtime=0 /proc/24385/task/24388/stat : 24388 (java) S 24383 24382 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 524936992 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159510768 0 4 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 [pid=24385/tid=24389] ppid=24383 vsize=865484 CPUtime=0 /proc/24385/task/24389/stat : 24389 (java) S 24383 24382 24102 769 24102 4202560 8 0 0 0 0 0 0 0 15 0 9 0 524936992 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159510768 0 4 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 [pid=24385/tid=24390] ppid=24383 vsize=865484 CPUtime=0 /proc/24385/task/24390/stat : 24390 (java) S 24383 24382 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 524936993 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159519056 0 4 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 [pid=24385/tid=24391] ppid=24383 vsize=865484 CPUtime=0.08 /proc/24385/task/24391/stat : 24391 (java) S 24383 24382 24102 769 24102 4202560 438 0 0 0 8 0 0 0 17 0 9 0 524936993 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159510768 0 4 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 [pid=24385/tid=24392] ppid=24383 vsize=865484 CPUtime=0 /proc/24385/task/24392/stat : 24392 (java) S 24383 24382 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 524936993 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159510768 0 4 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 [pid=24385/tid=24393] ppid=24383 vsize=865484 CPUtime=0 /proc/24385/task/24393/stat : 24393 (java) S 24383 24382 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 9 0 524936993 886255616 14648 1283457024 134512640 134550932 4292311008 18446744073709551615 4159511560 0 4 0 16800975 18446612132727116928 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 871864 [startup+3.11096 s] /proc/loadavg: 1.00 0.45 0.16 4/41 24398 /proc/meminfo: memFree=506836/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=2.13 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 804 18860 0 1 0 1 198 14 17 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 [pid=24397] ppid=24383 vsize=2900 CPUtime=0 /proc/24397/stat : 24397 (sh) S 24383 24382 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524937206 2969600 325 1283457024 134512640 135191968 4290365216 18446744073709551615 4158986654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24397/statm: 725 325 221 166 0 157 0 [pid=24398] ppid=24397 vsize=25820 CPUtime=0.93 /proc/24398/stat : 24398 (msuncore) R 24397 24382 24102 769 24102 4202496 16831 0 0 0 89 4 0 0 21 0 1 0 524937206 26439680 6257 1283457024 134512640 135858300 4286909424 18446744073709551615 135342424 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/24398/statm: 6455 6257 137 329 0 6124 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 35100 Solver just ended. Dumping a history of the last processes samples [startup+3.21097 s] /proc/loadavg: 1.00 0.45 0.16 4/41 24398 /proc/meminfo: memFree=506836/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=2.13 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 804 18860 0 1 0 1 198 14 17 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 [pid=24397] ppid=24383 vsize=2900 CPUtime=0 /proc/24397/stat : 24397 (sh) S 24383 24382 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524937206 2969600 325 1283457024 134512640 135191968 4290365216 18446744073709551615 4158986654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24397/statm: 725 325 221 166 0 157 0 [pid=24398] ppid=24397 vsize=25820 CPUtime=1.03 /proc/24398/stat : 24398 (msuncore) R 24397 24382 24102 769 24102 4202496 16831 0 0 0 99 4 0 0 21 0 1 0 524937206 26439680 6257 1283457024 134512640 135858300 4286909424 18446744073709551615 134662897 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/24398/statm: 6455 6257 137 329 0 6124 0 Current children cumulated CPU time (s) 3.16 Current children cumulated vsize (KiB) 35100 [startup+4.01116 s] /proc/loadavg: 1.00 0.46 0.17 3/41 24398 /proc/meminfo: memFree=483028/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=2.13 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 804 18860 0 1 0 1 198 14 17 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 [pid=24397] ppid=24383 vsize=2900 CPUtime=0 /proc/24397/stat : 24397 (sh) S 24383 24382 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524937206 2969600 325 1283457024 134512640 135191968 4290365216 18446744073709551615 4158986654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24397/statm: 725 325 221 166 0 157 0 [pid=24398] ppid=24397 vsize=25820 CPUtime=1.83 /proc/24398/stat : 24398 (msuncore) R 24397 24382 24102 769 24102 4202496 16831 0 0 0 179 4 0 0 25 0 1 0 524937206 26439680 6257 1283457024 134512640 135858300 4286909424 18446744073709551615 134670878 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/24398/statm: 6455 6257 137 329 0 6124 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 35100 [startup+4.41126 s] /proc/loadavg: 1.00 0.46 0.17 2/41 24398 /proc/meminfo: memFree=482160/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=2.13 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 804 18860 0 1 0 1 198 14 17 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 [pid=24397] ppid=24383 vsize=2900 CPUtime=0 /proc/24397/stat : 24397 (sh) S 24383 24382 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524937206 2969600 325 1283457024 134512640 135191968 4290365216 18446744073709551615 4158986654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24397/statm: 725 325 221 166 0 157 0 [pid=24398] ppid=24397 vsize=25820 CPUtime=2.23 /proc/24398/stat : 24398 (msuncore) R 24397 24382 24102 769 24102 4202496 16831 0 0 0 219 4 0 0 25 0 1 0 524937206 26439680 6257 1283457024 134512640 135858300 4286909424 18446744073709551615 134620357 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/24398/statm: 6455 6257 137 329 0 6124 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 35100 [startup+4.6113 s] /proc/loadavg: 1.00 0.46 0.17 2/41 24398 /proc/meminfo: memFree=482160/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) S 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=4000 CPUtime=2.13 /proc/24383/stat : 24383 (cudf-solver.py) S 24382 24382 24102 769 24102 4202496 804 18860 0 1 0 1 198 14 17 0 1 0 524936989 4096000 643 1283457024 134512640 135539072 4294558416 18446744073709551615 4159355294 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/24383/statm: 1000 643 348 251 0 301 0 [pid=24397] ppid=24383 vsize=2900 CPUtime=0 /proc/24397/stat : 24397 (sh) S 24383 24382 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524937206 2969600 325 1283457024 134512640 135191968 4290365216 18446744073709551615 4158986654 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24397/statm: 725 325 221 166 0 157 0 [pid=24398] ppid=24397 vsize=25820 CPUtime=2.43 /proc/24398/stat : 24398 (msuncore) R 24397 24382 24102 769 24102 4202496 16831 0 0 0 239 4 0 0 25 0 1 0 524937206 26439680 6257 1283457024 134512640 135858300 4286909424 18446744073709551615 134652762 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/24398/statm: 6455 6257 137 329 0 6124 0 Current children cumulated CPU time (s) 4.56 Current children cumulated vsize (KiB) 35100 [startup+4.72569 s] /proc/loadavg: 1.00 0.46 0.17 2/41 24398 /proc/meminfo: memFree=482160/1048576 swapFree=2095456/2097144 [pid=24382] ppid=24381 vsize=2380 CPUtime=0 /proc/24382/stat : 24382 (inescp-1.0) R 24381 24382 24102 769 24102 4194304 360 0 0 0 0 0 0 0 18 0 1 0 524936989 2437120 259 1283457024 134512640 135191968 4292698368 18446744073709551615 4159482270 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/24382/statm: 595 259 222 166 0 27 0 [pid=24383] ppid=24382 vsize=0 CPUtime=4.66 /proc/24383/stat : 24383 (cudf-solver.py) Z 24382 24382 24102 769 24102 4202508 2386 36548 0 1 6 3 437 20 15 0 1 0 524936989 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/24383/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.66 Current children cumulated vsize (KiB) 2380 Child status: 0 Real time (s): 4.72729 CPU time (s): 4.68029 CPU user time (s): 4.44028 CPU system time (s): 0.240015 CPU usage (%): 99.0057 Max. virtual memory (cumulated for all children) (KiB): 872184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.44028 system time used= 0.240015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39304 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1179 involuntary context switches= 1313 runsolver used 0 second user time and 0 second system time The end