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-3463197-1307178486/watcher-3463197-1307178486 -o /tmp/evaluation-result-3463197-1307178486/solver-3463197-1307178486 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463197-1307178486.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.01 2.00 2/327 28873
/proc/meminfo: memFree=23288576/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=12136 CPUtime=0.01 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 489 0 0 0 1 0 0 0 25 0 1 0 908079197 12427264 443 33554432000 134512640 137138936 4291847296 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 3034 444 209 642 0 2226 0
[startup+0.108935 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 28873
/proc/meminfo: memFree=23288576/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=15784 CPUtime=0.1 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 1698 0 0 0 10 0 0 0 25 0 1 0 908079197 16162816 1488 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 3946 1488 185 642 0 3302 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15784
[startup+0.200917 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 28873
/proc/meminfo: memFree=23288576/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=15224 CPUtime=0.19 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 1781 0 0 0 17 2 0 0 25 0 1 0 908079197 15589376 1375 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 3806 1375 192 642 0 3162 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15224
[startup+0.300901 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 28873
/proc/meminfo: memFree=23288576/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=16620 CPUtime=0.29 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 2115 0 0 0 27 2 0 0 25 0 1 0 908079197 17018880 1709 33554432000 134512640 137138936 4291847296 18446744073709551615 134606976 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 4155 1709 192 642 0 3511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16620
[startup+0.700827 s]
/proc/loadavg: 2.03 2.01 2.00 2/327 28873
/proc/meminfo: memFree=23288576/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=21440 CPUtime=0.69 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 3338 0 0 0 66 3 0 0 25 0 1 0 908079197 21954560 2932 33554432000 134512640 137138936 4291847296 18446744073709551615 134617973 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 5360 2932 192 642 0 4716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21440
[startup+1.50068 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28874
/proc/meminfo: memFree=23272076/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=31064 CPUtime=1.49 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 5726 0 0 0 146 3 0 0 25 0 1 0 908079197 31809536 5320 33554432000 134512640 137138936 4291847296 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 7766 5320 192 642 0 7122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31064
[startup+3.10039 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28874
/proc/meminfo: memFree=23259180/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=47840 CPUtime=3.09 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 9942 0 0 0 305 4 0 0 25 0 1 0 908079197 48988160 9536 33554432000 134512640 137138936 4291847296 18446744073709551615 134618333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 11960 9536 192 642 0 11316 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47840
[startup+6.3008 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28874
/proc/meminfo: memFree=23225424/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=80080 CPUtime=6.29 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 17979 0 0 0 624 5 0 0 25 0 1 0 908079197 82001920 17573 33554432000 134512640 137138936 4291847296 18446744073709551615 134618506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 20020 17573 192 642 0 19376 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80080
[startup+12.7006 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 28874
/proc/meminfo: memFree=23157808/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=132300 CPUtime=12.69 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 31038 0 0 0 1260 9 0 0 25 0 1 0 908079197 135475200 30632 33554432000 134512640 137138936 4291847296 18446744073709551615 136505639 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 33075 30632 192 642 0 32431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132300
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 28874
/proc/meminfo: memFree=23087868/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=165656 CPUtime=25.5 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 39391 0 0 0 2537 13 0 0 25 0 1 0 908079197 169631744 38985 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 41414 38985 192 642 0 40770 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 165656
[startup+51.1006 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 28875
/proc/meminfo: memFree=23018648/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=196376 CPUtime=51.1 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 47067 0 0 0 5094 16 0 0 25 0 1 0 908079197 201089024 46661 33554432000 134512640 137138936 4291847296 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 49094 46661 192 642 0 48450 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 196376
[startup+102.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/328 28876
/proc/meminfo: memFree=22981676/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=233416 CPUtime=102.31 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 56332 0 0 0 10210 21 0 0 25 0 1 0 908079197 239017984 55926 33554432000 134512640 137138936 4291847296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 58354 55926 192 642 0 57710 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 233416
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/328 28878
/proc/meminfo: memFree=22959060/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=255412 CPUtime=162.29 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 61845 0 0 0 16204 25 0 0 25 0 1 0 908079197 261541888 61406 33554432000 134512640 137138936 4291847296 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 63853 61406 192 642 0 63209 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 255412
[startup+222.312 s]
/proc/loadavg: 2.02 2.03 2.00 3/328 28880
/proc/meminfo: memFree=22936428/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=278480 CPUtime=222.31 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 67664 0 0 0 22201 30 0 0 25 0 1 0 908079197 285163520 67189 33554432000 134512640 137138936 4291847296 18446744073709551615 134577028 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 69620 67189 192 642 0 68976 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 278480
[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/328 28881
/proc/meminfo: memFree=22936608/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=278480 CPUtime=282.3 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 67664 0 0 0 28197 33 0 0 25 0 1 0 908079197 285163520 67189 33554432000 134512640 137138936 4291847296 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 69620 67189 192 642 0 68976 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 278480
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/328 28883
/proc/meminfo: memFree=22936320/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=278876 CPUtime=342.3 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 67770 0 0 0 34194 36 0 0 25 0 1 0 908079197 285569024 67295 33554432000 134512640 137138936 4291847296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 69719 67295 192 642 0 69075 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 278876
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 28884
/proc/meminfo: memFree=22910224/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=304896 CPUtime=402.3 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 74311 0 0 0 40190 40 0 0 25 0 1 0 908079197 312213504 73796 33554432000 134512640 137138936 4291847296 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 76224 73796 192 642 0 75580 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 304896
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 28886
/proc/meminfo: memFree=22909928/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=304896 CPUtime=462.3 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 74311 0 0 0 46187 43 0 0 25 0 1 0 908079197 312213504 73796 33554432000 134512640 137138936 4291847296 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 76224 73796 192 642 0 75580 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 304896
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 28887
/proc/meminfo: memFree=22909496/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=304896 CPUtime=522.31 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 74311 0 0 0 52185 46 0 0 25 0 1 0 908079197 312213504 73796 33554432000 134512640 137138936 4291847296 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 76224 73796 192 642 0 75580 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 304896
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28889
/proc/meminfo: memFree=22909568/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=304896 CPUtime=582.3 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 74311 0 0 0 58181 49 0 0 25 0 1 0 908079197 312213504 73796 33554432000 134512640 137138936 4291847296 18446744073709551615 134573817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 76224 73796 192 642 0 75580 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 304896
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23767488/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331500 CPUtime=1122.33 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 112149 84 0 0 25 0 1 0 908079197 339456000 80451 33554432000 134512640 137138936 4291847296 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82875 80451 192 642 0 82231 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 331500
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28932
/proc/meminfo: memFree=23734644/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331268 CPUtime=1182.33 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 118146 87 0 0 25 0 1 0 908079197 339218432 80393 33554432000 134512640 137138936 4291847296 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82817 80393 192 642 0 82173 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 331268
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28934
/proc/meminfo: memFree=23711888/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331268 CPUtime=1242.33 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 124141 92 0 0 25 0 1 0 908079197 339218432 80393 33554432000 134512640 137138936 4291847296 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82817 80393 192 642 0 82173 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 331268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28935
/proc/meminfo: memFree=23693120/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331268 CPUtime=1302.33 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 130139 94 0 0 25 0 1 0 908079197 339218432 80393 33554432000 134512640 137138936 4291847296 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82817 80393 192 642 0 82173 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 331268
[startup+1362.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/328 28937
/proc/meminfo: memFree=23674112/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331268 CPUtime=1362.33 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 136136 97 0 0 25 0 1 0 908079197 339218432 80393 33554432000 134512640 137138936 4291847296 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82817 80393 192 642 0 82173 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 331268
[startup+1422.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/328 28939
/proc/meminfo: memFree=23660540/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331268 CPUtime=1422.35 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 142134 101 0 0 25 0 1 0 908079197 339218432 80393 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82817 80393 192 642 0 82173 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 331268
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/328 28940
/proc/meminfo: memFree=23648468/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=331268 CPUtime=1482.34 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81533 0 0 0 148130 104 0 0 25 0 1 0 908079197 339218432 80393 33554432000 134512640 137138936 4291847296 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 82817 80393 192 642 0 82173 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 331268
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/328 28942
/proc/meminfo: memFree=23637272/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=332936 CPUtime=1542.35 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81918 0 0 0 154127 108 0 0 25 0 1 0 908079197 340926464 80778 33554432000 134512640 137138936 4291847296 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83234 80778 192 642 0 82590 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 332936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 28943
/proc/meminfo: memFree=23625220/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1602.34 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 160123 111 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 333228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 28945
/proc/meminfo: memFree=23613168/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1662.34 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 166120 114 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 333228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 28946
/proc/meminfo: memFree=23597980/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1722.34 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 172118 116 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 333228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28948
/proc/meminfo: memFree=23582444/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1782.34 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 178115 119 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 333228
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28948
/proc/meminfo: memFree=23581452/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1785.65 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 178445 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 333228
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28948
/proc/meminfo: memFree=23579700/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1792.06 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 179086 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 333228
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28948
/proc/meminfo: memFree=23578832/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1795.26 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 179406 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1795.26
Current children cumulated vsize (KiB) 333228
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28948
/proc/meminfo: memFree=23578460/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1796.85 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 179565 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 333228
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28949
/proc/meminfo: memFree=23577840/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1797.65 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 179645 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 333228
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28949
/proc/meminfo: memFree=23577840/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1797.85 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 179665 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 333228
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28949
/proc/meminfo: memFree=23577840/32951124 swapFree=67056304/67111528
[pid=28873] ppid=28871 vsize=333228 CPUtime=1797.95 cores=1,3,5,7
/proc/28873/stat : 28873 (bsolo) R 28871 28873 27326 0 -1 4202496 81991 0 0 0 179675 120 0 0 25 0 1 0 908079197 341225472 80851 33554432000 134512640 137138936 4291847296 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28873/statm: 83307 80851 192 642 0 82663 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 333228
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.02
CPU user time (s): 1796.8
CPU system time (s): 1.21981
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 333496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.8
system time used= 1.21981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81992
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= 5
involuntary context switches= 2664
runsolver used 5.10122 second user time and 12.896 second system time
The end