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-3462786-1307182847/watcher-3462786-1307182847 -o /tmp/evaluation-result-3462786-1307182847/solver-3462786-1307182847 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462786-1307182847.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: 2.00 2.00 2.00 2/481 16493
/proc/meminfo: memFree=26961860/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=12628 CPUtime=0.01 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 639 0 0 0 1 0 0 0 25 0 1 0 829887049 12931072 594 33554432000 134512640 137138936 4294454928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 3157 594 186 642 0 2397 0
[startup+0.112458 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 16493
/proc/meminfo: memFree=26961860/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=30784 CPUtime=0.1 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 5370 0 0 0 10 0 0 0 25 0 1 0 829887049 31522816 5169 33554432000 134512640 137138936 4294454928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 7696 5177 183 642 0 7052 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30784
[startup+0.200442 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 16493
/proc/meminfo: memFree=26961860/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=31848 CPUtime=0.19 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 5587 0 0 0 19 0 0 0 25 0 1 0 829887049 32612352 5386 33554432000 134512640 137138936 4294454928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 7962 5386 185 642 0 7318 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31848
[startup+0.300419 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 16493
/proc/meminfo: memFree=26961860/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=31848 CPUtime=0.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 5587 0 0 0 29 0 0 0 25 0 1 0 829887049 32612352 5386 33554432000 134512640 137138936 4294454928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 7962 5386 185 642 0 7318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31848
[startup+0.700344 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 16493
/proc/meminfo: memFree=26961860/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=32148 CPUtime=0.69 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 5662 0 0 0 68 1 0 0 25 0 1 0 829887049 32919552 5461 33554432000 134512640 137138936 4294454928 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 8037 5461 185 642 0 7393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32148
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16494
/proc/meminfo: memFree=26939648/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=35132 CPUtime=1.49 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 6927 0 0 0 147 2 0 0 25 0 1 0 829887049 35975168 6204 33554432000 134512640 137138936 4294454928 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 8783 6204 192 642 0 8139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35132
[startup+3.10089 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16494
/proc/meminfo: memFree=26930100/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=47400 CPUtime=3.09 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 10019 0 0 0 307 2 0 0 25 0 1 0 829887049 48537600 9296 33554432000 134512640 137138936 4294454928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 11850 9296 192 642 0 11206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47400
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16494
/proc/meminfo: memFree=26908684/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=67368 CPUtime=6.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 14994 0 0 0 625 4 0 0 25 0 1 0 829887049 68984832 14271 33554432000 134512640 137138936 4294454928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 16842 14271 192 642 0 16198 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67368
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16495
/proc/meminfo: memFree=26868712/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=103976 CPUtime=12.69 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 24164 0 0 0 1262 7 0 0 25 0 1 0 829887049 106471424 23441 33554432000 134512640 137138936 4294454928 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 25994 23441 192 642 0 25350 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103976
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16495
/proc/meminfo: memFree=26822572/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=148888 CPUtime=25.49 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 35368 0 0 0 2539 10 0 0 25 0 1 0 829887049 152461312 34645 33554432000 134512640 137138936 4294454928 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16493/statm: 37222 34645 192 642 0 36578 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 148888
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 16496
/proc/meminfo: memFree=26733952/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=238904 CPUtime=51.08 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 57884 0 0 0 5091 17 0 0 25 0 1 0 829887049 244637696 57161 33554432000 134512640 137138936 4294454928 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 59726 57161 192 642 0 59082 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 238904
[startup+102.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/482 16497
/proc/meminfo: memFree=26605720/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=363920 CPUtime=102.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 89138 0 0 0 10204 25 0 0 25 0 1 0 829887049 372654080 88415 33554432000 134512640 137138936 4294454928 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 90980 88415 192 642 0 90336 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 363920
[startup+162.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/482 16499
/proc/meminfo: memFree=26595536/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=373880 CPUtime=162.28 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 91617 0 0 0 16201 27 0 0 25 0 1 0 829887049 382853120 90894 33554432000 134512640 137138936 4294454928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 93470 90894 192 642 0 92826 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 373880
[startup+222.318 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 16500
/proc/meminfo: memFree=26596244/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=373880 CPUtime=222.3 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 91617 0 0 0 22200 30 0 0 25 0 1 0 829887049 382853120 90894 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 93470 90894 192 642 0 92826 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 373880
[startup+282.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/482 16529
/proc/meminfo: memFree=26577880/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=372388 CPUtime=282.28 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 91617 0 0 0 28196 32 0 0 25 0 1 0 829887049 381325312 90546 33554432000 134512640 137138936 4294454928 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 93097 90546 192 642 0 92453 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 372388
[startup+342.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/482 16530
/proc/meminfo: memFree=26570028/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=372388 CPUtime=342.28 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 91617 0 0 0 34193 35 0 0 25 0 1 0 829887049 381325312 90546 33554432000 134512640 137138936 4294454928 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 93097 90546 192 642 0 92453 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 372388
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 16532
/proc/meminfo: memFree=26565416/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=374540 CPUtime=402.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 92140 0 0 0 40191 38 0 0 25 0 1 0 829887049 383528960 91069 33554432000 134512640 137138936 4294454928 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 93635 91069 192 642 0 92991 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 374540
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16534
/proc/meminfo: memFree=26537856/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=399356 CPUtime=462.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 98335 0 0 0 46188 41 0 0 25 0 1 0 829887049 408940544 97264 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 99839 97264 192 642 0 99195 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 399356
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16535
/proc/meminfo: memFree=26537960/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=399356 CPUtime=522.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 98335 0 0 0 52184 45 0 0 25 0 1 0 829887049 408940544 97264 33554432000 134512640 137138936 4294454928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 99839 97264 192 642 0 99195 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 399356
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/482 16537
/proc/meminfo: memFree=26533464/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=399356 CPUtime=582.29 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 98335 0 0 0 58183 46 0 0 25 0 1 0 829887049 408940544 97264 33554432000 134512640 137138936 4294454928 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 99839 97264 192 642 0 99195 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 399356
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26492560/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=430716 CPUtime=1122.31 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 112164 67 0 0 25 0 1 0 829887049 441053184 105098 33554432000 134512640 137138936 4294454928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107679 105098 192 642 0 107035 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 430716
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/482 16553
/proc/meminfo: memFree=26497124/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=430716 CPUtime=1182.31 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 118162 69 0 0 25 0 1 0 829887049 441053184 105098 33554432000 134512640 137138936 4294454928 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107679 105098 192 642 0 107035 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 430716
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 16554
/proc/meminfo: memFree=26497344/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=430716 CPUtime=1242.32 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 124160 72 0 0 25 0 1 0 829887049 441053184 105098 33554432000 134512640 137138936 4294454928 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107679 105098 192 642 0 107035 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 430716
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 16556
/proc/meminfo: memFree=26498428/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=430716 CPUtime=1302.32 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 130158 74 0 0 25 0 1 0 829887049 441053184 105098 33554432000 134512640 137138936 4294454928 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107679 105098 192 642 0 107035 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 430716
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/482 16558
/proc/meminfo: memFree=26498772/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=429584 CPUtime=1362.33 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 136157 76 0 0 25 0 1 0 829887049 439894016 104845 33554432000 134512640 137138936 4294454928 18446744073709551615 134575817 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107396 104845 192 642 0 106752 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 429584
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/482 16559
/proc/meminfo: memFree=26498368/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=429584 CPUtime=1422.34 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 142156 78 0 0 25 0 1 0 829887049 439894016 104845 33554432000 134512640 137138936 4294454928 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107396 104845 192 642 0 106752 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 429584
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 16561
/proc/meminfo: memFree=26497480/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=429584 CPUtime=1482.33 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 148154 79 0 0 25 0 1 0 829887049 439894016 104845 33554432000 134512640 137138936 4294454928 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107396 104845 192 642 0 106752 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 429584
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 16562
/proc/meminfo: memFree=26497816/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=429584 CPUtime=1542.34 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 106169 0 0 0 154154 80 0 0 25 0 1 0 829887049 439894016 104845 33554432000 134512640 137138936 4294454928 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 107396 104845 192 642 0 106752 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 429584
[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 16564
/proc/meminfo: memFree=26480684/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=447900 CPUtime=1602.33 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 110721 0 0 0 160149 84 0 0 25 0 1 0 829887049 458649600 109397 33554432000 134512640 137138936 4294454928 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 111975 109397 192 642 0 111331 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 447900
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/482 16566
/proc/meminfo: memFree=26481148/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=447900 CPUtime=1662.34 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 110721 0 0 0 166147 87 0 0 25 0 1 0 829887049 458649600 109397 33554432000 134512640 137138936 4294454928 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 111975 109397 192 642 0 111331 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 447900
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 16567
/proc/meminfo: memFree=26480256/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=447900 CPUtime=1722.33 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 110721 0 0 0 172144 89 0 0 25 0 1 0 829887049 458649600 109397 33554432000 134512640 137138936 4294454928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 111975 109397 192 642 0 111331 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 447900
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26479480/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=447900 CPUtime=1782.34 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 110721 0 0 0 178143 91 0 0 25 0 1 0 829887049 458649600 109397 33554432000 134512640 137138936 4294454928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 111975 109397 192 642 0 111331 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 447900
Solver just ended. Dumping a history of the last processes samples
[startup+1792.02 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26477000/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=450220 CPUtime=1792.06 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111302 0 0 0 179114 92 0 0 25 0 1 0 829887049 461025280 109978 33554432000 134512640 137138936 4294454928 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112555 109978 192 642 0 111911 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 450220
[startup+1795.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26476132/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=451012 CPUtime=1795.25 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111494 0 0 0 179433 92 0 0 25 0 1 0 829887049 461836288 110170 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112753 110170 192 642 0 112109 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 451012
[startup+1796.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26476256/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=451012 CPUtime=1796.84 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111494 0 0 0 179592 92 0 0 25 0 1 0 829887049 461836288 110170 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112753 110170 192 642 0 112109 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 451012
[startup+1797.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26476256/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=451012 CPUtime=1797.64 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111494 0 0 0 179672 92 0 0 25 0 1 0 829887049 461836288 110170 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112753 110170 192 642 0 112109 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 451012
[startup+1798 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26476256/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=451012 CPUtime=1798.04 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111494 0 0 0 179712 92 0 0 25 0 1 0 829887049 461836288 110170 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112753 110170 192 642 0 112109 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 451012
[startup+1798.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26476256/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=451012 CPUtime=1798.24 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111494 0 0 0 179732 92 0 0 25 0 1 0 829887049 461836288 110170 33554432000 134512640 137138936 4294454928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112753 110170 192 642 0 112109 0
Current children cumulated CPU time (s) 1798.24
Current children cumulated vsize (KiB) 451012
[startup+1798.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26476256/32951124 swapFree=38422276/67111528
[pid=16493] ppid=16491 vsize=451012 CPUtime=1798.34 cores=0,2,4,6
/proc/16493/stat : 16493 (bsolo) R 16491 16493 13859 0 -1 4202496 111494 0 0 0 179742 92 0 0 25 0 1 0 829887049 461836288 110170 33554432000 134512640 137138936 4294454928 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16493/statm: 112753 110170 192 642 0 112109 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 451012
Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.39
CPU user time (s): 1797.45
CPU system time (s): 0.939857
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 451012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.45
system time used= 0.939857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111495
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= 2691
runsolver used 8.92364 second user time and 19.1061 second system time
The end