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-3462712-1307182138/watcher-3462712-1307182138 -o /tmp/evaluation-result-3462712-1307182138/solver-3462712-1307182138 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462712-1307182138.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.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=12396 CPUtime=0.01 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 682 0 0 0 1 0 0 0 19 0 1 0 908444501 12693504 636 33554432000 134512640 137138936 4293587392 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3099 638 189 642 0 2434 0
[startup+0.059242 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=13904 CPUtime=0.05 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1077 0 0 0 5 0 0 0 19 0 1 0 908444501 14237696 1010 33554432000 134512640 137138936 4293587392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3476 1010 185 642 0 2832 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13904
[startup+0.100231 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=13904 CPUtime=0.09 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1077 0 0 0 9 0 0 0 19 0 1 0 908444501 14237696 1010 33554432000 134512640 137138936 4293587392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3476 1010 185 642 0 2832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13904
[startup+0.301206 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=14044 CPUtime=0.29 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1446 0 0 0 27 2 0 0 20 0 1 0 908444501 14381056 1073 33554432000 134512640 137138936 4293587392 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3511 1074 188 642 0 2867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14044
[startup+0.701123 s]
/proc/loadavg: 2.08 2.06 2.01 2/515 18297
/proc/meminfo: memFree=22976140/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=15164 CPUtime=0.69 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 1731 0 0 0 66 3 0 0 21 0 1 0 908444501 15527936 1358 33554432000 134512640 137138936 4293587392 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 3791 1358 192 642 0 3147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15164
[startup+1.50097 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 18298
/proc/meminfo: memFree=22967792/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=18432 CPUtime=1.49 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 2556 0 0 0 146 3 0 0 23 0 1 0 908444501 18874368 2183 33554432000 134512640 137138936 4293587392 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 4608 2183 192 642 0 3964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18432
[startup+3.10068 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 18298
/proc/meminfo: memFree=22959360/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=25732 CPUtime=3.09 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 4378 0 0 0 306 3 0 0 25 0 1 0 908444501 26349568 4005 33554432000 134512640 137138936 4293587392 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 6433 4005 192 642 0 5789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25732
[startup+6.30107 s]
/proc/loadavg: 2.07 2.06 2.01 3/516 18298
/proc/meminfo: memFree=22948332/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=35900 CPUtime=6.29 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 6908 0 0 0 625 4 0 0 25 0 1 0 908444501 36761600 6535 33554432000 134512640 137138936 4293587392 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 8975 6535 192 642 0 8331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35900
[startup+12.7009 s]
/proc/loadavg: 2.07 2.06 2.01 3/516 18299
/proc/meminfo: memFree=22934300/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=49856 CPUtime=12.69 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 10406 0 0 0 1264 5 0 0 25 0 1 0 908444501 51052544 10033 33554432000 134512640 137138936 4293587392 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 12464 10033 192 642 0 11820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49856
[startup+25.5004 s]
/proc/loadavg: 2.05 2.06 2.01 3/516 18299
/proc/meminfo: memFree=22909352/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=75612 CPUtime=25.49 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 16835 0 0 0 2541 8 0 0 25 0 1 0 908444501 77426688 16462 33554432000 134512640 137138936 4293587392 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 18903 16462 192 642 0 18259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75612
[startup+51.1006 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 18300
/proc/meminfo: memFree=22865176/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=118932 CPUtime=51.09 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 27681 0 0 0 5097 12 0 0 25 0 1 0 908444501 121786368 27308 33554432000 134512640 137138936 4293587392 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 29733 27308 192 642 0 29089 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118932
[startup+102.32 s]
/proc/loadavg: 2.11 2.07 2.01 3/516 18301
/proc/meminfo: memFree=22810336/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=171924 CPUtime=102.32 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 40911 0 0 0 10212 20 0 0 25 0 1 0 908444501 176050176 40538 33554432000 134512640 137138936 4293587392 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 42981 40538 192 642 0 42337 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 171924
[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/516 18302
/proc/meminfo: memFree=22760456/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=223008 CPUtime=162.29 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 53694 0 0 0 16203 26 0 0 25 0 1 0 908444501 228360192 53321 33554432000 134512640 137138936 4293587392 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 55752 53321 192 642 0 55108 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 223008
[startup+222.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 18304
/proc/meminfo: memFree=22715636/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=269104 CPUtime=222.3 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 65206 0 0 0 22197 33 0 0 25 0 1 0 908444501 275562496 64833 33554432000 134512640 137138936 4293587392 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 67276 64833 192 642 0 66632 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 269104
[startup+282.301 s]
/proc/loadavg: 2.17 2.08 2.01 3/516 18306
/proc/meminfo: memFree=22669472/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=313804 CPUtime=282.3 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 76400 0 0 0 28191 39 0 0 25 0 1 0 908444501 321335296 76027 33554432000 134512640 137138936 4293587392 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 78451 76027 192 642 0 77807 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 313804
[startup+342.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/516 18307
/proc/meminfo: memFree=22625684/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=360096 CPUtime=342.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 87971 0 0 0 34186 45 0 0 25 0 1 0 908444501 368738304 87598 33554432000 134512640 137138936 4293587392 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 90024 87598 192 642 0 89380 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 360096
[startup+402.301 s]
/proc/loadavg: 2.05 2.06 2.00 3/516 18309
/proc/meminfo: memFree=22589560/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=395688 CPUtime=402.3 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 96855 0 0 0 40180 50 0 0 25 0 1 0 908444501 405184512 96480 33554432000 134512640 137138936 4293587392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 98922 96480 192 642 0 98278 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 395688
[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/516 18310
/proc/meminfo: memFree=22558392/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=427920 CPUtime=462.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 104927 0 0 0 46175 56 0 0 25 0 1 0 908444501 438190080 104552 33554432000 134512640 137138936 4293587392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 106980 104552 192 642 0 106336 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 427920
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 18312
/proc/meminfo: memFree=22525120/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=459636 CPUtime=522.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 112852 0 0 0 52171 60 0 0 25 0 1 0 908444501 470667264 112477 33554432000 134512640 137138936 4293587392 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 114909 112477 192 642 0 114265 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 459636
[startup+582.301 s]
/proc/loadavg: 1.93 2.01 1.99 3/516 18343
/proc/meminfo: memFree=22556344/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=492036 CPUtime=582.31 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 120952 0 0 0 58167 64 0 0 25 0 1 0 908444501 503844864 120577 33554432000 134512640 137138936 4293587392 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 123009 120577 192 642 0 122365 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 492036
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22298364/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=722628 CPUtime=1062.33 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 178614 0 0 0 106135 98 0 0 25 0 1 0 908444501 739971072 178229 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 180657 178229 192 642 0 180013 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 722628
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18357
/proc/meminfo: memFree=22260872/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=754492 CPUtime=1122.33 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 186573 0 0 0 112130 103 0 0 25 0 1 0 908444501 772599808 186187 33554432000 134512640 137138936 4293587392 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 188623 186187 192 642 0 187979 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 754492
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/516 18359
/proc/meminfo: memFree=22231680/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=782808 CPUtime=1182.33 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 193653 0 0 0 118126 107 0 0 25 0 1 0 908444501 801595392 193267 33554432000 134512640 137138936 4293587392 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 195702 193267 192 642 0 195058 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 782808
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/516 18360
/proc/meminfo: memFree=22202632/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=811776 CPUtime=1242.34 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 200903 0 0 0 124123 111 0 0 25 0 1 0 908444501 831258624 200517 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 202944 200517 192 642 0 202300 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 811776
[startup+1302.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/516 18362
/proc/meminfo: memFree=22176924/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=837660 CPUtime=1302.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 207364 0 0 0 130120 115 0 0 25 0 1 0 908444501 857763840 206978 33554432000 134512640 137138936 4293587392 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 209415 206978 192 642 0 208771 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 837660
[startup+1362.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 18363
/proc/meminfo: memFree=22152452/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=862072 CPUtime=1362.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 213512 0 0 0 136117 118 0 0 25 0 1 0 908444501 882761728 213084 33554432000 134512640 137138936 4293587392 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 215518 213084 192 642 0 214874 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 862072
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.00 4/516 18365
/proc/meminfo: memFree=22126492/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=887808 CPUtime=1422.37 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 220185 0 0 0 142116 121 0 0 25 0 1 0 908444501 909115392 219508 33554432000 134512640 137138936 4293587392 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 221952 219508 192 642 0 221308 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 887808
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 18367
/proc/meminfo: memFree=22104748/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=907804 CPUtime=1482.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 225205 0 0 0 148111 124 0 0 25 0 1 0 908444501 929591296 224528 33554432000 134512640 137138936 4293587392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 226951 224528 192 642 0 226307 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 907804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 18368
/proc/meminfo: memFree=22078288/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=931040 CPUtime=1542.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 231006 0 0 0 154108 127 0 0 25 0 1 0 908444501 953384960 230329 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 232760 230329 192 642 0 232116 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 931040
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 18370
/proc/meminfo: memFree=22053828/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=955820 CPUtime=1602.35 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 237179 0 0 0 160104 131 0 0 25 0 1 0 908444501 978759680 236502 33554432000 134512640 137138936 4293587392 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 238955 236502 192 642 0 238311 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 955820
[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/516 18372
/proc/meminfo: memFree=22033576/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=975428 CPUtime=1662.36 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 242105 0 0 0 166102 134 0 0 25 0 1 0 908444501 998838272 241428 33554432000 134512640 137138936 4293587392 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 243857 241428 192 642 0 243213 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 975428
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/516 18373
/proc/meminfo: memFree=22015692/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=992916 CPUtime=1722.36 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 246497 0 0 0 172100 136 0 0 25 0 1 0 908444501 1016745984 245795 33554432000 134512640 137138936 4293587392 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 248229 245795 192 642 0 247585 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 992916
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 18375
/proc/meminfo: memFree=21995684/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1011564 CPUtime=1782.36 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 251166 0 0 0 178098 138 0 0 25 0 1 0 908444501 1035841536 250460 33554432000 134512640 137138936 4293587392 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 252891 250460 192 642 0 252247 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1011564
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 18375
/proc/meminfo: memFree=21994320/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1012404 CPUtime=1785.56 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 251371 0 0 0 178417 139 0 0 25 0 1 0 908444501 1036701696 250665 33554432000 134512640 137138936 4293587392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 253101 250665 192 642 0 252457 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 1012404
[startup+1791.92 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 18375
/proc/meminfo: memFree=21993056/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1014460 CPUtime=1791.98 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 251892 0 0 0 179059 139 0 0 25 0 1 0 908444501 1038807040 251182 33554432000 134512640 137138936 4293587392 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 253615 251182 192 642 0 252971 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 1014460
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21993180/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1015456 CPUtime=1795.17 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252147 0 0 0 179378 139 0 0 25 0 1 0 908444501 1039826944 251437 33554432000 134512640 137138936 4293587392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 253864 251437 192 642 0 253220 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 1015456
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21992684/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1016172 CPUtime=1796.76 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252310 0 0 0 179537 139 0 0 25 0 1 0 908444501 1040560128 251600 33554432000 134512640 137138936 4293587392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 254043 251600 192 642 0 253399 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 1016172
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21991072/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1016428 CPUtime=1797.55 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252391 0 0 0 179616 139 0 0 25 0 1 0 908444501 1040822272 251681 33554432000 134512640 137138936 4293587392 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 254107 251681 192 642 0 253463 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1016428
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 18377
/proc/meminfo: memFree=21991072/32950928 swapFree=58671692/67111528
[pid=18297] ppid=18295 vsize=1016548 CPUtime=1797.95 cores=1,3,5,7
/proc/18297/stat : 18297 (bsolo) R 18295 18297 16455 0 -1 4202496 252419 0 0 0 179656 139 0 0 25 0 1 0 908444501 1040945152 251709 33554432000 134512640 137138936 4293587392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18297/statm: 254137 251709 192 642 0 253493 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1016548
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.05
CPU user time (s): 1796.61
CPU system time (s): 1.44278
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1016548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.61
system time used= 1.44278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252422
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= 1380
runsolver used 8.73667 second user time and 22.3266 second system time
The end