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 (15196 MiB free)
memory of node 1: 16384 MiB (7658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258206-1502653887/watcher-4258206-1502653887 -o /tmp/evaluation-result-4258206-1502653887/solver-4258206-1502653887 -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-4258206-1502653887.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
Current StackSize limit: 8192 KiB
solver pid=21225, runsolver pid=21222
[startup+0.1002 s]*
/proc/loadavg: 5.28 4.10 3.88 3/203 21234
/proc/meminfo: memFree=23391752/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10151672 memory=20740 CPUtime=0.03 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 4048 0 0 0 3 0 0 0 20 0 9 0 67582064 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2537918 5185 2155 1 0 2527415 0
[pid=21225/tid=21227] ppid=21222 vsize=10151672 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) R 21222 21225 17093 0 -1 4202560 2693 0 0 0 3 0 0 0 20 0 9 0 67582070 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139808348802936 139808328648030 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67582071 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139808301534224 139808344577749 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10151672 memory=140375047923328 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67582071 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139808300481680 139808344577749 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67582071 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139807953705744 139808344577749 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67582071 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139807952653200 139808344577749 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10151672 memory=140375047923328 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67582072 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139807908751600 139808344578690 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67582073 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139807907697824 139808344577749 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67582073 10395312128 5185 18446744073709551615 4194304 4196468 140722953916080 139807906644720 139808344577749 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20740 KiB
[startup+0.209934 s]*
/proc/loadavg: 5.28 4.10 3.88 2/208 21239
/proc/meminfo: memFree=23390696/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10484492 memory=22860 CPUtime=0.05 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 4664 0 0 0 5 0 0 0 20 0 14 0 67582064 10736119808 5715 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2621123 5715 2573 1 0 2610620 0
[pid=21225/tid=21227] ppid=21222 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) D 21222 21225 17093 0 -1 1077944384 2786 0 0 0 4 0 0 0 20 0 14 0 67582070 10736119808 5715 18446744073709551615 4194304 4196468 140722953916080 139808348805024 139808344589565 0 4 1 16800974 18446744072101613092 0 0 -1 0 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10484492 memory=330 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67582071 10736119808 5715 18446744073709551615 4194304 4196468 140722953916080 139808301534224 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10484492 memory=288370751199635072 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67582071 10736119808 5715 18446744073709551615 4194304 4196468 140722953916080 139808300481680 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67582071 10736119808 5715 18446744073709551615 4194304 4196468 140722953916080 139807953705744 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67582071 10736119808 5715 18446744073709551615 4194304 4196468 140722953916080 139807952653200 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10485520 memory=140375047923328 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67582072 10737172480 5715 18446744073709551615 4194304 4196468 140722953916080 139807908751600 139808344578690 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10485520 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67582073 10737172480 5715 18446744073709551615 4194304 4196468 140722953916080 139807907697824 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10485520 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67582073 10737172480 5715 18446744073709551615 4194304 4196468 140722953916080 139807906644720 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804281344 5715 18446744073709551615 4194304 4196468 140722953916080 139807905593296 139808344586139 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 67582075 10804281344 5715 18446744073709551615 4194304 4196468 140722953916080 139807904541424 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582075 10804281344 5715 18446744073709551615 4194304 4196468 140722953916080 139807903488880 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551056 memory=140375047923328 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 67582075 10804281344 5715 18446744073709551615 4194304 4196468 140722953916080 139807902435824 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804281344 5715 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551056 memory=140375047923328 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582086 10804281344 5715 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22860 KiB
[startup+0.319289 s]*
/proc/loadavg: 5.28 4.10 3.88 3/209 21240
/proc/meminfo: memFree=23379532/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551156 memory=36732 CPUtime=0.22 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 7911 0 0 0 20 2 0 0 20 0 15 0 67582064 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637789 9183 2863 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551156 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) R 21222 21225 17093 0 -1 4202560 5560 0 0 0 14 1 0 0 20 0 15 0 67582070 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139808348795608 139808328648030 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582071 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139808301534224 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582071 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139808300481680 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582071 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807953705744 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67582071 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807952653200 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67582072 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807908751600 139808344578690 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67582073 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807907697824 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67582073 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807906644720 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807905593296 139808344586139 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 67582075 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807904541424 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 67582075 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807903488880 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551156 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 67582075 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807902435824 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582086 10804383744 9183 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36732 KiB
[startup+0.70133 s]
/proc/loadavg: 5.28 4.10 3.88 4/209 21240
/proc/meminfo: memFree=23358532/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551232 memory=94028 CPUtime=1.35 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 12665 0 0 0 131 4 0 0 20 0 15 0 67582064 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637808 23507 3043 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551232 memory=253 CPUtime=0.51 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) R 21222 21225 17093 0 -1 4202560 7062 0 0 0 49 2 0 0 20 0 15 0 67582070 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139808348803248 139807983343874 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551232 memory=2305 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582071 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139808301534224 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551232 memory=305 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582071 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139808300481680 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582071 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807953705744 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) S 21222 21225 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67582071 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807952653200 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67582072 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807908751600 139808344578690 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807907697824 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807906644720 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807905593296 139808344586139 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551232 memory=69 CPUtime=0.29 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) R 21222 21225 17093 0 -1 4202560 1572 0 0 0 29 0 0 0 20 0 15 0 67582075 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807904522440 139808326089249 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551232 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) R 21222 21225 17093 0 -1 4202560 1175 0 0 0 28 0 0 0 20 0 15 0 67582075 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807903474944 139808326088831 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551232 memory=6485400618202 CPUtime=0.23 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 1488 0 0 0 23 0 0 0 20 0 15 0 67582075 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807902435824 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67582086 10804461568 23507 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 94028 KiB
[startup+1.50084 s]
/proc/loadavg: 5.28 4.10 3.88 6/209 21240
/proc/meminfo: memFree=23192092/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551232 memory=712148 CPUtime=3.31 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 15142 0 0 0 298 33 0 0 20 0 15 0 67582064 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637808 178037 3093 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551232 memory=6944652177228980320 CPUtime=1.12 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) R 21222 21225 17093 0 -1 4202560 7599 0 0 0 103 9 0 0 20 0 15 0 67582070 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139808348804656 139808330635668 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551232 memory=8740 CPUtime=0.17 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) S 21222 21225 17093 0 -1 1077944384 270 0 0 0 12 5 0 0 20 0 15 0 67582071 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139808301534224 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551232 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) S 21222 21225 17093 0 -1 1077944384 269 0 0 0 13 5 0 0 20 0 15 0 67582071 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139808300481680 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551232 memory=280749798429632 CPUtime=0.18 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) S 21222 21225 17093 0 -1 1077944384 276 0 0 0 13 5 0 0 20 0 15 0 67582071 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807953705744 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551232 memory=13966 CPUtime=0.17 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) S 21222 21225 17093 0 -1 1077944384 281 0 0 0 12 5 0 0 20 0 15 0 67582071 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807952653200 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551232 memory=25918 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 15 0 67582072 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807908751600 139808344578690 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807907697824 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807906644720 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807905593296 139808344586139 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551232 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 1694 0 0 0 58 0 0 0 20 0 15 0 67582075 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807904541424 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551232 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 1310 0 0 0 53 0 0 0 20 0 15 0 67582075 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807903488880 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551232 memory=58 CPUtime=0.3 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 1585 0 0 0 30 0 0 0 20 0 15 0 67582075 10804461568 178037 18446744073709551615 4194304 4196468 140722953916080 139807902435824 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
################
# More data... #
################
[startup+86.9876 s]
# the end of solver process 21225 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.092 s, system=5.81671 s
Solver just ended.
Dumping a history of the last processes samples
[startup+85.6006 s]
/proc/loadavg: 5.59 4.42 4.01 9/209 21316
/proc/meminfo: memFree=15211296/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551232 memory=8299188 CPUtime=254.76 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 1059462 0 0 0 24904 572 0 0 20 0 15 0 67582064 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637808 2074797 3117 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551232 memory=1000 CPUtime=14.18 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) S 21222 21225 17093 0 -1 1077944384 24548 0 0 0 1388 30 0 0 20 0 15 0 67582070 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808348802768 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551232 memory=796 CPUtime=55.9 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) S 21222 21225 17093 0 -1 1077944384 207188 0 0 0 5458 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808301534032 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551232 memory=10968 CPUtime=55.98 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) R 21222 21225 17093 0 -1 4202560 220540 0 0 0 5467 131 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808300481800 139808337195751 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551232 memory=4028 CPUtime=55.71 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) R 21222 21225 17093 0 -1 4202560 258410 0 0 0 5432 139 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807953705864 139808337195751 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551232 memory=38008 CPUtime=56.09 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) R 21222 21225 17093 0 -1 4202560 293565 0 0 0 5477 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807952653400 139808329267360 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551232 memory=1296 CPUtime=14.66 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 43157 0 0 0 1463 3 0 0 20 0 15 0 67582072 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807908750144 139808344577749 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551232 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807907697888 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551232 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807906644736 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551232 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807905592944 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551232 memory=4612 CPUtime=0.92 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 3497 0 0 0 92 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807904541472 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551232 memory=1708 CPUtime=0.84 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 3231 0 0 0 83 1 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807903488640 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551232 memory=1444 CPUtime=0.36 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 3492 0 0 0 36 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807902435872 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551232 memory=12200 CPUtime=0.04 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 442 0 0 0 3 1 0 0 20 0 15 0 67582086 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 254.76 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8299188 KiB
[startup+86.4007 s]
/proc/loadavg: 5.59 4.42 4.01 9/209 21316
/proc/meminfo: memFree=15211296/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551232 memory=8299188 CPUtime=257.86 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 1059462 0 0 0 25213 573 0 0 20 0 15 0 67582064 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637808 2074797 3117 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551232 memory=8299188 CPUtime=14.18 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) S 21222 21225 17093 0 -1 1077944384 24548 0 0 0 1388 30 0 0 20 0 15 0 67582070 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808348802768 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551232 memory=15876 CPUtime=56.67 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) R 21222 21225 17093 0 -1 4202560 207188 0 0 0 5535 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808301534032 139808337195751 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551232 memory=4048 CPUtime=56.73 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) R 21222 21225 17093 0 -1 4202560 220540 0 0 0 5542 131 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808300481800 139808337195751 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551232 memory=21392 CPUtime=56.48 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) R 21222 21225 17093 0 -1 4202560 258410 0 0 0 5509 139 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807953705552 139808337195751 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551232 memory=8299188 CPUtime=56.89 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) R 21222 21225 17093 0 -1 4202560 293565 0 0 0 5557 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807952653400 139808326177229 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551232 memory=1204 CPUtime=14.66 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 43157 0 0 0 1463 3 0 0 20 0 15 0 67582072 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807908750144 139808344577749 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551232 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807907697888 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807906644736 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551232 memory=10968 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807905592944 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551232 memory=15876 CPUtime=0.92 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 3497 0 0 0 92 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807904541472 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551232 memory=8299188 CPUtime=0.84 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 3231 0 0 0 83 1 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807903488640 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551232 memory=8299188 CPUtime=0.36 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 3492 0 0 0 36 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807902435872 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551232 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551232 memory=38008 CPUtime=0.04 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 442 0 0 0 3 1 0 0 20 0 15 0 67582086 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 257.86 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8299188 KiB
[startup+86.8007 s]
/proc/loadavg: 5.59 4.42 4.01 9/209 21316
/proc/meminfo: memFree=15211296/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551232 memory=8299188 CPUtime=259.41 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 1059462 0 0 0 25368 573 0 0 20 0 15 0 67582064 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637808 2074797 3117 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551232 memory=21392 CPUtime=14.18 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) S 21222 21225 17093 0 -1 1077944384 24548 0 0 0 1388 30 0 0 20 0 15 0 67582070 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808348802768 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551232 memory=1788 CPUtime=57.05 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) R 21222 21225 17093 0 -1 4202560 207188 0 0 0 5573 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808301534032 139808337195751 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551232 memory=640 CPUtime=57.12 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) R 21222 21225 17093 0 -1 4202560 220540 0 0 0 5581 131 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808300481800 139808337195751 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551232 memory=8299188 CPUtime=56.87 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) R 21222 21225 17093 0 -1 4202560 258410 0 0 0 5548 139 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807953705552 139808337195751 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551232 memory=1992 CPUtime=57.29 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) R 21222 21225 17093 0 -1 4202560 293565 0 0 0 5597 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807952653400 139808337670522 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551232 memory=140374899890790 CPUtime=14.66 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 43157 0 0 0 1463 3 0 0 20 0 15 0 67582072 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807908750144 139808344577749 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551232 memory=7453282923427950182 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807907697888 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551232 memory=8299188 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807906644736 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551232 memory=31356350842106266 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807905592944 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551232 memory=17462 CPUtime=0.92 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 3497 0 0 0 92 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807904541472 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551232 memory=5864339070211413867 CPUtime=0.84 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 3231 0 0 0 83 1 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807903488640 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551232 memory=123613257 CPUtime=0.36 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 3492 0 0 0 36 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807902435872 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551232 memory=140374899765837 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551232 memory=31356350842106266 CPUtime=0.04 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 442 0 0 0 3 1 0 0 20 0 15 0 67582086 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 259.41 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8299188 KiB
[startup+86.9007 s]
/proc/loadavg: 5.59 4.42 4.01 9/209 21316
/proc/meminfo: memFree=15211296/32770624 swapFree=67108860/67108860
[pid=21225] ppid=21222 vsize=10551232 memory=8299188 CPUtime=259.8 cores=0,2,4,6
/proc/21225/stat : 21225 (java) S 21222 21225 17093 0 -1 1077944320 1059462 0 0 0 25407 573 0 0 20 0 15 0 67582064 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 140722953898624 139808344567543 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
/proc/21225/statm: 2637808 2074797 3117 1 0 2627261 0
[pid=21225/tid=21227] ppid=21222 vsize=10551232 memory=8299188 CPUtime=14.18 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (java) S 21222 21225 17093 0 -1 1077944384 24548 0 0 0 1388 30 0 0 20 0 15 0 67582070 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808348802768 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21228] ppid=21222 vsize=10551232 memory=8299188 CPUtime=57.15 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (java) R 21222 21225 17093 0 -1 4202560 207188 0 0 0 5583 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808301534032 139808337195751 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21229] ppid=21222 vsize=10551232 memory=8299188 CPUtime=57.21 cores=0,2,4,6
/proc/21225/task/21229/stat : 21229 (java) R 21222 21225 17093 0 -1 4202560 220540 0 0 0 5590 131 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139808300481800 139808337195751 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21230] ppid=21222 vsize=10551232 memory=8299188 CPUtime=56.96 cores=0,2,4,6
/proc/21225/task/21230/stat : 21230 (java) R 21222 21225 17093 0 -1 4202560 258410 0 0 0 5557 139 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807953705864 139808337195751 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21231] ppid=21222 vsize=10551232 memory=8299188 CPUtime=57.39 cores=0,2,4,6
/proc/21225/task/21231/stat : 21231 (java) R 21222 21225 17093 0 -1 4202560 293565 0 0 0 5607 132 0 0 20 0 15 0 67582071 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807952653400 139808329557157 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21232] ppid=21222 vsize=10551232 memory=0 CPUtime=14.66 cores=0,2,4,6
/proc/21225/task/21232/stat : 21232 (java) S 21222 21225 17093 0 -1 1077944384 43157 0 0 0 1463 3 0 0 20 0 15 0 67582072 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807908750144 139808344577749 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21233] ppid=21222 vsize=10551232 memory=8299188 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21233/stat : 21233 (java) S 21222 21225 17093 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807907697888 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21234] ppid=21222 vsize=10551232 memory=844 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21234/stat : 21234 (java) S 21222 21225 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 67582073 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807906644736 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21235] ppid=21222 vsize=10551232 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21235/stat : 21235 (java) S 21222 21225 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807905592944 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21236] ppid=21222 vsize=10551232 memory=8299188 CPUtime=0.92 cores=0,2,4,6
/proc/21225/task/21236/stat : 21236 (java) S 21222 21225 17093 0 -1 1077944384 3497 0 0 0 92 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807904541472 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21237] ppid=21222 vsize=10551232 memory=8299188 CPUtime=0.84 cores=0,2,4,6
/proc/21225/task/21237/stat : 21237 (java) S 21222 21225 17093 0 -1 1077944384 3231 0 0 0 83 1 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807903488640 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21238] ppid=21222 vsize=10551232 memory=1160 CPUtime=0.36 cores=0,2,4,6
/proc/21225/task/21238/stat : 21238 (java) S 21222 21225 17093 0 -1 1077944384 3492 0 0 0 36 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807902435872 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21239] ppid=21222 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21239/stat : 21239 (java) S 21222 21225 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67582075 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807901383520 139808344577749 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
[pid=21225/tid=21240] ppid=21222 vsize=10551232 memory=4028 CPUtime=0.04 cores=0,2,4,6
/proc/21225/task/21240/stat : 21240 (java) S 21222 21225 17093 0 -1 1077944384 442 0 0 0 3 1 0 0 20 0 15 0 67582086 10804461568 2074797 18446744073709551615 4194304 4196468 140722953916080 139807900330544 139808344578690 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22134784 140722953920917 140722953921070 140722953921070 140722953924559 0
Current children cumulated CPU time: 259.8 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8299188 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 86.9876
CPU time (s): 259.909
CPU user time (s): 254.092
CPU system time (s): 5.81671
CPU usage (%): 298.789
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8299188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.092
system time used= 5.81671
maximum resident set size= 8299500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7799
involuntary context switches= 4893
# summary of solver processes directly reported to runsolver:
# pid: 21225
# total CPU time (s): 259.909
# total CPU user time (s): 254.092
# total CPU system time (s): 5.81671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.53149 second user time and 0.848455 second system time
The end