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-3725348-1338638344/watcher-3725348-1338638344 -o /tmp/evaluation-result-3725348-1338638344/solver-3725348-1338638344 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725348-1338638344.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 2.00 1.98 3/176 26567
/proc/meminfo: memFree=28658568/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 837 0 0 0 0 0 0 0 20 0 1 0 329960045 7421952 756 33554432000 4194304 8989770 140733715320384 140736222690376 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 1812 756 429 1171 0 589 0
[startup+0.028351 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 26567
/proc/meminfo: memFree=28658568/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=8272 CPUtime=0.02 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 1146 0 0 0 2 0 0 0 20 0 1 0 329960045 8470528 1065 33554432000 4194304 8989770 140733715320384 140736222690376 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 2068 1065 430 1171 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8272
[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 26567
/proc/meminfo: memFree=28658568/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 329960045 12664832 2289 33554432000 4194304 8989770 140733715320384 140736222690376 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 3092 2289 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.30031 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 26567
/proc/meminfo: memFree=28658568/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=28752 CPUtime=0.29 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 6405 0 0 0 28 1 0 0 20 0 1 0 329960045 29442048 6324 33554432000 4194304 8989770 140733715320384 140733715319880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 7188 6324 442 1171 0 5965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28752
[startup+0.700323 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 26567
/proc/meminfo: memFree=28658568/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=31824 CPUtime=0.69 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 7164 0 0 0 68 1 0 0 20 0 1 0 329960045 32587776 7083 33554432000 4194304 8989770 140733715320384 140733715319880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 7956 7083 471 1171 0 6733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31824
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26568
/proc/meminfo: memFree=28631660/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=31824 CPUtime=1.49 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 7280 0 0 0 148 1 0 0 20 0 1 0 329960045 32587776 7199 33554432000 4194304 8989770 140733715320384 140733715302400 4453704 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 7956 7199 471 1171 0 6733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31824
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26568
/proc/meminfo: memFree=28631388/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=32848 CPUtime=3.09 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 7536 0 0 0 308 1 0 0 20 0 1 0 329960045 33636352 7455 33554432000 4194304 8989770 140733715320384 140733715302400 4554541 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 8212 7455 471 1171 0 6989 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32848
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26568
/proc/meminfo: memFree=28627916/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=34896 CPUtime=6.29 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 7811 0 0 0 627 2 0 0 20 0 1 0 329960045 35733504 7730 33554432000 4194304 8989770 140733715320384 140733715319880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 8724 7730 471 1171 0 7501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34896
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26568
/proc/meminfo: memFree=28625956/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=36944 CPUtime=12.69 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 8560 0 0 0 1266 3 0 0 20 0 1 0 329960045 37830656 8479 33554432000 4194304 8989770 140733715320384 140733715302400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 9236 8479 471 1171 0 8013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36944
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26568
/proc/meminfo: memFree=28618888/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=41040 CPUtime=25.49 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 9584 0 0 0 2544 5 0 0 20 0 1 0 329960045 42024960 9503 33554432000 4194304 8989770 140733715320384 140733715318336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 10260 9503 471 1171 0 9037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41040
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26568
/proc/meminfo: memFree=28606736/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=50256 CPUtime=51.08 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 11888 0 0 0 5100 8 0 0 20 0 1 0 329960045 51462144 11807 33554432000 4194304 8989770 140733715320384 140733715302336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 12564 11807 471 1171 0 11341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50256
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26571
/proc/meminfo: memFree=28582272/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=67664 CPUtime=102.28 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 16241 0 0 0 10211 17 0 0 20 0 1 0 329960045 69287936 16159 33554432000 4194304 8989770 140733715320384 140733715302400 5397989 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 16916 16159 471 1171 0 15693 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67664
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 26595
/proc/meminfo: memFree=28557656/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=80976 CPUtime=162.26 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 19576 0 0 0 16202 24 0 0 20 0 1 0 329960045 82919424 19489 33554432000 4194304 8989770 140733715320384 140733715319880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 20244 19489 473 1171 0 19021 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 80976
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 26595
/proc/meminfo: memFree=28538200/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=91216 CPUtime=222.25 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 23160 0 0 0 22193 32 0 0 20 0 1 0 329960045 93405184 22049 33554432000 4194304 8989770 140733715320384 140733715319880 4435168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 22804 22049 473 1171 0 21581 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 91216
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 26595
/proc/meminfo: memFree=28529492/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=91216 CPUtime=282.24 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 23160 0 0 0 28185 39 0 0 20 0 1 0 329960045 93405184 22049 33554432000 4194304 8989770 140733715320384 140733715319648 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 22804 22049 473 1171 0 21581 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 91216
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/177 26595
/proc/meminfo: memFree=28514092/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=97360 CPUtime=342.23 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 24699 0 0 0 34175 48 0 0 20 0 1 0 329960045 99696640 23585 33554432000 4194304 8989770 140733715320384 140733715318336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 24340 23585 473 1171 0 23117 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 97360
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 26595
/proc/meminfo: memFree=28505908/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=98384 CPUtime=402.22 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 24955 0 0 0 40167 55 0 0 20 0 1 0 329960045 100745216 23841 33554432000 4194304 8989770 140733715320384 140733715319648 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 24596 23841 473 1171 0 23373 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 98384
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 26596
/proc/meminfo: memFree=28486440/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=107600 CPUtime=462.21 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 27259 0 0 0 46158 63 0 0 20 0 1 0 329960045 110182400 26145 33554432000 4194304 8989770 140733715320384 140733715319880 4436671 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 26900 26145 473 1171 0 25677 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 107600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 26596
/proc/meminfo: memFree=28487916/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=99408 CPUtime=522.2 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 31099 0 0 0 52149 71 0 0 20 0 1 0 329960045 101793792 24097 33554432000 4194304 8989770 140733715320384 140733715302400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 24852 24097 473 1171 0 23629 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 99408
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 26596
/proc/meminfo: memFree=28481756/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=99408 CPUtime=582.19 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 31103 0 0 0 58141 78 0 0 20 0 1 0 329960045 101793792 24097 33554432000 4194304 8989770 140733715320384 140733715302400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 24852 24097 473 1171 0 23629 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 99408
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26600
/proc/meminfo: memFree=28413692/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=127056 CPUtime=822.14 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38023 0 0 0 82105 109 0 0 20 0 1 0 329960045 130105344 31009 33554432000 4194304 8989770 140733715320384 140733715318336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 31764 31009 473 1171 0 30541 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 127056
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26600
/proc/meminfo: memFree=28413816/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=127056 CPUtime=882.14 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38023 0 0 0 88096 118 0 0 20 0 1 0 329960045 130105344 31009 33554432000 4194304 8989770 140733715320384 140733715319880 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 31764 31009 473 1171 0 30541 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 127056
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26600
/proc/meminfo: memFree=28427528/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=127056 CPUtime=942.13 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38023 0 0 0 94088 125 0 0 20 0 1 0 329960045 130105344 31009 33554432000 4194304 8989770 140733715320384 140733715302400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 31764 31009 473 1171 0 30541 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 127056
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=28430236/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=123984 CPUtime=1002.12 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38023 0 0 0 100081 131 0 0 20 0 1 0 329960045 126959616 30241 33554432000 4194304 8989770 140733715320384 140733715302400 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 30996 30241 473 1171 0 29773 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 123984
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26600
/proc/meminfo: memFree=28430176/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=123984 CPUtime=1062.1 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38794 0 0 0 106072 138 0 0 20 0 1 0 329960045 126959616 30241 33554432000 4194304 8989770 140733715320384 140733715302400 4209591 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 30996 30241 473 1171 0 29773 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 123984
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=28430168/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=123984 CPUtime=1122.09 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38794 0 0 0 112064 145 0 0 20 0 1 0 329960045 126959616 30241 33554432000 4194304 8989770 140733715320384 140733715319880 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 30996 30241 473 1171 0 29773 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 123984
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=28430168/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=123984 CPUtime=1182.08 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 38794 0 0 0 118055 153 0 0 20 0 1 0 329960045 126959616 30241 33554432000 4194304 8989770 140733715320384 140733715318400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 30996 30241 473 1171 0 29773 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 123984
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=28428556/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=126032 CPUtime=1242.08 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 39306 0 0 0 124045 163 0 0 20 0 1 0 329960045 129056768 30753 33554432000 4194304 8989770 140733715320384 140733715302400 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 31508 30753 473 1171 0 30285 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 126032
[startup+1302.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 26643
/proc/meminfo: memFree=28540204/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=123984 CPUtime=1302.08 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 44170 0 0 0 130036 172 0 0 20 0 1 0 329960045 126959616 30241 33554432000 4194304 8989770 140733715320384 140733715302400 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 30996 30241 473 1171 0 29773 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 123984
[startup+1362.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 26643
/proc/meminfo: memFree=28538032/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=115792 CPUtime=1362.06 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 44172 0 0 0 136026 180 0 0 20 0 1 0 329960045 118571008 28193 33554432000 4194304 8989770 140733715320384 140733715318400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 28948 28193 473 1171 0 27725 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 115792
[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 26644
/proc/meminfo: memFree=28519088/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=119888 CPUtime=1422.06 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 45196 0 0 0 142017 189 0 0 20 0 1 0 329960045 122765312 29217 33554432000 4194304 8989770 140733715320384 140733715319648 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 29972 29217 473 1171 0 28749 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 119888
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 26644
/proc/meminfo: memFree=28498860/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=120912 CPUtime=1482.03 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 45452 0 0 0 148008 195 0 0 20 0 1 0 329960045 123813888 29473 33554432000 4194304 8989770 140733715320384 140733715302400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 30228 29473 473 1171 0 29005 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 120912
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26644
/proc/meminfo: memFree=28460404/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=141392 CPUtime=1542.02 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 50580 0 0 0 153999 203 0 0 20 0 1 0 329960045 144785408 34593 33554432000 4194304 8989770 140733715320384 140733715319880 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 35348 34593 473 1171 0 34125 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 141392
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26644
/proc/meminfo: memFree=28440944/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=141392 CPUtime=1602.01 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 50580 0 0 0 159988 213 0 0 20 0 1 0 329960045 144785408 34593 33554432000 4194304 8989770 140733715320384 140733715319880 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 35348 34593 473 1171 0 34125 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 141392
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 26645
/proc/meminfo: memFree=28404380/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=158800 CPUtime=1662.01 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 54932 0 0 0 165981 220 0 0 20 0 1 0 329960045 162611200 38945 33554432000 4194304 8989770 140733715320384 140733715319880 4451632 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 39700 38945 473 1171 0 38477 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 158800
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26646
/proc/meminfo: memFree=28397724/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=144464 CPUtime=1722 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 55956 0 0 0 171971 229 0 0 20 0 1 0 329960045 147931136 35361 33554432000 4194304 8989770 140733715320384 140733715319648 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 36116 35361 473 1171 0 34893 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 144464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26646
/proc/meminfo: memFree=28377488/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=144464 CPUtime=1781.97 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 55967 0 0 0 177961 236 0 0 20 0 1 0 329960045 147931136 35361 33554432000 4194304 8989770 140733715320384 140733715318336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 36116 35361 473 1171 0 34893 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 144464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26646
/proc/meminfo: memFree=28370600/32873844 swapFree=7112/7112
[pid=26567] ppid=26565 vsize=144464 CPUtime=1800.07 cores=1,3,5,7
/proc/26567/stat : 26567 (toysat) R 26565 26567 25979 0 -1 4202496 55967 0 0 0 179769 238 0 0 20 0 1 0 329960045 147931136 35361 33554432000 4194304 8989770 140733715320384 140733715302400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26567/statm: 36116 35361 473 1171 0 34893 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 144464
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.09
CPU user time (s): 1797.7
CPU system time (s): 2.39064
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 162896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 2.39064
maximum resident set size= 159876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55967
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= 48
involuntary context switches= 1850
runsolver used 3.68044 second user time and 10.1355 second system time
The end