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-3743497-1338783665/watcher-3743497-1338783665 -o /tmp/evaluation-result-3743497-1338783665/solver-3743497-1338783665 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743497-1338783665.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: 4.84 3.02 2.36 3/177 17381
/proc/meminfo: memFree=20471356/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) D 17379 17381 16841 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 344491404 2723840 47 33554432000 134512640 135840783 4288416720 4288414756 9700292 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 665 47 37 325 0 32 0
[startup+0.0438891 s]
/proc/loadavg: 4.84 3.02 2.36 3/177 17381
/proc/meminfo: memFree=20471356/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=9924 CPUtime=0.03 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 1224 0 0 0 3 0 0 0 20 0 1 0 344491404 10162176 1120 33554432000 134512640 135840783 4288416720 4288415376 10212647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 2481 1120 421 325 0 739 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9924
[startup+0.100232 s]
/proc/loadavg: 4.84 3.02 2.36 3/177 17381
/proc/meminfo: memFree=20471356/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=11432 CPUtime=0.09 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 1779 0 0 0 9 0 0 0 20 0 1 0 344491404 11706368 1675 33554432000 134512640 135840783 4288416720 4288414656 10212647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 2858 1675 563 325 0 1116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11432
[startup+0.300242 s]
/proc/loadavg: 4.84 3.02 2.36 3/177 17381
/proc/meminfo: memFree=20471356/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=19312 CPUtime=0.28 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 4816 0 0 0 28 0 0 0 20 0 1 0 344491404 19775488 3955 33554432000 134512640 135840783 4288416720 4288415808 10212647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 4828 3959 338 325 0 3764 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19312
[startup+0.70019 s]
/proc/loadavg: 4.84 3.02 2.36 3/177 17381
/proc/meminfo: memFree=20471356/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=20620 CPUtime=0.68 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 5205 0 0 0 68 0 0 0 20 0 1 0 344491404 21114880 4293 33554432000 134512640 135840783 4288416720 4287930320 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 5155 4293 342 325 0 4091 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20620
[startup+1.50031 s]
/proc/loadavg: 4.84 3.02 2.36 3/178 17382
/proc/meminfo: memFree=20454988/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=20752 CPUtime=1.49 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 5236 0 0 0 148 1 0 0 20 0 1 0 344491404 21250048 4324 33554432000 134512640 135840783 4288416720 4287930272 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 5188 4324 342 325 0 4124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20752
[startup+3.10026 s]
/proc/loadavg: 4.84 3.02 2.36 3/178 17382
/proc/meminfo: memFree=20453856/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=20752 CPUtime=3.09 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 5236 0 0 0 308 1 0 0 20 0 1 0 344491404 21250048 4324 33554432000 134512640 135840783 4288416720 4287930412 5743664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 5188 4324 342 325 0 4124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20752
[startup+6.30028 s]
/proc/loadavg: 4.93 3.07 2.38 3/178 17382
/proc/meminfo: memFree=20451528/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=20752 CPUtime=6.28 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 5236 0 0 0 627 1 0 0 20 0 1 0 344491404 21250048 4324 33554432000 134512640 135840783 4288416720 4287930412 5743664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 5188 4324 342 325 0 4124 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20752
[startup+12.7003 s]
/proc/loadavg: 5.10 3.14 2.40 3/178 17382
/proc/meminfo: memFree=20446808/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=21412 CPUtime=12.69 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 5400 0 0 0 1267 2 0 0 20 0 1 0 344491404 21925888 4488 33554432000 134512640 135840783 4288416720 4287930272 134551552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 5353 4488 342 325 0 4289 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21412
[startup+25.5003 s]
/proc/loadavg: 5.30 3.27 2.46 3/178 17382
/proc/meminfo: memFree=20440352/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=21412 CPUtime=25.48 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 5400 0 0 0 2546 2 0 0 20 0 1 0 344491404 21925888 4488 33554432000 134512640 135840783 4288416720 4287930412 5743664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 5353 4488 342 325 0 4289 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21412
[startup+51.1003 s]
/proc/loadavg: 5.27 3.44 2.53 3/178 17383
/proc/meminfo: memFree=28606820/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=38780 CPUtime=51.07 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 10400 0 0 0 5103 4 0 0 20 0 1 0 344491404 39710720 8813 33554432000 134512640 135840783 4288416720 4288416080 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 9695 8813 347 325 0 8631 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38780
[startup+102.307 s]
/proc/loadavg: 3.46 3.23 2.51 3/178 17383
/proc/meminfo: memFree=28554524/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=69388 CPUtime=102.27 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 18080 0 0 0 10220 7 0 0 20 0 1 0 344491404 71053312 16493 33554432000 134512640 135840783 4288416720 4288416080 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 17347 16493 347 325 0 16283 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69388
[startup+162.3 s]
/proc/loadavg: 2.53 3.00 2.47 3/176 17383
/proc/meminfo: memFree=28491328/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=99584 CPUtime=162.26 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 25604 0 0 0 16217 9 0 0 20 0 1 0 344491404 101974016 24017 33554432000 134512640 135840783 4288416720 4288416080 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 24896 24017 347 325 0 23832 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 99584
[startup+222.3 s]
/proc/loadavg: 2.25 2.83 2.45 3/177 17384
/proc/meminfo: memFree=28436416/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=127164 CPUtime=222.25 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 32514 0 0 0 22214 11 0 0 20 0 1 0 344491404 130215936 30927 33554432000 134512640 135840783 4288416720 4288416080 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 31791 30927 347 325 0 30727 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 127164
[startup+282.3 s]
/proc/loadavg: 2.09 2.68 2.42 3/177 17384
/proc/meminfo: memFree=28381884/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=154064 CPUtime=282.24 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 39234 0 0 0 28212 12 0 0 20 0 1 0 344491404 157761536 37647 33554432000 134512640 135840783 4288416720 4288416016 134572704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 38516 37647 347 325 0 37452 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 154064
[startup+342.3 s]
/proc/loadavg: 2.03 2.55 2.39 3/177 17384
/proc/meminfo: memFree=28334172/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=185696 CPUtime=342.23 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 47139 0 0 0 34208 15 0 0 20 0 1 0 344491404 190152704 45552 33554432000 134512640 135840783 4288416720 4288416080 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 46424 45552 347 325 0 45360 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 185696
[startup+402.3 s]
/proc/loadavg: 2.01 2.45 2.36 3/177 17384
/proc/meminfo: memFree=28295388/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=215084 CPUtime=402.22 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 54491 0 0 0 40206 16 0 0 20 0 1 0 344491404 220246016 52904 33554432000 134512640 135840783 4288416720 4288416080 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17381/statm: 53771 52904 347 325 0 52707 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 215084
[startup+462.3 s]
/proc/loadavg: 2.00 2.37 2.34 3/177 17423
/proc/meminfo: memFree=30756484/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=246860 CPUtime=462.19 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 62462 0 0 0 46200 19 0 0 20 0 1 0 344491404 252784640 60842 33554432000 134512640 135840783 4288416720 4288416080 134551071 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 61715 60842 347 325 0 60651 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 246860
[startup+522.3 s]
/proc/loadavg: 2.00 2.30 2.31 3/177 17424
/proc/meminfo: memFree=30693892/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=269924 CPUtime=522.14 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 68275 0 0 0 52194 20 0 0 20 0 1 0 344491404 276402176 66614 33554432000 134512640 135840783 4288416720 4288416080 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 67481 66614 347 325 0 66417 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 269924
[startup+582.3 s]
/proc/loadavg: 2.00 2.24 2.29 3/178 17427
/proc/meminfo: memFree=30637644/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=291944 CPUtime=582.09 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 73823 0 0 0 58186 23 0 0 20 0 1 0 344491404 298950656 72117 33554432000 134512640 135840783 4288416720 4288416080 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 72986 72117 347 325 0 71922 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 291944
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.10 2.21 3/177 17428
/proc/meminfo: memFree=30402312/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=364124 CPUtime=822.05 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 91883 0 0 0 82176 29 0 0 20 0 1 0 344491404 372862976 90174 33554432000 134512640 135840783 4288416720 4288416080 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 91031 90174 347 325 0 89967 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 364124
[startup+882.3 s]
/proc/loadavg: 2.00 2.08 2.20 3/178 17429
/proc/meminfo: memFree=30359204/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=375252 CPUtime=882.03 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 94658 0 0 0 88173 30 0 0 20 0 1 0 344491404 384258048 92944 33554432000 134512640 135840783 4288416720 4288416016 134571424 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 93813 92944 347 325 0 92749 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 375252
[startup+942.3 s]
/proc/loadavg: 2.00 2.06 2.18 3/177 17429
/proc/meminfo: memFree=30327268/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=386644 CPUtime=941.99 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 97552 0 0 0 94168 31 0 0 20 0 1 0 344491404 395923456 95800 33554432000 134512640 135840783 4288416720 4288416080 134550738 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 96661 95800 347 325 0 95597 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 386644
[startup+1002.3 s]
/proc/loadavg: 2.06 2.06 2.17 3/177 17429
/proc/meminfo: memFree=30294284/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=399632 CPUtime=1001.98 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 100775 0 0 0 100166 32 0 0 20 0 1 0 344491404 409223168 99023 33554432000 134512640 135840783 4288416720 4288416080 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 99908 99023 347 325 0 98844 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 399632
[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.16 3/177 17429
/proc/meminfo: memFree=30254248/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=417756 CPUtime=1061.97 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 105334 0 0 0 106163 34 0 0 20 0 1 0 344491404 427782144 103582 33554432000 134512640 135840783 4288416720 4288416080 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 104439 103582 347 325 0 103375 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 417756
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.15 3/177 17430
/proc/meminfo: memFree=30207528/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=437204 CPUtime=1121.96 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 110168 0 0 0 112161 35 0 0 20 0 1 0 344491404 447696896 108416 33554432000 134512640 135840783 4288416720 4288416080 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 109301 108416 347 325 0 108237 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 437204
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.14 3/178 17433
/proc/meminfo: memFree=30166028/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=454800 CPUtime=1181.95 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 114597 0 0 0 118159 36 0 0 20 0 1 0 344491404 465715200 112845 33554432000 134512640 135840783 4288416720 4288415856 10210206 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 113700 112845 347 325 0 112636 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 454800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/177 17433
/proc/meminfo: memFree=30119164/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=469764 CPUtime=1241.94 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 118313 0 0 0 124156 38 0 0 20 0 1 0 344491404 481038336 116561 33554432000 134512640 135840783 4288416720 4288416080 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 117441 116561 347 325 0 116377 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 469764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/177 17433
/proc/meminfo: memFree=30080724/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=485252 CPUtime=1301.94 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 122195 0 0 0 130155 39 0 0 20 0 1 0 344491404 496898048 120443 33554432000 134512640 135840783 4288416720 4288416080 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 121313 120443 347 325 0 120249 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 485252
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/177 17433
/proc/meminfo: memFree=30032612/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=508428 CPUtime=1361.92 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 128000 0 0 0 136151 41 0 0 20 0 1 0 344491404 520630272 126248 33554432000 134512640 135840783 4288416720 4288415856 10210206 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 127107 126248 347 325 0 126043 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 508428
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 17434
/proc/meminfo: memFree=29994896/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=524996 CPUtime=1421.91 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 132146 0 0 0 142148 43 0 0 20 0 1 0 344491404 537595904 130384 33554432000 134512640 135840783 4288416720 4288416080 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 131249 130384 347 325 0 130185 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 524996
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.09 3/177 17434
/proc/meminfo: memFree=29954004/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=546120 CPUtime=1481.84 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 137480 0 0 0 148140 44 0 0 20 0 1 0 344491404 559226880 135670 33554432000 134512640 135840783 4288416720 4288416080 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 136530 135670 347 325 0 135466 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 546120
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/177 17434
/proc/meminfo: memFree=29914392/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=565356 CPUtime=1541.82 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 142292 0 0 0 154136 46 0 0 20 0 1 0 344491404 578924544 140454 33554432000 134512640 135840783 4288416720 4288416080 134551377 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 141339 140454 347 325 0 140275 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 565356
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.08 3/177 17434
/proc/meminfo: memFree=29887484/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=571848 CPUtime=1601.81 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 143940 0 0 0 160134 47 0 0 20 0 1 0 344491404 585572352 142102 33554432000 134512640 135840783 4288416720 4288416080 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 142962 142102 347 325 0 141898 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 571848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 17434
/proc/meminfo: memFree=29849044/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=590908 CPUtime=1661.79 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 148710 0 0 0 166131 48 0 0 20 0 1 0 344491404 605089792 146872 33554432000 134512640 135840783 4288416720 4288416016 134572583 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 147727 146872 347 325 0 146663 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 590908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 17435
/proc/meminfo: memFree=29801924/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=620652 CPUtime=1721.79 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 156116 0 0 0 172128 51 0 0 20 0 1 0 344491404 635547648 154278 33554432000 134512640 135840783 4288416720 4288416032 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 155163 154278 347 325 0 154099 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 620652
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.07 3/178 17438
/proc/meminfo: memFree=29752464/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=653136 CPUtime=1781.77 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 164250 0 0 0 178124 53 0 0 20 0 1 0 344491404 668811264 162412 33554432000 134512640 135840783 4288416720 4288416080 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 163284 162412 347 325 0 162220 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 653136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.04 2.01 2.06 3/177 17438
/proc/meminfo: memFree=29730244/32873844 swapFree=7116/7116
[pid=17381] ppid=17379 vsize=668612 CPUtime=1800.09 cores=1,3,5,7
/proc/17381/stat : 17381 (bsolo3.0.17) R 17379 17381 16841 0 -1 4202496 168121 0 0 0 179955 54 0 0 20 0 1 0 344491404 684658688 166283 33554432000 134512640 135840783 4288416720 4288416080 134551365 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17381/statm: 167153 166283 347 325 0 166089 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 668612
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.62
CPU time (s): 1800.11
CPU user time (s): 1799.55
CPU system time (s): 0.555915
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 668612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.555915
maximum resident set size= 665132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168124
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= 266
involuntary context switches= 1898
runsolver used 3.83942 second user time and 10.1875 second system time
The end