runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11080 MiB free)
memory of node 1: 16384 MiB (12420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307579-1534258053/watcher-4307579-1534258053 -o /tmp/evaluation-result-4307579-1534258053/solver-4307579-1534258053 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534258053-29014 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1020879185 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307579-1534258053.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29044, runsolver pid=29038
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 0.00 0.01 0.05 2/188 29046
/proc/meminfo: memFree=24064600/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=10648 memory=752 CPUtime=0 cores=0,2,4,6
/proc/29044/stat : 29044 (java) D 29038 29044 28983 0 -1 1077944320 336 0 0 0 0 0 0 0 20 0 1 0 243368624 10903552 188 33554432000 4194304 4196468 140727376869168 140727376851784 140204003190133 0 0 4096 0 18446744072101756452 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 2662 188 153 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 752 KiB
[startup+0.209421 s]*
/proc/loadavg: 0.00 0.01 0.05 3/190 29048
/proc/meminfo: memFree=24062460/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=111596 memory=5608 CPUtime=0 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 1653 0 0 0 0 0 0 0 20 0 2 0 243368624 114274304 1402 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 27899 1402 1062 1 0 16810 0
[pid=29044/tid=29047] ppid=29038 vsize=111596 memory=4871374705135476842 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) D 29038 29044 28983 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 2 0 243368638 114274304 1402 33554432000 4194304 4196468 140727376869168 140204014751976 140204003190133 0 4 0 16784584 18446744072101756452 0 0 -1 2 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5608 KiB
[startup+0.309561 s]*
/proc/loadavg: 0.00 0.01 0.05 2/204 29062
/proc/meminfo: memFree=24043876/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=13681496 memory=21488 CPUtime=0.03 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 4199 0 0 0 3 0 0 0 20 0 9 0 243368624 14009851904 5372 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3420374 5372 2154 1 0 3382915 0
[pid=29044/tid=29047] ppid=29038 vsize=13681496 memory=576567874760998942 CPUtime=0.03 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) D 29038 29044 28983 0 -1 1077944384 2825 0 0 0 3 0 0 0 20 0 9 0 243368638 14009851904 5372 33554432000 4194304 4196468 140727376869168 140204014747432 140204003190133 0 4 0 16800971 18446744072101756452 0 0 -1 2 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=13681496 memory=301 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 243368651 14009851904 5372 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=13681496 memory=139860827118165 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 243368651 14009851904 5372 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 243368651 14009851904 5372 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=13681496 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 243368651 14009851904 5372 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=13681496 memory=139860827092608 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 243368654 14009851904 5372 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=13681496 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 243368654 14009851904 5372 33554432000 4194304 4196468 140727376869168 140202989807136 140204010522325 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 243368654 14009851904 5372 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13681496 KiB
Current children cumulated memory: 21488 KiB
[startup+0.70069 s]
/proc/loadavg: 0.16 0.05 0.06 2/214 29072
/proc/meminfo: memFree=24040524/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14082736 memory=40684 CPUtime=0.14 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 8704 0 0 0 13 1 0 0 20 0 15 0 243368624 14420721664 10171 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3520684 10171 3167 1 0 3482761 0
[pid=29044/tid=29047] ppid=29038 vsize=14082736 memory=2388 CPUtime=0.11 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) D 29038 29044 28983 0 -1 1077944384 6753 0 0 0 10 1 0 0 20 0 15 0 243368638 14420721664 10171 33554432000 4194304 4196468 140727376869168 140204014739360 140204010535997 0 4 0 16800975 18446744072101756452 0 0 -1 2 0 0 2 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 10171 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 10171 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 10171 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14082736 memory=6320 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 10171 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14082736 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368654 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14082736 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368654 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202989807136 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14082736 memory=15188 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368654 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14082736 memory=37196 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14082736 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 243368669 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14082736 memory=15916 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368669 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14082736 memory=504 CPUtime=0.01 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 243368669 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14082736 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14420721664 10171 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 40684 KiB
[startup+1.50075 s]
/proc/loadavg: 0.16 0.05 0.06 5/216 29074
/proc/meminfo: memFree=23982420/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14082736 memory=79888 CPUtime=0.76 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 16285 0 0 0 72 4 0 0 20 0 15 0 243368624 14420721664 19972 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3520684 19972 3416 1 0 3482761 0
[pid=29044/tid=29047] ppid=29038 vsize=14082736 memory=6944652177228980320 CPUtime=0.54 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) D 29038 29044 28983 0 -1 1077944384 13864 0 0 0 51 3 0 0 20 0 15 0 243368638 14420721664 19972 33554432000 4194304 4196468 140727376869168 140204014721248 140204003191341 0 4 0 16800975 18446744072101756452 0 0 -1 2 0 0 2 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14082736 memory=-3715574331713008177 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 19972 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 19972 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14082736 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 19972 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14082736 memory=65892 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14420721664 19972 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14082736 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243368654 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14082736 memory=2180 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368654 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202989807136 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14082736 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368654 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14082736 memory=68 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14082736 memory=1224 CPUtime=0.04 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 518 0 0 0 4 0 0 0 20 0 15 0 243368669 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14082736 memory=2180 CPUtime=0.03 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 15 0 243368669 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14082736 memory=1752 CPUtime=0.12 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 334 0 0 0 12 0 0 0 20 0 15 0 243368669 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14082736 memory=844 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29074] ppid=29038 vsize=14082736 memory=10072 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29074/stat : 29074 (java) S 29038 29044 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368678 14420721664 19972 33554432000 4194304 4196468 140727376869168 140202982440112 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 79888 KiB
[startup+3.11014 s]
/proc/loadavg: 0.16 0.05 0.06 4/216 29074
/proc/meminfo: memFree=23748792/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14088900 memory=177644 CPUtime=3.46 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 24159 0 0 0 337 9 0 0 20 0 15 0 243368624 14427033600 44411 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3522225 44411 3538 1 0 3484297 0
[pid=29044/tid=29047] ppid=29038 vsize=14088900 memory=279721422498992 CPUtime=1.87 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) R 29038 29044 28983 0 -1 4202560 18407 0 0 0 181 6 0 0 20 0 15 0 243368638 14427033600 44411 33554432000 4194304 4196468 140727376869168 140204014748160 140203648699688 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14088900 memory=139860711214735 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368651 14427033600 44411 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14427033600 44411 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14427033600 44411 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368651 14427033600 44411 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202989807136 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14088900 memory=57632 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14088900 memory=279721422404448 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14088900 memory=6944656425123094137 CPUtime=0.55 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 1634 0 0 0 55 0 0 0 20 0 15 0 243368669 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14088900 memory=4205360022367620281 CPUtime=0.53 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 1196 0 0 0 52 1 0 0 20 0 15 0 243368669 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14088900 memory=134880 CPUtime=0.48 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 1526 0 0 0 48 0 0 0 20 0 15 0 243368669 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14088900 memory=159132 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29074] ppid=29038 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29074/stat : 29074 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368678 14427033600 44411 33554432000 4194304 4196468 140727376869168 140202982440112 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 177644 KiB
[startup+6.30078 s]
/proc/loadavg: 0.31 0.08 0.07 4/216 29074
/proc/meminfo: memFree=23630764/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14088900 memory=232912 CPUtime=6.88 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 28776 0 0 0 677 11 0 0 20 0 15 0 243368624 14427033600 58228 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3522225 58228 3556 1 0 3484297 0
[pid=29044/tid=29047] ppid=29038 vsize=14088900 memory=232912 CPUtime=5.05 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) R 29038 29044 28983 0 -1 4202560 18753 0 0 0 498 7 0 0 20 0 15 0 243368638 14427033600 58228 33554432000 4194304 4196468 140727376869168 140204014750080 140203652910480 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14088900 memory=279721422498992 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 243368651 14427033600 58228 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
################
# More data... #
################
/proc/29044/task/29047/stat : 29047 (java) R 29038 29044 28983 0 -1 4202560 30415 0 0 0 237249 15 0 0 20 0 15 0 243368638 14427033600 63306 33554432000 4194304 4196468 140727376869168 140204014750272 140203995721921 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14088900 memory=253224 CPUtime=3.22 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 4216 0 0 0 297 25 0 0 20 0 15 0 243368651 14427033600 63306 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14088900 memory=253224 CPUtime=3.22 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 3072 0 0 0 298 24 0 0 20 0 15 0 243368651 14427033600 63306 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14088900 memory=251176 CPUtime=3.21 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2520 0 0 0 300 21 0 0 20 0 15 0 243368651 14427033600 63306 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14088900 memory=253224 CPUtime=3.19 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 4108 0 0 0 293 26 0 0 20 0 15 0 243368651 14427033600 63306 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14088900 memory=253224 CPUtime=3.36 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 2325 0 0 0 312 24 0 0 20 0 15 0 243368654 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14088900 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202989807200 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14088900 memory=2036 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14088900 memory=8148 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14088900 memory=253224 CPUtime=0.7 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 3937 0 0 0 70 0 0 0 20 0 15 0 243368669 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14088900 memory=253224 CPUtime=0.65 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 2346 0 0 0 64 1 0 0 20 0 15 0 243368669 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14088900 memory=253224 CPUtime=0.51 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 2566 0 0 0 50 1 0 0 20 0 15 0 243368669 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14088900 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29074] ppid=29038 vsize=14088900 memory=6791534058613427641 CPUtime=0.61 cores=0,2,4,6
/proc/29044/task/29074/stat : 29074 (java) S 29038 29044 28983 0 -1 1077944384 1455 0 0 0 29 32 0 0 20 0 15 0 243368678 14427033600 63306 33554432000 4194304 4196468 140727376869168 140202982440112 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 2391.4 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 253224 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.32 1.24 4/215 29193
/proc/meminfo: memFree=23586372/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14088900 memory=255272 CPUtime=2451.68 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 58881 0 0 0 245030 138 0 0 20 0 15 0 243368624 14427033600 63818 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3522225 63818 3568 1 0 3484297 0
[pid=29044/tid=29047] ppid=29038 vsize=14088900 memory=253224 CPUtime=2432.43 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) R 29038 29044 28983 0 -1 4202560 30726 0 0 0 243228 15 0 0 20 0 15 0 243368638 14427033600 63818 33554432000 4194304 4196468 140727376869168 140204014750368 140203652844172 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14088900 memory=0 CPUtime=3.32 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 4232 0 0 0 307 25 0 0 20 0 15 0 243368651 14427033600 63818 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14088900 memory=255272 CPUtime=3.32 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 3099 0 0 0 307 25 0 0 20 0 15 0 243368651 14427033600 63818 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14088900 memory=255272 CPUtime=3.31 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2542 0 0 0 309 22 0 0 20 0 15 0 243368651 14427033600 63818 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14088900 memory=255272 CPUtime=3.29 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 4174 0 0 0 302 27 0 0 20 0 15 0 243368651 14427033600 63818 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14088900 memory=255272 CPUtime=3.44 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 2357 0 0 0 320 24 0 0 20 0 15 0 243368654 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14088900 memory=255272 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202989807200 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14088900 memory=255272 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14088900 memory=255272 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14088900 memory=255272 CPUtime=0.7 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 3939 0 0 0 70 0 0 0 20 0 15 0 243368669 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14088900 memory=255272 CPUtime=0.65 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 2348 0 0 0 64 1 0 0 20 0 15 0 243368669 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14088900 memory=6791534058613427641 CPUtime=0.51 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 2568 0 0 0 50 1 0 0 20 0 15 0 243368669 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14088900 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29074] ppid=29038 vsize=14088900 memory=255272 CPUtime=0.62 cores=0,2,4,6
/proc/29044/task/29074/stat : 29074 (java) S 29038 29044 28983 0 -1 1077944384 1461 0 0 0 30 32 0 0 20 0 15 0 243368678 14427033600 63818 33554432000 4194304 4196468 140727376869168 140202982440112 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 2451.68 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 255272 KiB
[startup+2502.3 s]
/proc/loadavg: 1.32 1.32 1.24 4/215 29194
/proc/meminfo: memFree=23579756/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14088900 memory=257320 CPUtime=2511.94 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 59355 0 0 0 251053 141 0 0 20 0 15 0 243368624 14427033600 64330 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3522225 64330 3568 1 0 3484297 0
[pid=29044/tid=29047] ppid=29038 vsize=14088900 memory=6791534058613427641 CPUtime=2492.2 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) R 29038 29044 28983 0 -1 4202560 30999 0 0 0 249205 15 0 0 20 0 15 0 243368638 14427033600 64330 33554432000 4194304 4196468 140727376869168 140204014750592 140203652542706 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14088900 memory=257320 CPUtime=3.42 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 4309 0 0 0 316 26 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14088900 memory=257320 CPUtime=3.41 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 3140 0 0 0 316 25 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14088900 memory=257320 CPUtime=3.4 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2550 0 0 0 318 22 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14088900 memory=844 CPUtime=3.39 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 4194 0 0 0 311 28 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14088900 memory=257320 CPUtime=3.53 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 2399 0 0 0 328 25 0 0 20 0 15 0 243368654 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14088900 memory=257320 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202989807200 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14088900 memory=257320 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14088900 memory=257320 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14088900 memory=257320 CPUtime=0.7 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 3939 0 0 0 70 0 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14088900 memory=257320 CPUtime=0.65 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 2348 0 0 0 64 1 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14088900 memory=257320 CPUtime=0.51 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 2568 0 0 0 50 1 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14088900 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29074] ppid=29038 vsize=14088900 memory=65968 CPUtime=0.64 cores=0,2,4,6
/proc/29044/task/29074/stat : 29074 (java) S 29038 29044 28983 0 -1 1077944384 1474 0 0 0 30 34 0 0 20 0 15 0 243368678 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202982440112 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 2511.94 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 257320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.4 s]
/proc/loadavg: 1.30 1.32 1.24 4/214 29225
/proc/meminfo: memFree=23792644/32770624 swapFree=67108196/67108860
[pid=29044] ppid=29038 vsize=14088900 memory=257320 CPUtime=2520.08 cores=0,2,4,6
/proc/29044/stat : 29044 (java) S 29038 29044 28983 0 -1 1077944320 59375 0 0 0 251867 141 0 0 20 0 15 0 243368624 14427033600 64330 33554432000 4194304 4196468 140727376869168 140727376851712 140204010512119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
/proc/29044/statm: 3522225 64330 3568 1 0 3484297 0
[pid=29044/tid=29047] ppid=29038 vsize=14088900 memory=1224 CPUtime=2500.27 cores=0,2,4,6
/proc/29044/task/29047/stat : 29047 (java) R 29038 29044 28983 0 -1 4202560 31019 0 0 0 250012 15 0 0 20 0 15 0 243368638 14427033600 64330 33554432000 4194304 4196468 140727376869168 140204014750592 140203652909699 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29051] ppid=29038 vsize=14088900 memory=255272 CPUtime=3.43 cores=0,2,4,6
/proc/29044/task/29051/stat : 29051 (java) S 29038 29044 28983 0 -1 1077944384 4309 0 0 0 317 26 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203606076048 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29053] ppid=29038 vsize=14088900 memory=255272 CPUtime=3.43 cores=0,2,4,6
/proc/29044/task/29053/stat : 29053 (java) S 29038 29044 28983 0 -1 1077944384 3140 0 0 0 318 25 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203605023248 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29055] ppid=29038 vsize=14088900 memory=253224 CPUtime=3.41 cores=0,2,4,6
/proc/29044/task/29055/stat : 29055 (java) S 29038 29044 28983 0 -1 1077944384 2550 0 0 0 319 22 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203603970448 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29056] ppid=29038 vsize=14088900 memory=6791534058613427641 CPUtime=3.4 cores=0,2,4,6
/proc/29044/task/29056/stat : 29056 (java) S 29038 29044 28983 0 -1 1077944384 4194 0 0 0 312 28 0 0 20 0 15 0 243368651 14427033600 64330 33554432000 4194304 4196468 140727376869168 140203602917648 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29058] ppid=29038 vsize=14088900 memory=1704 CPUtime=3.55 cores=0,2,4,6
/proc/29044/task/29058/stat : 29058 (java) S 29038 29044 28983 0 -1 1077944384 2399 0 0 0 330 25 0 0 20 0 15 0 243368654 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202990861168 140204010523266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29060] ppid=29038 vsize=14088900 memory=1176 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29060/stat : 29060 (java) S 29038 29044 28983 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202989807200 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29062] ppid=29038 vsize=14088900 memory=932 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29062/stat : 29062 (java) S 29038 29044 28983 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 243368654 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202988754288 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29067] ppid=29038 vsize=14088900 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29067/stat : 29067 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202987702608 140204010530715 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29068] ppid=29038 vsize=14088900 memory=7669739474029597287 CPUtime=0.7 cores=0,2,4,6
/proc/29044/task/29068/stat : 29068 (java) S 29038 29044 28983 0 -1 1077944384 3939 0 0 0 70 0 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202986649968 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29069] ppid=29038 vsize=14088900 memory=6003974977184296806 CPUtime=0.65 cores=0,2,4,6
/proc/29044/task/29069/stat : 29069 (java) S 29038 29044 28983 0 -1 1077944384 2348 0 0 0 64 1 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202985597168 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29070] ppid=29038 vsize=14088900 memory=5937836041287198313 CPUtime=0.51 cores=0,2,4,6
/proc/29044/task/29070/stat : 29070 (java) S 29038 29044 28983 0 -1 1077944384 2568 0 0 0 50 1 0 0 20 0 15 0 243368669 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202984544368 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29072] ppid=29038 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29044/task/29072/stat : 29072 (java) S 29038 29044 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368670 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202983491808 140204010522325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
[pid=29044/tid=29074] ppid=29038 vsize=14088900 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/29044/task/29074/stat : 29074 (java) S 29038 29044 28983 0 -1 1077944384 1474 0 0 0 30 34 0 0 20 0 15 0 243368678 14427033600 64330 33554432000 4194304 4196468 140727376869168 140202982440112 140204010523266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34639872 140727376876624 140727376876809 140727376876809 140727376879567 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 257320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.41 s]
# the end of solver process 29044 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.68 s, system=1.42018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2510.41
CPU time (s): 2520.1
CPU user time (s): 2518.68
CPU system time (s): 1.42018
CPU usage (%): 100.386
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 257320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.42018
maximum resident set size= 257884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59580
page faults= 0
swaps= 0
block input operations= 32
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151363
involuntary context switches= 5222
# summary of solver processes directly reported to runsolver:
# pid: 29044
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.68
# total CPU system time (s): 1.42018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0697 second user time and 23.0649 second system time
The end