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 (15204 MiB free)
memory of node 1: 16384 MiB (7900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258152-1502648476/watcher-4258152-1502648476 -o /tmp/evaluation-result-4258152-1502648476/solver-4258152-1502648476 -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-4258152-1502648476.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=13463, runsolver pid=13460
[startup+0.100203 s]*
/proc/loadavg: 3.29 3.21 3.85 6/203 13472
/proc/meminfo: memFree=23649248/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10151672 memory=20556 CPUtime=0.04 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 4010 0 0 0 3 1 0 0 20 0 9 0 67040949 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2537918 5139 2156 1 0 2527415 0
[pid=13463/tid=13465] ppid=13460 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) R 13460 13463 17093 0 -1 4202560 2652 0 0 0 3 0 0 0 20 0 9 0 67040955 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432878051192 140432873837725 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67040956 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10151672 memory=140650290247296 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67040956 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67040956 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67040956 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10151672 memory=140650290247296 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67040957 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67040958 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432182130080 140432873826005 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67040958 10395312128 5139 18446744073709551615 4194304 4196468 140726154440400 140432181077488 140432873826005 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20556 KiB
[startup+0.209961 s]*
/proc/loadavg: 3.29 3.21 3.85 7/209 13478
/proc/meminfo: memFree=23646876/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10551156 memory=26064 CPUtime=0.08 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 5010 0 0 0 7 1 0 0 20 0 15 0 67040949 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2637789 6516 2743 1 0 2627261 0
[pid=13463/tid=13465] ppid=13460 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) R 13460 13463 17093 0 -1 4202560 2985 0 0 0 6 0 0 0 20 0 15 0 67040955 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432878044064 140432873827734 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10551156 memory=140650290901848 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10551156 memory=140650290247296 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040957 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67040958 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432182130080 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67040958 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432181077488 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040960 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 67040960 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040960 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10551156 memory=140650290247296 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 67040960 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040961 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10551156 memory=140650290247296 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040968 10804383744 6516 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26064 KiB
[startup+0.310338 s]*
/proc/loadavg: 3.29 3.21 3.85 6/209 13478
/proc/meminfo: memFree=23636344/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10551156 memory=35964 CPUtime=0.24 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 8280 0 0 0 21 3 0 0 20 0 15 0 67040949 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2637789 8991 2863 1 0 2627261 0
[pid=13463/tid=13465] ppid=13460 vsize=10551156 memory=-7677926825137650786 CPUtime=0.17 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) R 13460 13463 17093 0 -1 4202560 5948 0 0 0 15 2 0 0 20 0 15 0 67040955 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432878043104 140432857896286 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040956 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040957 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67040958 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432182130080 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67040958 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432181077488 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040960 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 67040960 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 67040960 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10551156 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 15 0 67040960 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040961 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040968 10804383744 8991 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35964 KiB
[startup+0.700743 s]
/proc/loadavg: 3.29 3.21 3.85 9/209 13478
/proc/meminfo: memFree=23621620/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10551232 memory=165576 CPUtime=1.27 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 12461 0 0 0 121 6 0 0 20 0 15 0 67040949 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2637808 41394 3054 1 0 2627261 0
[pid=13463/tid=13465] ppid=13460 vsize=10551232 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) R 13460 13463 17093 0 -1 4202560 7824 0 0 0 50 4 0 0 20 0 15 0 67040955 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432878002912 140432498065979 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040956 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040956 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10551232 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040956 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10551232 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040956 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67040957 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67040958 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432182130080 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67040958 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432181077488 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040960 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10551232 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) R 13460 13463 17093 0 -1 4202560 1426 0 0 0 28 0 0 0 20 0 15 0 67040960 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432178953672 140432857301682 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10551232 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) R 13460 13463 17093 0 -1 4202560 739 0 0 0 24 0 0 0 20 0 15 0 67040960 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432177906136 140432855360030 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10551232 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 1105 0 0 0 18 0 0 0 20 0 15 0 67040960 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040961 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10551232 memory=69 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67040968 10804461568 41394 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 165576 KiB
[startup+1.5024 s]
/proc/loadavg: 3.29 3.21 3.85 6/209 13478
/proc/meminfo: memFree=23334016/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10551232 memory=644068 CPUtime=3.73 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 14558 0 0 0 325 48 0 0 20 0 15 0 67040949 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2637808 161017 3090 1 0 2627261 0
[pid=13463/tid=13465] ppid=13460 vsize=10551232 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) S 13460 13463 17093 0 -1 1077944384 7886 0 0 0 88 6 0 0 20 0 15 0 67040955 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432878045312 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10551232 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) R 13460 13463 17093 0 -1 4202560 526 0 0 0 30 9 0 0 20 0 15 0 67040956 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432858513438 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10551232 memory=6673 CPUtime=0.39 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) R 13460 13463 17093 0 -1 4202560 268 0 0 0 30 9 0 0 20 0 15 0 67040956 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432483670616 140432858513633 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10551232 memory=4420 CPUtime=0.39 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) R 13460 13463 17093 0 -1 4202560 284 0 0 0 30 9 0 0 20 0 15 0 67040956 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432482617760 140432858513574 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10551232 memory=6628 CPUtime=0.39 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) R 13460 13463 17093 0 -1 4202560 192 0 0 0 29 10 0 0 20 0 15 0 67040956 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432858513574 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10551232 memory=164 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 67040957 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432183182176 140432873826005 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 67040958 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432182130080 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67040958 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432181077488 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10551232 memory=8772 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67040960 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10551232 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 1556 0 0 0 48 0 0 0 20 0 15 0 67040960 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10551232 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 1129 0 0 0 47 0 0 0 20 0 15 0 67040960 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10551232 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 1144 0 0 0 20 0 0 0 20 0 15 0 67040960 10804461568 161017 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
################
# More data... #
################
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 49657 0 0 0 2685 130 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10617796 memory=7620252 CPUtime=28.33 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 60516 0 0 0 2706 127 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10617796 memory=7620252 CPUtime=28.08 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 52040 0 0 0 2663 145 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10617796 memory=7620252 CPUtime=7.58 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 17682 0 0 0 756 2 0 0 20 0 16 0 67040957 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 67040958 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432182130144 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 67040958 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432181077504 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10617796 memory=7620252 CPUtime=1.01 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 6927 0 0 0 100 1 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0.83 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 5035 0 0 0 83 0 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0.28 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 2646 0 0 0 28 0 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10617796 memory=83 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67040961 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10617796 memory=-8774313645642428999 CPUtime=0.1 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 321 0 0 0 5 5 0 0 20 0 16 0 67040968 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13556] ppid=13460 vsize=10617796 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13556/stat : 13556 (java) S 13460 13463 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67045308 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432173708592 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 248.84 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7620252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+165.501 s]
/proc/loadavg: 2.27 2.96 3.66 3/211 13560
/proc/meminfo: memFree=21090400/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10617796 memory=7620252 CPUtime=252.04 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 349845 0 0 0 24634 570 0 0 20 0 16 0 67040949 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2654449 1905063 3119 1 0 2643902 0
[pid=13463/tid=13465] ppid=13460 vsize=10617796 memory=7620128 CPUtime=129.2 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) R 13460 13463 17093 0 -1 4202560 97196 0 0 0 12906 14 0 0 20 0 16 0 67040955 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432878052424 140432499150838 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10617796 memory=7620128 CPUtime=28.39 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 56416 0 0 0 2696 143 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10617796 memory=0 CPUtime=28.15 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 49657 0 0 0 2685 130 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10617796 memory=7620252 CPUtime=28.33 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 60516 0 0 0 2706 127 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10617796 memory=7620252 CPUtime=28.08 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 52040 0 0 0 2663 145 0 0 20 0 16 0 67040956 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10617796 memory=7620252 CPUtime=7.58 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 17682 0 0 0 756 2 0 0 20 0 16 0 67040957 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 67040958 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432182130144 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 67040958 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432181077504 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10617796 memory=7620252 CPUtime=1.01 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 6927 0 0 0 100 1 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0.83 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 5035 0 0 0 83 0 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0.28 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 2646 0 0 0 28 0 0 0 20 0 16 0 67040960 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67040961 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10617796 memory=7620252 CPUtime=0.1 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 321 0 0 0 5 5 0 0 20 0 16 0 67040968 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13556] ppid=13460 vsize=10617796 memory=83 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13556/stat : 13556 (java) S 13460 13463 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 67045308 10872623104 1905063 18446744073709551615 4194304 4196468 140726154440400 140432173708592 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7620252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+165.766 s]
# the end of solver process 13463 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.447 s, system=5.76631 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+165.605 s]
/proc/loadavg: 2.27 2.96 3.66 3/211 13560
/proc/meminfo: memFree=21090400/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10817488 memory=7620480 CPUtime=252.14 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 351232 0 0 0 24644 570 0 0 20 0 17 0 67040949 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2704372 1905120 3121 1 0 2693825 0
[pid=13463/tid=13465] ppid=13460 vsize=10817488 memory=37756 CPUtime=129.29 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) S 13460 13463 17093 0 -1 1077944384 97507 0 0 0 12915 14 0 0 20 0 17 0 67040955 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432878058672 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10817488 memory=7620252 CPUtime=28.39 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 56416 0 0 0 2696 143 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10817488 memory=8944 CPUtime=28.15 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 49657 0 0 0 2685 130 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10817488 memory=15876 CPUtime=28.33 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 60516 0 0 0 2706 127 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10817488 memory=4048 CPUtime=28.08 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 52040 0 0 0 2663 145 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10817488 memory=12200 CPUtime=7.58 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 17717 0 0 0 756 2 0 0 20 0 17 0 67040957 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10817488 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 67040958 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432182130144 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10817488 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 67040958 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432181077504 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10817488 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10817488 memory=796 CPUtime=1.01 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 6927 0 0 0 100 1 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10817488 memory=8944 CPUtime=0.84 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 5298 0 0 0 84 0 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10817488 memory=15876 CPUtime=0.28 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 2831 0 0 0 28 0 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10817488 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67040961 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10817488 memory=1296 CPUtime=0.1 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 321 0 0 0 5 5 0 0 20 0 17 0 67040968 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 252.14 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 7620480 KiB
[startup+165.701 s]
/proc/loadavg: 2.27 2.96 3.66 3/211 13560
/proc/meminfo: memFree=21090400/32770624 swapFree=67108860/67108860
[pid=13463] ppid=13460 vsize=10817488 memory=7620480 CPUtime=252.14 cores=0,2,4,6
/proc/13463/stat : 13463 (java) S 13460 13463 17093 0 -1 1077944320 351232 0 0 0 24644 570 0 0 20 0 17 0 67040949 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140726154422944 140432873815799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
/proc/13463/statm: 2704372 1905120 3121 1 0 2693825 0
[pid=13463/tid=13465] ppid=13460 vsize=10817488 memory=7620252 CPUtime=129.29 cores=0,2,4,6
/proc/13463/task/13465/stat : 13465 (java) S 13460 13463 17093 0 -1 1077944384 97507 0 0 0 12915 14 0 0 20 0 17 0 67040955 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432878058672 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13466] ppid=13460 vsize=10817488 memory=7620252 CPUtime=28.39 cores=0,2,4,6
/proc/13463/task/13466/stat : 13466 (java) S 13460 13463 17093 0 -1 1077944384 56416 0 0 0 2696 143 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432484722960 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13467] ppid=13460 vsize=10817488 memory=7620252 CPUtime=28.15 cores=0,2,4,6
/proc/13463/task/13467/stat : 13467 (java) S 13460 13463 17093 0 -1 1077944384 49657 0 0 0 2685 130 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432483670416 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13468] ppid=13460 vsize=10817488 memory=7620252 CPUtime=28.33 cores=0,2,4,6
/proc/13463/task/13468/stat : 13468 (java) S 13460 13463 17093 0 -1 1077944384 60516 0 0 0 2706 127 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432482617872 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13469] ppid=13460 vsize=10817488 memory=7620252 CPUtime=28.08 cores=0,2,4,6
/proc/13463/task/13469/stat : 13469 (java) S 13460 13463 17093 0 -1 1077944384 52040 0 0 0 2663 145 0 0 20 0 17 0 67040956 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432481565328 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13470] ppid=13460 vsize=10817488 memory=7620252 CPUtime=7.58 cores=0,2,4,6
/proc/13463/task/13470/stat : 13470 (java) S 13460 13463 17093 0 -1 1077944384 17717 0 0 0 756 2 0 0 20 0 17 0 67040957 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432183183856 140432873826946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13471] ppid=13460 vsize=10817488 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13471/stat : 13471 (java) S 13460 13463 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 67040958 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432182130144 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13472] ppid=13460 vsize=10817488 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13472/stat : 13472 (java) S 13460 13463 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 67040958 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432181077504 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13473] ppid=13460 vsize=10817488 memory=7620252 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13473/stat : 13473 (java) S 13460 13463 17093 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432180026064 140432873834395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13474] ppid=13460 vsize=10817488 memory=7620252 CPUtime=1.01 cores=0,2,4,6
/proc/13463/task/13474/stat : 13474 (java) S 13460 13463 17093 0 -1 1077944384 6927 0 0 0 100 1 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432178972656 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13475] ppid=13460 vsize=10817488 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/13463/task/13475/stat : 13475 (java) S 13460 13463 17093 0 -1 1077944384 5298 0 0 0 84 0 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432177920112 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13476] ppid=13460 vsize=10817488 memory=7620128 CPUtime=0.28 cores=0,2,4,6
/proc/13463/task/13476/stat : 13476 (java) S 13460 13463 17093 0 -1 1077944384 2831 0 0 0 28 0 0 0 20 0 17 0 67040960 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432176867568 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13477] ppid=13460 vsize=10817488 memory=7620128 CPUtime=0 cores=0,2,4,6
/proc/13463/task/13477/stat : 13477 (java) S 13460 13463 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67040961 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432175815264 140432873826005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
[pid=13463/tid=13478] ppid=13460 vsize=10817488 memory=7620252 CPUtime=0.1 cores=0,2,4,6
/proc/13463/task/13478/stat : 13478 (java) S 13460 13463 17093 0 -1 1077944384 321 0 0 0 5 5 0 0 20 0 17 0 67040968 11077107712 1905120 18446744073709551615 4194304 4196468 140726154440400 140432174762800 140432873826946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140726154449301 140726154449454 140726154449454 140726154452943 0
Current children cumulated CPU time: 252.14 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 7620480 KiB
Child status: 143
Real time (s): 165.766
CPU time (s): 252.213
CPU user time (s): 246.447
CPU system time (s): 5.76631
CPU usage (%): 152.15
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 7620480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.447
system time used= 5.76631
maximum resident set size= 7620764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9118
involuntary context switches= 1770
# summary of solver processes directly reported to runsolver:
# pid: 13463
# total CPU time (s): 252.213
# total CPU user time (s): 246.447
# total CPU system time (s): 5.76631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32342 second user time and 1.30946 second system time
The end