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-3744487-1338808028/watcher-3744487-1338808028 -o /tmp/evaluation-result-3744487-1338808028/solver-3744487-1338808028 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744487-1338808028.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.15 2.05 1.99 3/176 4651
/proc/meminfo: memFree=27107796/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=13896 CPUtime=0 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 346928906 14229504 393 33554432000 134512640 135840783 4289493536 4289492432 134541066 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 3474 394 326 325 0 2062 0
[startup+0.0759769 s]
/proc/loadavg: 2.15 2.05 1.99 3/176 4651
/proc/meminfo: memFree=27107796/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=9692 CPUtime=0.07 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 1574 0 0 0 7 0 0 0 20 0 1 0 346928906 9924608 1510 33554432000 134512640 135840783 4289493536 4289492352 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 2423 1510 536 325 0 1011 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9692
[startup+0.100233 s]
/proc/loadavg: 2.15 2.05 1.99 3/176 4651
/proc/meminfo: memFree=27107796/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=10512 CPUtime=0.09 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 1868 0 0 0 9 0 0 0 20 0 1 0 346928906 10764288 1804 33554432000 134512640 135840783 4289493536 4289491984 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 2628 1805 611 325 0 1216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10512
[startup+0.300221 s]
/proc/loadavg: 2.15 2.05 1.99 3/176 4651
/proc/meminfo: memFree=27107796/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=13276 CPUtime=0.29 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 2940 0 0 0 29 0 0 0 20 0 1 0 346928906 13594624 2528 33554432000 134512640 135840783 4289493536 4289303916 5243952 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 3319 2528 344 325 0 2255 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13276
[startup+0.700225 s]
/proc/loadavg: 2.15 2.05 1.99 3/176 4651
/proc/meminfo: memFree=27107796/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=14628 CPUtime=0.69 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 3423 0 0 0 68 1 0 0 20 0 1 0 346928906 14979072 2887 33554432000 134512640 135840783 4289493536 4289492832 134571853 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 3657 2887 349 325 0 2593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14628
[startup+1.50019 s]
/proc/loadavg: 2.15 2.05 1.99 3/177 4652
/proc/meminfo: memFree=27094752/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=17004 CPUtime=1.49 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 4021 0 0 0 148 1 0 0 20 0 1 0 346928906 17412096 3485 33554432000 134512640 135840783 4289493536 4289492896 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 4251 3485 349 325 0 3187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17004
[startup+3.10022 s]
/proc/loadavg: 2.15 2.05 1.99 3/177 4652
/proc/meminfo: memFree=27087996/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=23476 CPUtime=3.08 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 5639 0 0 0 307 1 0 0 20 0 1 0 346928906 24039424 5103 33554432000 134512640 135840783 4289493536 4289492896 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 5869 5103 349 325 0 4805 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23476
[startup+6.30023 s]
/proc/loadavg: 2.14 2.05 1.99 3/177 4652
/proc/meminfo: memFree=27068756/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=33004 CPUtime=6.29 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 8013 0 0 0 627 2 0 0 20 0 1 0 346928906 33796096 7477 33554432000 134512640 135840783 4289493536 4289492768 1584738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 8251 7477 349 325 0 7187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33004
[startup+12.7002 s]
/proc/loadavg: 2.13 2.05 1.99 3/177 4652
/proc/meminfo: memFree=27038608/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=46496 CPUtime=12.68 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 11394 0 0 0 1266 2 0 0 20 0 1 0 346928906 47611904 10858 33554432000 134512640 135840783 4289493536 4289492896 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 11624 10858 349 325 0 10560 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46496
[startup+25.5003 s]
/proc/loadavg: 2.17 2.06 2.00 3/177 4652
/proc/meminfo: memFree=26986784/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=72808 CPUtime=25.49 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 17986 0 0 0 2545 4 0 0 20 0 1 0 346928906 74555392 17450 33554432000 134512640 135840783 4289493536 4289492896 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 18202 17450 349 325 0 17138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72808
[startup+51.1002 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 4652
/proc/meminfo: memFree=26916940/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=108376 CPUtime=51.08 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 26857 0 0 0 5101 7 0 0 20 0 1 0 346928906 110977024 26321 33554432000 134512640 135840783 4289493536 4289490964 1569122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 27094 26321 349 325 0 26030 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 108376
[startup+102.306 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 4652
/proc/meminfo: memFree=26788628/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=165976 CPUtime=102.28 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 41267 0 0 0 10216 12 0 0 20 0 1 0 346928906 169959424 40731 33554432000 134512640 135840783 4289493536 4289492888 6523088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 41494 40731 349 325 0 40430 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 165976
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 4652
/proc/meminfo: memFree=26663664/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=227440 CPUtime=162.23 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 56679 0 0 0 16205 18 0 0 20 0 1 0 346928906 232898560 56123 33554432000 134512640 135840783 4289493536 4289492896 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 56860 56123 349 325 0 55796 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 227440
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 4656
/proc/meminfo: memFree=26567252/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=276760 CPUtime=222.17 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 69059 0 0 0 22194 23 0 0 20 0 1 0 346928906 283402240 68455 33554432000 134512640 135840783 4289493536 4289492772 1577119 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 69190 68455 349 325 0 68126 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 276760
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4656
/proc/meminfo: memFree=26500356/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=310476 CPUtime=282.12 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 77532 0 0 0 28184 28 0 0 20 0 1 0 346928906 317927424 76880 33554432000 134512640 135840783 4289493536 4289492896 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 77619 76880 349 325 0 76555 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 310476
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4656
/proc/meminfo: memFree=26437424/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=338244 CPUtime=342.09 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 84483 0 0 0 34177 32 0 0 20 0 1 0 346928906 346361856 83808 33554432000 134512640 135840783 4289493536 4289492896 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 84561 83808 349 325 0 83497 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 338244
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4656
/proc/meminfo: memFree=26374928/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=368524 CPUtime=402.08 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 92062 0 0 0 40172 36 0 0 20 0 1 0 346928906 377368576 91387 33554432000 134512640 135840783 4289493536 4289492896 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 92131 91387 349 325 0 91067 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 368524
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4656
/proc/meminfo: memFree=26314872/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=396684 CPUtime=462.07 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 99092 0 0 0 46167 40 0 0 20 0 1 0 346928906 406204416 98417 33554432000 134512640 135840783 4289493536 4289492896 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 99171 98417 349 325 0 98107 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 396684
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4657
/proc/meminfo: memFree=26264452/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=423784 CPUtime=522.06 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 105885 0 0 0 52163 43 0 0 20 0 1 0 346928906 433954816 105210 33554432000 134512640 135840783 4289493536 4289492896 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 105946 105210 349 325 0 104882 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 423784
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4657
/proc/meminfo: memFree=26214492/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=446652 CPUtime=582.05 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 111597 0 0 0 58158 47 0 0 20 0 1 0 346928906 457371648 110922 33554432000 134512640 135840783 4289493536 4289492896 134551501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 111663 110922 349 325 0 110599 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 446652
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4661
/proc/meminfo: memFree=26037768/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=526500 CPUtime=822 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 131560 0 0 0 82142 58 0 0 20 0 1 0 346928906 539136000 130868 33554432000 134512640 135840783 4289493536 4289492896 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 131625 130868 349 325 0 130561 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 526500
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25993272/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=546596 CPUtime=881.95 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 136659 0 0 0 88132 63 0 0 20 0 1 0 346928906 559714304 135920 33554432000 134512640 135840783 4289493536 4289492896 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 136649 135920 349 325 0 135585 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 546596
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25951404/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=566556 CPUtime=941.9 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 141675 0 0 0 94123 67 0 0 20 0 1 0 346928906 580153344 140889 33554432000 134512640 135840783 4289493536 4289492896 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 141639 140889 349 325 0 140575 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 566556
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25913160/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=584932 CPUtime=1001.88 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 146294 0 0 0 100118 70 0 0 20 0 1 0 346928906 598970368 145502 33554432000 134512640 135840783 4289493536 4289492848 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 146233 145502 349 325 0 145169 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 584932
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4661
/proc/meminfo: memFree=25875216/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=603436 CPUtime=1061.88 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 150911 0 0 0 106115 73 0 0 20 0 1 0 346928906 617918464 150119 33554432000 134512640 135840783 4289493536 4289492896 134551520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 150859 150119 349 325 0 149795 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 603436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4662
/proc/meminfo: memFree=25838640/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=621676 CPUtime=1121.87 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 155461 0 0 0 112110 77 0 0 20 0 1 0 346928906 636596224 154669 33554432000 134512640 135840783 4289493536 4289492896 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 155419 154669 349 325 0 154355 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 621676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4662
/proc/meminfo: memFree=25806896/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=638064 CPUtime=1181.86 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 159562 0 0 0 118106 80 0 0 20 0 1 0 346928906 653377536 158770 33554432000 134512640 135840783 4289493536 4289492896 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 159516 158770 349 325 0 158452 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 638064
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 4663
/proc/meminfo: memFree=25771176/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=654720 CPUtime=1241.85 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 163742 0 0 0 124102 83 0 0 20 0 1 0 346928906 670433280 162950 33554432000 134512640 135840783 4289493536 4289492896 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 163680 162950 349 325 0 162616 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 654720
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4663
/proc/meminfo: memFree=25734592/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=671244 CPUtime=1301.85 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 167853 0 0 0 130100 85 0 0 20 0 1 0 346928906 687353856 167061 33554432000 134512640 135840783 4289493536 4289492772 1576907 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 167811 167061 349 325 0 166747 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 671244
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4663
/proc/meminfo: memFree=25705620/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=684460 CPUtime=1361.83 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 171172 0 0 0 136095 88 0 0 20 0 1 0 346928906 700887040 170380 33554432000 134512640 135840783 4289493536 4289492896 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 171115 170380 349 325 0 170051 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 684460
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4667
/proc/meminfo: memFree=25674892/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=697812 CPUtime=1421.83 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 174485 0 0 0 142092 91 0 0 20 0 1 0 346928906 714559488 173693 33554432000 134512640 135840783 4289493536 4289492896 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 174453 173693 349 325 0 173389 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 697812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25642660/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=712616 CPUtime=1481.82 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 178198 0 0 0 148088 94 0 0 20 0 1 0 346928906 729718784 177406 33554432000 134512640 135840783 4289493536 4289492896 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 178154 177406 349 325 0 177090 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 712616
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25614760/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=727680 CPUtime=1541.81 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 181964 0 0 0 154085 96 0 0 20 0 1 0 346928906 745144320 181172 33554432000 134512640 135840783 4289493536 4289492896 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 181920 181172 349 325 0 180856 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 727680
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25585004/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=741824 CPUtime=1601.8 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 185509 0 0 0 160081 99 0 0 20 0 1 0 346928906 759627776 184717 33554432000 134512640 135840783 4289493536 4289492896 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 185456 184717 349 325 0 184392 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 741824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4667
/proc/meminfo: memFree=25556236/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=756756 CPUtime=1661.79 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 189229 0 0 0 166077 102 0 0 20 0 1 0 346928906 774918144 188437 33554432000 134512640 135840783 4289493536 4289492896 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 189189 188437 349 325 0 188125 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 756756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4667
/proc/meminfo: memFree=25530320/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=769448 CPUtime=1721.77 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 192406 0 0 0 172073 104 0 0 20 0 1 0 346928906 787914752 191614 33554432000 134512640 135840783 4289493536 4289492896 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 192362 191614 349 325 0 191298 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 769448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4668
/proc/meminfo: memFree=25499916/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=783324 CPUtime=1781.76 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 195909 0 0 0 178069 107 0 0 20 0 1 0 346928906 802123776 195097 33554432000 134512640 135840783 4289493536 4289489584 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 195831 195097 349 325 0 194767 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 783324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4707
/proc/meminfo: memFree=26211680/32873648 swapFree=6860/6860
[pid=4651] ppid=4649 vsize=786500 CPUtime=1800.05 cores=1,3,5,7
/proc/4651/stat : 4651 (bsolo3.0.17) R 4649 4651 2050 0 -1 4202496 196684 0 0 0 179898 107 0 0 20 0 1 0 346928906 805376000 195864 33554432000 134512640 135840783 4289493536 4289492896 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4651/statm: 196625 195864 349 325 0 195561 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 786500
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.08
CPU user time (s): 1798.99
CPU system time (s): 1.09083
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 786500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.09083
maximum resident set size= 783456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196687
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= 308
involuntary context switches= 1845
runsolver used 3.46947 second user time and 9.1856 second system time
The end