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-3706178-1338247782/watcher-3706178-1338247782 -o /tmp/evaluation-result-3706178-1338247782/solver-3706178-1338247782 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706178-1338247782.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: 1.97 2.00 2.00 3/176 18123
/proc/meminfo: memFree=27336144/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 290903432 6356992 720 33554432000 4194304 8973514 140734370717888 140735215240008 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 1552 724 411 1167 0 333 0
[startup+0.0826511 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 18123
/proc/meminfo: memFree=27336144/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 1902 0 0 0 7 0 0 0 20 0 1 0 290903432 11599872 1823 33554432000 4194304 8973514 140734370717888 140735215240008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 2832 1823 415 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100322 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 18123
/proc/meminfo: memFree=27336144/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 2254 0 0 0 9 0 0 0 20 0 1 0 290903432 12648448 2175 33554432000 4194304 8973514 140734370717888 140735215240008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 3088 2175 417 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300316 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 18123
/proc/meminfo: memFree=27336144/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 5065 0 0 0 28 1 0 0 20 0 1 0 290903432 24182784 4986 33554432000 4194304 8973514 140734370717888 140735215240008 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 5904 4994 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616
[startup+0.700311 s]
/proc/loadavg: 1.97 2.00 2.00 3/176 18123
/proc/meminfo: memFree=27336144/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=43072 CPUtime=0.68 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 10035 0 0 0 67 1 0 0 20 0 1 0 290903432 44105728 9956 33554432000 4194304 8973514 140734370717888 140734370717384 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 10768 9956 418 1167 0 9549 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43072
[startup+1.50032 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 18124
/proc/meminfo: memFree=27268060/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=96320 CPUtime=1.48 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 23347 0 0 0 144 4 0 0 20 0 1 0 290903432 98631680 23268 33554432000 4194304 8973514 140734370717888 140734370717384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 24080 23268 418 1167 0 22861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 96320
[startup+3.10032 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 18124
/proc/meminfo: memFree=27176044/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=184384 CPUtime=3.09 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 45311 0 0 0 300 9 0 0 20 0 1 0 290903432 188809216 45232 33554432000 4194304 8973514 140734370717888 140734370716728 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 46096 45241 418 1167 0 44877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 184384
[startup+6.30689 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 18124
/proc/meminfo: memFree=26958556/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=383040 CPUtime=6.29 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 95027 0 0 0 610 19 0 0 20 0 1 0 290903432 392232960 94948 33554432000 4194304 8973514 140734370717888 140734370717152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 95760 94948 418 1167 0 94541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 383040
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 2.01 3/177 18125
/proc/meminfo: memFree=26666032/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=674880 CPUtime=12.69 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 167987 0 0 0 1235 34 0 0 20 0 1 0 290903432 691077120 167908 33554432000 4194304 8973514 140734370717888 140734370717384 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 168720 167908 418 1167 0 167501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 674880
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 18128
/proc/meminfo: memFree=25753252/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1586240 CPUtime=25.48 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 395827 0 0 0 2472 76 0 0 20 0 1 0 290903432 1624309760 395748 33554432000 4194304 8973514 140734370717888 140734370700984 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 396560 395748 418 1167 0 395341 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1586240
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 18128
/proc/meminfo: memFree=25253796/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=2084928 CPUtime=51.08 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 520517 0 0 0 5006 102 0 0 20 0 1 0 290903432 2134966272 520438 33554432000 4194304 8973514 140734370717888 140734370717152 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 521232 520438 430 1167 0 520013 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2084928
[startup+102.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 18128
/proc/meminfo: memFree=26323056/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1016896 CPUtime=102.27 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 520542 0 0 0 10106 121 0 0 20 0 1 0 290903432 1041301504 253455 33554432000 4194304 8973514 140734370717888 140734370717384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 254224 253455 455 1167 0 253005 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1016896
[startup+162.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 18128
/proc/meminfo: memFree=26322932/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1016896 CPUtime=162.27 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 520542 0 0 0 16088 139 0 0 20 0 1 0 290903432 1041301504 253455 33554432000 4194304 8973514 140734370717888 140734370717152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 254224 253455 455 1167 0 253005 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1016896
[startup+222.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 18128
/proc/meminfo: memFree=26322932/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1016896 CPUtime=222.25 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 520542 0 0 0 22069 156 0 0 20 0 1 0 290903432 1041301504 253455 33554432000 4194304 8973514 140734370717888 140734370717152 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 254224 253455 455 1167 0 253005 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1016896
[startup+282.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 18128
/proc/meminfo: memFree=26318344/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1022016 CPUtime=282.25 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 521822 0 0 0 28054 171 0 0 20 0 1 0 290903432 1046544384 254735 33554432000 4194304 8973514 140734370717888 140734370717384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 255504 254735 455 1167 0 254285 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1022016
[startup+342.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 18129
/proc/meminfo: memFree=26297884/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1045568 CPUtime=342.23 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 527710 0 0 0 34034 189 0 0 20 0 1 0 290903432 1070661632 260623 33554432000 4194304 8973514 140734370717888 140734370717384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 261392 260623 455 1167 0 260173 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1045568
[startup+402.307 s]
/proc/loadavg: 2.07 2.07 2.01 3/178 18130
/proc/meminfo: memFree=26272208/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1068096 CPUtime=402.24 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 533342 0 0 0 40018 206 0 0 20 0 1 0 290903432 1093730304 266255 33554432000 4194304 8973514 140734370717888 140734370717384 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 267024 266255 455 1167 0 265805 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 1068096
[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 18169
/proc/meminfo: memFree=25012344/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1076288 CPUtime=462.22 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 535390 0 0 0 45998 224 0 0 20 0 1 0 290903432 1102118912 268303 33554432000 4194304 8973514 140734370717888 140734370717384 4204350 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 269072 268303 455 1167 0 267853 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1076288
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 18169
/proc/meminfo: memFree=26266260/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1091648 CPUtime=522.2 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 539232 0 0 0 51979 241 0 0 20 0 1 0 290903432 1117847552 272143 33554432000 4194304 8973514 140734370717888 140734370717152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 272912 272143 455 1167 0 271693 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1091648
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 18169
/proc/meminfo: memFree=26262320/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1095744 CPUtime=582.2 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 540258 0 0 0 57964 256 0 0 20 0 1 0 290903432 1122041856 273167 33554432000 4194304 8973514 140734370717888 140734370717384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 273936 273167 455 1167 0 272717 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1095744
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 18173
/proc/meminfo: memFree=26253628/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1104960 CPUtime=822.14 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 542584 0 0 0 81896 318 0 0 20 0 1 0 290903432 1131479040 275471 33554432000 4194304 8973514 140734370717888 140734370717152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 276240 275471 455 1167 0 275021 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 1104960
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18173
/proc/meminfo: memFree=26253656/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1104960 CPUtime=882.13 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 542593 0 0 0 87877 336 0 0 20 0 1 0 290903432 1131479040 275471 33554432000 4194304 8973514 140734370717888 140734370717152 4213833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 276240 275471 455 1167 0 275021 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 1104960
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18174
/proc/meminfo: memFree=26250832/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1108032 CPUtime=942.13 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 543361 0 0 0 93860 353 0 0 20 0 1 0 290903432 1134624768 276239 33554432000 4194304 8973514 140734370717888 140734370717152 4213380 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 277008 276239 455 1167 0 275789 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1108032
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18174
/proc/meminfo: memFree=26249744/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1109056 CPUtime=1002.11 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 543619 0 0 0 99843 368 0 0 20 0 1 0 290903432 1135673344 276495 33554432000 4194304 8973514 140734370717888 140734370717152 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 277264 276495 455 1167 0 276045 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1109056
[startup+1062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18174
/proc/meminfo: memFree=26249648/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1109056 CPUtime=1062.1 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 543625 0 0 0 105826 384 0 0 20 0 1 0 290903432 1135673344 276495 33554432000 4194304 8973514 140734370717888 140734370717152 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 277264 276495 455 1167 0 276045 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1109056
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18174
/proc/meminfo: memFree=26249676/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1109056 CPUtime=1122.08 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 543625 0 0 0 111811 397 0 0 20 0 1 0 290903432 1135673344 276495 33554432000 4194304 8973514 140734370717888 140734370717152 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 277264 276495 455 1167 0 276045 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1109056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18174
/proc/meminfo: memFree=26249828/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1109056 CPUtime=1182.07 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 543625 0 0 0 117798 409 0 0 20 0 1 0 290903432 1135673344 276495 33554432000 4194304 8973514 140734370717888 140734370717384 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 277264 276495 455 1167 0 276045 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1109056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18178
/proc/meminfo: memFree=26239308/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1119296 CPUtime=1242.06 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 546185 0 0 0 123779 427 0 0 20 0 1 0 290903432 1146159104 279055 33554432000 4194304 8973514 140734370717888 140734370715840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 279824 279055 455 1167 0 278605 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1119296
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18178
/proc/meminfo: memFree=26239344/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1119296 CPUtime=1302.05 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 546185 0 0 0 129764 441 0 0 20 0 1 0 290903432 1146159104 279055 33554432000 4194304 8973514 140734370717888 140734370717384 4209280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 279824 279055 455 1167 0 278605 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1119296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18178
/proc/meminfo: memFree=26233048/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1125440 CPUtime=1362.05 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 547721 0 0 0 135746 459 0 0 20 0 1 0 290903432 1152450560 280591 33554432000 4194304 8973514 140734370717888 140734370715840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 281360 280591 455 1167 0 280141 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1125440
[startup+1422.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 18178
/proc/meminfo: memFree=26233448/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1125440 CPUtime=1422.04 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 547721 0 0 0 141735 469 0 0 20 0 1 0 290903432 1152450560 280591 33554432000 4194304 8973514 140734370717888 140734370717384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 281360 280591 455 1167 0 280141 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1125440
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 18178
/proc/meminfo: memFree=26233600/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1125440 CPUtime=1482.04 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 547721 0 0 0 147723 481 0 0 20 0 1 0 290903432 1152450560 280591 33554432000 4194304 8973514 140734370717888 140734370717152 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 281360 280591 455 1167 0 280141 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1125440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18179
/proc/meminfo: memFree=26233628/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1125440 CPUtime=1542.03 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 547721 0 0 0 153710 493 0 0 20 0 1 0 290903432 1152450560 280591 33554432000 4194304 8973514 140734370717888 140734370715904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 281360 280591 455 1167 0 280141 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1125440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18179
/proc/meminfo: memFree=26231672/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1127488 CPUtime=1602.02 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 548233 0 0 0 159695 507 0 0 20 0 1 0 290903432 1154547712 281103 33554432000 4194304 8973514 140734370717888 140734370715840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 281872 281103 455 1167 0 280653 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1127488
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 18179
/proc/meminfo: memFree=26231080/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1127488 CPUtime=1662.01 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 548233 0 0 0 165676 525 0 0 20 0 1 0 290903432 1154547712 281103 33554432000 4194304 8973514 140734370717888 140734370717384 7716760 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 281872 281103 455 1167 0 280653 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1127488
[startup+1722.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 18179
/proc/meminfo: memFree=26226892/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1131584 CPUtime=1722 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 549257 0 0 0 171664 536 0 0 20 0 1 0 290903432 1158742016 282127 33554432000 4194304 8973514 140734370717888 140734370717384 4214048 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 282896 282127 455 1167 0 281677 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1131584
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 18179
/proc/meminfo: memFree=26225928/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1131584 CPUtime=1781.99 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 549257 0 0 0 177652 547 0 0 20 0 1 0 290903432 1158742016 282127 33554432000 4194304 8973514 140734370717888 140734370717384 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 282896 282127 455 1167 0 281677 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1131584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.41 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 18179
/proc/meminfo: memFree=26226160/32873844 swapFree=7116/7116
[pid=18123] ppid=18121 vsize=1131584 CPUtime=1800.09 cores=1,3,5,7
/proc/18123/stat : 18123 (toysat) R 18121 18123 16905 0 -1 4202496 549257 0 0 0 179460 549 0 0 20 0 1 0 290903432 1158742016 282127 33554432000 4194304 8973514 140734370717888 140734370717152 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/18123/statm: 282896 282127 455 1167 0 281677 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1131584
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.42
CPU time (s): 1800.11
CPU user time (s): 1794.61
CPU system time (s): 5.50516
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 2084928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 5.50516
maximum resident set size= 2081752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549257
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= 1863
runsolver used 4.15937 second user time and 9.8455 second system time
The end