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-3733437-1338695567/watcher-3733437-1338695567 -o /tmp/evaluation-result-3733437-1338695567/solver-3733437-1338695567 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733437-1338695567.opb
running on 4 cores: 0,2,4,6
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 2.00 3/176 12643
/proc/meminfo: memFree=26886060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=13216 CPUtime=0 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 335680771 13533184 425 33554432000 134512640 135840783 4290547184 4290546112 3077415 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 3304 425 332 325 0 2063 0
[startup+0.0109541 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12643
/proc/meminfo: memFree=26886060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=13508 CPUtime=0 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 335680771 13832192 511 33554432000 134512640 135840783 4290547184 4290545840 3077415 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 3377 511 348 325 0 2136 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13508
[startup+0.100199 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12643
/proc/meminfo: memFree=26886060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=9048 CPUtime=0.09 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 1758 0 0 0 9 0 0 0 20 0 1 0 335680771 9265152 1518 33554432000 134512640 135840783 4290547184 4290417244 2081840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 2262 1518 345 325 0 1198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9048
[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12643
/proc/meminfo: memFree=26886060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=9908 CPUtime=0.29 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 2066 0 0 0 29 0 0 0 20 0 1 0 335680771 10145792 1742 33554432000 134512640 135840783 4290547184 4290544688 134547744 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 2477 1742 348 325 0 1413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9908
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12643
/proc/meminfo: memFree=26886060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=13876 CPUtime=0.68 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 3059 0 0 0 68 0 0 0 20 0 1 0 335680771 14209024 2735 33554432000 134512640 135840783 4290547184 4290546544 134551182 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 3469 2735 348 325 0 2405 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13876
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26874024/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=19168 CPUtime=1.49 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 4354 0 0 0 148 1 0 0 20 0 1 0 335680771 19628032 4030 33554432000 134512640 135840783 4290547184 4290544624 134547653 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 4792 4030 348 325 0 3728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19168
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26867700/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=26308 CPUtime=3.09 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 6150 0 0 0 308 1 0 0 20 0 1 0 335680771 26939392 5826 33554432000 134512640 135840783 4290547184 4290544256 3077415 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 6577 5826 348 325 0 5513 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26308
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26856416/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=35832 CPUtime=6.28 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 8529 0 0 0 627 1 0 0 20 0 1 0 335680771 36691968 8205 33554432000 134512640 135840783 4290547184 4290546496 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 8958 8205 348 325 0 7894 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35832
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26842940/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=48396 CPUtime=12.69 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 11681 0 0 0 1266 3 0 0 20 0 1 0 335680771 49557504 11357 33554432000 134512640 135840783 4290547184 4290546544 134551797 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 12099 11357 348 325 0 11035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48396
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26827200/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=64004 CPUtime=25.48 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 15563 0 0 0 2544 4 0 0 20 0 1 0 335680771 65540096 15239 33554432000 134512640 135840783 4290547184 4290546544 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 16001 15239 348 325 0 14937 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64004
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26802972/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=87812 CPUtime=51.08 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 21539 0 0 0 5101 7 0 0 20 0 1 0 335680771 89919488 21215 33554432000 134512640 135840783 4290547184 4290546496 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 21953 21215 348 325 0 20889 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87812
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12644
/proc/meminfo: memFree=26759484/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=131500 CPUtime=102.24 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 32471 0 0 0 10213 11 0 0 20 0 1 0 335680771 134656000 32136 33554432000 134512640 135840783 4290547184 4290546496 134550948 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 32875 32136 348 325 0 31811 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 131500
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12644
/proc/meminfo: memFree=26729576/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=161524 CPUtime=162.2 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 40010 0 0 0 16205 15 0 0 20 0 1 0 335680771 165400576 39638 33554432000 134512640 135840783 4290547184 4290546496 134551058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 40381 39638 348 325 0 39317 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 161524
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26695724/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=195388 CPUtime=222.18 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 48498 0 0 0 22198 20 0 0 20 0 1 0 335680771 200077312 48126 33554432000 134512640 135840783 4290547184 4290546320 3074702 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 48847 48126 348 325 0 47783 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 195388
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12644
/proc/meminfo: memFree=26573708/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=318432 CPUtime=282.17 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 79266 0 0 0 28186 31 0 0 20 0 1 0 335680771 326074368 78894 33554432000 134512640 135840783 4290547184 4290546544 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 79608 78894 348 325 0 78544 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 318432
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12645
/proc/meminfo: memFree=26429620/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=461800 CPUtime=342.15 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 115105 0 0 0 34175 40 0 0 20 0 1 0 335680771 472883200 114733 33554432000 134512640 135840783 4290547184 4290546496 134550820 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 115450 114733 348 325 0 114386 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 461800
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12645
/proc/meminfo: memFree=26368488/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=523172 CPUtime=402.13 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 130434 0 0 0 40166 47 0 0 20 0 1 0 335680771 535728128 130062 33554432000 134512640 135840783 4290547184 4290546544 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 130793 130062 348 325 0 129729 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 523172
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12648
/proc/meminfo: memFree=26333928/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=557972 CPUtime=462.13 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 139134 0 0 0 46160 53 0 0 20 0 1 0 335680771 571363328 138762 33554432000 134512640 135840783 4290547184 4290546544 134551336 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 139493 138762 348 325 0 138429 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 557972
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12671
/proc/meminfo: memFree=26156936/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=704260 CPUtime=522.11 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 175727 0 0 0 52148 63 0 0 20 0 1 0 335680771 721162240 175338 33554432000 134512640 135840783 4290547184 4290546544 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 176065 175338 348 325 0 175001 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 704260
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12671
/proc/meminfo: memFree=26092792/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=766808 CPUtime=582.1 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 191354 0 0 0 58142 68 0 0 20 0 1 0 335680771 785211392 190961 33554432000 134512640 135840783 4290547184 4290546544 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 191702 190961 348 325 0 190638 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 766808
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12711
/proc/meminfo: memFree=25912084/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=952168 CPUtime=881.98 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 237774 0 0 0 88110 88 0 0 20 0 1 0 335680771 975020032 237296 33554432000 134512640 135840783 4290547184 4290546544 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 238042 237296 348 325 0 236978 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 952168
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12712
/proc/meminfo: memFree=25842672/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=971484 CPUtime=941.95 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 242661 0 0 0 94104 91 0 0 20 0 1 0 335680771 994799616 242140 33554432000 134512640 135840783 4290547184 4290546544 134550913 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 242871 242140 348 325 0 241807 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 971484
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12712
/proc/meminfo: memFree=25773044/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=990404 CPUtime=1001.93 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 247390 0 0 0 100099 94 0 0 20 0 1 0 335680771 1014173696 246869 33554432000 134512640 135840783 4290547184 4290546544 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 247601 246869 348 325 0 246537 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 990404
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12715
/proc/meminfo: memFree=25732460/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1006548 CPUtime=1061.92 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 251442 0 0 0 106096 96 0 0 20 0 1 0 335680771 1030705152 250921 33554432000 134512640 135840783 4290547184 4290546496 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 251637 250921 348 325 0 250573 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1006548
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12715
/proc/meminfo: memFree=25685816/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1022160 CPUtime=1121.91 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 255327 0 0 0 112092 99 0 0 20 0 1 0 335680771 1046691840 254806 33554432000 134512640 135840783 4290547184 4290546496 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 255540 254806 348 325 0 254476 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1022160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12715
/proc/meminfo: memFree=25566060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1097292 CPUtime=1181.9 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 274101 0 0 0 118084 106 0 0 20 0 1 0 335680771 1123627008 273580 33554432000 134512640 135840783 4290547184 4290546544 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 274323 273580 348 325 0 273259 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1097292
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12716
/proc/meminfo: memFree=25468748/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1158144 CPUtime=1241.9 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 289329 0 0 0 124077 113 0 0 20 0 1 0 335680771 1185939456 288808 33554432000 134512640 135840783 4290547184 4290546544 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 289536 288808 348 325 0 288472 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1158144
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12716
/proc/meminfo: memFree=25374288/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1220744 CPUtime=1301.88 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 304968 0 0 0 130069 119 0 0 20 0 1 0 335680771 1250041856 304447 33554432000 134512640 135840783 4290547184 4290546544 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 305186 304447 348 325 0 304122 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1220744
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12716
/proc/meminfo: memFree=25281060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1291684 CPUtime=1361.87 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 322714 0 0 0 136062 125 0 0 20 0 1 0 335680771 1322684416 322193 33554432000 134512640 135840783 4290547184 4290546372 3072130 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 322921 322193 348 325 0 321857 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1291684
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12716
/proc/meminfo: memFree=25160908/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1384144 CPUtime=1421.87 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 345819 0 0 0 142054 133 0 0 20 0 1 0 335680771 1417363456 345298 33554432000 134512640 135840783 4290547184 4290546320 3074796 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 346036 345298 348 325 0 344972 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1384144
[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 12716
/proc/meminfo: memFree=25093080/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1481.85 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 148048 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546608 134546112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1426552
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12717
/proc/meminfo: memFree=25071752/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1541.84 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 154047 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546496 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1426552
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12717
/proc/meminfo: memFree=25057864/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1601.83 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 160046 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546496 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1426552
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12720
/proc/meminfo: memFree=24979792/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1661.82 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 166045 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546544 134550741 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1426552
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12720
/proc/meminfo: memFree=24918792/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1721.81 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 172044 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546544 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1426552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12720
/proc/meminfo: memFree=24858156/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1781.8 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 178043 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546544 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1426552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12720
/proc/meminfo: memFree=24839060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1800.01 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 179864 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546496 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1426552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12720
/proc/meminfo: memFree=24839060/32873648 swapFree=7368/7368
[pid=12643] ppid=12641 vsize=1426552 CPUtime=1800.01 cores=0,2,4,6
/proc/12643/stat : 12643 (bsolo3.0.17) R 12641 12643 10459 0 -1 4202496 356736 0 0 0 179864 137 0 0 20 0 1 0 335680771 1460789248 355895 33554432000 134512640 135840783 4290547184 4290546496 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12643/statm: 356638 355895 348 325 0 355574 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1426552
Child status: 15
Real time (s): 1800.54
CPU time (s): 1800.05
CPU user time (s): 1798.64
CPU system time (s): 1.40479
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1429876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.40479
maximum resident set size= 1426904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356739
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= 252
involuntary context switches= 2398
runsolver used 3.14252 second user time and 9.52155 second system time
The end