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 (15176 MiB free)
memory of node 1: 16384 MiB (14960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263738-1502639999/watcher-4263738-1502639999 -o /tmp/evaluation-result-4263738-1502639999/solver-4263738-1502639999 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502619490-21334 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263738-1502639999.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
Current StackSize limit: 8192 KiB
solver pid=24950, runsolver pid=24947
[startup+0.107157 s]*
/proc/loadavg: 1.90 2.00 2.52 4/209 24960
/proc/meminfo: memFree=30849288/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10484492 memory=22328 CPUtime=0.05 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 4545 0 0 0 5 0 0 0 20 0 14 0 111815036 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2621123 5582 2574 1 0 2610620 0
[pid=24950/tid=24952] ppid=24947 vsize=10484492 memory=-6439968830534014599 CPUtime=0.04 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) D 24947 24950 8289 0 -1 4202560 2651 0 0 0 4 0 0 0 20 0 14 0 111815041 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139989505226656 139989501011197 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10484492 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 111815042 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10484492 memory=140327967786624 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 111815042 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 111815042 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 111815042 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10484492 memory=140327967786624 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 111815043 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 111815044 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988861801760 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 111815044 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988860749424 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 111815046 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24947 24950 8289 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 111815046 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 111815046 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988857591792 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10484492 memory=140327967786624 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24947 24950 8289 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 14 0 111815046 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 111815047 10736119808 5582 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22328 KiB
[startup+0.210403 s]*
/proc/loadavg: 1.90 2.00 2.52 3/214 24965
/proc/meminfo: memFree=30841184/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10551156 memory=31064 CPUtime=0.12 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 7388 0 0 0 10 2 0 0 20 0 15 0 111815036 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2637789 7766 2791 1 0 2627261 0
[pid=24950/tid=24952] ppid=24947 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 5239 0 0 0 8 1 0 0 20 0 15 0 111815041 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139989505177520 139989501011101 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10551156 memory=140327968602453 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10551156 memory=140327967786624 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111815043 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111815044 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988861801760 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111815044 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988860749424 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815046 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24947 24950 8289 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 111815046 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815046 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988857591792 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10551156 memory=140327967786624 CPUtime=0.01 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) R 24947 24950 8289 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 111815046 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989479945904 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815047 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24965] ppid=24947 vsize=10551156 memory=140327967786624 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24965/stat : 24965 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815053 10804383744 7766 18446744073709551615 4194304 4196468 140720878132288 139988854434736 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 31064 KiB
[startup+0.31045 s]*
/proc/loadavg: 1.90 2.00 2.52 5/214 24965
/proc/meminfo: memFree=30834100/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10551156 memory=39436 CPUtime=0.29 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 8620 0 0 0 26 3 0 0 20 0 15 0 111815036 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2637789 9859 2912 1 0 2627261 0
[pid=24950/tid=24952] ppid=24947 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 5645 0 0 0 18 1 0 0 20 0 15 0 111815041 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139989505225648 139989501011101 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111815042 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111815043 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111815044 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988861801760 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111815044 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988860749424 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815046 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) R 24947 24950 8289 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 15 0 111815046 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) R 24947 24950 8289 0 -1 4202560 307 0 0 0 1 0 0 0 20 0 15 0 111815046 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988857591792 139989478816413 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10551156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) R 24947 24950 8289 0 -1 4202560 739 0 0 0 5 0 0 0 20 0 15 0 111815046 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988856535384 139989479908068 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815047 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24965] ppid=24947 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24965/stat : 24965 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815053 10804383744 9859 18446744073709551615 4194304 4196468 140720878132288 139988854434736 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39436 KiB
[startup+0.700729 s]
/proc/loadavg: 1.90 2.00 2.52 5/214 24965
/proc/meminfo: memFree=30816044/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10551232 memory=106892 CPUtime=1.43 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 12807 0 0 0 137 6 0 0 20 0 15 0 111815036 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2637808 26723 3056 1 0 2627261 0
[pid=24950/tid=24952] ppid=24947 vsize=10551232 memory=4640492597392070501 CPUtime=0.57 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 6897 0 0 0 54 3 0 0 20 0 15 0 111815041 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139989505225392 139989110490996 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10551232 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10551232 memory=54096 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10551232 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815042 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10551232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111815042 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10551232 memory=14356 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 111815043 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10551232 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111815044 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988861801760 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10551232 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111815044 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988860749424 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10551232 memory=11136 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815046 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10551232 memory=5788 CPUtime=0.27 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) R 24947 24950 8289 0 -1 4202560 1686 0 0 0 27 0 0 0 20 0 15 0 111815046 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988858631376 139989482175135 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10551232 memory=4612 CPUtime=0.27 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) R 24947 24950 8289 0 -1 4202560 1446 0 0 0 27 0 0 0 20 0 15 0 111815046 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988857591920 139989482510421 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10551232 memory=1436 CPUtime=0.27 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24947 24950 8289 0 -1 1077944384 1407 0 0 0 27 0 0 0 20 0 15 0 111815046 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10551232 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111815047 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24965] ppid=24947 vsize=10551232 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24965/stat : 24965 (java) S 24947 24950 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111815053 10804461568 26723 18446744073709551615 4194304 4196468 140720878132288 139988854434736 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 106892 KiB
[startup+1.50075 s]
/proc/loadavg: 1.90 2.00 2.52 6/214 24965
/proc/meminfo: memFree=30669280/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10551232 memory=261956 CPUtime=3.98 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 18293 0 0 0 382 16 0 0 20 0 15 0 111815036 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2637808 65489 3101 1 0 2627261 0
[pid=24950/tid=24952] ppid=24947 vsize=10551232 memory=261432 CPUtime=1.29 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 7000 0 0 0 125 4 0 0 20 0 15 0 111815041 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139989505220480 139989501001110 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10551232 memory=2241 CPUtime=0.06 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 144 0 0 0 4 2 0 0 20 0 15 0 111815042 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10551232 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 15 0 111815042 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10551232 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 48 0 0 0 5 1 0 0 20 0 15 0 111815042 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10551232 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 15 0 111815042 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10551232 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 111815043 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10551232 memory=54096 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 111815044 10804461568 65489 18446744073709551615 4194304 4196468 140720878132288 139988861801760 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
################
# More data... #
################
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 221841 0 0 0 241913 36 0 0 20 0 16 0 111815041 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989505225928 139989113219365 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.14 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 20073 0 0 0 1444 70 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.13 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 16038 0 0 0 1442 71 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.22 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 20771 0 0 0 1449 73 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.21 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 18683 0 0 0 1447 74 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10617796 memory=4168 CPUtime=7.29 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 11455 0 0 0 726 3 0 0 20 0 16 0 111815043 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10617796 memory=54228 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 111815044 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988861801824 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10617796 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 111815044 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988860749440 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10617796 memory=54228 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10617796 memory=4706664 CPUtime=2.59 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24947 24950 8289 0 -1 1077944384 17429 0 0 0 256 3 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10617796 memory=2440 CPUtime=2.18 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24947 24950 8289 0 -1 1077944384 17707 0 0 0 215 3 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988857591792 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0.58 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24947 24950 8289 0 -1 1077944384 8841 0 0 0 55 3 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111815047 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24965] ppid=24947 vsize=10617796 memory=14356 CPUtime=1.52 cores=0,2,4,6
/proc/24950/task/24965/stat : 24965 (java) S 24947 24950 8289 0 -1 1077944384 2677 0 0 0 81 71 0 0 20 0 16 0 111815053 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988854434736 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24966] ppid=24947 vsize=10617796 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24966/stat : 24966 (java) S 24947 24950 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 111818004 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988853380272 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 2494.45 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4706664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.9 s]
/proc/loadavg: 1.00 1.15 1.87 2/193 25423
/proc/meminfo: memFree=26672108/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10617796 memory=4706664 CPUtime=2520.07 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 358639 0 0 0 251611 396 0 0 20 0 16 0 111815036 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2654449 1176666 3144 1 0 2643902 0
[pid=24950/tid=24952] ppid=24947 vsize=10617796 memory=4706664 CPUtime=2445.09 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 223485 0 0 0 244473 36 0 0 20 0 16 0 111815041 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989505225928 139989112835661 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.14 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 20073 0 0 0 1444 70 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.13 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 16038 0 0 0 1442 71 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.22 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 20771 0 0 0 1449 73 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10617796 memory=4706664 CPUtime=15.21 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 18683 0 0 0 1447 74 0 0 20 0 16 0 111815042 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10617796 memory=2164 CPUtime=7.29 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 11463 0 0 0 726 3 0 0 20 0 16 0 111815043 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 111815044 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988861801824 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 111815044 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988860749440 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10617796 memory=4706664 CPUtime=2.59 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24947 24950 8289 0 -1 1077944384 17443 0 0 0 256 3 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10617796 memory=4706664 CPUtime=2.18 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24947 24950 8289 0 -1 1077944384 17710 0 0 0 215 3 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988857591792 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0.58 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24947 24950 8289 0 -1 1077944384 8845 0 0 0 55 3 0 0 20 0 16 0 111815046 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111815047 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24965] ppid=24947 vsize=10617796 memory=4706664 CPUtime=1.53 cores=0,2,4,6
/proc/24950/task/24965/stat : 24965 (java) S 24947 24950 8289 0 -1 1077944384 2716 0 0 0 81 72 0 0 20 0 16 0 111815053 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988854434736 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24966] ppid=24947 vsize=10617796 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24966/stat : 24966 (java) S 24947 24950 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 111818004 10872623104 1176666 18446744073709551615 4194304 4196468 140720878132288 139988853380272 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4706664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.14 s]
# the end of solver process 24950 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.34 s, system=3.98961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.01 s]*
/proc/loadavg: 1.00 1.15 1.87 2/194 25426
/proc/meminfo: memFree=26672108/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10817488 memory=4706980 CPUtime=2520.19 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 360010 0 0 0 251623 396 0 0 20 0 17 0 111815036 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2704372 1176745 3147 1 0 2693825 0
[pid=24950/tid=24952] ppid=24947 vsize=10817488 memory=4872558044660077418 CPUtime=2445.2 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) R 24947 24950 8289 0 -1 4202560 223861 0 0 0 244484 36 0 0 20 0 17 0 111815041 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139989505225424 139989113275842 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10817488 memory=6944656592455097440 CPUtime=15.14 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 20073 0 0 0 1444 70 0 0 20 0 17 0 111815042 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10817488 memory=6082794559126595938 CPUtime=15.13 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 16038 0 0 0 1442 71 0 0 20 0 17 0 111815042 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10817488 memory=7733952971646807957 CPUtime=15.22 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 20771 0 0 0 1449 73 0 0 20 0 17 0 111815042 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10817488 memory=4872558044660077418 CPUtime=15.21 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 18683 0 0 0 1447 74 0 0 20 0 17 0 111815042 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10817488 memory=7379237467581344341 CPUtime=7.29 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24947 24950 8289 0 -1 1077944384 11512 0 0 0 726 3 0 0 20 0 17 0 111815043 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989501000322 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10817488 memory=5788927991881622116 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 111815044 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988861801824 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10817488 memory=7084271440900809536 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 111815044 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988860749440 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24960] ppid=24947 vsize=10817488 memory=7805132128704097879 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24947 24950 8289 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 17 0 111815046 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988859697744 139989501007771 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10817488 memory=7162246606654892654 CPUtime=2.59 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24947 24950 8289 0 -1 1077944384 17553 0 0 0 256 3 0 0 20 0 17 0 111815046 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24962] ppid=24947 vsize=10817488 memory=7669176502668717929 CPUtime=2.19 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24947 24950 8289 0 -1 1077944384 17790 0 0 0 216 3 0 0 20 0 17 0 111815046 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988857591792 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10817488 memory=7307468006406909539 CPUtime=0.58 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24947 24950 8289 0 -1 1077944384 9053 0 0 0 55 3 0 0 20 0 17 0 111815046 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24964] ppid=24947 vsize=10817488 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24947 24950 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111815047 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988855486944 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24965] ppid=24947 vsize=10817488 memory=4612 CPUtime=1.53 cores=0,2,4,6
/proc/24950/task/24965/stat : 24965 (java) S 24947 24950 8289 0 -1 1077944384 2716 0 0 0 81 72 0 0 20 0 17 0 111815053 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988854434736 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=25424] ppid=24947 vsize=10817488 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/24950/task/25424/stat : 25424 (java) S 24947 24950 8289 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 17 0 112061826 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988852327280 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=25425] ppid=24947 vsize=10817488 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/24950/task/25425/stat : 25425 (java) S 24947 24950 8289 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 112061826 11077107712 1176745 18446744073709551615 4194304 4196468 140720878132288 139988851275408 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4706980 KiB
[startup+2468.12 s]
/proc/loadavg: 1.00 1.15 1.87 2/194 25426
/proc/meminfo: memFree=26672108/32770624 swapFree=67108860/67108860
[pid=24950] ppid=24947 vsize=10817488 memory=4706936 CPUtime=2520.3 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24947 24950 8289 0 -1 1077944320 360157 0 0 0 251634 396 0 0 20 0 16 0 111815036 11077107712 1176734 18446744073709551615 4194304 4196468 140720878132288 140720878114832 139989500989175 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
/proc/24950/statm: 2704372 1176734 3148 1 0 2693825 0
[pid=24950/tid=24952] ppid=24947 vsize=10817488 memory=4706664 CPUtime=2445.31 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24947 24950 8289 0 -1 1077944384 223885 0 0 0 244495 36 0 0 20 0 15 0 111815041 11077107712 1176734 18446744073709551615 4194304 4196468 140720878132288 139989505230576 139989501000322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24953] ppid=24947 vsize=10817488 memory=4706664 CPUtime=15.14 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24947 24950 8289 0 -1 1077944384 20073 0 0 0 1444 70 0 0 20 0 15 0 111815042 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139989431409040 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24954] ppid=24947 vsize=10817488 memory=4706664 CPUtime=15.13 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24947 24950 8289 0 -1 1077944384 16038 0 0 0 1442 71 0 0 20 0 14 0 111815042 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139989430356240 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24955] ppid=24947 vsize=10817488 memory=4706664 CPUtime=15.22 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24947 24950 8289 0 -1 1077944384 20771 0 0 0 1449 73 0 0 20 0 14 0 111815042 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139989429303952 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24956] ppid=24947 vsize=10817488 memory=4706664 CPUtime=15.21 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24947 24950 8289 0 -1 1077944384 18683 0 0 0 1447 74 0 0 20 0 14 0 111815042 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139989428251152 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24957] ppid=24947 vsize=10817488 memory=4706664 CPUtime=7.29 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) R 24947 24950 8289 0 -1 4202560 11519 0 0 0 726 3 0 0 20 0 14 0 111815043 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139988862855792 139989493674807 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24958] ppid=24947 vsize=10817488 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24947 24950 8289 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 14 0 111815044 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139988861801824 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24959] ppid=24947 vsize=10817488 memory=4706664 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24947 24950 8289 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 14 0 111815044 11077107712 1176722 18446744073709551615 4194304 4196468 140720878132288 139988860749440 139989500999381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24961] ppid=24947 vsize=10817488 memory=4706664 CPUtime=2.59 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) R 24947 24950 8289 0 -1 1077944384 17560 0 0 0 256 3 0 0 20 0 13 0 111815046 11077107712 1176732 18446744073709551615 4194304 4196468 140720878132288 139988858644592 139989501000322 256 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
[pid=24950/tid=24963] ppid=24947 vsize=10817488 memory=4706664 CPUtime=0.58 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) R 24947 24950 8289 0 -1 1077944384 9061 0 0 0 55 3 0 0 20 0 10 0 111815046 11077107712 1176790 18446744073709551615 4194304 4196468 140720878132288 139988856539504 139989501000322 256 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140720878137744 140720878137897 140720878137897 140720878141391 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4706936 KiB
Child status: 143
Real time (s): 2468.14
CPU time (s): 2520.33
CPU user time (s): 2516.34
CPU system time (s): 3.98961
CPU usage (%): 102.115
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 4706980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.98961
maximum resident set size= 4707256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57265
involuntary context switches= 3018
# summary of solver processes directly reported to runsolver:
# pid: 24950
# total CPU time (s): 2520.33
# total CPU user time (s): 2516.34
# total CPU system time (s): 3.98961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6013 second user time and 24.2101 second system time
The end