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-3462985-1307175344/watcher-3462985-1307175344 -o /tmp/evaluation-result-3462985-1307175344/solver-3462985-1307175344 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462985-1307175344.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: 1.04 1.05 1.31 2/481 14668
/proc/meminfo: memFree=27370120/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=19080 CPUtime=0.01 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 537 0 0 0 1 0 0 0 25 0 1 0 829134125 19537920 492 33554432000 134512640 137138936 4291301696 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 4770 492 219 642 0 2261 0
[startup+0.0320429 s]
/proc/loadavg: 1.04 1.05 1.31 2/481 14668
/proc/meminfo: memFree=27370120/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=20188 CPUtime=0.03 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 891 0 0 0 3 0 0 0 25 0 1 0 829134125 20672512 846 33554432000 134512640 137138936 4291301696 18446744073709551615 136462581 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 5047 846 282 642 0 2538 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20188
[startup+0.101032 s]
/proc/loadavg: 1.04 1.05 1.31 2/481 14668
/proc/meminfo: memFree=27370120/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=24712 CPUtime=0.09 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 2259 0 0 0 9 0 0 0 25 0 1 0 829134125 25305088 2214 33554432000 134512640 137138936 4291301696 18446744073709551615 136737094 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 6178 2215 543 642 0 3669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24712
[startup+0.300996 s]
/proc/loadavg: 1.04 1.05 1.31 2/481 14668
/proc/meminfo: memFree=27370120/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=36336 CPUtime=0.29 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 5935 0 0 0 29 0 0 0 25 0 1 0 829134125 37208064 5722 33554432000 134512640 137138936 4291301696 18446744073709551615 136736697 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 9084 5723 1209 642 0 6575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36336
[startup+0.700922 s]
/proc/loadavg: 1.04 1.05 1.31 2/481 14668
/proc/meminfo: memFree=27370120/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=61548 CPUtime=0.69 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14757 0 0 0 68 1 0 0 25 0 1 0 829134125 63025152 12522 33554432000 134512640 137138936 4291301696 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15387 12522 184 642 0 14743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61548
[startup+1.50077 s]
/proc/loadavg: 1.04 1.05 1.31 3/482 14669
/proc/meminfo: memFree=27283792/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=61812 CPUtime=1.49 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14842 0 0 0 148 1 0 0 25 0 1 0 829134125 63295488 12607 33554432000 134512640 137138936 4291301696 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15453 12607 184 642 0 14809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61812
[startup+3.10052 s]
/proc/loadavg: 1.04 1.05 1.31 3/482 14669
/proc/meminfo: memFree=27282304/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=61812 CPUtime=3.09 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14844 0 0 0 308 1 0 0 25 0 1 0 829134125 63295488 12609 33554432000 134512640 137138936 4291301696 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15453 12609 184 642 0 14809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61812
[startup+6.30092 s]
/proc/loadavg: 1.12 1.07 1.31 3/482 14669
/proc/meminfo: memFree=27282356/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=61944 CPUtime=6.3 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14864 0 0 0 628 2 0 0 25 0 1 0 829134125 63430656 12629 33554432000 134512640 137138936 4291301696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15486 12629 184 642 0 14842 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 61944
[startup+12.7007 s]
/proc/loadavg: 1.19 1.09 1.31 3/482 14669
/proc/meminfo: memFree=27281276/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=61944 CPUtime=12.69 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14868 0 0 0 1267 2 0 0 25 0 1 0 829134125 63430656 12633 33554432000 134512640 137138936 4291301696 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15486 12633 184 642 0 14842 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61944
[startup+25.5003 s]
/proc/loadavg: 1.37 1.13 1.32 3/482 14670
/proc/meminfo: memFree=27281144/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=62340 CPUtime=25.49 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14977 0 0 0 2547 2 0 0 25 0 1 0 829134125 63836160 12742 33554432000 134512640 137138936 4291301696 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15585 12742 184 642 0 14941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62340
[startup+51.1003 s]
/proc/loadavg: 1.58 1.20 1.34 3/482 14671
/proc/meminfo: memFree=27280832/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=62340 CPUtime=51.09 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 14977 0 0 0 5106 3 0 0 25 0 1 0 829134125 63836160 12742 33554432000 134512640 137138936 4291301696 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15585 12742 184 642 0 14941 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62340
[startup+102.319 s]
/proc/loadavg: 1.82 1.32 1.37 3/482 14672
/proc/meminfo: memFree=27280576/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=62736 CPUtime=102.32 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 15083 0 0 0 10228 4 0 0 25 0 1 0 829134125 64241664 12848 33554432000 134512640 137138936 4291301696 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15684 12848 184 642 0 15040 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 62736
[startup+162.3 s]
/proc/loadavg: 2.09 1.47 1.42 3/482 14673
/proc/meminfo: memFree=27277452/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=63000 CPUtime=162.29 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 15166 0 0 0 16224 5 0 0 25 0 1 0 829134125 64512000 12931 33554432000 134512640 137138936 4291301696 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 15750 12931 184 642 0 15106 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 63000
[startup+222.301 s]
/proc/loadavg: 2.11 1.58 1.46 3/482 14702
/proc/meminfo: memFree=27305372/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=70808 CPUtime=222.3 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 1046720 0 0 0 22113 117 0 0 25 0 1 0 829134125 72507392 14885 33554432000 134512640 137138936 4291301696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 17702 14885 192 642 0 17058 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 70808
[startup+282.3 s]
/proc/loadavg: 2.11 1.68 1.50 3/482 14704
/proc/meminfo: memFree=27245708/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=90804 CPUtime=282.3 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 2561651 0 0 0 27938 292 0 0 25 0 1 0 829134125 92983296 19896 33554432000 134512640 137138936 4291301696 18446744073709551615 134578283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 22701 19896 192 642 0 22057 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 90804
[startup+342.301 s]
/proc/loadavg: 2.04 1.74 1.53 3/482 14705
/proc/meminfo: memFree=27194968/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=118332 CPUtime=342.3 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 3817464 0 0 0 33796 434 0 0 25 0 1 0 829134125 121171968 26749 33554432000 134512640 137138936 4291301696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 29583 26749 192 642 0 28939 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 118332
[startup+402.3 s]
/proc/loadavg: 2.01 1.78 1.56 3/482 14707
/proc/meminfo: memFree=27158852/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=145168 CPUtime=402.3 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 4832666 0 0 0 39674 556 0 0 25 0 1 0 829134125 148652032 33471 33554432000 134512640 137138936 4291301696 18446744073709551615 136500378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 36292 33471 192 642 0 35648 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 145168
[startup+462.301 s]
/proc/loadavg: 2.00 1.82 1.58 3/482 14708
/proc/meminfo: memFree=27125704/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=170964 CPUtime=462.31 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 6099284 0 0 0 45527 704 0 0 25 0 1 0 829134125 175067136 39929 33554432000 134512640 137138936 4291301696 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 42741 39929 192 642 0 42097 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 170964
[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.60 3/482 14710
/proc/meminfo: memFree=27099632/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=196664 CPUtime=522.31 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 7490828 0 0 0 51371 860 0 0 25 0 1 0 829134125 201383936 46353 33554432000 134512640 137138936 4291301696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 49166 46353 192 642 0 48522 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 196664
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.63 3/482 14712
/proc/meminfo: memFree=27071460/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=224468 CPUtime=582.32 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 8758416 0 0 0 57224 1008 0 0 25 0 1 0 829134125 229855232 53301 33554432000 134512640 137138936 4291301696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 56117 53301 192 642 0 55473 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 224468
[startup+642.301 s]
/proc/loadavg: 2.00 1.90 1.65 3/482 14713
/proc/meminfo: memFree=27046620/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=249620 CPUtime=642.34 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 9735905 0 0 0 63111 1123 0 0 25 0 1 0 829134125 255610880 59590 33554432000 134512640 137138936 4291301696 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 62405 59590 192 642 0 61761 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 249620
[startup+702.3 s]
/proc/loadavg: 2.00 1.91 1.66 3/482 14715
/proc/meminfo: memFree=27011872/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=271756 CPUtime=702.32 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 10563825 0 0 0 69012 1220 0 0 25 0 1 0 829134125 278278144 65110 33554432000 134512640 137138936 4291301696 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 67939 65110 192 642 0 67295 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 271756
[startup+762.319 s]
/proc/loadavg: 2.18 1.98 1.70 3/482 14716
/proc/meminfo: memFree=26993612/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=289120 CPUtime=762.34 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 11416967 0 0 0 74910 1324 0 0 25 0 1 0 829134125 296058880 69452 33554432000 134512640 137138936 4291301696 18446744073709551615 134541948 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 72280 69452 192 642 0 71636 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 289120
[startup+822.3 s]
/proc/loadavg: 2.16 2.01 1.73 4/482 14718
/proc/meminfo: memFree=26977700/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=305676 CPUtime=822.32 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12106866 0 0 0 80825 1407 0 0 25 0 1 0 829134125 313012224 73591 33554432000 134512640 137138936 4291301696 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 76419 73591 192 642 0 75775 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 305676
Solver just ended. Dumping a history of the last processes samples
[startup+831.9 s]
/proc/loadavg: 2.14 2.01 1.73 3/482 14718
/proc/meminfo: memFree=26973848/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=308188 CPUtime=831.93 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12214543 0 0 0 81772 1421 0 0 25 0 1 0 829134125 315584512 74228 33554432000 134512640 137138936 4291301696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 77047 74228 192 642 0 76403 0
Current children cumulated CPU time (s) 831.93
Current children cumulated vsize (KiB) 308188
[startup+838.3 s]
/proc/loadavg: 2.11 2.01 1.73 3/482 14719
/proc/meminfo: memFree=26972608/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=309644 CPUtime=838.32 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12303376 0 0 0 82401 1431 0 0 25 0 1 0 829134125 317075456 74581 33554432000 134512640 137138936 4291301696 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 77411 74581 192 642 0 76767 0
Current children cumulated CPU time (s) 838.32
Current children cumulated vsize (KiB) 309644
[startup+844.701 s]
/proc/loadavg: 2.10 2.01 1.74 3/482 14719
/proc/meminfo: memFree=26970872/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=311364 CPUtime=844.73 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12422054 0 0 0 83029 1444 0 0 25 0 1 0 829134125 318836736 75019 33554432000 134512640 137138936 4291301696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 77841 75019 192 642 0 77197 0
Current children cumulated CPU time (s) 844.73
Current children cumulated vsize (KiB) 311364
[startup+847.9 s]
/proc/loadavg: 2.10 2.01 1.74 3/482 14719
/proc/meminfo: memFree=26970252/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=312552 CPUtime=847.93 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12456421 0 0 0 83344 1449 0 0 25 0 1 0 829134125 320053248 75306 33554432000 134512640 137138936 4291301696 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 78138 75306 192 642 0 77494 0
Current children cumulated CPU time (s) 847.93
Current children cumulated vsize (KiB) 312552
[startup+848.7 s]
/proc/loadavg: 2.10 2.01 1.74 3/482 14719
/proc/meminfo: memFree=26969880/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=312816 CPUtime=848.73 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12464662 0 0 0 83423 1450 0 0 25 0 1 0 829134125 320323584 75387 33554432000 134512640 137138936 4291301696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 78204 75387 192 642 0 77560 0
Current children cumulated CPU time (s) 848.73
Current children cumulated vsize (KiB) 312816
[startup+849.501 s]
/proc/loadavg: 2.10 2.01 1.74 3/482 14719
/proc/meminfo: memFree=26969632/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=312948 CPUtime=849.53 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12472698 0 0 0 83502 1451 0 0 25 0 1 0 829134125 320458752 75423 33554432000 134512640 137138936 4291301696 18446744073709551615 134541925 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 78237 75423 192 642 0 77593 0
Current children cumulated CPU time (s) 849.53
Current children cumulated vsize (KiB) 312948
[startup+849.901 s]
/proc/loadavg: 2.10 2.01 1.74 3/482 14719
/proc/meminfo: memFree=26969632/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=313080 CPUtime=849.93 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12478807 0 0 0 83541 1452 0 0 25 0 1 0 829134125 320593920 75452 33554432000 134512640 137138936 4291301696 18446744073709551615 134578207 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 78270 75452 192 642 0 77626 0
Current children cumulated CPU time (s) 849.93
Current children cumulated vsize (KiB) 313080
[startup+850.001 s]
/proc/loadavg: 2.10 2.01 1.74 3/482 14719
/proc/meminfo: memFree=26969632/32950928 swapFree=39617324/67111528
[pid=14668] ppid=14666 vsize=313080 CPUtime=850.03 cores=1,3,5,7
/proc/14668/stat : 14668 (bsolo) R 14666 14668 13533 0 -1 4202496 12479611 0 0 0 83551 1452 0 0 25 0 1 0 829134125 320593920 75456 33554432000 134512640 137138936 4291301696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14668/statm: 78270 75456 192 642 0 77626 0
Current children cumulated CPU time (s) 850.03
Current children cumulated vsize (KiB) 313080
Child status: 0
Real time (s): 850.018
CPU time (s): 850.051
CPU user time (s): 835.513
CPU system time (s): 14.5378
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 313720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 835.513
system time used= 14.5378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12479611
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= 1688
runsolver used 3.79042 second user time and 9.60254 second system time
The end