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-3742191-1338768400/watcher-3742191-1338768400 -o /tmp/evaluation-result-3742191-1338768400/solver-3742191-1338768400 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742191-1338768400.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.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 342965955 4583424 158 33554432000 134512640 135840783 4290848208 4290847548 10417496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1119 158 136 325 0 39 0
[startup+0.018453 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=5668 CPUtime=0.01 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 636 0 0 0 1 0 0 0 20 0 1 0 342965955 5804032 572 33554432000 134512640 135840783 4290848208 4290846896 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1417 573 353 325 0 245 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5668
[startup+0.100203 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7148 CPUtime=0.09 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1197 0 0 0 9 0 0 0 20 0 1 0 342965955 7319552 1025 33554432000 134512640 135840783 4290848208 4290764768 134551285 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1787 1025 344 325 0 723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7148
[startup+0.300173 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7148 CPUtime=0.29 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1198 0 0 0 29 0 0 0 20 0 1 0 342965955 7319552 1026 33554432000 134512640 135840783 4290848208 4290764972 134583008 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1787 1026 344 325 0 723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7148
[startup+0.700175 s]
/proc/loadavg: 2.11 2.04 2.01 3/176 13409
/proc/meminfo: memFree=24853444/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7148 CPUtime=0.69 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1198 0 0 0 69 0 0 0 20 0 1 0 342965955 7319552 1026 33554432000 134512640 135840783 4290848208 4290764928 134551997 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1787 1026 344 325 0 723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7148
[startup+1.50018 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24849808/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=7700 CPUtime=1.48 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 1477 0 0 0 148 0 0 0 20 0 1 0 342965955 7884800 1187 33554432000 134512640 135840783 4290848208 4290847520 134551071 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 1925 1187 349 325 0 861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7700
[startup+3.10018 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24844220/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=15604 CPUtime=3.08 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 3451 0 0 0 308 0 0 0 20 0 1 0 342965955 15978496 3161 33554432000 134512640 135840783 4290848208 4290847680 134552314 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 3901 3161 349 325 0 2837 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15604
[startup+6.30023 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24819032/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=36132 CPUtime=6.29 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 8591 0 0 0 627 2 0 0 20 0 1 0 342965955 36999168 8301 33554432000 134512640 135840783 4290848208 4290847236 1569106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 9033 8301 349 325 0 7969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36132
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 13410
/proc/meminfo: memFree=24775072/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=75376 CPUtime=12.68 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 18416 0 0 0 1265 3 0 0 20 0 1 0 342965955 77185024 18126 33554432000 134512640 135840783 4290848208 4290847568 134551052 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 18844 18126 349 325 0 17780 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75376
[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 13410
/proc/meminfo: memFree=24683296/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=144136 CPUtime=25.48 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 35577 0 0 0 2542 6 0 0 20 0 1 0 342965955 147595264 35287 33554432000 134512640 135840783 4290848208 4290847568 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 36034 35287 349 325 0 34970 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144136
[startup+51.1002 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13410
/proc/meminfo: memFree=24591256/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=221904 CPUtime=51.08 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 55040 0 0 0 5096 12 0 0 20 0 1 0 342965955 227229696 54750 33554432000 134512640 135840783 4290848208 4290847516 11081316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 55476 54750 349 325 0 54412 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 221904
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13410
/proc/meminfo: memFree=24351608/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=409760 CPUtime=102.27 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 101994 0 0 0 10207 20 0 0 20 0 1 0 342965955 419594240 101704 33554432000 134512640 135840783 4290848208 4290847568 134551058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 102440 101704 349 325 0 101376 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 409760
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 13449
/proc/meminfo: memFree=26874200/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=567904 CPUtime=162.25 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 141552 0 0 0 16197 28 0 0 20 0 1 0 342965955 581533696 141255 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 141976 141255 349 325 0 140912 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 567904
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 13453
/proc/meminfo: memFree=26627692/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=699172 CPUtime=222.21 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 174424 0 0 0 22185 36 0 0 20 0 1 0 342965955 715952128 174082 33554432000 134512640 135840783 4290848208 4290847568 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 174793 174082 349 325 0 173729 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 699172
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13453
/proc/meminfo: memFree=26459088/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=768340 CPUtime=282.17 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 191759 0 0 0 28178 39 0 0 20 0 1 0 342965955 786780160 191371 33554432000 134512640 135840783 4290848208 4290847560 11114681 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 192085 191371 349 325 0 191021 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 768340
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 13453
/proc/meminfo: memFree=26251872/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=830276 CPUtime=342.14 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 207295 0 0 0 34171 43 0 0 20 0 1 0 342965955 850202624 206862 33554432000 134512640 135840783 4290848208 4290847568 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 207569 206862 349 325 0 206505 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 830276
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13453
/proc/meminfo: memFree=26020516/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=932532 CPUtime=402.11 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 232869 0 0 0 40162 49 0 0 20 0 1 0 342965955 954912768 232401 33554432000 134512640 135840783 4290848208 4290847568 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 233133 232401 349 325 0 232069 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 932532
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13453
/proc/meminfo: memFree=25832688/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1004552 CPUtime=462.06 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 250916 0 0 0 46152 54 0 0 20 0 1 0 342965955 1028661248 250407 33554432000 134512640 135840783 4290848208 4290847444 1577122 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 251138 250407 349 325 0 250074 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1004552
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13454
/proc/meminfo: memFree=25655396/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1054652 CPUtime=522.03 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 263486 0 0 0 52145 58 0 0 20 0 1 0 342965955 1079963648 262932 33554432000 134512640 135840783 4290848208 4290847568 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 263663 262932 349 325 0 262599 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1054652
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13454
/proc/meminfo: memFree=25437804/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1143064 CPUtime=582 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 285650 0 0 0 58136 64 0 0 20 0 1 0 342965955 1170497536 285056 33554432000 134512640 135840783 4290848208 4290847568 134550896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 285766 285056 349 325 0 284702 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 1143064
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13458
/proc/meminfo: memFree=24476700/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1581920 CPUtime=881.81 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 395545 0 0 0 88093 88 0 0 20 0 1 0 342965955 1619886080 394746 33554432000 134512640 135840783 4290848208 4290847568 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 395480 394746 349 325 0 394416 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 1581920
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13458
/proc/meminfo: memFree=24283164/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1679428 CPUtime=941.78 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 419966 0 0 0 94085 93 0 0 20 0 1 0 342965955 1719734272 419135 33554432000 134512640 135840783 4290848208 4290814720 134586822 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 419857 419135 349 325 0 418793 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 1679428
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13458
/proc/meminfo: memFree=24121620/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1762560 CPUtime=1001.75 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 440780 0 0 0 100077 98 0 0 20 0 1 0 342965955 1804861440 439910 33554432000 134512640 135840783 4290848208 4290847568 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13409/statm: 440640 439910 349 325 0 439576 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 1762560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13458
/proc/meminfo: memFree=23931432/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1846592 CPUtime=1061.72 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 461819 0 0 0 106069 103 0 0 20 0 1 0 342965955 1890910208 460914 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 461648 460914 349 325 0 460584 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 1846592
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13459
/proc/meminfo: memFree=23751784/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1922736 CPUtime=1121.7 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 480894 0 0 0 112061 109 0 0 20 0 1 0 342965955 1968881664 479949 33554432000 134512640 135840783 4290848208 4290847568 134551532 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 480684 479949 349 325 0 479620 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 1922736
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13459
/proc/meminfo: memFree=23564944/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=1985524 CPUtime=1181.66 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 496634 0 0 0 118053 113 0 0 20 0 1 0 342965955 2033176576 495650 33554432000 134512640 135840783 4290848208 4290814976 7038000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 496381 495650 349 325 0 495317 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 1985524
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13459
/proc/meminfo: memFree=23404644/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2026152 CPUtime=1241.63 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 506817 0 0 0 124047 116 0 0 20 0 1 0 342965955 2074779648 505800 33554432000 134512640 135840783 4290848208 4290847568 134551646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 506538 505800 349 325 0 505474 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 2026152
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 13459
/proc/meminfo: memFree=23271124/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2066036 CPUtime=1301.6 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 516831 0 0 0 130041 119 0 0 20 0 1 0 342965955 2115620864 515785 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 516509 515785 349 325 0 515445 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 2066036
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13459
/proc/meminfo: memFree=23152856/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2108356 CPUtime=1361.57 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 527450 0 0 0 136034 123 0 0 20 0 1 0 342965955 2158956544 526369 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 527089 526369 349 325 0 526025 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 2108356
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 13463
/proc/meminfo: memFree=23013768/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2167340 CPUtime=1421.55 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 542231 0 0 0 142027 128 0 0 20 0 1 0 342965955 2219356160 541104 33554432000 134512640 135840783 4290848208 4290847568 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 541835 541104 349 325 0 540771 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 2167340
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22848264/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2240672 CPUtime=1481.5 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 560628 0 0 0 148018 132 0 0 20 0 1 0 342965955 2294448128 559455 33554432000 134512640 135840783 4290848208 4290844116 1568956 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 560168 559455 349 325 0 559104 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 2240672
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22712016/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2308488 CPUtime=1541.46 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 577628 0 0 0 154010 136 0 0 20 0 1 0 342965955 2363891712 576411 33554432000 134512640 135840783 4290848208 4290847564 134521208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 577122 576411 349 325 0 576058 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 2308488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22611992/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2345680 CPUtime=1601.45 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 586923 0 0 0 160006 139 0 0 20 0 1 0 342965955 2401976320 585703 33554432000 134512640 135840783 4290848208 4290847488 11501553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 586420 585703 349 325 0 585356 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 2345680
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13463
/proc/meminfo: memFree=22503812/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2362876 CPUtime=1661.44 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 591204 0 0 0 166003 141 0 0 20 0 1 0 342965955 2419585024 589984 33554432000 134512640 135840783 4290848208 4290847568 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 590719 589984 349 325 0 589655 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 2362876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13464
/proc/meminfo: memFree=22407372/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2386888 CPUtime=1721.43 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 597219 0 0 0 172000 143 0 0 20 0 1 0 342965955 2444173312 595999 33554432000 134512640 135840783 4290848208 4290847488 1584798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 596722 595999 349 325 0 595658 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 2386888
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13464
/proc/meminfo: memFree=22300760/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2408980 CPUtime=1781.42 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 602751 0 0 0 177997 145 0 0 20 0 1 0 342965955 2466795520 601531 33554432000 134512640 135840783 4290848208 4290847568 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 602245 601531 349 325 0 601181 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 2408980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13464
/proc/meminfo: memFree=22271712/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2418508 CPUtime=1800.03 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 605132 0 0 0 179857 146 0 0 20 0 1 0 342965955 2476552192 603912 33554432000 134512640 135840783 4290848208 4290847520 134550554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 604627 603912 349 325 0 603563 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2418508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 13464
/proc/meminfo: memFree=22271712/32873648 swapFree=7112/7112
[pid=13409] ppid=13407 vsize=2418508 CPUtime=1800.03 cores=0,2,4,6
/proc/13409/stat : 13409 (bsolo3.0.17) R 13407 13409 11604 0 -1 4202496 605132 0 0 0 179857 146 0 0 20 0 1 0 342965955 2476552192 603912 33554432000 134512640 135840783 4290848208 4290847520 134550554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13409/statm: 604627 603912 349 325 0 603563 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2418508
Child status: 15
Real time (s): 1800.92
CPU time (s): 1800.05
CPU user time (s): 1798.57
CPU system time (s): 1.47578
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 2418508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.47578
maximum resident set size= 2415648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605135
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= 984
involuntary context switches= 2042
runsolver used 3.21351 second user time and 9.30158 second system time
The end