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-3742581-1338772597/watcher-3742581-1338772597 -o /tmp/evaluation-result-3742581-1338772597/solver-3742581-1338772597 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742581-1338772597.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: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 343388205 4583424 80 33554432000 134512640 135840783 4290367568 4290366908 1542104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 1119 99 80 325 0 39 0
[startup+0.0906051 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=8896 CPUtime=0.07 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 1474 0 0 0 7 0 0 0 20 0 1 0 343388205 9109504 1411 33554432000 134512640 135840783 4290367568 4290366768 134526991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2224 1411 548 325 0 899 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8896
[startup+0.100224 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=9028 CPUtime=0.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 1530 0 0 0 8 0 0 0 20 0 1 0 343388205 9244672 1467 33554432000 134512640 135840783 4290367568 4290366552 1782238 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2257 1467 571 325 0 932 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9028
[startup+0.300185 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=0.28 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2168 0 0 0 28 0 0 0 20 0 1 0 343388205 10797056 1844 33554432000 134512640 135840783 4290367568 4290178048 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1844 342 325 0 1572 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10544
[startup+0.700176 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=0.68 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2170 0 0 0 68 0 0 0 20 0 1 0 343388205 10797056 1846 33554432000 134512640 135840783 4290367568 4290178048 134550767 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1846 342 325 0 1572 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10544
[startup+1.50018 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30094972/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=1.48 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2170 0 0 0 148 0 0 0 20 0 1 0 343388205 10797056 1846 33554432000 134512640 135840783 4290367568 4290177824 2100106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1846 342 325 0 1572 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10544
[startup+3.10018 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30092492/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=3.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2172 0 0 0 308 0 0 0 20 0 1 0 343388205 10797056 1848 33554432000 134512640 135840783 4290367568 4290178160 134583456 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1848 342 325 0 1572 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10544
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30089028/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=6.28 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2173 0 0 0 628 0 0 0 20 0 1 0 343388205 10797056 1849 33554432000 134512640 135840783 4290367568 4290178188 6943792 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 2636 1849 342 325 0 1572 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10544
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30072048/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=24452 CPUtime=12.68 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 5801 0 0 0 1267 1 0 0 20 0 1 0 343388205 25038848 5353 33554432000 134512640 135840783 4290367568 4290366928 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 6113 5353 347 325 0 5049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24452
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30033616/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=59244 CPUtime=25.48 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 14487 0 0 0 2545 3 0 0 20 0 1 0 343388205 60665856 14039 33554432000 134512640 135840783 4290367568 4290366928 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 14811 14039 347 325 0 13747 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59244
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 10957
/proc/meminfo: memFree=29948428/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=139856 CPUtime=51.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 34646 0 0 0 5102 6 0 0 20 0 1 0 343388205 143212544 34198 33554432000 134512640 135840783 4290367568 4290366928 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 34964 34198 347 325 0 33900 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139856
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 10957
/proc/meminfo: memFree=29771728/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=281812 CPUtime=102.27 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 70152 0 0 0 10214 13 0 0 20 0 1 0 343388205 288575488 69704 33554432000 134512640 135840783 4290367568 4290366928 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 70453 69704 347 325 0 69389 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281812
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 10957
/proc/meminfo: memFree=29613752/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=405256 CPUtime=162.26 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 101017 0 0 0 16207 19 0 0 20 0 1 0 343388205 414982144 100569 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 101314 100569 347 325 0 100250 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 405256
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 10960
/proc/meminfo: memFree=29458992/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=514804 CPUtime=222.25 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 128399 0 0 0 22199 26 0 0 20 0 1 0 343388205 527159296 127951 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 128701 127951 347 325 0 127637 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 514804
[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/178 10961
/proc/meminfo: memFree=29248076/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=682764 CPUtime=282.24 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 170380 0 0 0 28191 33 0 0 20 0 1 0 343388205 699150336 169932 33554432000 134512640 135840783 4290367568 4290366928 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 170691 169932 347 325 0 169627 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 682764
[startup+342.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/178 11000
/proc/meminfo: memFree=30284640/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=805396 CPUtime=342.21 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 201080 0 0 0 34181 40 0 0 20 0 1 0 343388205 824725504 200622 33554432000 134512640 135840783 4290367568 4290366928 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 201349 200622 347 325 0 200285 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 805396
[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 11000
/proc/meminfo: memFree=30118632/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=884420 CPUtime=402.17 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 220863 0 0 0 40173 44 0 0 20 0 1 0 343388205 905646080 220374 33554432000 134512640 135840783 4290367568 4290366928 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 221105 220374 347 325 0 220041 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 884420
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 11000
/proc/meminfo: memFree=29957584/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=960436 CPUtime=462.14 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 239907 0 0 0 46166 48 0 0 20 0 1 0 343388205 983486464 239378 33554432000 134512640 135840783 4290367568 4290366928 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 240109 239378 347 325 0 239045 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 960436
[startup+522.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/178 11038
/proc/meminfo: memFree=30054596/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1051928 CPUtime=522.1 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 262802 0 0 0 52157 53 0 0 20 0 1 0 343388205 1077174272 262237 33554432000 134512640 135840783 4290367568 4290366880 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 262982 262237 347 325 0 261918 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1051928
[startup+582.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/178 11039
/proc/meminfo: memFree=29877908/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1139700 CPUtime=582.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 284787 0 0 0 58151 57 0 0 20 0 1 0 343388205 1167052800 284188 33554432000 134512640 135840783 4290367568 4290366928 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 284925 284188 347 325 0 283861 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1139700
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 11043
/proc/meminfo: memFree=29207332/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1590856 CPUtime=881.94 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 397710 0 0 0 88112 82 0 0 20 0 1 0 343388205 1629036544 396976 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 397714 396976 347 325 0 396650 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1590856
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 11043
/proc/meminfo: memFree=29070976/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1695204 CPUtime=941.93 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 423836 0 0 0 94104 89 0 0 20 0 1 0 343388205 1735888896 423075 33554432000 134512640 135840783 4290367568 4290366928 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 423801 423075 347 325 0 422737 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1695204
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 11043
/proc/meminfo: memFree=28959884/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1775708 CPUtime=1001.9 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 443975 0 0 0 100097 93 0 0 20 0 1 0 343388205 1818324992 443182 33554432000 134512640 135840783 4290367568 4290366928 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 443927 443182 347 325 0 442863 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 1775708
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 11043
/proc/meminfo: memFree=28829232/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1875612 CPUtime=1061.89 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 468999 0 0 0 106091 98 0 0 20 0 1 0 343388205 1920626688 468185 33554432000 134512640 135840783 4290367568 4290366928 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 468903 468185 347 325 0 467839 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1875612
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 11043
/proc/meminfo: memFree=28718388/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1958100 CPUtime=1121.86 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 489654 0 0 0 112083 103 0 0 20 0 1 0 343388205 2005094400 488811 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 489525 488811 347 325 0 488461 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1958100
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11043
/proc/meminfo: memFree=28597292/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2053344 CPUtime=1181.83 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 513483 0 0 0 118076 107 0 0 20 0 1 0 343388205 2102624256 512612 33554432000 134512640 135840783 4290367568 4290366928 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 513336 512612 347 325 0 512272 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 2053344
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11044
/proc/meminfo: memFree=28500328/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2123004 CPUtime=1241.81 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 530912 0 0 0 124070 111 0 0 20 0 1 0 343388205 2173956096 530017 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 530751 530017 347 325 0 529687 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 2123004
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11044
/proc/meminfo: memFree=28407356/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2186356 CPUtime=1301.8 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 546772 0 0 0 130066 114 0 0 20 0 1 0 343388205 2238828544 545859 33554432000 134512640 135840783 4290367568 4290366928 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 546589 545859 347 325 0 545525 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 2186356
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11044
/proc/meminfo: memFree=28304976/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2264188 CPUtime=1361.77 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 566247 0 0 0 136058 119 0 0 20 0 1 0 343388205 2318528512 565308 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 566047 565308 347 325 0 564983 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 2264188
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11047
/proc/meminfo: memFree=28204664/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2336640 CPUtime=1421.75 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 584395 0 0 0 142052 123 0 0 20 0 1 0 343388205 2392719360 583438 33554432000 134512640 135840783 4290367568 4290366928 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 584160 583438 347 325 0 583096 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 2336640
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11047
/proc/meminfo: memFree=28107376/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2415412 CPUtime=1481.72 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 604106 0 0 0 148045 127 0 0 20 0 1 0 343388205 2473381888 603117 33554432000 134512640 135840783 4290367568 4290366928 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 603853 603117 347 325 0 602789 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 2415412
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11048
/proc/meminfo: memFree=28021084/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2479324 CPUtime=1541.7 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 620122 0 0 0 154040 130 0 0 20 0 1 0 343388205 2538827776 619113 33554432000 134512640 135840783 4290367568 4290366928 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 619831 619113 347 325 0 618767 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 2479324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11049
/proc/meminfo: memFree=27934072/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2547244 CPUtime=1601.68 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 637106 0 0 0 160035 133 0 0 20 0 1 0 343388205 2608377856 636077 33554432000 134512640 135840783 4290367568 4290366928 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 636811 636077 347 325 0 635747 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 2547244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11049
/proc/meminfo: memFree=27856608/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2604448 CPUtime=1661.66 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 651440 0 0 0 166030 136 0 0 20 0 1 0 343388205 2666954752 650388 33554432000 134512640 135840783 4290367568 4290366928 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 651112 650388 347 325 0 650048 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 2604448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11049
/proc/meminfo: memFree=27773680/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2664076 CPUtime=1721.64 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 666368 0 0 0 172025 139 0 0 20 0 1 0 343388205 2728013824 665294 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 666019 665294 347 325 0 664955 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 2664076
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 11251
/proc/meminfo: memFree=27704252/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2710544 CPUtime=1781.62 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 677987 0 0 0 178020 142 0 0 20 0 1 0 343388205 2775597056 676891 33554432000 134512640 135840783 4290367568 4290366928 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 677636 676891 347 325 0 676572 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 2710544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11252
/proc/meminfo: memFree=27684016/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2723640 CPUtime=1800.03 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 681266 0 0 0 179860 143 0 0 20 0 1 0 343388205 2789007360 680166 33554432000 134512640 135840783 4290367568 4290366880 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 680910 680166 347 325 0 679846 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2723640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11252
/proc/meminfo: memFree=27684016/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2723640 CPUtime=1800.03 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 681266 0 0 0 179860 143 0 0 20 0 1 0 343388205 2789007360 680166 33554432000 134512640 135840783 4290367568 4290366880 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 680910 680166 347 325 0 679846 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2723640
Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.06
CPU user time (s): 1798.61
CPU system time (s): 1.45578
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 2723640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.45578
maximum resident set size= 2720664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681269
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= 729
involuntary context switches= 1890
runsolver used 3.12252 second user time and 9.2016 second system time
The end