runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3725015-1338633334/watcher-3725015-1338633334 -o /tmp/evaluation-result-3725015-1338633334/solver-3725015-1338633334 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725015-1338633334.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 785 0 0 0 0 0 0 0 20 0 1 0 329458815 6373376 706 33554432000 4194304 8989770 140733595208352 140735624860872 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 1556 706 425 1171 0 333 0
[startup+0.0994181 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2251 0 0 0 9 0 0 0 20 0 1 0 329458815 12664832 2173 33554432000 4194304 8989770 140733595208352 140733595207848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3092 2180 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.100324 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2386 0 0 0 9 0 0 0 20 0 1 0 329458815 13713408 2307 33554432000 4194304 8989770 140733595208352 140733595207848 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3348 2312 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.300261 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=13392 CPUtime=0.29 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2641 0 0 0 29 0 0 0 20 0 1 0 329458815 13713408 2562 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3348 2562 442 1171 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392
[startup+0.700265 s]
/proc/loadavg: 2.00 1.99 1.69 3/174 1128
/proc/meminfo: memFree=26129576/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=13392 CPUtime=0.68 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2670 0 0 0 68 0 0 0 20 0 1 0 329458815 13713408 2591 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3348 2591 471 1171 0 2125 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13392
[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26120136/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=14416 CPUtime=1.49 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 2926 0 0 0 148 1 0 0 20 0 1 0 329458815 14761984 2847 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 3604 2847 471 1171 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14416
[startup+3.10032 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26118260/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=17488 CPUtime=3.08 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 3694 0 0 0 307 1 0 0 20 0 1 0 329458815 17907712 3615 33554432000 4194304 8989770 140733595208352 140733595207848 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 4372 3615 471 1171 0 3149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17488
[startup+6.3003 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26112688/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=21584 CPUtime=6.28 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 4720 0 0 0 626 2 0 0 20 0 1 0 329458815 22102016 4641 33554432000 4194304 8989770 140733595208352 140733595207848 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 5396 4641 473 1171 0 4173 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21584
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26109240/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=22608 CPUtime=12.68 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 4976 0 0 0 1263 5 0 0 20 0 1 0 329458815 23150592 4897 33554432000 4194304 8989770 140733595208352 140733595207616 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 5652 4897 473 1171 0 4429 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22608
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.69 3/175 1129
/proc/meminfo: memFree=26106256/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=26704 CPUtime=25.48 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 6003 0 0 0 2539 9 0 0 20 0 1 0 329458815 27344896 5921 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 6676 5921 473 1171 0 5453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26704
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.70 3/175 1130
/proc/meminfo: memFree=26099176/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=31824 CPUtime=51.07 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 7287 0 0 0 5086 21 0 0 20 0 1 0 329458815 32587776 7201 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 7956 7201 473 1171 0 6733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31824
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.72 3/175 1130
/proc/meminfo: memFree=26090112/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=37968 CPUtime=102.26 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 8827 0 0 0 10188 38 0 0 20 0 1 0 329458815 38879232 8737 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 9492 8737 473 1171 0 8269 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37968
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/175 1130
/proc/meminfo: memFree=26084336/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=37968 CPUtime=162.25 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 9596 0 0 0 16165 60 0 0 20 0 1 0 329458815 38879232 8737 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 9492 8737 473 1171 0 8269 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37968
[startup+222.3 s]
/proc/loadavg: 2.08 2.00 1.75 3/175 1168
/proc/meminfo: memFree=25844708/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=48208 CPUtime=222.25 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 12157 0 0 0 22143 82 0 0 20 0 1 0 329458815 49364992 11297 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12052 11297 473 1171 0 10829 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 48208
[startup+282.3 s]
/proc/loadavg: 2.03 2.00 1.76 3/176 1171
/proc/meminfo: memFree=25726372/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=42064 CPUtime=282.23 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 13693 0 0 0 28121 102 0 0 20 0 1 0 329458815 43073536 9761 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 10516 9761 473 1171 0 9293 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42064
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 1.78 3/174 1171
/proc/meminfo: memFree=25627836/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=48208 CPUtime=342.22 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 15229 0 0 0 34098 124 0 0 20 0 1 0 329458815 49364992 11297 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12052 11297 473 1171 0 10829 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48208
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.79 3/175 1172
/proc/meminfo: memFree=25563564/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=42064 CPUtime=402.21 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 15229 0 0 0 40075 146 0 0 20 0 1 0 329458815 43073536 9761 33554432000 4194304 8989770 140733595208352 140733595207848 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 10516 9761 473 1171 0 9293 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 42064
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/175 1172
/proc/meminfo: memFree=25499484/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=43088 CPUtime=462.21 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 15741 0 0 0 46053 168 0 0 20 0 1 0 329458815 44122112 10017 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 10772 10017 473 1171 0 9549 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 43088
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/175 1172
/proc/meminfo: memFree=25438876/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=46160 CPUtime=522.19 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 17021 0 0 0 52030 189 0 0 20 0 1 0 329458815 47267840 10785 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 11540 10785 473 1171 0 10317 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 46160
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/175 1172
/proc/meminfo: memFree=25389180/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=45136 CPUtime=582.18 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 17789 0 0 0 58010 208 0 0 20 0 1 0 329458815 46219264 10529 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 11284 10529 473 1171 0 10061 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 45136
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.85 3/175 1173
/proc/meminfo: memFree=25204476/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=50256 CPUtime=822.14 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 27025 0 0 0 81915 299 0 0 20 0 1 0 329458815 51462144 11809 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12564 11809 473 1171 0 11341 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 50256
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/176 1176
/proc/meminfo: memFree=25165656/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=50256 CPUtime=882.13 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 27025 0 0 0 87893 320 0 0 20 0 1 0 329458815 51462144 11809 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12564 11809 473 1171 0 11341 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 50256
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/175 1176
/proc/meminfo: memFree=25122884/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=51280 CPUtime=942.12 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 28305 0 0 0 93867 345 0 0 20 0 1 0 329458815 52510720 12065 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12820 12065 473 1171 0 11597 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 51280
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 1177
/proc/meminfo: memFree=25089528/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=54352 CPUtime=1002.11 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 29073 0 0 0 99845 366 0 0 20 0 1 0 329458815 55656448 12833 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 13588 12833 473 1171 0 12365 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 54352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 1177
/proc/meminfo: memFree=25058156/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=58448 CPUtime=1062.1 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 30097 0 0 0 105821 389 0 0 20 0 1 0 329458815 59850752 13857 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 14612 13857 473 1171 0 13389 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 58448
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 1177
/proc/meminfo: memFree=25013640/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=71760 CPUtime=1122.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 33425 0 0 0 111799 410 0 0 20 0 1 0 329458815 73482240 17185 33554432000 4194304 8989770 140733595208352 140733595207848 4213723 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 17940 17185 473 1171 0 16717 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 71760
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 1177
/proc/meminfo: memFree=24991872/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=62544 CPUtime=1182.09 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 34961 0 0 0 117777 432 0 0 20 0 1 0 329458815 64045056 14881 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15636 14881 473 1171 0 14413 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 62544
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 1177
/proc/meminfo: memFree=24959660/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=62544 CPUtime=1242.08 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 34961 0 0 0 123757 451 0 0 20 0 1 0 329458815 64045056 14881 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15636 14881 473 1171 0 14413 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 62544
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 1178
/proc/meminfo: memFree=24924100/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=66640 CPUtime=1302.07 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 35985 0 0 0 129736 471 0 0 20 0 1 0 329458815 68239360 15905 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 16660 15905 473 1171 0 15437 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 66640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 1178
/proc/meminfo: memFree=24898152/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=58448 CPUtime=1362.06 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 35985 0 0 0 135713 493 0 0 20 0 1 0 329458815 59850752 13857 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 14612 13857 473 1171 0 13389 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 58448
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1178
/proc/meminfo: memFree=24873080/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=50256 CPUtime=1422.05 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 35990 0 0 0 141692 513 0 0 20 0 1 0 329458815 51462144 11809 33554432000 4194304 8989770 140733595208352 140733595207616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 12564 11809 473 1171 0 11341 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 50256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 1181
/proc/meminfo: memFree=24831640/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=54352 CPUtime=1482.03 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 38043 0 0 0 147670 533 0 0 20 0 1 0 329458815 55656448 12833 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 13588 12833 473 1171 0 12365 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 54352
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 1204
/proc/meminfo: memFree=24813172/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=56400 CPUtime=1542.02 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 38555 0 0 0 153647 555 0 0 20 0 1 0 329458815 57753600 13345 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 14100 13345 473 1171 0 12877 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 56400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1205
/proc/meminfo: memFree=24779204/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=54352 CPUtime=1602.01 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 38555 0 0 0 159624 577 0 0 20 0 1 0 329458815 55656448 12833 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 13588 12833 473 1171 0 12365 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 54352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1205
/proc/meminfo: memFree=24755272/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=61520 CPUtime=1662 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 40347 0 0 0 165603 597 0 0 20 0 1 0 329458815 62996480 14625 33554432000 4194304 8989770 140733595208352 140733595207616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15380 14625 473 1171 0 14157 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 61520
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 1205
/proc/meminfo: memFree=24718444/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=61520 CPUtime=1721.99 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 40347 0 0 0 171579 620 0 0 20 0 1 0 329458815 62996480 14625 33554432000 4194304 8989770 140733595208352 140733595207456 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 15380 14625 473 1171 0 14157 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 61520
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/175 1205
/proc/meminfo: memFree=24685584/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=74832 CPUtime=1781.99 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 43675 0 0 0 177554 645 0 0 20 0 1 0 329458815 76627968 17953 33554432000 4194304 8989770 140733595208352 140733595207848 4213743 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 18708 17953 473 1171 0 17485 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 74832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.91 3/175 1205
/proc/meminfo: memFree=24663388/32873852 swapFree=6856/6856
[pid=1128] ppid=1126 vsize=77904 CPUtime=1800.08 cores=1,3,5,7
/proc/1128/stat : 1128 (toysat) R 1126 1128 909 0 -1 4202496 44443 0 0 0 179358 650 0 0 20 0 1 0 329458815 79773696 18721 33554432000 4194304 8989770 140733595208352 140733595207848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/1128/statm: 19476 18721 473 1171 0 18253 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 77904
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)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1793.59
CPU system time (s): 6.51001
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 82000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.59
system time used= 6.51001
maximum resident set size= 78980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44443
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= 46
involuntary context switches= 1849
runsolver used 3.41048 second user time and 10.1045 second system time
The end