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-3462524-1307181153/watcher-3462524-1307181153 -o /tmp/evaluation-result-3462524-1307181153/solver-3462524-1307181153 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462524-1307181153.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/498 32533
/proc/meminfo: memFree=26413700/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=11048 CPUtime=0.01 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 375 0 0 0 1 0 0 0 25 0 1 0 908345949 11313152 328 33554432000 134512640 137138936 4294465712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 2762 328 192 642 0 2118 0
[startup+0.025567 s]
/proc/loadavg: 2.00 2.00 2.00 2/498 32533
/proc/meminfo: memFree=26413700/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=11048 CPUtime=0.02 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 381 0 0 0 2 0 0 0 25 0 1 0 908345949 11313152 334 33554432000 134512640 137138936 4294465712 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 2762 334 192 642 0 2118 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11048
[startup+0.100554 s]
/proc/loadavg: 2.00 2.00 2.00 2/498 32533
/proc/meminfo: memFree=26413700/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=11820 CPUtime=0.09 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 565 0 0 0 9 0 0 0 25 0 1 0 908345949 12103680 518 33554432000 134512640 137138936 4294465712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 2955 518 192 642 0 2311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11820
[startup+0.300516 s]
/proc/loadavg: 2.00 2.00 2.00 2/498 32533
/proc/meminfo: memFree=26413700/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=13744 CPUtime=0.29 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 1031 0 0 0 29 0 0 0 25 0 1 0 908345949 14073856 984 33554432000 134512640 137138936 4294465712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 3436 984 192 642 0 2792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13744
[startup+0.700449 s]
/proc/loadavg: 2.00 2.00 2.00 2/498 32533
/proc/meminfo: memFree=26413700/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=16572 CPUtime=0.69 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 1753 0 0 0 69 0 0 0 25 0 1 0 908345949 16969728 1706 33554432000 134512640 137138936 4294465712 18446744073709551615 134618022 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 4143 1706 192 642 0 3499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16572
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32534
/proc/meminfo: memFree=26405384/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=18888 CPUtime=1.49 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 2338 0 0 0 149 0 0 0 25 0 1 0 908345949 19341312 2291 33554432000 134512640 137138936 4294465712 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 4722 2291 192 642 0 4078 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18888
[startup+3.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32534
/proc/meminfo: memFree=26403028/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=19536 CPUtime=3.1 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 2495 0 0 0 309 1 0 0 25 0 1 0 908345949 20004864 2448 33554432000 134512640 137138936 4294465712 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 4884 2448 192 642 0 4240 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19536
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32534
/proc/meminfo: memFree=26402112/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=20008 CPUtime=6.29 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 2605 0 0 0 628 1 0 0 25 0 1 0 908345949 20488192 2558 33554432000 134512640 137138936 4294465712 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 5002 2558 192 642 0 4358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20008
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32534
/proc/meminfo: memFree=26401868/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=19996 CPUtime=12.69 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 2605 0 0 0 1267 2 0 0 25 0 1 0 908345949 20475904 2558 33554432000 134512640 137138936 4294465712 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 4999 2558 192 642 0 4355 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19996
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32534
/proc/meminfo: memFree=26400244/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=21772 CPUtime=25.49 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 3046 0 0 0 2545 4 0 0 25 0 1 0 908345949 22294528 2999 33554432000 134512640 137138936 4294465712 18446744073709551615 134573857 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 5443 2999 192 642 0 4799 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21772
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32535
/proc/meminfo: memFree=26399836/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=22484 CPUtime=51.09 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 3226 0 0 0 5102 7 0 0 25 0 1 0 908345949 23023616 3179 33554432000 134512640 137138936 4294465712 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 5621 3179 192 642 0 4977 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22484
[startup+102.319 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 32537
/proc/meminfo: memFree=26396836/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=25128 CPUtime=102.32 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 3895 0 0 0 10218 14 0 0 25 0 1 0 908345949 25731072 3848 33554432000 134512640 137138936 4294465712 18446744073709551615 136502106 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 6282 3848 192 642 0 5638 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 25128
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32538
/proc/meminfo: memFree=26393956/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=26540 CPUtime=162.29 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4250 0 0 0 16209 20 0 0 25 0 1 0 908345949 27176960 4203 33554432000 134512640 137138936 4294465712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 6635 4203 192 642 0 5991 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26540
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 32540
/proc/meminfo: memFree=26394800/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=27952 CPUtime=222.3 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4598 0 0 0 22203 27 0 0 25 0 1 0 908345949 28622848 4551 33554432000 134512640 137138936 4294465712 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 6988 4551 192 642 0 6344 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27952
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 32541
/proc/meminfo: memFree=26393652/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29096 CPUtime=282.3 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 28197 33 0 0 25 0 1 0 908345949 29794304 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7274 4838 192 642 0 6630 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 29096
[startup+342.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 32543
/proc/meminfo: memFree=26393876/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=342.3 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 34187 43 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 29072
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 32545
/proc/meminfo: memFree=26393844/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=402.3 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 40179 51 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 134542968 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 29072
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 32546
/proc/meminfo: memFree=26394452/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=462.3 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 46175 55 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 29072
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32557
/proc/meminfo: memFree=26393508/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=522.31 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 52169 62 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 29072
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32558
/proc/meminfo: memFree=26393616/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=582.31 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 58164 67 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29072
[startup+642.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 32560
/proc/meminfo: memFree=26392600/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=642.33 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 64160 73 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 29072
[startup+702.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 32589
/proc/meminfo: memFree=26396808/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=29072 CPUtime=702.32 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 4885 0 0 0 70154 78 0 0 25 0 1 0 908345949 29769728 4838 33554432000 134512640 137138936 4294465712 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7268 4838 192 642 0 6624 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 29072
[startup+762.318 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 32590
/proc/meminfo: memFree=26293848/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=762.34 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5274 0 0 0 76150 84 0 0 25 0 1 0 908345949 31375360 5227 33554432000 134512640 137138936 4294465712 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5227 192 642 0 7016 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 30640
[startup+822.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/499 32592
/proc/meminfo: memFree=26218940/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=822.32 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 82144 88 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 30640
Solver just ended. Dumping a history of the last processes samples
[startup+844.701 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 32592
/proc/meminfo: memFree=26194496/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=844.73 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 84383 90 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 136504262 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 844.73
Current children cumulated vsize (KiB) 30640
[startup+851.101 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 32592
/proc/meminfo: memFree=26190156/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=851.12 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85021 91 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 851.12
Current children cumulated vsize (KiB) 30640
[startup+854.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 32593
/proc/meminfo: memFree=26187552/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=854.32 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85341 91 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 854.32
Current children cumulated vsize (KiB) 30640
[startup+857.501 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 32593
/proc/meminfo: memFree=26184328/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=857.52 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85661 91 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 857.52
Current children cumulated vsize (KiB) 30640
[startup+859.118 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32593
/proc/meminfo: memFree=26182592/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=859.14 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85822 92 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 859.14
Current children cumulated vsize (KiB) 30640
[startup+859.9 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32593
/proc/meminfo: memFree=26182592/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=859.92 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85900 92 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 859.92
Current children cumulated vsize (KiB) 30640
[startup+860.101 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32593
/proc/meminfo: memFree=26181352/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=860.14 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85922 92 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (KiB) 30640
[startup+860.219 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32593
/proc/meminfo: memFree=26181352/32950928 swapFree=34421304/67111528
[pid=32533] ppid=32531 vsize=30640 CPUtime=860.24 cores=0,2,4,6
/proc/32533/stat : 32533 (bsolo) R 32531 32533 29288 0 -1 4202496 5275 0 0 0 85932 92 0 0 25 0 1 0 908345949 31375360 5228 33554432000 134512640 137138936 4294465712 18446744073709551615 134575873 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/32533/statm: 7660 5228 192 642 0 7016 0
Current children cumulated CPU time (s) 860.24
Current children cumulated vsize (KiB) 30640
Child status: 0
Real time (s): 860.293
CPU time (s): 860.321
CPU user time (s): 859.397
CPU system time (s): 0.923859
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 30644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.397
system time used= 0.923859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5276
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= 4
involuntary context switches= 11167
runsolver used 4.42533 second user time and 9.66453 second system time
The end