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-3739330-1338747648/watcher-3739330-1338747648 -o /tmp/evaluation-result-3739330-1338747648/solver-3739330-1338747648 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3739330-1338747648.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: 0.92 1.08 1.46 3/176 9439
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=2428 CPUtime=0 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) D 9435 9439 9396 0 -1 4194304 76 0 0 0 0 0 0 0 20 0 1 0 340893354 2486272 31 33554432000 134512640 135840783 4287509472 4287507464 1593591 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/9439/statm: 607 31 24 325 0 25 0
[startup+0.0754239 s]
/proc/loadavg: 0.92 1.08 1.46 3/176 9439
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=6440 CPUtime=0.03 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 949 0 3 0 3 0 0 0 20 0 1 0 340893354 6594560 865 33554432000 134512640 135840783 4287509472 4287472684 9511984 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6440
[startup+0.100262 s]
/proc/loadavg: 0.92 1.08 1.46 3/176 9439
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=6440 CPUtime=0.06 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 949 0 3 0 6 0 0 0 20 0 1 0 340893354 6594560 865 33554432000 134512640 135840783 4287509472 4287472684 9511984 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 1610 865 345 325 0 546 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6440
[startup+0.300221 s]
/proc/loadavg: 0.92 1.08 1.46 3/176 9439
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=7028 CPUtime=0.25 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 1118 0 3 0 25 0 0 0 20 0 1 0 340893354 7196672 1027 33554432000 134512640 135840783 4287509472 4287507200 7152935 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 1757 1027 349 325 0 693 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 7028
[startup+0.70022 s]
/proc/loadavg: 0.92 1.08 1.46 3/176 9439
/proc/meminfo: memFree=31272624/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=9104 CPUtime=0.65 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 1631 0 3 0 65 0 0 0 20 0 1 0 340893354 9322496 1540 33554432000 134512640 135840783 4287509472 4287506640 7152935 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 2276 1540 349 325 0 1212 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 9104
[startup+1.50023 s]
/proc/loadavg: 0.92 1.08 1.46 4/178 9441
/proc/meminfo: memFree=31260332/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=12348 CPUtime=1.45 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 2427 0 3 0 145 0 0 0 20 0 1 0 340893354 12644352 2336 33554432000 134512640 135840783 4287509472 4287508768 134572899 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 3087 2337 349 325 0 2023 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 12348
[startup+3.10023 s]
/proc/loadavg: 0.92 1.08 1.46 4/178 9441
/proc/meminfo: memFree=31252272/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=17132 CPUtime=3.06 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 3639 0 3 0 305 1 0 0 20 0 1 0 340893354 17543168 3548 33554432000 134512640 135840783 4287509472 4287507968 7152935 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 4283 3548 349 325 0 3219 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17132
[startup+6.30024 s]
/proc/loadavg: 1.25 1.15 1.47 4/178 9441
/proc/meminfo: memFree=31235424/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=23248 CPUtime=6.25 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 5174 0 3 0 624 1 0 0 20 0 1 0 340893354 23805952 5083 33554432000 134512640 135840783 4287509472 4287508784 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 5812 5083 349 325 0 4748 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 23248
[startup+12.7003 s]
/proc/loadavg: 1.31 1.16 1.48 4/178 9441
/proc/meminfo: memFree=31214052/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=30532 CPUtime=12.66 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 6984 0 3 0 1264 2 0 0 20 0 1 0 340893354 31264768 6893 33554432000 134512640 135840783 4287509472 4287508832 134551081 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 7633 6893 349 325 0 6569 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30532
[startup+25.5004 s]
/proc/loadavg: 1.46 1.20 1.48 4/177 9441
/proc/meminfo: memFree=31194488/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=38100 CPUtime=25.45 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 8865 0 3 0 2543 2 0 0 20 0 1 0 340893354 39014400 8774 33554432000 134512640 135840783 4287509472 4287508660 7147492 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 9525 8774 349 325 0 8461 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 38100
[startup+51.1004 s]
/proc/loadavg: 1.64 1.27 1.50 4/177 9441
/proc/meminfo: memFree=31162324/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=52896 CPUtime=51.04 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 12589 0 3 0 5099 5 0 0 20 0 1 0 340893354 54165504 12494 33554432000 134512640 135840783 4287509472 4287508832 134550804 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 13224 12494 349 325 0 12160 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 52896
[startup+102.3 s]
/proc/loadavg: 1.84 1.38 1.52 4/177 9441
/proc/meminfo: memFree=31092388/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=98980 CPUtime=102.21 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 24134 0 3 0 10211 10 0 0 20 0 1 0 340893354 101355520 24009 33554432000 134512640 135840783 4287509472 4287508708 7147663 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 24745 24009 349 325 0 23681 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 98980
[startup+162.3 s]
/proc/loadavg: 1.94 1.49 1.55 4/177 9441
/proc/meminfo: memFree=31038460/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=135372 CPUtime=162.19 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 33219 0 3 0 16203 16 0 0 20 0 1 0 340893354 138620928 33094 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 33843 33094 349 325 0 32779 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 135372
[startup+222.307 s]
/proc/loadavg: 2.01 1.59 1.58 4/177 9442
/proc/meminfo: memFree=30961560/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=165128 CPUtime=222.19 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 40687 0 3 0 22199 20 0 0 20 0 1 0 340893354 169091072 40552 33554432000 134512640 135840783 4287509472 4287508832 134550764 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 41282 40552 349 325 0 40218 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 165128
[startup+282.3 s]
/proc/loadavg: 2.04 1.68 1.61 4/177 9442
/proc/meminfo: memFree=30910396/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=191628 CPUtime=282.13 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 47332 0 3 0 28190 23 0 0 20 0 1 0 340893354 196227072 47159 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 47907 47159 349 325 0 46843 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 191628
[startup+342.3 s]
/proc/loadavg: 2.11 1.76 1.64 4/177 9442
/proc/meminfo: memFree=30873128/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=210152 CPUtime=342.12 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 51988 0 3 0 34186 26 0 0 20 0 1 0 340893354 215195648 51815 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 52538 51815 349 325 0 51474 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 210152
[startup+402.3 s]
/proc/loadavg: 2.07 1.82 1.66 4/177 9442
/proc/meminfo: memFree=30836824/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=225020 CPUtime=402.11 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 55698 0 3 0 40183 28 0 0 20 0 1 0 340893354 230420480 55525 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 56255 55525 349 325 0 55191 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 225020
[startup+462.3 s]
/proc/loadavg: 2.06 1.86 1.69 4/177 9442
/proc/meminfo: memFree=30801408/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=241492 CPUtime=462.1 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 59822 0 3 0 46179 31 0 0 20 0 1 0 340893354 247287808 59649 33554432000 134512640 135840783 4287509472 4287508832 134550804 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 60373 59649 349 325 0 59309 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 241492
[startup+522.3 s]
/proc/loadavg: 2.02 1.89 1.70 4/177 9443
/proc/meminfo: memFree=30771336/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=255836 CPUtime=522.09 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 63398 0 3 0 52176 33 0 0 20 0 1 0 340893354 261976064 63224 33554432000 134512640 135840783 4287509472 4287508832 134550872 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 63959 63224 349 325 0 62895 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 255836
[startup+582.3 s]
/proc/loadavg: 2.01 1.90 1.72 4/178 9446
/proc/meminfo: memFree=30740436/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=271856 CPUtime=582.05 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 67445 0 3 0 58170 35 0 0 20 0 1 0 340893354 278380544 67232 33554432000 134512640 135840783 4287509472 4287508832 134550804 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 67964 67232 349 325 0 66900 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 271856
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 1.95 1.78 4/177 9447
/proc/meminfo: memFree=30601848/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=336908 CPUtime=882.01 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 83719 0 3 0 88155 46 0 0 20 0 1 0 340893354 344993792 83506 33554432000 134512640 135840783 4287509472 4287508832 134550804 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 84227 83506 349 325 0 83163 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 336908
[startup+942.3 s]
/proc/loadavg: 2.08 1.98 1.80 4/177 9447
/proc/meminfo: memFree=30580124/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=349572 CPUtime=941.98 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 86893 0 3 0 94150 48 0 0 20 0 1 0 340893354 357961728 86670 33554432000 134512640 135840783 4287509472 4287508832 134550764 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 87393 86670 349 325 0 86329 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 349572
[startup+1002.3 s]
/proc/loadavg: 2.03 1.98 1.81 4/177 9447
/proc/meminfo: memFree=30567600/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=362092 CPUtime=1001.95 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 90034 0 3 0 100144 51 0 0 20 0 1 0 340893354 370782208 89780 33554432000 134512640 135840783 4287509472 4287508832 134550764 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 90523 89780 349 325 0 89459 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 362092
[startup+1062.3 s]
/proc/loadavg: 2.01 1.98 1.82 4/177 9447
/proc/meminfo: memFree=30555696/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=374052 CPUtime=1061.94 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 93042 0 3 0 106141 53 0 0 20 0 1 0 340893354 383029248 92788 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 93513 92788 349 325 0 92449 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 374052
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.83 4/176 9447
/proc/meminfo: memFree=30542932/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=386852 CPUtime=1121.93 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 96237 0 3 0 112138 55 0 0 20 0 1 0 340893354 396136448 95983 33554432000 134512640 135840783 4287509472 4287508784 134550872 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 96713 95983 349 325 0 95649 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 386852
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.83 4/178 9451
/proc/meminfo: memFree=30530880/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=399008 CPUtime=1181.92 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 99272 0 3 0 118134 58 0 0 20 0 1 0 340893354 408584192 99018 33554432000 134512640 135840783 4287509472 4287508832 134551084 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 99752 99018 349 325 0 98688 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 399008
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.84 4/177 9451
/proc/meminfo: memFree=30521312/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=407772 CPUtime=1241.91 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 101465 0 3 0 124133 58 0 0 20 0 1 0 340893354 417558528 101211 33554432000 134512640 135840783 4287509472 4287508832 134550872 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 101943 101211 349 325 0 100879 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 407772
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.84 4/178 9452
/proc/meminfo: memFree=30511632/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=417448 CPUtime=1301.9 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 103881 0 3 0 130130 60 0 0 20 0 1 0 340893354 427466752 103627 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 104362 103627 349 325 0 103298 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 417448
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.85 4/177 9452
/proc/meminfo: memFree=30502464/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=426752 CPUtime=1361.89 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 106206 0 3 0 136128 61 0 0 20 0 1 0 340893354 436994048 105952 33554432000 134512640 135840783 4287509472 4287508832 134550779 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 106688 105952 349 325 0 105624 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 426752
[startup+1422.3 s]
/proc/loadavg: 2.00 1.98 1.86 4/177 9452
/proc/meminfo: memFree=30492096/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=436708 CPUtime=1421.88 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 108716 0 3 0 142124 64 0 0 20 0 1 0 340893354 447188992 108455 33554432000 134512640 135840783 4287509472 4287508832 134550804 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 109177 108455 349 325 0 108113 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 436708
[startup+1482.3 s]
/proc/loadavg: 2.06 2.00 1.87 4/177 9453
/proc/meminfo: memFree=30481856/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=446668 CPUtime=1481.84 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 111216 0 3 0 148118 66 0 0 20 0 1 0 340893354 457388032 110919 33554432000 134512640 135840783 4287509472 4287508832 134550804 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 111667 110919 349 325 0 110603 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 446668
[startup+1542.31 s]
/proc/loadavg: 2.02 2.00 1.88 4/177 9453
/proc/meminfo: memFree=30472308/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=456892 CPUtime=1541.83 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 113797 0 3 0 154115 68 0 0 20 0 1 0 340893354 467857408 113500 33554432000 134512640 135840783 4287509472 4287508784 134551039 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 114223 113500 349 325 0 113159 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 456892
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.88 4/177 9453
/proc/meminfo: memFree=30462760/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=466312 CPUtime=1601.82 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 116157 0 3 0 160113 69 0 0 20 0 1 0 340893354 477503488 115860 33554432000 134512640 135840783 4287509472 4287508832 134550893 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 116578 115860 349 325 0 115514 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 466312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 9453
/proc/meminfo: memFree=30453584/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=475728 CPUtime=1661.81 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 118489 0 3 0 166110 71 0 0 20 0 1 0 340893354 487145472 118192 33554432000 134512640 135840783 4287509472 4287508832 134551312 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 118932 118192 349 325 0 117868 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 475728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/177 9453
/proc/meminfo: memFree=30444656/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=484768 CPUtime=1721.8 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 120761 0 3 0 172107 73 0 0 20 0 1 0 340893354 496402432 120464 33554432000 134512640 135840783 4287509472 4287508772 7158347 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 121192 120464 349 325 0 120128 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 484768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/178 9457
/proc/meminfo: memFree=30434852/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=493672 CPUtime=1781.79 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 122997 0 3 0 178103 76 0 0 20 0 1 0 340893354 505520128 122700 33554432000 134512640 135840783 4287509472 4287508784 134551321 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 123418 122700 349 325 0 122354 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 493672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 9458
/proc/meminfo: memFree=30776928/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=495484 CPUtime=1800.1 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 123717 0 3 0 179934 76 0 0 20 0 1 0 340893354 507375616 123141 33554432000 134512640 135840783 4287509472 4287508896 134546112 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 123871 123141 349 325 0 122807 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 495484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.90 2/177 9458
/proc/meminfo: memFree=30776928/32873844 swapFree=8656/8656
[pid=9439] ppid=9435 vsize=495484 CPUtime=1800.1 cores=1,3,5,7
/proc/9439/stat : 9439 (bsolo3.0.17) R 9435 9439 9396 0 -1 4202496 123717 0 3 0 179934 76 0 0 20 0 1 0 340893354 507375616 123141 33554432000 134512640 135840783 4287509472 4287508896 134546112 0 0 4096 16384 0 0 0 17 5 0 0 2 0 0
/proc/9439/statm: 123871 123141 349 325 0 122807 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 495484
Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.13
CPU user time (s): 1799.36
CPU system time (s): 0.768883
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 496600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.768883
maximum resident set size= 493680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123720
page faults= 3
swaps= 0
block input operations= 904
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 1846
runsolver used 3.59245 second user time and 9.8635 second system time
The end