runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3285111-1304049218/watcher-3285111-1304049218 -o /tmp/evaluation-result-3285111-1304049218/solver-3285111-1304049218 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3285111-1304049218.cnf 1825873942 4800 15500 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.98 7.72 7.89 5/182 16681
/proc/meminfo: memFree=15778192/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[startup+0.103983 s]
/proc/loadavg: 6.98 7.72 7.89 5/182 16681
/proc/meminfo: memFree=15778192/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.200958 s]
/proc/loadavg: 6.98 7.72 7.89 5/182 16681
/proc/meminfo: memFree=15778192/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300938 s]
/proc/loadavg: 6.98 7.72 7.89 5/182 16681
/proc/meminfo: memFree=15778192/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700862 s]
/proc/loadavg: 6.98 7.72 7.89 5/182 16681
/proc/meminfo: memFree=15778192/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.78566 s]
/proc/loadavg: 6.98 7.72 7.89 5/182 16681
/proc/meminfo: memFree=15778192/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+3.10042 s]
/proc/loadavg: 6.90 7.69 7.88 6/184 16683
/proc/meminfo: memFree=15180752/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=646824 CPUtime=3.09 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) R 16681 16681 15086 0 -1 4202496 166298 0 0 0 288 21 0 0 18 0 1 0 595152867 662347776 150290 33554432000 4194304 5787044 140736536989072 18446744073709551615 4448971 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16682/statm: 161706 150290 308 389 0 157456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 655524
[startup+6.3008 s]
/proc/loadavg: 6.90 7.69 7.88 9/188 16687
/proc/meminfo: memFree=13281604/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=3066040 CPUtime=13.97 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 716063 0 0 0 1292 105 0 0 18 0 5 0 595152867 3139624960 694348 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 766510 694348 402 389 0 762260 0
[pid=16682/tid=16684] ppid=16681 vsize=3066040 CPUtime=3.1 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 80530 0 0 0 293 17 0 0 20 0 5 0 595153183 3139624960 694348 33554432000 4194304 5787044 140736536989072 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=3066040 CPUtime=2.58 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 80801 0 0 0 244 14 0 0 19 0 5 0 595153235 3139624960 694348 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=3066040 CPUtime=2.01 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 78600 0 0 0 191 10 0 0 19 0 5 0 595153292 3139624960 694348 33554432000 4194304 5787044 140736536989072 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=3066040 CPUtime=1.4 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 74399 0 0 0 129 11 0 0 19 0 5 0 595153355 3139624960 694348 33554432000 4194304 5787044 140736536989072 18446744073709551615 5524674 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.97
Current children cumulated vsize (KiB) 3074740
[startup+12.7006 s]
/proc/loadavg: 7.07 7.70 7.88 9/188 16687
/proc/meminfo: memFree=12811792/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=3316616 CPUtime=39.53 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 776923 0 0 0 3840 113 0 0 18 0 5 0 595152867 3396214784 739367 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 829154 739367 413 389 0 824904 0
[pid=16682/tid=16684] ppid=16681 vsize=3316616 CPUtime=9.5 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 85481 0 0 0 932 18 0 0 25 0 5 0 595153183 3396214784 739367 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=3316616 CPUtime=8.98 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 82491 0 0 0 883 15 0 0 25 0 5 0 595153235 3396214784 739367 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220674 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=3316616 CPUtime=8.37 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 79552 0 0 0 827 10 0 0 25 0 5 0 595153292 3396214784 739367 33554432000 4194304 5787044 140736536989072 18446744073709551615 5588283 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=3316616 CPUtime=7.81 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 127666 0 0 0 763 18 0 0 25 0 5 0 595153355 3396214784 739367 33554432000 4194304 5787044 140736536989072 18446744073709551615 4330484 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (KiB) 3325316
[startup+25.5003 s]
/proc/loadavg: 7.21 7.71 7.88 6/180 16709
/proc/meminfo: memFree=13136492/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=3747184 CPUtime=90.65 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 914167 0 0 0 8935 130 0 0 18 0 5 0 595152867 3837116416 854112 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 936796 854112 414 389 0 932546 0
[pid=16682/tid=16684] ppid=16681 vsize=3747184 CPUtime=22.31 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 88004 0 0 0 2212 19 0 0 25 0 5 0 595153183 3837116416 854112 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220916 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=3747184 CPUtime=21.78 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 102225 0 0 0 2161 17 0 0 25 0 5 0 595153235 3837116416 854112 33554432000 4194304 5787044 140736536989072 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=3747184 CPUtime=21.1 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 81078 0 0 0 2098 12 0 0 25 0 5 0 595153292 3837116416 854112 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220873 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=3747184 CPUtime=20.61 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 241127 0 0 0 2030 31 0 0 25 0 5 0 595153355 3837116416 854112 33554432000 4194304 5787044 140736536989072 18446744073709551615 47822743327895 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 90.65
Current children cumulated vsize (KiB) 3755884
[startup+51.1005 s]
/proc/loadavg: 7.05 7.62 7.85 9/188 16721
/proc/meminfo: memFree=8521476/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=3878256 CPUtime=192.9 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1027720 0 0 0 19128 162 0 0 18 0 5 0 595152867 3971334144 882207 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 969564 882207 416 389 0 965314 0
[pid=16682/tid=16684] ppid=16681 vsize=3878256 CPUtime=47.89 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 94428 0 0 0 4764 25 0 0 25 0 5 0 595153183 3971334144 882207 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=3878256 CPUtime=47.38 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 102231 0 0 0 4721 17 0 0 25 0 5 0 595153235 3971334144 882207 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220878 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=3878256 CPUtime=46.56 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 83606 0 0 0 4639 17 0 0 25 0 5 0 595153292 3971334144 882207 33554432000 4194304 5787044 140736536989072 18446744073709551615 260020045004 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=3878256 CPUtime=46.21 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 345722 0 0 0 4570 51 0 0 25 0 5 0 595153355 3971334144 882207 33554432000 4194304 5787044 140736536989072 18446744073709551615 4307837 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 192.9
Current children cumulated vsize (KiB) 3886956
[startup+102.301 s]
/proc/loadavg: 7.67 7.70 7.86 9/188 16722
/proc/meminfo: memFree=7727304/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=3970916 CPUtime=397.4 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1119536 0 0 0 39555 185 0 0 18 0 5 0 595152867 4066217984 909515 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 992729 909515 417 389 0 988479 0
[pid=16682/tid=16684] ppid=16681 vsize=3970916 CPUtime=99.09 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 96348 0 0 0 9883 26 0 0 25 0 5 0 595153183 4066217984 909515 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220778 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=3970916 CPUtime=98.58 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 104479 0 0 0 9840 18 0 0 25 0 5 0 595153235 4066217984 909515 33554432000 4194304 5787044 140736536989072 18446744073709551615 5576446 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=3970916 CPUtime=97.47 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 91139 0 0 0 9729 18 0 0 25 0 5 0 595153292 4066217984 909515 33554432000 4194304 5787044 140736536989072 18446744073709551615 5592856 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=3970916 CPUtime=97.41 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 425837 0 0 0 9669 72 0 0 25 0 5 0 595153355 4066217984 909515 33554432000 4194304 5787044 140736536989072 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 397.4
Current children cumulated vsize (KiB) 3979616
[startup+162.301 s]
/proc/loadavg: 7.92 7.77 7.87 9/188 16724
/proc/meminfo: memFree=7245236/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4101988 CPUtime=637.07 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1174128 0 0 0 63509 198 0 0 18 0 5 0 595152867 4200435712 930632 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1025497 930632 417 389 0 1021247 0
[pid=16682/tid=16684] ppid=16681 vsize=4101988 CPUtime=159.09 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 96391 0 0 0 15883 26 0 0 25 0 5 0 595153183 4200435712 930632 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220896 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4101988 CPUtime=158.58 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105133 0 0 0 15840 18 0 0 25 0 5 0 595153235 4200435712 930632 33554432000 4194304 5787044 140736536989072 18446744073709551615 4228014 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4101988 CPUtime=157.14 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 91166 0 0 0 15696 18 0 0 25 0 5 0 595153292 4200435712 930632 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105450 0 0 0 81840 19 0 0 25 0 5 0 595153235 4789739520 1064356 33554432000 4194304 5787044 140736536989072 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4677480 CPUtime=813.44 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 94261 0 0 0 81323 21 0 0 25 0 5 0 595153292 4789739520 1064356 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4677480 CPUtime=817.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 826197 0 0 0 81576 162 0 0 25 0 5 0 595153355 4789739520 1064356 33554432000 4194304 5787044 140736536989072 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3273.35
Current children cumulated vsize (KiB) 4686180
[startup+882.301 s]
/proc/loadavg: 8.21 8.08 7.95 9/188 16784
/proc/meminfo: memFree=10617156/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4677480 CPUtime=3513.02 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1599395 0 0 0 351003 299 0 0 18 0 5 0 595152867 4789739520 1064366 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1169370 1064366 417 389 0 1165120 0
[pid=16682/tid=16684] ppid=16681 vsize=4677480 CPUtime=879.09 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 112836 0 0 0 87877 32 0 0 25 0 5 0 595153183 4789739520 1064366 33554432000 4194304 5787044 140736536989072 18446744073709551615 4227988 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4677480 CPUtime=878.59 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105450 0 0 0 87840 19 0 0 25 0 5 0 595153235 4789739520 1064366 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220930 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4677480 CPUtime=873.11 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 94262 0 0 0 87290 21 0 0 25 0 5 0 595153292 4789739520 1064366 33554432000 4194304 5787044 140736536989072 18446744073709551615 5592653 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4677480 CPUtime=877.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 885114 0 0 0 87562 176 0 0 25 0 5 0 595153355 4789739520 1064366 33554432000 4194304 5787044 140736536989072 18446744073709551615 4325559 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3513.02
Current children cumulated vsize (KiB) 4686180
[startup+942.301 s]
/proc/loadavg: 8.14 8.08 7.95 9/188 16786
/proc/meminfo: memFree=10616656/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4677480 CPUtime=3752.69 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1599397 0 0 0 374970 299 0 0 18 0 5 0 595152867 4789739520 1064368 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1169370 1064368 417 389 0 1165120 0
[pid=16682/tid=16684] ppid=16681 vsize=4677480 CPUtime=939.08 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 112838 0 0 0 93876 32 0 0 25 0 5 0 595153183 4789739520 1064368 33554432000 4194304 5787044 140736536989072 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4677480 CPUtime=938.59 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105450 0 0 0 93840 19 0 0 25 0 5 0 595153235 4789739520 1064368 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220811 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4677480 CPUtime=932.78 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 94262 0 0 0 93257 21 0 0 25 0 5 0 595153292 4789739520 1064368 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591097 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4677480 CPUtime=937.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 885114 0 0 0 93562 176 0 0 25 0 5 0 595153355 4789739520 1064368 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220699 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3752.69
Current children cumulated vsize (KiB) 4686180
[startup+1002.3 s]
/proc/loadavg: 8.11 8.08 7.96 9/188 16787
/proc/meminfo: memFree=10616284/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4677480 CPUtime=3992.36 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1599399 0 0 0 398937 299 0 0 18 0 5 0 595152867 4789739520 1064370 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1169370 1064370 417 389 0 1165120 0
[pid=16682/tid=16684] ppid=16681 vsize=4677480 CPUtime=999.08 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 112838 0 0 0 99876 32 0 0 25 0 5 0 595153183 4789739520 1064370 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220288 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4677480 CPUtime=998.6 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105450 0 0 0 99841 19 0 0 25 0 5 0 595153235 4789739520 1064370 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4677480 CPUtime=992.45 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 94264 0 0 0 99224 21 0 0 25 0 5 0 595153292 4789739520 1064370 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4677480 CPUtime=997.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 885114 0 0 0 99562 176 0 0 25 0 5 0 595153355 4789739520 1064370 33554432000 4194304 5787044 140736536989072 18446744073709551615 4227997 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3992.36
Current children cumulated vsize (KiB) 4686180
[startup+1062.3 s]
/proc/loadavg: 8.10 8.08 7.96 9/188 16789
/proc/meminfo: memFree=10533460/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4677480 CPUtime=4232.04 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1604538 0 0 0 422903 301 0 0 18 0 5 0 595152867 4789739520 1069509 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1169370 1069509 417 389 0 1165120 0
[pid=16682/tid=16684] ppid=16681 vsize=4677480 CPUtime=1059.08 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 112838 0 0 0 105876 32 0 0 25 0 5 0 595153183 4789739520 1069509 33554432000 4194304 5787044 140736536989072 18446744073709551615 4221237 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4677480 CPUtime=1058.59 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105450 0 0 0 105840 19 0 0 25 0 5 0 595153235 4789739520 1069509 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220286 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4677480 CPUtime=1052.13 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 99403 0 0 0 105191 22 0 0 25 0 5 0 595153292 4789739520 1069509 33554432000 4194304 5787044 140736536989072 18446744073709551615 4228069 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4677480 CPUtime=1057.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 885114 0 0 0 105562 176 0 0 25 0 5 0 595153355 4789739520 1069509 33554432000 4194304 5787044 140736536989072 18446744073709551615 4330666 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4232.04
Current children cumulated vsize (KiB) 4686180
[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 7.97 9/188 16791
/proc/meminfo: memFree=10329724/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4743016 CPUtime=4471.55 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1710332 0 0 0 446829 326 0 0 18 0 5 0 595152867 4856848384 1092160 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1185754 1092160 417 389 0 1181504 0
[pid=16682/tid=16684] ppid=16681 vsize=4743016 CPUtime=1119.09 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 118062 0 0 0 111875 34 0 0 25 0 5 0 595153183 4856848384 1092160 33554432000 4194304 5787044 140736536989072 18446744073709551615 4254912 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4743016 CPUtime=1118.59 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105506 0 0 0 111840 19 0 0 25 0 5 0 595153235 4856848384 1092160 33554432000 4194304 5787044 140736536989072 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4743016 CPUtime=1111.63 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 107064 0 0 0 111140 23 0 0 25 0 5 0 595153292 4856848384 1092160 33554432000 4194304 5787044 140736536989072 18446744073709551615 4218750 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4743016 CPUtime=1117.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 977967 0 0 0 111540 198 0 0 25 0 5 0 595153355 4856848384 1092160 33554432000 4194304 5787044 140736536989072 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4471.55
Current children cumulated vsize (KiB) 4751716
[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 7.98 9/188 16792
/proc/meminfo: memFree=10193316/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4763820 CPUtime=4711.25 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1716935 0 0 0 470798 327 0 0 18 0 5 0 595152867 4878151680 1098763 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1190955 1098763 417 389 0 1186705 0
[pid=16682/tid=16684] ppid=16681 vsize=4763820 CPUtime=1179.09 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 118075 0 0 0 117875 34 0 0 25 0 5 0 595153183 4878151680 1098763 33554432000 4194304 5787044 140736536989072 18446744073709551615 4229536 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4763820 CPUtime=1178.6 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105506 0 0 0 117841 19 0 0 25 0 5 0 595153235 4878151680 1098763 33554432000 4194304 5787044 140736536989072 18446744073709551615 4228026 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4763820 CPUtime=1171.31 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 108013 0 0 0 117108 23 0 0 25 0 5 0 595153292 4878151680 1098763 33554432000 4194304 5787044 140736536989072 18446744073709551615 4228026 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4763820 CPUtime=1177.38 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 983608 0 0 0 117539 199 0 0 25 0 5 0 595153355 4878151680 1098763 33554432000 4194304 5787044 140736536989072 18446744073709551615 4330472 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4711.25
Current children cumulated vsize (KiB) 4772520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1204.6 s]
/proc/loadavg: 8.17 8.10 7.98 9/188 16793
/proc/meminfo: memFree=9980780/32951124 swapFree=67111528/67111528
[pid=16681] ppid=16679 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16681/stat : 16681 (priss.sh) S 16679 16681 15086 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 595152867 8908800 252 33554432000 4194304 4922060 140734205804064 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/16681/statm: 2175 252 211 178 0 68 0
[pid=16682] ppid=16681 vsize=4969492 CPUtime=4800.32 cores=0,2,4,6
/proc/16682/stat : 16682 (priss) S 16681 16681 15086 0 -1 4202496 1781303 0 0 0 479697 335 0 0 18 0 5 0 595152867 5088759808 1151653 33554432000 4194304 5787044 140736536989072 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16682/statm: 1242373 1151653 417 389 0 1238123 0
[pid=16682/tid=16684] ppid=16681 vsize=4969492 CPUtime=1201.39 cores=0,2,4,6
/proc/16682/task/16684/stat : 16684 (priss) R 16681 16681 15086 0 -1 4202560 119575 0 0 0 120105 34 0 0 25 0 5 0 595153183 5088759808 1151653 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16682/tid=16685] ppid=16681 vsize=4969492 CPUtime=1200.9 cores=0,2,4,6
/proc/16682/task/16685/stat : 16685 (priss) R 16681 16681 15086 0 -1 4202560 105506 0 0 0 120071 19 0 0 25 0 5 0 595153235 5088759808 1151653 33554432000 4194304 5787044 140736536989072 18446744073709551615 4229318 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=16682/tid=16686] ppid=16681 vsize=4969492 CPUtime=1193.49 cores=0,2,4,6
/proc/16682/task/16686/stat : 16686 (priss) R 16681 16681 15086 0 -1 4202560 108137 0 0 0 119325 24 0 0 25 0 5 0 595153292 5088759808 1151653 33554432000 4194304 5787044 140736536989072 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=16682/tid=16687] ppid=16681 vsize=4969492 CPUtime=1199.69 cores=0,2,4,6
/proc/16682/task/16687/stat : 16687 (priss) R 16681 16681 15086 0 -1 4202560 1046352 0 0 0 119762 207 0 0 25 0 5 0 595153355 5088759808 1151653 33554432000 4194304 5787044 140736536989072 18446744073709551615 4325547 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 4978192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16681 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1204.62
CPU time (s): 4800.32
CPU user time (s): 4796.97
CPU system time (s): 3.35
CPU usage (%): 398.493
Max. virtual memory (cumulated for all children) (KiB): 5059772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3
runsolver used 1.9727 second user time and 4.6113 second system time
The end