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-3731119-1338682761/watcher-3731119-1338682761 -o /tmp/evaluation-result-3731119-1338682761/solver-3731119-1338682761 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731119-1338682761.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.03 1.94 3/174 26322
/proc/meminfo: memFree=28397020/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=2428 CPUtime=0 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4194304 81 0 0 0 0 0 0 0 20 0 1 0 334401570 2486272 35 33554432000 134512640 135840783 4289646176 4289644244 11355076 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 623 39 31 325 0 32 0
[startup+0.0985491 s]
/proc/loadavg: 2.00 2.03 1.94 3/174 26322
/proc/meminfo: memFree=28397020/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=5352 CPUtime=0.08 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 676 0 0 0 8 0 0 0 20 0 1 0 334401570 5480448 587 33554432000 134512640 135840783 4289646176 4289621296 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 1338 587 341 325 0 274 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5352
[startup+0.100211 s]
/proc/loadavg: 2.00 2.03 1.94 3/174 26322
/proc/meminfo: memFree=28397020/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=5352 CPUtime=0.09 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 676 0 0 0 9 0 0 0 20 0 1 0 334401570 5480448 587 33554432000 134512640 135840783 4289646176 4289621296 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 1338 587 341 325 0 274 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5352
[startup+0.300177 s]
/proc/loadavg: 2.00 2.03 1.94 3/174 26322
/proc/meminfo: memFree=28397020/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=7148 CPUtime=0.28 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 2077 0 0 0 28 0 0 0 20 0 1 0 334401570 7319552 1144 33554432000 134512640 135840783 4289646176 4289645536 134551359 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 1787 1145 429 325 0 723 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7148
[startup+0.700177 s]
/proc/loadavg: 2.00 2.03 1.94 3/174 26322
/proc/meminfo: memFree=28397020/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=10460 CPUtime=0.68 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 2884 0 0 0 68 0 0 0 20 0 1 0 334401570 10711040 1951 33554432000 134512640 135840783 4289646176 4289645536 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 2615 1951 429 325 0 1551 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10460
[startup+1.50017 s]
/proc/loadavg: 2.00 2.03 1.94 3/175 26323
/proc/meminfo: memFree=28388564/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=17208 CPUtime=1.48 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 4584 0 0 0 147 1 0 0 20 0 1 0 334401570 17620992 3651 33554432000 134512640 135840783 4289646176 4289645536 134550910 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 4302 3651 429 325 0 3238 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17208
[startup+3.10021 s]
/proc/loadavg: 2.00 2.03 1.94 3/175 26323
/proc/meminfo: memFree=28377900/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=30768 CPUtime=3.08 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 7960 0 0 0 306 2 0 0 20 0 1 0 334401570 31506432 7027 33554432000 134512640 135840783 4289646176 4289645536 134551063 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26322/statm: 7692 7027 429 325 0 6628 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30768
[startup+6.30024 s]
/proc/loadavg: 2.00 2.03 1.94 3/175 26323
/proc/meminfo: memFree=28351000/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=55864 CPUtime=6.28 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 14240 0 0 0 625 3 0 0 20 0 1 0 334401570 57204736 13307 33554432000 134512640 135840783 4289646176 4289645536 134550921 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 13966 13307 429 325 0 12902 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55864
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 1.94 3/175 26323
/proc/meminfo: memFree=28306740/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=97032 CPUtime=12.67 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 24547 0 0 0 1263 4 0 0 20 0 1 0 334401570 99360768 23614 33554432000 134512640 135840783 4289646176 4289645488 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 24258 23614 429 325 0 23194 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 97032
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 1.94 3/175 26323
/proc/meminfo: memFree=28259432/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=142112 CPUtime=25.48 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 35817 0 0 0 2542 6 0 0 20 0 1 0 334401570 145522688 34883 33554432000 134512640 135840783 4289646176 4289645536 134551532 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 35528 34883 429 325 0 34464 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142112
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 1.94 3/176 26326
/proc/meminfo: memFree=28186852/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=214564 CPUtime=51.06 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 53930 0 0 0 5096 10 0 0 20 0 1 0 334401570 219713536 52980 33554432000 134512640 135840783 4289646176 4289645536 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 53641 52980 429 325 0 52577 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 214564
[startup+102.306 s]
/proc/loadavg: 2.12 2.05 1.95 3/175 26326
/proc/meminfo: memFree=28058300/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=341348 CPUtime=102.21 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 85674 0 0 0 10205 16 0 0 20 0 1 0 334401570 349540352 84680 33554432000 134512640 135840783 4289646176 4289645536 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 85337 84680 429 325 0 84273 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 341348
[startup+162.3 s]
/proc/loadavg: 2.15 2.08 1.97 3/175 26327
/proc/meminfo: memFree=27932360/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=468020 CPUtime=162.15 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 117381 0 0 0 16191 24 0 0 20 0 1 0 334401570 479252480 116342 33554432000 134512640 135840783 4289646176 4289642864 11867431 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 117005 116342 429 325 0 115941 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 468020
[startup+222.3 s]
/proc/loadavg: 2.09 2.08 1.97 3/175 26327
/proc/meminfo: memFree=27840240/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=559228 CPUtime=222.1 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 140241 0 0 0 22178 32 0 0 20 0 1 0 334401570 572649472 139156 33554432000 134512640 135840783 4289646176 4289645536 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 139807 139156 429 325 0 138743 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 559228
[startup+282.3 s]
/proc/loadavg: 2.03 2.06 1.97 3/175 26327
/proc/meminfo: memFree=27738604/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=661548 CPUtime=282.05 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 165863 0 0 0 28166 39 0 0 20 0 1 0 334401570 677425152 164735 33554432000 134512640 135840783 4289646176 4289645536 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 165387 164735 429 325 0 164323 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 661548
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 1.97 3/175 26327
/proc/meminfo: memFree=27660512/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=738352 CPUtime=342.01 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 185093 0 0 0 34157 44 0 0 20 0 1 0 334401570 756072448 183936 33554432000 134512640 135840783 4289646176 4289645536 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 184588 183936 429 325 0 183524 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 738352
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 1.97 3/175 26327
/proc/meminfo: memFree=27570888/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=829384 CPUtime=401.97 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 207906 0 0 0 40148 49 0 0 20 0 1 0 334401570 849289216 206704 33554432000 134512640 135840783 4289646176 4289645536 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 207346 206704 429 325 0 206282 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 829384
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/175 26328
/proc/meminfo: memFree=27484984/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=913944 CPUtime=461.93 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 229059 0 0 0 46139 54 0 0 20 0 1 0 334401570 935878656 227821 33554432000 134512640 135840783 4289646176 4289645536 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 228486 227821 429 325 0 227422 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 913944
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/175 26328
/proc/meminfo: memFree=27419912/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=979636 CPUtime=521.89 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 245519 0 0 0 52130 59 0 0 20 0 1 0 334401570 1003147264 244240 33554432000 134512640 135840783 4289646176 4289645536 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 244909 244240 429 325 0 243845 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 979636
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/175 26328
/proc/meminfo: memFree=27360048/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1039044 CPUtime=581.85 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 260425 0 0 0 58122 63 0 0 20 0 1 0 334401570 1063981056 259106 33554432000 134512640 135840783 4289646176 4289645536 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 259761 259106 429 325 0 258697 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 1039044
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 26333
/proc/meminfo: memFree=27155876/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1240292 CPUtime=821.74 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 310855 0 0 0 82097 77 0 0 20 0 1 0 334401570 1270059008 309425 33554432000 134512640 135840783 4289646176 4289645536 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 310073 309425 429 325 0 309009 0
Current children cumulated CPU time (s) 821.74
Current children cumulated vsize (KiB) 1240292
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 26333
/proc/meminfo: memFree=27109996/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1286132 CPUtime=881.73 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 322309 0 0 0 88093 80 0 0 20 0 1 0 334401570 1316999168 320879 33554432000 134512640 135840783 4289646176 4289645536 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 321533 320879 429 325 0 320469 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 1286132
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 26333
/proc/meminfo: memFree=27064612/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1332216 CPUtime=941.72 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 333841 0 0 0 94089 83 0 0 20 0 1 0 334401570 1364189184 332411 33554432000 134512640 135840783 4289646176 4289645536 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 333054 332411 429 325 0 331990 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 1332216
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 26333
/proc/meminfo: memFree=27013152/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1378120 CPUtime=1001.71 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 345288 0 0 0 100086 85 0 0 20 0 1 0 334401570 1411194880 343858 33554432000 134512640 135840783 4289646176 4289645536 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 344530 343858 429 325 0 343466 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 1378120
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 26334
/proc/meminfo: memFree=26977068/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1413092 CPUtime=1061.71 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 354059 0 0 0 106083 88 0 0 20 0 1 0 334401570 1447006208 352629 33554432000 134512640 135840783 4289646176 4289645536 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 353273 352629 429 325 0 352209 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 1413092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 26334
/proc/meminfo: memFree=26937636/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1450752 CPUtime=1121.7 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 363446 0 0 0 112080 90 0 0 20 0 1 0 334401570 1485570048 362016 33554432000 134512640 135840783 4289646176 4289645536 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 362688 362016 429 325 0 361624 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 1450752
[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 1.98 3/175 26334
/proc/meminfo: memFree=26907132/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1481668 CPUtime=1181.69 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 371194 0 0 0 118077 92 0 0 20 0 1 0 334401570 1517228032 369764 33554432000 134512640 135840783 4289646176 4289645536 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 370417 369764 429 325 0 369353 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 1481668
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/176 26337
/proc/meminfo: memFree=26872768/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1515088 CPUtime=1241.68 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 379547 0 0 0 124074 94 0 0 20 0 1 0 334401570 1551450112 378117 33554432000 134512640 135840783 4289646176 4289645536 134550896 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 378772 378117 429 325 0 377708 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 1515088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26337
/proc/meminfo: memFree=26841908/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1545944 CPUtime=1301.68 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 387247 0 0 0 130071 97 0 0 20 0 1 0 334401570 1583046656 385817 33554432000 134512640 135840783 4289646176 4289645536 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 386486 385817 429 325 0 385422 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 1545944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26338
/proc/meminfo: memFree=26809172/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1579492 CPUtime=1361.66 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 395637 0 0 0 136068 98 0 0 20 0 1 0 334401570 1617399808 394207 33554432000 134512640 135840783 4289646176 4289645536 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 394873 394207 429 325 0 393809 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 1579492
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26338
/proc/meminfo: memFree=26772468/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1616328 CPUtime=1421.65 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 404869 0 0 0 142064 101 0 0 20 0 1 0 334401570 1655119872 403439 33554432000 134512640 135840783 4289646176 4289645536 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 404082 403439 429 325 0 403018 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 1616328
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 26338
/proc/meminfo: memFree=26738984/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1649700 CPUtime=1481.64 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 413200 0 0 0 148060 104 0 0 20 0 1 0 334401570 1689292800 411768 33554432000 134512640 135840783 4289646176 4289645536 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 412425 411768 429 325 0 411361 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 1649700
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 26338
/proc/meminfo: memFree=26711360/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1676940 CPUtime=1541.61 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 420050 0 0 0 154055 106 0 0 20 0 1 0 334401570 1717186560 418582 33554432000 134512640 135840783 4289646176 4289645536 134550820 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 419235 418582 429 325 0 418171 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1676940
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26338
/proc/meminfo: memFree=26657324/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1726940 CPUtime=1601.59 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 432569 0 0 0 160049 110 0 0 20 0 1 0 334401570 1768386560 431077 33554432000 134512640 135840783 4289646176 4289645536 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 431735 431077 429 325 0 430671 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1726940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26633148/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1790216 CPUtime=1661.56 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 448395 0 0 0 166041 115 0 0 20 0 1 0 334401570 1833181184 446882 33554432000 134512640 135840783 4289646176 4289645536 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 447554 446882 429 325 0 446490 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 1790216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26516988/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1848200 CPUtime=1721.54 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 462916 0 0 0 172035 119 0 0 20 0 1 0 334401570 1892556800 461380 33554432000 134512640 135840783 4289646176 4289645536 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 462050 461380 429 325 0 460986 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 1848200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26452784/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1899896 CPUtime=1781.53 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 475863 0 0 0 178029 124 0 0 20 0 1 0 334401570 1945493504 474307 33554432000 134512640 135840783 4289646176 4289645536 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 474974 474307 429 325 0 473910 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 1899896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26431796/32873852 swapFree=7624/7624
[pid=26322] ppid=26320 vsize=1913428 CPUtime=1800.02 cores=0,2,4,6
/proc/26322/stat : 26322 (bsolo3.0.17) R 26320 26322 25229 0 -1 4202496 479270 0 0 0 179877 125 0 0 20 0 1 0 334401570 1959350272 477701 33554432000 134512640 135840783 4289646176 4289645536 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26322/statm: 478357 477701 429 325 0 477293 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1913428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.05
CPU user time (s): 1798.77
CPU system time (s): 1.27681
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (KiB): 1913428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.2768
maximum resident set size= 1910804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479272
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= 713
involuntary context switches= 1931
runsolver used 3.12252 second user time and 9.2126 second system time
The end