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-3707483-1338139015/watcher-3707483-1338139015 -o /tmp/evaluation-result-3707483-1338139015/solver-3707483-1338139015 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707483-1338139015.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.77 1.75 3/174 28624
/proc/meminfo: memFree=27723840/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=10796 CPUtime=0 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 303 0 0 0 0 0 0 0 20 0 1 0 280027001 11055104 251 33554432000 134512640 137138936 4290461376 4290456860 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 2699 251 183 642 0 2055 0
[startup+0.0644509 s]
/proc/loadavg: 1.91 1.77 1.75 3/174 28624
/proc/meminfo: memFree=27723840/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=11304 CPUtime=0.06 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 451 0 0 0 6 0 0 0 20 0 1 0 280027001 11575296 399 33554432000 134512640 137138936 4290461376 4290460304 134543006 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 2826 399 192 642 0 2182 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11304
[startup+0.100215 s]
/proc/loadavg: 1.91 1.77 1.75 3/174 28624
/proc/meminfo: memFree=27723840/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=11688 CPUtime=0.09 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 533 0 0 0 9 0 0 0 20 0 1 0 280027001 11968512 481 33554432000 134512640 137138936 4290461376 4290459800 134606601 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 2922 481 192 642 0 2278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11688
[startup+0.300178 s]
/proc/loadavg: 1.91 1.77 1.75 3/174 28624
/proc/meminfo: memFree=27723840/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=13072 CPUtime=0.29 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 875 0 0 0 29 0 0 0 20 0 1 0 280027001 13385728 823 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 3268 823 192 642 0 2624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13072
[startup+0.700182 s]
/proc/loadavg: 1.91 1.77 1.75 3/174 28624
/proc/meminfo: memFree=27723840/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=15232 CPUtime=0.69 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 1426 0 0 0 69 0 0 0 20 0 1 0 280027001 15597568 1374 33554432000 134512640 137138936 4290461376 4290460304 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 3808 1374 192 642 0 3164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15232
[startup+1.50018 s]
/proc/loadavg: 1.91 1.77 1.75 3/175 28625
/proc/meminfo: memFree=27716524/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=17620 CPUtime=1.49 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 2022 0 0 0 148 1 0 0 20 0 1 0 280027001 18042880 1970 33554432000 134512640 137138936 4290461376 4290460304 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 4405 1970 192 642 0 3761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17620
[startup+3.10018 s]
/proc/loadavg: 1.91 1.77 1.75 3/175 28625
/proc/meminfo: memFree=27713548/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=18372 CPUtime=3.09 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 2209 0 0 0 308 1 0 0 20 0 1 0 280027001 18812928 2157 33554432000 134512640 137138936 4290461376 4290460256 136297633 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 4593 2157 192 642 0 3949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18372
[startup+6.30018 s]
/proc/loadavg: 1.92 1.78 1.75 3/175 28625
/proc/meminfo: memFree=27705364/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=19880 CPUtime=6.29 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 2588 0 0 0 626 3 0 0 20 0 1 0 280027001 20357120 2536 33554432000 134512640 137138936 4290461376 4290460304 134542202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 4970 2536 192 642 0 4326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19880
[startup+12.7002 s]
/proc/loadavg: 1.93 1.78 1.75 3/175 28625
/proc/meminfo: memFree=27694460/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=20876 CPUtime=12.69 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 2835 0 0 0 1265 4 0 0 20 0 1 0 280027001 21377024 2783 33554432000 134512640 137138936 4290461376 4290459912 136504105 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 5219 2783 192 642 0 4575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20876
[startup+25.5002 s]
/proc/loadavg: 1.94 1.79 1.76 3/175 28625
/proc/meminfo: memFree=27671628/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=23268 CPUtime=25.48 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 3441 0 0 0 2542 6 0 0 20 0 1 0 280027001 23826432 3389 33554432000 134512640 137138936 4290461376 4290459924 136500289 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 5817 3389 192 642 0 5173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23268
[startup+51.1002 s]
/proc/loadavg: 1.96 1.81 1.76 3/175 28625
/proc/meminfo: memFree=27633264/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=25728 CPUtime=51.08 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 4037 0 0 0 5096 12 0 0 20 0 1 0 280027001 26345472 3985 33554432000 134512640 137138936 4290461376 4290460416 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 6432 3985 192 642 0 5788 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25728
[startup+102.306 s]
/proc/loadavg: 1.98 1.83 1.77 3/175 28625
/proc/meminfo: memFree=27536340/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=27776 CPUtime=102.27 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 4559 0 0 0 10207 20 0 0 20 0 1 0 280027001 28442624 4507 33554432000 134512640 137138936 4290461376 4290460304 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 6944 4507 192 642 0 6300 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27776
[startup+162.3 s]
/proc/loadavg: 2.05 1.88 1.79 3/175 28626
/proc/meminfo: memFree=27450560/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=29148 CPUtime=162.25 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 4914 0 0 0 16196 29 0 0 20 0 1 0 280027001 29847552 4862 33554432000 134512640 137138936 4290461376 4290460272 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 7287 4862 192 642 0 6643 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29148
[startup+222.3 s]
/proc/loadavg: 2.02 1.90 1.80 3/176 28629
/proc/meminfo: memFree=27447604/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=30624 CPUtime=222.23 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 5272 0 0 0 22187 36 0 0 20 0 1 0 280027001 31358976 5220 33554432000 134512640 137138936 4290461376 4290460272 134542894 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28624/statm: 7656 5220 192 642 0 7012 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30624
[startup+282.3 s]
/proc/loadavg: 2.00 1.91 1.81 3/175 28629
/proc/meminfo: memFree=27446896/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=31116 CPUtime=282.22 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 5394 0 0 0 28178 44 0 0 20 0 1 0 280027001 31862784 5342 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 7779 5342 192 642 0 7135 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 31116
[startup+342.3 s]
/proc/loadavg: 2.00 1.93 1.82 3/175 28629
/proc/meminfo: memFree=27445820/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=32628 CPUtime=342.2 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 5788 0 0 0 34169 51 0 0 20 0 1 0 280027001 33411072 5727 33554432000 134512640 137138936 4290461376 4290460304 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 8157 5727 192 642 0 7513 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 32628
[startup+402.3 s]
/proc/loadavg: 2.00 1.94 1.83 3/175 28629
/proc/meminfo: memFree=27445572/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=33096 CPUtime=402.19 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 5893 0 0 0 40160 59 0 0 20 0 1 0 280027001 33890304 5832 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 8274 5832 192 642 0 7630 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 33096
[startup+462.3 s]
/proc/loadavg: 2.00 1.95 1.83 3/175 28630
/proc/meminfo: memFree=27445448/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=33204 CPUtime=462.18 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 5933 0 0 0 46153 65 0 0 20 0 1 0 280027001 34000896 5872 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 8301 5872 192 642 0 7657 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 33204
[startup+522.3 s]
/proc/loadavg: 2.00 1.95 1.84 3/174 28630
/proc/meminfo: memFree=27443844/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=35308 CPUtime=522.18 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 6447 0 0 0 52145 73 0 0 20 0 1 0 280027001 36155392 6386 33554432000 134512640 137138936 4290461376 4290460304 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 8827 6386 192 642 0 8183 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 35308
[startup+582.3 s]
/proc/loadavg: 2.00 1.96 1.85 3/175 28631
/proc/meminfo: memFree=27443464/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=35432 CPUtime=582.17 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 6478 0 0 0 58138 79 0 0 20 0 1 0 280027001 36282368 6417 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 8858 6417 192 642 0 8214 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 35432
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28486140/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=37832 CPUtime=1062.09 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7098 0 0 0 106077 132 0 0 20 0 1 0 280027001 38739968 7030 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 9458 7030 192 642 0 8814 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 37832
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 1.91 3/175 28864
/proc/meminfo: memFree=28484652/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=37824 CPUtime=1122.09 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7098 0 0 0 112071 138 0 0 20 0 1 0 280027001 38731776 7030 33554432000 134512640 137138936 4290461376 4290460304 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 9456 7030 192 642 0 8812 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 37824
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/175 28864
/proc/meminfo: memFree=28484712/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=37816 CPUtime=1182.07 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7098 0 0 0 118064 143 0 0 20 0 1 0 280027001 38723584 7029 33554432000 134512640 137138936 4290461376 4290460304 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 9454 7029 192 642 0 8810 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 37816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/175 28864
/proc/meminfo: memFree=28484588/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=37800 CPUtime=1242.06 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7098 0 0 0 124057 149 0 0 20 0 1 0 280027001 38707200 7025 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 9450 7025 192 642 0 8806 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 37800
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 28864
/proc/meminfo: memFree=28482168/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40356 CPUtime=1302.06 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7725 0 0 0 130050 156 0 0 20 0 1 0 280027001 41324544 7651 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10089 7651 192 642 0 9445 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 40356
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/175 28865
/proc/meminfo: memFree=28481920/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40576 CPUtime=1362.04 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7781 0 0 0 136041 163 0 0 20 0 1 0 280027001 41549824 7707 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10144 7707 192 642 0 9500 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 40576
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.92 3/176 28868
/proc/meminfo: memFree=28482160/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40552 CPUtime=1422.04 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7781 0 0 0 142036 168 0 0 20 0 1 0 280027001 41525248 7707 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10138 7707 192 642 0 9494 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 40552
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/175 28868
/proc/meminfo: memFree=28480616/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40528 CPUtime=1482.03 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7781 0 0 0 148029 174 0 0 20 0 1 0 280027001 41500672 7707 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10132 7707 192 642 0 9488 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 40528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 28868
/proc/meminfo: memFree=28480120/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40524 CPUtime=1542.02 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7781 0 0 0 154022 180 0 0 20 0 1 0 280027001 41496576 7706 33554432000 134512640 137138936 4290461376 4290460304 134542237 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10131 7706 192 642 0 9487 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 40524
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/175 28868
/proc/meminfo: memFree=28479872/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40592 CPUtime=1602 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 160015 185 0 0 20 0 1 0 280027001 41566208 7710 33554432000 134512640 137138936 4290461376 4290460304 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10148 7710 192 642 0 9504 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 40592
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/174 28868
/proc/meminfo: memFree=28479632/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40536 CPUtime=1662 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 166009 191 0 0 20 0 1 0 280027001 41508864 7709 33554432000 134512640 137138936 4290461376 4290460304 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10134 7709 192 642 0 9490 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 40536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28479004/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1721.99 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 172003 196 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460304 134543082 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 40532
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478880/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1781.98 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 177998 200 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460304 134542912 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 40532
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478508/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1791.58 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 178957 201 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 40532
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478508/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1794.78 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 179276 202 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 40532
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478508/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1796.38 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 179436 202 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 40532
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478508/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1797.18 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 179516 202 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460304 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 40532
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478508/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1797.58 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 179556 202 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460492 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 40532
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 28869
/proc/meminfo: memFree=28478508/32873852 swapFree=6848/6848
[pid=28624] ppid=28622 vsize=40532 CPUtime=1797.98 cores=0,2,4,6
/proc/28624/stat : 28624 (bsolo) R 28622 28624 26585 0 -1 4202496 7785 0 0 0 179596 202 0 0 20 0 1 0 280027001 41504768 7708 33554432000 134512640 137138936 4290461376 4290460416 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28624/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 40532
Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.02
CPU user time (s): 1795.99
CPU system time (s): 2.02669
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 40596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.99
system time used= 2.02669
maximum resident set size= 30840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7785
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= 16
involuntary context switches= 2268
runsolver used 2.77158 second user time and 7.27589 second system time
The end