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-3705828-1338109535/watcher-3705828-1338109535 -o /tmp/evaluation-result-3705828-1338109535/solver-3705828-1338109535 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705828-1338109535.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.02 1.89 1.89 3/176 26960
/proc/meminfo: memFree=31419400/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 277079210 6356992 735 33554432000 4194304 8973514 140736081637952 140735835314904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 1552 737 416 1167 0 333 0
[startup+0.0782521 s]
/proc/loadavg: 2.02 1.89 1.89 3/176 26960
/proc/meminfo: memFree=31419400/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 2101 0 0 0 7 0 0 0 20 0 1 0 277079210 11599872 2022 33554432000 4194304 8973514 140736081637952 140736081637216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 2832 2022 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100304 s]
/proc/loadavg: 2.02 1.89 1.89 3/176 26960
/proc/meminfo: memFree=31419400/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 2522 0 0 0 9 0 0 0 20 0 1 0 277079210 13697024 2443 33554432000 4194304 8973514 140736081637952 140736081637216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 3344 2443 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300291 s]
/proc/loadavg: 2.02 1.89 1.89 3/176 26960
/proc/meminfo: memFree=31419400/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=24640 CPUtime=0.29 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 5429 0 0 0 28 1 0 0 20 0 1 0 277079210 25231360 5350 33554432000 4194304 8973514 140736081637952 140736081637216 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 6160 5350 418 1167 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700302 s]
/proc/loadavg: 2.02 1.89 1.89 3/176 26960
/proc/meminfo: memFree=31419400/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=56384 CPUtime=0.69 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 13365 0 0 0 66 3 0 0 20 0 1 0 277079210 57737216 13286 33554432000 4194304 8973514 140736081637952 140736081637448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 14096 13286 418 1167 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56384
[startup+1.5069 s]
/proc/loadavg: 2.02 1.89 1.89 3/177 26961
/proc/meminfo: memFree=31322904/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=101440 CPUtime=1.49 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 24629 0 0 0 144 5 0 0 20 0 1 0 277079210 103874560 24550 33554432000 4194304 8973514 140736081637952 140736081637448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 25360 24550 418 1167 0 24141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101440
[startup+3.10032 s]
/proc/loadavg: 2.02 1.90 1.89 3/177 26961
/proc/meminfo: memFree=31234244/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=189504 CPUtime=3.09 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 46645 0 0 0 298 11 0 0 20 0 1 0 277079210 194052096 46566 33554432000 4194304 8973514 140736081637952 140736081637216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 47376 46566 418 1167 0 46157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 189504
[startup+6.30031 s]
/proc/loadavg: 2.02 1.90 1.89 3/177 26961
/proc/meminfo: memFree=31067092/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=434240 CPUtime=6.29 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 107639 0 0 0 607 22 0 0 20 0 1 0 277079210 444661760 107561 33554432000 4194304 8973514 140736081637952 140736081637216 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 108560 107568 418 1167 0 107341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 434240
[startup+12.7003 s]
/proc/loadavg: 2.01 1.90 1.89 3/177 26961
/proc/meminfo: memFree=30638324/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=784448 CPUtime=12.68 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 195395 0 0 0 1229 39 0 0 20 0 1 0 277079210 803274752 195316 33554432000 4194304 8973514 140736081637952 140736081637216 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 196112 195316 425 1167 0 194893 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 784448
[startup+25.5003 s]
/proc/loadavg: 2.01 1.90 1.89 3/177 26961
/proc/meminfo: memFree=30798036/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=623680 CPUtime=25.48 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 195414 0 0 0 2506 42 0 0 20 0 1 0 277079210 638648320 155143 33554432000 4194304 8973514 140736081637952 140736081637216 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 155920 155143 444 1167 0 154701 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 623680
[startup+51.1003 s]
/proc/loadavg: 2.07 1.92 1.90 3/177 26961
/proc/meminfo: memFree=30798252/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=623680 CPUtime=51.08 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 195414 0 0 0 5063 45 0 0 20 0 1 0 277079210 638648320 155143 33554432000 4194304 8973514 140736081637952 140736081635904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 155920 155143 444 1167 0 154701 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 623680
[startup+102.3 s]
/proc/loadavg: 2.03 1.93 1.90 3/177 26961
/proc/meminfo: memFree=30797552/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=623680 CPUtime=102.27 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 195418 0 0 0 10175 52 0 0 20 0 1 0 277079210 638648320 155143 33554432000 4194304 8973514 140736081637952 140736081635904 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 155920 155143 444 1167 0 154701 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 623680
[startup+162.3 s]
/proc/loadavg: 2.01 1.94 1.91 3/176 26961
/proc/meminfo: memFree=30780912/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=643136 CPUtime=162.25 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 200306 0 0 0 16164 61 0 0 20 0 1 0 277079210 658571264 160007 33554432000 4194304 8973514 140736081637952 140736081637448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 160784 160007 444 1167 0 159565 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 643136
[startup+222.3 s]
/proc/loadavg: 2.00 1.95 1.91 3/177 26962
/proc/meminfo: memFree=30715276/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=706624 CPUtime=222.22 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 216192 0 0 0 22151 71 0 0 20 0 1 0 277079210 723582976 175879 33554432000 4194304 8973514 140736081637952 140736081619968 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 176656 175879 444 1167 0 175437 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 706624
[startup+282.3 s]
/proc/loadavg: 2.07 1.97 1.91 3/178 26965
/proc/meminfo: memFree=30655280/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=769088 CPUtime=282.19 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 231671 0 0 0 28138 81 0 0 20 0 1 0 277079210 787546112 191333 33554432000 4194304 8973514 140736081637952 140736081637216 4441929 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 192272 191333 444 1167 0 191053 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 769088
[startup+342.3 s]
/proc/loadavg: 2.02 1.97 1.91 3/177 26965
/proc/meminfo: memFree=30607576/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=817216 CPUtime=342.16 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 243899 0 0 0 34125 91 0 0 20 0 1 0 277079210 836829184 203527 33554432000 4194304 8973514 140736081637952 140736081637216 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 204304 203527 444 1167 0 203085 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 817216
[startup+402.3 s]
/proc/loadavg: 2.01 1.97 1.91 3/177 26965
/proc/meminfo: memFree=30561600/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=862272 CPUtime=402.13 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 255165 0 0 0 40114 99 0 0 20 0 1 0 277079210 882966528 214764 33554432000 4194304 8973514 140736081637952 140736081637448 4209410 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 215568 214764 444 1167 0 214349 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 862272
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 26965
/proc/meminfo: memFree=30518600/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=903232 CPUtime=462.09 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 265448 0 0 0 46103 106 0 0 20 0 1 0 277079210 924909568 225002 33554432000 4194304 8973514 140736081637952 140736081619968 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 225808 225002 444 1167 0 224589 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 903232
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 26966
/proc/meminfo: memFree=30481924/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=940096 CPUtime=522.05 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 274541 0 0 0 52093 112 0 0 20 0 1 0 277079210 962658304 234061 33554432000 4194304 8973514 140736081637952 140736081619968 6842311 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 235024 234061 444 1167 0 233805 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 940096
[startup+582.307 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 26966
/proc/meminfo: memFree=30452068/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=971840 CPUtime=582.02 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 282648 0 0 0 58085 117 0 0 20 0 1 0 277079210 995164160 242138 33554432000 4194304 8973514 140736081637952 140736081619968 7716360 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 242960 242138 444 1167 0 241741 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 971840
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 1.99 1.92 3/177 26967
/proc/meminfo: memFree=30324860/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1096768 CPUtime=821.97 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 313710 0 0 0 82057 140 0 0 20 0 1 0 277079210 1123090432 273181 33554432000 4194304 8973514 140736081637952 140736081636160 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 274192 273181 444 1167 0 272973 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 1096768
[startup+882.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/178 26970
/proc/meminfo: memFree=30300052/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1124416 CPUtime=881.95 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 320797 0 0 0 88051 144 0 0 20 0 1 0 277079210 1151401984 280268 33554432000 4194304 8973514 140736081637952 140736081636160 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 281104 280268 444 1167 0 279885 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1124416
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26970
/proc/meminfo: memFree=30274392/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1148992 CPUtime=941.95 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 326876 0 0 0 94046 149 0 0 20 0 1 0 277079210 1176567808 286347 33554432000 4194304 8973514 140736081637952 140736081619968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 287248 286347 444 1167 0 286029 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1148992
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26970
/proc/meminfo: memFree=30227892/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1193024 CPUtime=1001.94 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 337849 0 0 0 100039 155 0 0 20 0 1 0 277079210 1221656576 297320 33554432000 4194304 8973514 140736081637952 140736081636160 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 298256 297320 444 1167 0 297037 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1193024
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26970
/proc/meminfo: memFree=30216484/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1201216 CPUtime=1061.93 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 340056 0 0 0 106035 158 0 0 20 0 1 0 277079210 1230045184 299527 33554432000 4194304 8973514 140736081637952 140736081636160 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 300304 299527 444 1167 0 299085 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1201216
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26971
/proc/meminfo: memFree=30188336/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1231936 CPUtime=1121.93 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 347736 0 0 0 112031 162 0 0 20 0 1 0 277079210 1261502464 307207 33554432000 4194304 8973514 140736081637952 140736081636160 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 307984 307207 444 1167 0 306765 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1231936
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26971
/proc/meminfo: memFree=30177920/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1243200 CPUtime=1181.91 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 350376 0 0 0 118024 167 0 0 20 0 1 0 277079210 1273036800 309847 33554432000 4194304 8973514 140736081637952 140736081637216 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 310800 309847 444 1167 0 309581 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1243200
[startup+1242.31 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26971
/proc/meminfo: memFree=30155848/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1264704 CPUtime=1241.91 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 355890 0 0 0 124019 172 0 0 20 0 1 0 277079210 1295056896 315361 33554432000 4194304 8973514 140736081637952 140736081636160 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 316176 315361 444 1167 0 314957 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1264704
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26972
/proc/meminfo: memFree=30137660/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1283136 CPUtime=1301.9 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 360457 0 0 0 130013 177 0 0 20 0 1 0 277079210 1313931264 319925 33554432000 4194304 8973514 140736081637952 140736081637216 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 320784 319925 444 1167 0 319565 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1283136
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/177 26973
/proc/meminfo: memFree=30116608/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1302592 CPUtime=1361.87 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 365258 0 0 0 136006 181 0 0 20 0 1 0 277079210 1333854208 324704 33554432000 4194304 8973514 140736081637952 140736081619968 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 325648 324704 444 1167 0 324429 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1302592
[startup+1422.3 s]
/proc/loadavg: 1.93 1.97 1.91 3/177 27013
/proc/meminfo: memFree=29740816/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1323072 CPUtime=1421.84 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 370567 0 0 0 142000 184 0 0 20 0 1 0 277079210 1354825728 329991 33554432000 4194304 8973514 140736081637952 140736081636160 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 330768 329991 444 1167 0 329549 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1323072
[startup+1482.3 s]
/proc/loadavg: 1.97 1.97 1.91 3/178 27016
/proc/meminfo: memFree=29722112/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1341504 CPUtime=1481.83 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 375194 0 0 0 147995 188 0 0 20 0 1 0 277079210 1373700096 334599 33554432000 4194304 8973514 140736081637952 140736081636160 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 335376 334599 444 1167 0 334157 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1341504
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27016
/proc/meminfo: memFree=29668768/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1394752 CPUtime=1541.81 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 388520 0 0 0 153988 193 0 0 20 0 1 0 277079210 1428226048 347911 33554432000 4194304 8973514 140736081637952 140736081619968 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 348688 347911 444 1167 0 347469 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1394752
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27016
/proc/meminfo: memFree=29663588/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1394752 CPUtime=1601.79 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 388520 0 0 0 159984 195 0 0 20 0 1 0 277079210 1428226048 347911 33554432000 4194304 8973514 140736081637952 140736081619968 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 348688 347911 444 1167 0 347469 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1394752
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27054
/proc/meminfo: memFree=29992684/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1400896 CPUtime=1661.79 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 389950 0 0 0 165981 198 0 0 20 0 1 0 277079210 1434517504 349341 33554432000 4194304 8973514 140736081637952 140736081636160 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 350224 349341 444 1167 0 349005 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1400896
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27055
/proc/meminfo: memFree=29770404/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1420352 CPUtime=1721.78 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 394797 0 0 0 171977 201 0 0 20 0 1 0 277079210 1454440448 354188 33554432000 4194304 8973514 140736081637952 140736081636160 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 355088 354188 444 1167 0 353869 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1420352
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 27055
/proc/meminfo: memFree=29649656/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1430592 CPUtime=1781.77 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 397350 0 0 0 177974 203 0 0 20 0 1 0 277079210 1464926208 356741 33554432000 4194304 8973514 140736081637952 140736081636160 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 357648 356741 444 1167 0 356429 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1430592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.06 1.99 1.92 3/177 27055
/proc/meminfo: memFree=29576216/32873844 swapFree=7112/7112
[pid=26960] ppid=26958 vsize=1441856 CPUtime=1800.07 cores=1,3,5,7
/proc/26960/stat : 26960 (toysat) R 26958 26960 19605 0 -1 4202496 400229 0 0 0 179803 204 0 0 20 0 1 0 277079210 1476460544 359620 33554432000 4194304 8973514 140736081637952 140736081636160 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/26960/statm: 360464 359620 444 1167 0 359245 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1441856
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.62
CPU time (s): 1800.09
CPU user time (s): 1798.03
CPU system time (s): 2.05969
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1441856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.05969
maximum resident set size= 1438480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400229
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= 341
involuntary context switches= 1852
runsolver used 3.44148 second user time and 9.99448 second system time
The end