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-3463383-1307174925/watcher-3463383-1307174925 -o /tmp/evaluation-result-3463383-1307174925/solver-3463383-1307174925 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463383-1307174925.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.84 1.98 1.99 2/370 20298
/proc/meminfo: memFree=22775172/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=11328 CPUtime=0 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 441 0 0 0 0 0 0 0 18 0 1 0 829092969 11599872 374 33554432000 134512640 137138936 4292086112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 2832 374 185 642 0 2188 0
[startup+0.0600549 s]
/proc/loadavg: 1.84 1.98 1.99 2/370 20298
/proc/meminfo: memFree=22775172/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=11452 CPUtime=0.05 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 496 0 0 0 5 0 0 0 18 0 1 0 829092969 11726848 429 33554432000 134512640 137138936 4292086112 18446744073709551615 134618924 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 2863 429 192 642 0 2219 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11452
[startup+0.101043 s]
/proc/loadavg: 1.84 1.98 1.99 2/370 20298
/proc/meminfo: memFree=22775172/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=11576 CPUtime=0.09 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 527 0 0 0 9 0 0 0 18 0 1 0 829092969 11853824 460 33554432000 134512640 137138936 4292086112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 2894 460 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.301011 s]
/proc/loadavg: 1.84 1.98 1.99 2/370 20298
/proc/meminfo: memFree=22775172/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=12200 CPUtime=0.29 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 666 0 0 0 29 0 0 0 18 0 1 0 829092969 12492800 599 33554432000 134512640 137138936 4292086112 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 3050 599 192 642 0 2406 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12200
[startup+0.700945 s]
/proc/loadavg: 1.84 1.98 1.99 2/370 20298
/proc/meminfo: memFree=22775172/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=13180 CPUtime=0.69 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 931 0 0 0 69 0 0 0 18 0 1 0 829092969 13496320 864 33554432000 134512640 137138936 4292086112 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 3295 864 192 642 0 2651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13180
[startup+1.50079 s]
/proc/loadavg: 1.84 1.98 1.99 3/374 20329
/proc/meminfo: memFree=22769312/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=14044 CPUtime=1.49 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1137 0 0 0 149 0 0 0 19 0 1 0 829092969 14381056 1070 33554432000 134512640 137138936 4292086112 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 3511 1070 192 642 0 2867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14044
[startup+3.1005 s]
/proc/loadavg: 1.85 1.98 1.99 3/374 20329
/proc/meminfo: memFree=22765840/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=14176 CPUtime=3.09 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1168 0 0 0 308 1 0 0 25 0 1 0 829092969 14516224 1101 33554432000 134512640 137138936 4292086112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 3544 1101 192 642 0 2900 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14176
[startup+6.30092 s]
/proc/loadavg: 1.85 1.98 1.99 3/374 20329
/proc/meminfo: memFree=22764372/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=15052 CPUtime=6.29 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1401 0 0 0 627 2 0 0 25 0 1 0 829092969 15413248 1334 33554432000 134512640 137138936 4292086112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 3763 1334 192 642 0 3119 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15052
[startup+12.7007 s]
/proc/loadavg: 1.88 1.98 1.99 3/374 20329
/proc/meminfo: memFree=22762692/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=15056 CPUtime=12.7 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1402 0 0 0 1266 4 0 0 25 0 1 0 829092969 15417344 1335 33554432000 134512640 137138936 4292086112 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20298/statm: 3764 1335 192 642 0 3120 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 15056
[startup+25.5004 s]
/proc/loadavg: 1.89 1.98 1.99 3/374 20329
/proc/meminfo: memFree=22760356/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=16792 CPUtime=25.49 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1821 0 0 0 2542 7 0 0 25 0 1 0 829092969 17195008 1754 33554432000 134512640 137138936 4292086112 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4198 1754 192 642 0 3554 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16792
[startup+51.1007 s]
/proc/loadavg: 2.04 2.01 2.00 3/374 20330
/proc/meminfo: memFree=22759200/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=17040 CPUtime=51.09 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1882 0 0 0 5097 12 0 0 25 0 1 0 829092969 17448960 1815 33554432000 134512640 137138936 4292086112 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4260 1815 192 642 0 3616 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17040
[startup+102.313 s]
/proc/loadavg: 2.07 2.02 2.00 3/374 20331
/proc/meminfo: memFree=22758200/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=17164 CPUtime=102.31 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 1910 0 0 0 10210 21 0 0 25 0 1 0 829092969 17575936 1843 33554432000 134512640 137138936 4292086112 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4291 1843 192 642 0 3647 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17164
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/374 20333
/proc/meminfo: memFree=22755184/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=18344 CPUtime=162.29 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2225 0 0 0 16199 30 0 0 25 0 1 0 829092969 18784256 2158 33554432000 134512640 137138936 4292086112 18446744073709551615 134604445 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4586 2158 192 642 0 3942 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18344
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 20335
/proc/meminfo: memFree=22753168/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19320 CPUtime=222.3 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2466 0 0 0 22190 40 0 0 25 0 1 0 829092969 19783680 2399 33554432000 134512640 137138936 4292086112 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4830 2399 192 642 0 4186 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19320
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20363
/proc/meminfo: memFree=22677968/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19364 CPUtime=282.3 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2475 0 0 0 28181 49 0 0 25 0 1 0 829092969 19828736 2408 33554432000 134512640 137138936 4292086112 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4841 2408 192 642 0 4197 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19364
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20392
/proc/meminfo: memFree=22113028/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19372 CPUtime=342.29 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2477 0 0 0 34171 58 0 0 25 0 1 0 829092969 19836928 2410 33554432000 134512640 137138936 4292086112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4843 2410 192 642 0 4199 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19372
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20393
/proc/meminfo: memFree=22113748/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19368 CPUtime=402.3 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2477 0 0 0 40162 68 0 0 25 0 1 0 829092969 19832832 2410 33554432000 134512640 137138936 4292086112 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4842 2410 192 642 0 4198 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19368
[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/374 20395
/proc/meminfo: memFree=22113728/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19364 CPUtime=462.3 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2477 0 0 0 46154 76 0 0 25 0 1 0 829092969 19828736 2410 33554432000 134512640 137138936 4292086112 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4841 2410 192 642 0 4197 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19364
[startup+522.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/374 20424
/proc/meminfo: memFree=22749132/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19856 CPUtime=522.3 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2591 0 0 0 52146 84 0 0 25 0 1 0 829092969 20332544 2524 33554432000 134512640 137138936 4292086112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4964 2524 192 642 0 4320 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19856
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 20425
/proc/meminfo: memFree=22676704/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19856 CPUtime=582.3 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2594 0 0 0 58137 93 0 0 25 0 1 0 829092969 20332544 2527 33554432000 134512640 137138936 4292086112 18446744073709551615 134599733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4964 2527 192 642 0 4320 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 19856
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20427
/proc/meminfo: memFree=22618528/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19856 CPUtime=642.31 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2594 0 0 0 64130 101 0 0 25 0 1 0 829092969 20332544 2527 33554432000 134512640 137138936 4292086112 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4964 2527 192 642 0 4320 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 19856
[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20428
/proc/meminfo: memFree=22570016/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=19856 CPUtime=702.31 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2594 0 0 0 70122 109 0 0 25 0 1 0 829092969 20332544 2527 33554432000 134512640 137138936 4292086112 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 4964 2527 192 642 0 4320 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 19856
[startup+762.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20430
/proc/meminfo: memFree=22519160/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20720 CPUtime=762.33 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 76114 119 0 0 25 0 1 0 829092969 21217280 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5180 2738 192 642 0 4536 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 20720
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20430
/proc/meminfo: memFree=22516056/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20720 CPUtime=767.91 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 76672 119 0 0 25 0 1 0 829092969 21217280 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5180 2738 192 642 0 4536 0
Current children cumulated CPU time (s) 767.91
Current children cumulated vsize (KiB) 20720
[startup+793.501 s]
/proc/loadavg: 2.13 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22496580/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20716 CPUtime=793.51 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 79229 122 0 0 25 0 1 0 829092969 21213184 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134543074 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5179 2738 192 642 0 4535 0
Current children cumulated CPU time (s) 793.51
Current children cumulated vsize (KiB) 20716
[startup+806.314 s]
/proc/loadavg: 2.11 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22483068/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20716 CPUtime=806.33 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 80509 124 0 0 25 0 1 0 829092969 21213184 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5179 2738 192 642 0 4535 0
Current children cumulated CPU time (s) 806.33
Current children cumulated vsize (KiB) 20716
[startup+812.701 s]
/proc/loadavg: 2.10 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22480712/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20716 CPUtime=812.71 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81147 124 0 0 25 0 1 0 829092969 21213184 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5179 2738 192 642 0 4535 0
Current children cumulated CPU time (s) 812.71
Current children cumulated vsize (KiB) 20716
[startup+815.901 s]
/proc/loadavg: 2.10 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22478600/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20716 CPUtime=815.92 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81467 125 0 0 25 0 1 0 829092969 21213184 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5179 2738 192 642 0 4535 0
Current children cumulated CPU time (s) 815.92
Current children cumulated vsize (KiB) 20716
[startup+817.501 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22475500/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20716 CPUtime=817.51 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81626 125 0 0 25 0 1 0 829092969 21213184 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5179 2738 192 642 0 4535 0
Current children cumulated CPU time (s) 817.51
Current children cumulated vsize (KiB) 20716
[startup+818.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22473764/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20716 CPUtime=818.32 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81707 125 0 0 25 0 1 0 829092969 21213184 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5179 2738 192 642 0 4535 0
Current children cumulated CPU time (s) 818.32
Current children cumulated vsize (KiB) 20716
[startup+818.701 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22473764/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20680 CPUtime=818.71 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81746 125 0 0 25 0 1 0 829092969 21176320 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5170 2738 192 642 0 4526 0
Current children cumulated CPU time (s) 818.71
Current children cumulated vsize (KiB) 20680
[startup+818.901 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22473764/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20680 CPUtime=818.91 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81766 125 0 0 25 0 1 0 829092969 21176320 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5170 2738 192 642 0 4526 0
Current children cumulated CPU time (s) 818.91
Current children cumulated vsize (KiB) 20680
[startup+819 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22473764/32951124 swapFree=37148216/67111528
[pid=20298] ppid=20295 vsize=20680 CPUtime=819.01 cores=0,2,4,6
/proc/20298/stat : 20298 (bsolo) R 20295 20298 19222 0 -1 4202496 2805 0 0 0 81776 125 0 0 25 0 1 0 829092969 21176320 2738 33554432000 134512640 137138936 4292086112 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20298/statm: 5170 2738 192 642 0 4526 0
Current children cumulated CPU time (s) 819.01
Current children cumulated vsize (KiB) 20680
Child status: 0
Real time (s): 819.078
CPU time (s): 819.098
CPU user time (s): 817.842
CPU system time (s): 1.25681
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.842
system time used= 1.25681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2805
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= 8
involuntary context switches= 1833
runsolver used 3.22751 second user time and 6.41202 second system time
The end