runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462824-1307183571/watcher-3462824-1307183571 -o /tmp/evaluation-result-3462824-1307183571/solver-3462824-1307183571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462824-1307183571.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.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 580 0 0 0 0 0 0 0 25 0 1 0 810772772 12259328 535 33554432000 134512640 137138936 4292451584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 2993 535 184 642 0 2330 0
[startup+0.10428 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.1 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 10 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 136500289 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13512
[startup+0.200251 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.19 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 19 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13512
[startup+0.300231 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.29 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 29 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13512
[startup+0.700149 s]
/proc/loadavg: 2.03 2.03 2.00 2/437 11469
/proc/meminfo: memFree=24486096/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=13512 CPUtime=0.69 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 983 0 0 0 69 0 0 0 25 0 1 0 810772772 13836288 919 33554432000 134512640 137138936 4292451584 18446744073709551615 134543391 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3378 919 185 642 0 2734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13512
[startup+1.50099 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24482368/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=14304 CPUtime=1.49 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 1444 0 0 0 146 3 0 0 25 0 1 0 810772772 14647296 1142 33554432000 134512640 137138936 4292451584 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 3576 1143 192 642 0 2932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14304
[startup+3.10067 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24475796/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=22968 CPUtime=3.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 3625 0 0 0 305 4 0 0 25 0 1 0 810772772 23519232 3323 33554432000 134512640 137138936 4292451584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 5742 3323 192 642 0 5098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22968
[startup+6.30105 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24459852/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=39524 CPUtime=6.29 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 7758 0 0 0 622 7 0 0 25 0 1 0 810772772 40472576 7456 33554432000 134512640 137138936 4292451584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 9881 7456 192 642 0 9237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39524
[startup+12.7008 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24428564/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=69200 CPUtime=12.69 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 15181 0 0 0 1258 11 0 0 25 0 1 0 810772772 70860800 14879 33554432000 134512640 137138936 4292451584 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 17300 14879 192 642 0 16656 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69200
[startup+25.5012 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11470
/proc/meminfo: memFree=24388148/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=106652 CPUtime=25.49 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 24537 0 0 0 2532 17 0 0 25 0 1 0 810772772 109211648 24235 33554432000 134512640 137138936 4292451584 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 26663 24235 192 642 0 26019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106652
[startup+51.1012 s]
/proc/loadavg: 2.13 2.06 2.01 3/438 11471
/proc/meminfo: memFree=24329532/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=165888 CPUtime=51.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 39342 0 0 0 5085 24 0 0 25 0 1 0 810772772 169869312 39040 33554432000 134512640 137138936 4292451584 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 41472 39040 192 642 0 40828 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 165888
[startup+102.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/438 11473
/proc/meminfo: memFree=24231288/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=261984 CPUtime=102.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 63363 0 0 0 10192 38 0 0 25 0 1 0 810772772 268271616 63061 33554432000 134512640 137138936 4292451584 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 65496 63061 192 642 0 64852 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 261984
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/438 11475
/proc/meminfo: memFree=24138020/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=355452 CPUtime=162.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 86741 0 0 0 16180 50 0 0 25 0 1 0 810772772 363982848 86439 33554432000 134512640 137138936 4292451584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 88863 86439 192 642 0 88219 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 355452
[startup+222.317 s]
/proc/loadavg: 2.08 2.07 2.01 3/438 11476
/proc/meminfo: memFree=24046860/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=438824 CPUtime=222.32 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 107586 0 0 0 22172 60 0 0 25 0 1 0 810772772 449355776 107284 33554432000 134512640 137138936 4292451584 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 109706 107284 192 642 0 109062 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 438824
[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/438 11478
/proc/meminfo: memFree=23975300/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=511260 CPUtime=282.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 125699 0 0 0 28160 70 0 0 25 0 1 0 810772772 523530240 125397 33554432000 134512640 137138936 4292451584 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 127815 125397 192 642 0 127171 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 511260
[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/438 11480
/proc/meminfo: memFree=23914028/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=570904 CPUtime=342.3 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 140599 0 0 0 34151 79 0 0 25 0 1 0 810772772 584605696 140297 33554432000 134512640 137138936 4292451584 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 142726 140297 192 642 0 142082 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 570904
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 11481
/proc/meminfo: memFree=23910288/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=402.31 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 40151 80 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 573832
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 11484
/proc/meminfo: memFree=23911004/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=462.31 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 46150 81 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 136500245 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 573832
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11485
/proc/meminfo: memFree=23911224/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=522.32 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 52144 88 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 573832
[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 11487
/proc/meminfo: memFree=23910716/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=573832 CPUtime=582.32 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 141553 0 0 0 58140 92 0 0 25 0 1 0 810772772 587603968 141041 33554432000 134512640 137138936 4292451584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 143458 141041 192 642 0 142814 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 573832
[startup+642.301 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 11496
/proc/meminfo: memFree=23813860/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=672680 CPUtime=882.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 166251 0 0 0 88116 119 0 0 25 0 1 0 810772772 688824320 165739 33554432000 134512640 137138936 4292451584 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 168170 165739 192 642 0 167526 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 672680
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11638
/proc/meminfo: memFree=23928752/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=727432 CPUtime=942.33 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 179947 0 0 0 94107 126 0 0 25 0 1 0 810772772 744890368 179435 33554432000 134512640 137138936 4292451584 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 181858 179435 192 642 0 181214 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 727432
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11639
/proc/meminfo: memFree=23844808/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1002.33 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 100106 127 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 729564
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/438 11641
/proc/meminfo: memFree=23793948/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1062.34 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 106107 127 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 729564
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 11642
/proc/meminfo: memFree=23754504/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1122.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 112105 130 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 729564
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/438 11644
/proc/meminfo: memFree=23726828/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1182.34 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 118099 135 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 729564
[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/438 11646
/proc/meminfo: memFree=23701152/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1242.34 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 124094 140 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 729564
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/438 11647
/proc/meminfo: memFree=23678076/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1302.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 130090 145 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 729564
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11649
/proc/meminfo: memFree=23654744/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1362.35 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 136087 148 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 729564
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11650
/proc/meminfo: memFree=23635004/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1422.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 142084 152 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 729564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11652
/proc/meminfo: memFree=23615780/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1482.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 148080 156 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 729564
[startup+1542.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/438 11654
/proc/meminfo: memFree=23596548/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=729564 CPUtime=1542.38 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 180733 0 0 0 154078 160 0 0 25 0 1 0 810772772 747073536 179967 33554432000 134512640 137138936 4292451584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 182391 179967 192 642 0 181747 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 729564
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 11655
/proc/meminfo: memFree=23577440/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=733972 CPUtime=1602.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 181832 0 0 0 160074 162 0 0 25 0 1 0 810772772 751587328 181066 33554432000 134512640 137138936 4292451584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 183493 181066 192 642 0 182849 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 733972
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 11657
/proc/meminfo: memFree=23515680/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=780928 CPUtime=1662.36 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 193578 0 0 0 166067 169 0 0 25 0 1 0 810772772 799670272 192812 33554432000 134512640 137138936 4292451584 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 195232 192812 192 642 0 194588 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 780928
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/438 11667
/proc/meminfo: memFree=23477108/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1722.37 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 172064 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 803436
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/438 11669
/proc/meminfo: memFree=23461348/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1782.38 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 178065 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 803436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.00 3/438 11670
/proc/meminfo: memFree=23456752/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1800.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 179836 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 803436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.00 3/438 11670
/proc/meminfo: memFree=23456752/32951124 swapFree=50923800/67111528
[pid=11469] ppid=11467 vsize=803436 CPUtime=1800.09 cores=1,3,5,7
/proc/11469/stat : 11469 (bsolo) R 11467 11469 9722 0 -1 4202496 199479 0 0 0 179836 173 0 0 25 0 1 0 810772772 822718464 198435 33554432000 134512640 137138936 4292451584 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11469/statm: 200859 198435 192 642 0 200215 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 803436
Child status: 15
Real time (s): 1800.05
CPU time (s): 1800.13
CPU user time (s): 1798.37
CPU system time (s): 1.76473
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 804548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.76473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199480
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= 6
involuntary context switches= 2096
runsolver used 7.31689 second user time and 18.6892 second system time
The end