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 (14650 MiB free)
memory of node 1: 16384 MiB (15427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262814-1502634181/watcher-4262814-1502634181 -o /tmp/evaluation-result-4262814-1502634181/solver-4262814-1502634181 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502623975-28611 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262814-1502634181.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30411, runsolver pid=30408
[startup+0.100157 s]*
/proc/loadavg: 3.56 2.48 2.18 2/196 30412
/proc/meminfo: memFree=30800468/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=33976 memory=460 CPUtime=0 cores=1,3,5,7
/proc/30411/stat : 30411 (runsolver) D 30408 30411 897 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 65638802 34791424 115 18446744073709551615 4194304 4346622 140728786264496 140728786261128 139771819074263 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20393984 140728786268258 140728786268708 140728786268708 140728786272202 0
/proc/30411/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB
[startup+0.208909 s]*
/proc/loadavg: 3.56 2.48 2.18 4/207 30423
/proc/meminfo: memFree=30787768/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10484492 memory=23756 CPUtime=0.05 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 4889 0 0 0 5 0 0 0 20 0 14 0 65638802 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2621123 5939 2576 1 0 2610620 0
[pid=30411/tid=30413] ppid=30408 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) D 30408 30411 897 0 -1 4202560 3001 0 0 0 4 0 0 0 20 0 14 0 65638818 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140213228476320 140213224260861 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10484492 memory=328 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 65638819 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10484492 memory=288370147973736064 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 65638819 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 65638819 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 65638819 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10484492 memory=139771822024320 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 65638820 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 65638821 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212787143584 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 65638821 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212786090992 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 65638823 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) S 30408 30411 897 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 14 0 65638823 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 65638823 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10484492 memory=139771822024320 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 14 0 65638823 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 65638823 10736119808 5939 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23756 KiB
[startup+0.31436 s]*
/proc/loadavg: 3.56 2.48 2.18 4/210 30426
/proc/meminfo: memFree=30784152/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10551156 memory=27428 CPUtime=0.1 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 5329 0 0 0 9 1 0 0 20 0 15 0 65638802 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2637789 6857 2778 1 0 2627261 0
[pid=30411/tid=30413] ppid=30408 vsize=10551156 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) R 30408 30411 897 0 -1 4202560 3245 0 0 0 7 0 0 0 20 0 15 0 65638818 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140213228471760 140213224260765 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638819 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638819 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638819 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65638819 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10551156 memory=139771822024320 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65638820 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65638821 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212787143584 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65638821 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212786090992 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65638823 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) S 30408 30411 897 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 65638823 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638823 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10551156 memory=139771822024320 CPUtime=0.01 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) R 30408 30411 897 0 -1 4202560 279 0 0 0 1 0 0 0 20 0 15 0 65638823 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213203194096 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65638823 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10551156 memory=139771822024320 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638831 10804383744 6857 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27428 KiB
[startup+0.700753 s]
/proc/loadavg: 3.56 2.48 2.18 4/210 30426
/proc/meminfo: memFree=30769072/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10551232 memory=70716 CPUtime=0.99 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 11382 0 0 0 95 4 0 0 20 0 15 0 65638802 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2637808 17679 3046 1 0 2627261 0
[pid=30411/tid=30413] ppid=30408 vsize=10551232 memory=279543449392160 CPUtime=0.45 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) R 30408 30411 897 0 -1 4202560 7385 0 0 0 42 3 0 0 20 0 15 0 65638818 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140213228477336 140213206701531 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10551232 memory=279543449392352 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638819 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10551232 memory=279543449392640 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638819 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10551232 memory=279543449707616 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638819 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10551232 memory=279543449470912 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65638819 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10551232 memory=279543449471104 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 65638820 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10551232 memory=279543449471296 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65638821 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212787143584 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10551232 memory=279543449471488 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65638821 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212786090992 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10551232 memory=279543449471680 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65638823 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10551232 memory=1624 CPUtime=0.16 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) S 30408 30411 897 0 -1 1077944384 952 0 0 0 16 0 0 0 20 0 15 0 65638823 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10551232 memory=928 CPUtime=0.17 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 690 0 0 0 17 0 0 0 20 0 15 0 65638823 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10551232 memory=2164 CPUtime=0.18 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 984 0 0 0 18 0 0 0 20 0 15 0 65638823 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10551232 memory=840 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65638823 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10551232 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638831 10804461568 17679 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 70716 KiB
[startup+1.50084 s]
/proc/loadavg: 3.56 2.48 2.18 5/210 30426
/proc/meminfo: memFree=30606496/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10551232 memory=312304 CPUtime=3.4 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 16388 0 0 0 326 14 0 0 20 0 15 0 65638802 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2637808 78076 3086 1 0 2627261 0
[pid=30411/tid=30413] ppid=30408 vsize=10551232 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) R 30408 30411 897 0 -1 4202560 7508 0 0 0 104 5 0 0 20 0 15 0 65638818 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140213228475856 140212851606210 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10551232 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 65 0 0 0 7 1 0 0 20 0 15 0 65638819 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10551232 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 111 0 0 0 7 1 0 0 20 0 15 0 65638819 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10551232 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 163 0 0 0 10 2 0 0 20 0 15 0 65638819 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10551232 memory=6944652177228980320 CPUtime=0.13 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 190 0 0 0 11 2 0 0 20 0 15 0 65638819 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 65638820 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10551232 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 65638821 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212787143584 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10551232 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65638821 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212786090992 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10551232 memory=-2461829820114675750 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65638823 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10551232 memory=7751995073768796179 CPUtime=0.89 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) R 30408 30411 897 0 -1 4202560 3357 0 0 0 89 0 0 0 20 0 15 0 65638823 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212783967992 140213208628720 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10551232 memory=-7966001967256141664 CPUtime=0.67 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 1993 0 0 0 67 0 0 0 20 0 15 0 65638823 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10551232 memory=6933690287860520088 CPUtime=0.26 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 1556 0 0 0 26 0 0 0 20 0 15 0 65638823 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10551232 memory=-5942888427914360000 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65638823 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10551232 memory=3054156605267021189 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65638831 10804461568 78076 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 312304 KiB
[startup+3.11075 s]
/proc/loadavg: 3.56 2.48 2.18 6/210 30426
/proc/meminfo: memFree=30181588/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10551232 memory=739224 CPUtime=7.62 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 21525 0 0 0 721 41 0 0 20 0 15 0 65638802 10804461568 184806 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2637808 184806 3110 1 0 2627261 0
[pid=30411/tid=30413] ppid=30408 vsize=10551232 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) S 30408 30411 897 0 -1 1077944384 7599 0 0 0 145 7 0 0 20 0 15 0 65638818 10804461568 184806 18446744073709551615 4194304 4196468 140736072178864 140213228476048 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10551232 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) R 30408 30411 897 0 -1 4202560 575 0 0 0 77 7 0 0 20 0 15 0 65638819 10804461568 184806 18446744073709551615 4194304 4196468 140736072178864 140213170588632 140213209263555 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
################
# More data... #
################
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 12932 0 0 0 555 3 0 0 20 0 16 0 65638820 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10617796 memory=4351620 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 65638821 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212787143648 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10617796 memory=4351620 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 65638821 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212786091008 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10617796 memory=4351620 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65638823 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10617796 memory=4116 CPUtime=4.39 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) S 30408 30411 897 0 -1 1077944384 27920 0 0 0 436 3 0 0 20 0 16 0 65638823 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10617796 memory=4351620 CPUtime=4.57 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 31261 0 0 0 453 4 0 0 20 0 16 0 65638823 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10617796 memory=4351620 CPUtime=0.49 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 5987 0 0 0 48 1 0 0 20 0 16 0 65638823 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10617796 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65638823 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10617796 memory=37188 CPUtime=1.5 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 2772 0 0 0 69 81 0 0 20 0 16 0 65638831 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30427] ppid=30408 vsize=10617796 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30427/stat : 30427 (java) S 30408 30411 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 65640332 10872623104 1087905 18446744073709551615 4194304 4196468 140736072178864 140212778722096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 2428.6 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4351620 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.52 2.88 3/211 30878
/proc/meminfo: memFree=26297968/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10617796 memory=4385780 CPUtime=2489.53 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 314295 0 0 0 248535 418 0 0 20 0 16 0 65638802 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2654449 1096445 3138 1 0 2643902 0
[pid=30411/tid=30413] ppid=30408 vsize=10617796 memory=4385780 CPUtime=2424.17 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) R 30408 30411 897 0 -1 4202560 186842 0 0 0 242385 32 0 0 20 0 16 0 65638818 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213228477856 140212853917070 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10617796 memory=4385780 CPUtime=12.07 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 12349 0 0 0 1133 74 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10617796 memory=4385780 CPUtime=12.22 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 10027 0 0 0 1148 74 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10617796 memory=4385780 CPUtime=12.2 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 11026 0 0 0 1141 79 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10617796 memory=4385780 CPUtime=12.22 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 11388 0 0 0 1147 75 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10617796 memory=4385780 CPUtime=5.58 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 13164 0 0 0 555 3 0 0 20 0 16 0 65638820 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10617796 memory=4385780 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 65638821 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212787143648 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10617796 memory=4385780 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 65638821 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212786091008 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10617796 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10617796 memory=4351620 CPUtime=4.39 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) S 30408 30411 897 0 -1 1077944384 27930 0 0 0 436 3 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10617796 memory=4351620 CPUtime=4.57 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 31267 0 0 0 453 4 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10617796 memory=4385780 CPUtime=0.49 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 5991 0 0 0 48 1 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10617796 memory=4385780 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10617796 memory=4385780 CPUtime=1.54 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 2813 0 0 0 71 83 0 0 20 0 16 0 65638831 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30427] ppid=30408 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30427/stat : 30427 (java) S 30408 30411 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 65640332 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212778722096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 2489.53 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4385780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.8 s]
/proc/loadavg: 2.02 2.47 2.85 3/214 30893
/proc/meminfo: memFree=26290892/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10617796 memory=4385780 CPUtime=2520.04 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 319527 0 0 0 251586 418 0 0 20 0 16 0 65638802 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2654449 1096445 3138 1 0 2643902 0
[pid=30411/tid=30413] ppid=30408 vsize=10617796 memory=4616 CPUtime=2454.67 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) R 30408 30411 897 0 -1 4202560 192006 0 0 0 245435 32 0 0 20 0 16 0 65638818 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213228477856 140212853830799 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10617796 memory=4385780 CPUtime=12.07 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 12349 0 0 0 1133 74 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10617796 memory=4116 CPUtime=12.22 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 10027 0 0 0 1148 74 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10617796 memory=4080 CPUtime=12.2 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 11026 0 0 0 1141 79 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10617796 memory=-8774313645642428999 CPUtime=12.22 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 11388 0 0 0 1147 75 0 0 20 0 16 0 65638819 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10617796 memory=4385780 CPUtime=5.58 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 13173 0 0 0 555 3 0 0 20 0 16 0 65638820 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10617796 memory=37216 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 65638821 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212787143648 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10617796 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 65638821 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212786091008 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10617796 memory=1728 CPUtime=4.39 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) S 30408 30411 897 0 -1 1077944384 27936 0 0 0 436 3 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10617796 memory=1228 CPUtime=4.57 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) S 30408 30411 897 0 -1 1077944384 31277 0 0 0 453 4 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10617796 memory=796 CPUtime=0.49 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 5995 0 0 0 48 1 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65638823 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10617796 memory=1624 CPUtime=1.55 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 2852 0 0 0 72 83 0 0 20 0 16 0 65638831 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30427] ppid=30408 vsize=10617796 memory=928 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30427/stat : 30427 (java) S 30408 30411 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 65640332 10872623104 1096445 18446744073709551615 4194304 4196468 140736072178864 140212778722096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4385780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.05 s]
# the end of solver process 30411 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.03 s, system=4.21764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473 s]*
/proc/loadavg: 2.02 2.47 2.85 2/215 30896
/proc/meminfo: memFree=26290752/32770624 swapFree=67108860/67108860
[pid=30411] ppid=30408 vsize=10817488 memory=4386088 CPUtime=2520.2 cores=1,3,5,7
/proc/30411/stat : 30411 (java) S 30408 30411 897 0 -1 1077944320 321206 0 0 0 251601 419 0 0 20 0 17 0 65638802 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140736072161408 140213224238839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 15 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
/proc/30411/statm: 2704372 1096522 3140 1 0 2693825 0
[pid=30411/tid=30413] ppid=30408 vsize=10817488 memory=-8195925453750481479 CPUtime=2454.81 cores=1,3,5,7
/proc/30411/task/30413/stat : 30413 (java) S 30408 30411 897 0 -1 1077944384 192278 0 0 0 245449 32 0 0 20 0 17 0 65638818 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140213228481712 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30414] ppid=30408 vsize=10817488 memory=4872558044660077418 CPUtime=12.07 cores=1,3,5,7
/proc/30411/task/30414/stat : 30414 (java) S 30408 30411 897 0 -1 1077944384 12349 0 0 0 1133 74 0 0 20 0 17 0 65638819 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140213170588432 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30415] ppid=30408 vsize=10817488 memory=2996 CPUtime=12.22 cores=1,3,5,7
/proc/30411/task/30415/stat : 30415 (java) S 30408 30411 897 0 -1 1077944384 10027 0 0 0 1148 74 0 0 20 0 17 0 65638819 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140213169535888 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30416] ppid=30408 vsize=10817488 memory=4068 CPUtime=12.2 cores=1,3,5,7
/proc/30411/task/30416/stat : 30416 (java) S 30408 30411 897 0 -1 1077944384 11026 0 0 0 1141 79 0 0 20 0 17 0 65638819 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140213168483344 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30417] ppid=30408 vsize=10817488 memory=1156 CPUtime=12.22 cores=1,3,5,7
/proc/30411/task/30417/stat : 30417 (java) S 30408 30411 897 0 -1 1077944384 11388 0 0 0 1147 75 0 0 20 0 17 0 65638819 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212832099472 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30418] ppid=30408 vsize=10817488 memory=3208 CPUtime=5.58 cores=1,3,5,7
/proc/30411/task/30418/stat : 30418 (java) S 30408 30411 897 0 -1 1077944384 13204 0 0 0 555 3 0 0 20 0 17 0 65638820 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212788197360 140213224249986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30419] ppid=30408 vsize=10817488 memory=4385780 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30419/stat : 30419 (java) S 30408 30411 897 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 65638821 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212787143648 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30420] ppid=30408 vsize=10817488 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30420/stat : 30420 (java) S 30408 30411 897 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 17 0 65638821 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212786091008 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30421] ppid=30408 vsize=10817488 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30421/stat : 30421 (java) S 30408 30411 897 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 17 0 65638823 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212785039568 140213224257435 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30422] ppid=30408 vsize=10817488 memory=476228 CPUtime=4.39 cores=1,3,5,7
/proc/30411/task/30422/stat : 30422 (java) R 30408 30411 897 0 -1 1077944384 27936 0 0 0 436 3 0 0 20 0 17 0 65638823 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212783987184 140213224249986 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30423] ppid=30408 vsize=10817488 memory=4116 CPUtime=4.57 cores=1,3,5,7
/proc/30411/task/30423/stat : 30423 (java) R 30408 30411 897 0 -1 1077944384 31277 0 0 0 453 4 0 0 20 0 17 0 65638823 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212782934640 140213224249986 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30424] ppid=30408 vsize=10817488 memory=4080 CPUtime=0.49 cores=1,3,5,7
/proc/30411/task/30424/stat : 30424 (java) S 30408 30411 897 0 -1 1077944384 6965 0 0 0 48 1 0 0 20 0 17 0 65638823 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212781882096 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30425] ppid=30408 vsize=10817488 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30425/stat : 30425 (java) S 30408 30411 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65638823 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212780829792 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30426] ppid=30408 vsize=10817488 memory=4080 CPUtime=1.55 cores=1,3,5,7
/proc/30411/task/30426/stat : 30426 (java) S 30408 30411 897 0 -1 1077944384 2852 0 0 0 72 83 0 0 20 0 17 0 65638831 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212779776304 140213224249986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30894] ppid=30408 vsize=10817488 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30894/stat : 30894 (java) S 30408 30411 897 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 17 0 65886083 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212777668848 140213224249045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
[pid=30411/tid=30895] ppid=30408 vsize=10817488 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/30411/task/30895/stat : 30895 (java) R 30408 30411 897 0 -1 4202560 205 0 0 0 0 0 0 0 20 0 17 0 65886083 11077107712 1096522 18446744073709551615 4194304 4196468 140736072178864 140212776617232 140212848176152 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21127168 140736072180112 140736072180265 140736072180265 140736072183759 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4386088 KiB
Child status: 143
Real time (s): 2473.05
CPU time (s): 2520.25
CPU user time (s): 2516.03
CPU system time (s): 4.21764
CPU usage (%): 101.909
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 4386088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.03
system time used= 4.21764
maximum resident set size= 4386252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56987
involuntary context switches= 2218
# summary of solver processes directly reported to runsolver:
# pid: 30411
# total CPU time (s): 2520.25
# total CPU user time (s): 2516.03
# total CPU system time (s): 4.21764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3567 second user time and 25.0722 second system time
The end