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-3733286-1338694102/watcher-3733286-1338694102 -o /tmp/evaluation-result-3733286-1338694102/solver-3733286-1338694102 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733286-1338694102.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: 2.00 2.00 2.00 3/176 25533
/proc/meminfo: memFree=25226344/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) D 25531 25533 23594 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 335537527 2723840 48 33554432000 134512640 135840783 4287315792 4287313828 8344516 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 665 48 37 325 0 32 0
[startup+0.0791231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25533
/proc/meminfo: memFree=25226344/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=11844 CPUtime=0.06 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 1736 0 0 0 6 0 0 0 20 0 1 0 335537527 12128256 1673 33554432000 134512640 135840783 4287315792 4287314748 13698096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 2962 1674 571 325 0 1140 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11844
[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25533
/proc/meminfo: memFree=25226344/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=12952 CPUtime=0.09 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 2112 0 0 0 9 0 0 0 20 0 1 0 335537527 13262848 2049 33554432000 134512640 135840783 4287315792 4287314992 134527859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 3238 2049 645 325 0 1416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12952
[startup+0.300259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25533
/proc/meminfo: memFree=25226344/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=23004 CPUtime=0.28 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 5828 0 0 0 28 0 0 0 20 0 1 0 335537527 23556096 5007 33554432000 134512640 135840783 4287315792 4287296476 13698096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 5751 5007 343 325 0 4687 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23004
[startup+0.700294 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25533
/proc/meminfo: memFree=25226344/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=27148 CPUtime=0.69 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 6850 0 0 0 67 2 0 0 20 0 1 0 335537527 27799552 6029 33554432000 134512640 135840783 4287315792 4287296300 13698096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 6787 6029 345 325 0 5723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25534
/proc/meminfo: memFree=25203636/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=25440 CPUtime=1.48 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 7421 0 0 0 144 4 0 0 20 0 1 0 335537527 26050560 5610 33554432000 134512640 135840783 4287315792 4287294496 1996071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 6360 5613 345 325 0 5296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25440
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25534
/proc/meminfo: memFree=25188624/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=68364 CPUtime=3.09 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 19112 0 0 0 302 7 0 0 20 0 1 0 335537527 70004736 16366 33554432000 134512640 135840783 4287315792 4287315152 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 17091 16366 350 325 0 16027 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68364
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25534
/proc/meminfo: memFree=25114104/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=131204 CPUtime=6.29 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 34808 0 0 0 619 10 0 0 20 0 1 0 335537527 134352896 32062 33554432000 134512640 135840783 4287315792 4287315152 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 32801 32062 350 325 0 31737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131204
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25534
/proc/meminfo: memFree=25003592/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=233512 CPUtime=12.68 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 60385 0 0 0 1255 13 0 0 20 0 1 0 335537527 239116288 57639 33554432000 134512640 135840783 4287315792 4287297040 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 58378 57639 350 325 0 57314 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 233512
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25534
/proc/meminfo: memFree=24906864/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=325968 CPUtime=25.48 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 83490 0 0 0 2531 17 0 0 20 0 1 0 335537527 333791232 80744 33554432000 134512640 135840783 4287315792 4287315152 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 81492 80744 350 325 0 80428 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 325968
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25534
/proc/meminfo: memFree=24718088/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=517612 CPUtime=51.07 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 131405 0 0 0 5083 24 0 0 20 0 1 0 335537527 530034688 128659 33554432000 134512640 135840783 4287315792 4287315152 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 129403 128659 350 325 0 128339 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 517612
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25538
/proc/meminfo: memFree=24276396/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=951768 CPUtime=102.28 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 239940 0 0 0 10181 47 0 0 20 0 1 0 335537527 974610432 237194 33554432000 134512640 135840783 4287315792 4287315104 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 237942 237194 350 325 0 236878 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 951768
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25538
/proc/meminfo: memFree=24019540/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1209896 CPUtime=162.26 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 304481 0 0 0 16166 60 0 0 20 0 1 0 335537527 1238933504 301735 33554432000 134512640 135840783 4287315792 4287315152 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 302474 301735 350 325 0 301410 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1209896
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25538
/proc/meminfo: memFree=23893712/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1333888 CPUtime=222.25 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 335483 0 0 0 22156 69 0 0 20 0 1 0 335537527 1365901312 332737 33554432000 134512640 135840783 4287315792 4287315152 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 333472 332737 350 325 0 332408 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1333888
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25538
/proc/meminfo: memFree=23837692/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1390936 CPUtime=282.24 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 349741 0 0 0 28150 74 0 0 20 0 1 0 335537527 1424318464 346995 33554432000 134512640 135840783 4287315792 4287315152 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 347734 346995 350 325 0 346670 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1390936
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25538
/proc/meminfo: memFree=23783288/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1444664 CPUtime=342.23 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 363173 0 0 0 34145 78 0 0 20 0 1 0 335537527 1479335936 360427 33554432000 134512640 135840783 4287315792 4287315152 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 361166 360427 350 325 0 360102 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1444664
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25539
/proc/meminfo: memFree=23485840/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1748688 CPUtime=402.22 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 439168 0 0 0 40129 93 0 0 20 0 1 0 335537527 1790656512 436422 33554432000 134512640 135840783 4287315792 4287315152 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 437172 436422 350 325 0 436108 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1748688
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25539
/proc/meminfo: memFree=23327644/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1899660 CPUtime=462.21 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 476926 0 0 0 46119 102 0 0 20 0 1 0 335537527 1945251840 474180 33554432000 134512640 135840783 4287315792 4287315152 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 474915 474180 350 325 0 473851 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1899660
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25539
/proc/meminfo: memFree=23193256/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=1985540 CPUtime=522.2 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 498391 0 0 0 52113 107 0 0 20 0 1 0 335537527 2033192960 495645 33554432000 134512640 135840783 4287315792 4287315152 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 496385 495645 350 325 0 495321 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1985540
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25539
/proc/meminfo: memFree=22949996/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2108976 CPUtime=582.19 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 529246 0 0 0 58103 116 0 0 20 0 1 0 335537527 2159591424 526500 33554432000 134512640 135840783 4287315792 4287315152 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 527244 526500 350 325 0 526180 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2108976
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25543
/proc/meminfo: memFree=22309904/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2580624 CPUtime=822.16 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 647163 0 0 0 82071 145 0 0 20 0 1 0 335537527 2642558976 644417 33554432000 134512640 135840783 4287315792 4287315152 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 645156 644417 350 325 0 644092 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 2580624
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25543
/proc/meminfo: memFree=22240244/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2649296 CPUtime=882.15 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 664326 0 0 0 88065 150 0 0 20 0 1 0 335537527 2712879104 661580 33554432000 134512640 135840783 4287315792 4287315152 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 662324 661580 350 325 0 661260 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 2649296
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25543
/proc/meminfo: memFree=22141196/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2749340 CPUtime=942.14 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 689356 0 0 0 94058 156 0 0 20 0 1 0 335537527 2815324160 686610 33554432000 134512640 135840783 4287315792 4287315152 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 687335 686610 350 325 0 686271 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 2749340
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25544
/proc/meminfo: memFree=22093608/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2796140 CPUtime=1002.13 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 701037 0 0 0 100053 160 0 0 20 0 1 0 335537527 2863247360 698291 33554432000 134512640 135840783 4287315792 4287315152 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 699035 698291 350 325 0 697971 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2796140
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25544
/proc/meminfo: memFree=22018508/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1062.12 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719574 0 0 0 106046 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315216 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2869596
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25544
/proc/meminfo: memFree=22018784/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1122.09 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719620 0 0 0 112043 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315216 134546178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 2869596
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25544
/proc/meminfo: memFree=22018688/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1182.08 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719625 0 0 0 118042 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 2869596
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25583
/proc/meminfo: memFree=23967640/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1242.06 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719643 0 0 0 124040 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2869596
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25587
/proc/meminfo: memFree=23857532/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1302.05 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719647 0 0 0 130039 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2869596
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25587
/proc/meminfo: memFree=23680460/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1362.04 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719648 0 0 0 136038 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2869596
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25587
/proc/meminfo: memFree=23440176/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1422.03 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719655 0 0 0 142037 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2869596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25587
/proc/meminfo: memFree=23240316/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1482.01 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719663 0 0 0 148035 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2869596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25587
/proc/meminfo: memFree=22947268/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1541.99 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719673 0 0 0 154033 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2869596
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25588
/proc/meminfo: memFree=22693108/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1601.97 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719689 0 0 0 160031 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 2869596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25588
/proc/meminfo: memFree=22463488/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1661.96 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719693 0 0 0 166030 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 2869596
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25588
/proc/meminfo: memFree=22244376/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1721.95 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719705 0 0 0 172029 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2869596
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25588
/proc/meminfo: memFree=22111724/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1781.93 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719717 0 0 0 178027 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 2869596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25588
/proc/meminfo: memFree=22064960/32873648 swapFree=7120/7120
[pid=25533] ppid=25531 vsize=2869596 CPUtime=1800.04 cores=1,3,5,7
/proc/25533/stat : 25533 (bsolo3.0.17) R 25531 25533 23594 0 -1 4202496 719719 0 0 0 179838 166 0 0 20 0 1 0 335537527 2938466304 716672 33554432000 134512640 135840783 4287315792 4287315152 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25533/statm: 717399 716672 350 325 0 716335 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2869596
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.5
CPU time (s): 1800.14
CPU user time (s): 1798.38
CPU system time (s): 1.75773
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 2870184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 1.75773
maximum resident set size= 2867276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719722
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= 169
involuntary context switches= 1836
runsolver used 3.41248 second user time and 9.40257 second system time
The end