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 (15197 MiB free)
memory of node 1: 16384 MiB (8001 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258111-1502653051/watcher-4258111-1502653051 -o /tmp/evaluation-result-4258111-1502653051/solver-4258111-1502653051 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258111-1502653051.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20264, runsolver pid=20261
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 4.61 4.53 4.50 6/204 20273
/proc/meminfo: memFree=23723084/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10151672 memory=20980 CPUtime=0.03 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 4145 0 0 0 3 0 0 0 20 0 9 0 67498376 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2537918 5245 2122 1 0 2527415 0
[pid=20264/tid=20266] ppid=20261 vsize=10151672 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 4202560 2788 0 0 0 3 0 0 0 20 0 9 0 67498382 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139666363355000 139666359141533 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67498383 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10151672 memory=140297232111232 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67498383 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67498383 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67498383 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10151672 memory=140297232111232 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67498385 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67498385 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67498385 10395312128 5245 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20980 KiB
[startup+0.211972 s]*
/proc/loadavg: 4.61 4.53 4.50 6/210 20279
/proc/meminfo: memFree=23706808/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10551156 memory=29892 CPUtime=0.12 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 7650 0 0 0 10 2 0 0 20 0 15 0 67498376 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2637789 7473 2760 1 0 2627261 0
[pid=20264/tid=20266] ppid=20261 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 4202560 5505 0 0 0 8 1 0 0 20 0 15 0 67498382 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139666363340736 139666359140954 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10551156 memory=288370673383822976 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10551156 memory=140297232111232 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498385 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498385 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498385 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) S 20261 20264 17093 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 67498388 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665528855408 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) R 20261 20264 17093 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 67498388 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665527802608 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10551156 memory=140297232111232 CPUtime=0.01 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) R 20261 20264 17093 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 67498388 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665526749808 139666359131542 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10551156 memory=140297232111232 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498393 10804383744 7473 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 29892 KiB
[startup+0.310255 s]*
/proc/loadavg: 4.61 4.53 4.50 7/210 20279
/proc/meminfo: memFree=23700268/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10551156 memory=38796 CPUtime=0.28 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 8960 0 0 0 25 3 0 0 20 0 15 0 67498376 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2637789 9699 2908 1 0 2627261 0
[pid=20264/tid=20266] ppid=20261 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 4202560 6148 0 0 0 18 1 0 0 20 0 15 0 67498382 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139666363358032 139666359141533 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498385 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498385 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498385 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) R 20261 20264 17093 0 -1 4202560 426 0 0 0 1 0 0 0 20 0 15 0 67498388 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665528855408 139666344541264 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) R 20261 20264 17093 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 67498388 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665527802608 139666359130754 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10551156 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) R 20261 20264 17093 0 -1 4202560 825 0 0 0 5 0 0 0 20 0 15 0 67498388 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665526746176 139666351356734 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498393 10804383744 9699 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38796 KiB
[startup+0.701468 s]
/proc/loadavg: 4.61 4.53 4.50 9/210 20279
/proc/meminfo: memFree=23684464/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10551232 memory=113484 CPUtime=1.45 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 13316 0 0 0 140 5 0 0 20 0 15 0 67498376 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2638064 28371 3056 1 0 2627517 0
[pid=20264/tid=20266] ppid=20261 vsize=10551232 memory=253 CPUtime=0.56 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 1077944384 7407 0 0 0 54 2 0 0 20 0 15 0 67498382 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139666363336448 139666351798829 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10552256 memory=2301 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67498383 10805510144 28371 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10552256 memory=304 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10805510144 28371 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10552256 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10805510144 28371 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498383 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67498385 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498385 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498385 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10551232 memory=69 CPUtime=0.28 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) R 20261 20264 17093 0 -1 4202560 1591 0 0 0 28 0 0 0 20 0 15 0 67498388 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665528844432 139666338812670 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) R 20261 20264 17093 0 -1 4202560 1287 0 0 0 27 0 0 0 20 0 15 0 67498388 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665527789072 139666340642776 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10551232 memory=6485400618202 CPUtime=0.3 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) R 20261 20264 17093 0 -1 4202560 1694 0 0 0 29 1 0 0 20 0 15 0 67498388 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665526749808 139666343200094 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67498393 10804461568 28371 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 113484 KiB
[startup+1.50152 s]
/proc/loadavg: 4.61 4.53 4.50 8/210 20279
/proc/meminfo: memFree=23533300/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10551232 memory=277060 CPUtime=3.95 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 23916 0 0 0 383 12 0 0 20 0 15 0 67498376 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2637808 69265 3099 1 0 2627261 0
[pid=20264/tid=20266] ppid=20261 vsize=10551232 memory=6944652177228980320 CPUtime=1.29 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 4202560 7912 0 0 0 126 3 0 0 20 0 15 0 67498382 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139666363352688 139665982413295 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10551232 memory=8740 CPUtime=0.05 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 119 0 0 0 4 1 0 0 20 0 15 0 67498383 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10551232 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 106 0 0 0 3 0 0 0 20 0 15 0 67498383 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10551232 memory=280594240082880 CPUtime=0.04 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 104 0 0 0 3 1 0 0 20 0 15 0 67498383 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10551232 memory=13966 CPUtime=0.04 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 53 0 0 0 3 1 0 0 20 0 15 0 67498383 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10551232 memory=25918 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 67498385 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67498385 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67498385 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67498388 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10551232 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) R 20261 20264 17093 0 -1 4202560 7413 0 0 0 104 1 0 0 20 0 15 0 67498388 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665528841568 139666344001350 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10551232 memory=0 CPUtime=1 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) R 20261 20264 17093 0 -1 4202560 4932 0 0 0 100 0 0 0 20 0 15 0 67498388 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665527788632 139666344227310 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10551232 memory=85 CPUtime=0.38 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) S 20261 20264 17093 0 -1 1077944384 1834 0 0 0 37 1 0 0 20 0 15 0 67498388 10804461568 69265 18446744073709551615 4194304 4196468 140721824122384 139665526749808 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
################
# More data... #
################
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 18815 0 0 0 831 1 0 0 20 0 16 0 67498385 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10617796 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 67498385 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10617796 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67498385 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10617796 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67498388 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10617796 memory=37984 CPUtime=1.84 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) S 20261 20264 17093 0 -1 1077944384 10144 0 0 0 182 2 0 0 20 0 16 0 67498388 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665528855408 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10617796 memory=5568356 CPUtime=1.68 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) S 20261 20264 17093 0 -1 1077944384 7476 0 0 0 167 1 0 0 20 0 16 0 67498388 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665527802608 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10617796 memory=5788 CPUtime=0.49 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) S 20261 20264 17093 0 -1 1077944384 3866 0 0 0 47 2 0 0 20 0 16 0 67498388 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665526749808 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10617796 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67498388 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10617796 memory=5568388 CPUtime=0.05 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 238 0 0 0 3 2 0 0 20 0 16 0 67498393 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20356] ppid=20261 vsize=10617796 memory=280592227284115 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20356/stat : 20356 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67503531 10872623104 1392097 18446744073709551615 4194304 4196468 140721824122384 139665523590064 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 165.41 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5568388 KiB
[startup+162.301 s]
/proc/loadavg: 2.24 3.58 4.15 3/211 20362
/proc/meminfo: memFree=21779620/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10617796 memory=5568548 CPUtime=225.57 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 132503 0 0 0 22226 331 0 0 20 0 16 0 67498376 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2654449 1392137 3144 1 0 2643902 0
[pid=20264/tid=20266] ppid=20261 vsize=10617796 memory=5568548 CPUtime=133.76 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 4202560 33580 0 0 0 13351 25 0 0 20 0 16 0 67498382 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666363356360 139665983484208 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10617796 memory=5568548 CPUtime=19.86 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 13078 0 0 0 1913 73 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10617796 memory=5568548 CPUtime=19.73 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 10633 0 0 0 1900 73 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10617796 memory=15876 CPUtime=19.81 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 17864 0 0 0 1908 73 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10617796 memory=4048 CPUtime=19.77 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 12809 0 0 0 1902 75 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10617796 memory=5568548 CPUtime=8.32 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 18849 0 0 0 831 1 0 0 20 0 16 0 67498385 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10617796 memory=960 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 67498385 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10617796 memory=5568548 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67498385 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10617796 memory=5568548 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10617796 memory=5568548 CPUtime=1.95 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) S 20261 20264 17093 0 -1 1077944384 11955 0 0 0 193 2 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665528855408 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10617796 memory=5568548 CPUtime=1.7 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) S 20261 20264 17093 0 -1 1077944384 7978 0 0 0 169 1 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665527802608 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10617796 memory=4048 CPUtime=0.49 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) S 20261 20264 17093 0 -1 1077944384 4090 0 0 0 47 2 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665526749808 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10617796 memory=21376 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10617796 memory=4612 CPUtime=0.09 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 288 0 0 0 5 4 0 0 20 0 16 0 67498393 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20356] ppid=20261 vsize=10617796 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20356/stat : 20356 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67503531 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665523590064 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 225.57 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5568548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+188.801 s]
/proc/loadavg: 2.15 3.46 4.10 3/211 20362
/proc/meminfo: memFree=21779496/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10617796 memory=5568548 CPUtime=252.09 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 136289 0 0 0 24877 332 0 0 20 0 16 0 67498376 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2654449 1392137 3144 1 0 2643902 0
[pid=20264/tid=20266] ppid=20261 vsize=10617796 memory=1708 CPUtime=160.26 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) R 20261 20264 17093 0 -1 4202560 37298 0 0 0 16001 25 0 0 20 0 16 0 67498382 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666363356360 139665983484429 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10617796 memory=1444 CPUtime=19.86 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 13078 0 0 0 1913 73 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10617796 memory=1228 CPUtime=19.73 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 10633 0 0 0 1900 73 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10617796 memory=-8774313645642428999 CPUtime=19.81 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 17864 0 0 0 1908 73 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10617796 memory=288230621803970871 CPUtime=19.77 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 12809 0 0 0 1902 75 0 0 20 0 16 0 67498383 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10617796 memory=13563795322702378 CPUtime=8.32 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 18858 0 0 0 831 1 0 0 20 0 16 0 67498385 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10617796 memory=960 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 67498385 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10617796 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67498385 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10617796 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10617796 memory=1204 CPUtime=1.95 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) S 20261 20264 17093 0 -1 1077944384 11958 0 0 0 193 2 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665528855408 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10617796 memory=1000 CPUtime=1.7 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) S 20261 20264 17093 0 -1 1077944384 7988 0 0 0 169 1 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665527802608 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10617796 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) S 20261 20264 17093 0 -1 1077944384 4097 0 0 0 47 2 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665526749808 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10617796 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67498388 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10617796 memory=7367997097007667862 CPUtime=0.11 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 327 0 0 0 6 5 0 0 20 0 16 0 67498393 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20356] ppid=20261 vsize=10617796 memory=-7886167514736700194 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20356/stat : 20356 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67503531 10872623104 1392137 18446744073709551615 4194304 4196468 140721824122384 139665523590064 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5568548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+189.042 s]
# the end of solver process 20264 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.913 s, system=3.35681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+189.001 s]*
/proc/loadavg: 2.15 3.46 4.10 2/212 20365
/proc/meminfo: memFree=21779480/32770624 swapFree=67108860/67108860
[pid=20264] ppid=20261 vsize=10817488 memory=5568892 CPUtime=252.22 cores=0,2,4,6
/proc/20264/stat : 20264 (java) S 20261 20264 17093 0 -1 1077944320 137356 0 0 0 24890 332 0 0 20 0 17 0 67498376 11077107712 1392223 18446744073709551615 4194304 4196468 140721824122384 140721824104928 139666359119607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
/proc/20264/statm: 2704372 1392223 3148 1 0 2693825 0
[pid=20264/tid=20266] ppid=20261 vsize=10817488 memory=-8774313645642428999 CPUtime=160.39 cores=0,2,4,6
/proc/20264/task/20266/stat : 20266 (java) S 20261 20264 17093 0 -1 1077944384 37395 0 0 0 16014 25 0 0 20 0 17 0 67498382 11077107712 1392235 18446744073709551615 4194304 4196468 140721824122384 139666363362480 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20267] ppid=20261 vsize=10817488 memory=4872558044660077418 CPUtime=19.86 cores=0,2,4,6
/proc/20264/task/20267/stat : 20267 (java) S 20261 20264 17093 0 -1 1077944384 13078 0 0 0 1913 73 0 0 20 0 17 0 67498383 11077107712 1392235 18446744073709551615 4194304 4196468 140721824122384 139666300157072 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20268] ppid=20261 vsize=10817488 memory=2752 CPUtime=19.73 cores=0,2,4,6
/proc/20264/task/20268/stat : 20268 (java) S 20261 20264 17093 0 -1 1077944384 10633 0 0 0 1900 73 0 0 20 0 17 0 67498383 11077107712 1392235 18446744073709551615 4194304 4196468 140721824122384 139666299104272 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20269] ppid=20261 vsize=10817488 memory=2872 CPUtime=19.81 cores=0,2,4,6
/proc/20264/task/20269/stat : 20269 (java) S 20261 20264 17093 0 -1 1077944384 17864 0 0 0 1908 73 0 0 20 0 17 0 67498383 11077107712 1392235 18446744073709551615 4194304 4196468 140721824122384 139666298051472 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20270] ppid=20261 vsize=10817488 memory=4064 CPUtime=19.77 cores=0,2,4,6
/proc/20264/task/20270/stat : 20270 (java) S 20261 20264 17093 0 -1 1077944384 12809 0 0 0 1902 75 0 0 20 0 17 0 67498383 11077107712 1392235 18446744073709551615 4194304 4196468 140721824122384 139665967278864 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20271] ppid=20261 vsize=10817488 memory=3904 CPUtime=8.32 cores=0,2,4,6
/proc/20264/task/20271/stat : 20271 (java) S 20261 20264 17093 0 -1 1077944384 18881 0 0 0 831 1 0 0 20 0 17 0 67498385 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665533065584 139666359130754 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20272] ppid=20261 vsize=10817488 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20272/stat : 20272 (java) S 20261 20264 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 67498385 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665532011552 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20273] ppid=20261 vsize=10817488 memory=3036 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20273/stat : 20273 (java) S 20261 20264 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 67498385 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665530958704 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20274] ppid=20261 vsize=10817488 memory=5568548 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20274/stat : 20274 (java) S 20261 20264 17093 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 17 0 67498388 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665529907024 139666359138203 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20275] ppid=20261 vsize=10817488 memory=2752 CPUtime=1.95 cores=0,2,4,6
/proc/20264/task/20275/stat : 20275 (java) S 20261 20264 17093 0 -1 1077944384 12029 0 0 0 193 2 0 0 20 0 17 0 67498388 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665528855408 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20276] ppid=20261 vsize=10817488 memory=2872 CPUtime=1.7 cores=0,2,4,6
/proc/20264/task/20276/stat : 20276 (java) R 20261 20264 17093 0 -1 4202560 8002 0 0 0 169 1 0 0 20 0 17 0 67498388 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665527802608 139666343513364 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20277] ppid=20261 vsize=10817488 memory=4064 CPUtime=0.49 cores=0,2,4,6
/proc/20264/task/20277/stat : 20277 (java) R 20261 20264 17093 0 -1 1077944384 4276 0 0 0 47 2 0 0 20 0 17 0 67498388 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665526745568 139666359129813 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20278] ppid=20261 vsize=10817488 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20278/stat : 20278 (java) S 20261 20264 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67498388 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665525697248 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20279] ppid=20261 vsize=10817488 memory=1156 CPUtime=0.11 cores=0,2,4,6
/proc/20264/task/20279/stat : 20279 (java) S 20261 20264 17093 0 -1 1077944384 327 0 0 0 6 5 0 0 20 0 17 0 67498393 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665524644528 139666359130754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20363] ppid=20261 vsize=10817488 memory=3036 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20363/stat : 20363 (java) S 20261 20264 17093 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 17 0 67517257 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665522536560 139666359129813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
[pid=20264/tid=20364] ppid=20261 vsize=10817488 memory=5568548 CPUtime=0 cores=0,2,4,6
/proc/20264/task/20364/stat : 20364 (java) R 20261 20264 17093 0 -1 4202560 306 0 0 0 0 0 0 0 20 0 17 0 67517257 11077107712 1392237 18446744073709551615 4194304 4196468 140721824122384 139665521484688 139666343239875 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38359040 140721824125333 140721824125486 140721824125486 140721824128975 0
Current children cumulated CPU time: 252.22 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5568892 KiB
Child status: 143
Real time (s): 189.042
CPU time (s): 252.27
CPU user time (s): 248.913
CPU system time (s): 3.35681
CPU usage (%): 133.446
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 5568892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.913
system time used= 3.35681
maximum resident set size= 5569212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7307
involuntary context switches= 1507
# summary of solver processes directly reported to runsolver:
# pid: 20264
# total CPU time (s): 252.27
# total CPU user time (s): 248.913
# total CPU system time (s): 3.35681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11808 second user time and 1.84276 second system time
The end