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 (15405 MiB free)
memory of node 1: 16384 MiB (7454 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263465-1502638036/watcher-4263465-1502638036 -o /tmp/evaluation-result-4263465-1502638036/solver-4263465-1502638036 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502623904-24884 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263465-1502638036.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27714, runsolver pid=27711
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 7.90 7.20 5.94 6/202 27721
/proc/meminfo: memFree=23397108/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10151672 memory=19944 CPUtime=0.02 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 3872 0 0 0 2 0 0 0 20 0 9 0 52144290 10395312128 4986 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2537918 4986 2082 1 0 2527415 0
[pid=27714/tid=27716] ppid=27711 vsize=10151672 memory=-6657276190936633702 CPUtime=0.01 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) R 27711 27714 11586 0 -1 4202560 2519 0 0 0 1 0 0 0 20 0 9 0 52144298 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833791820944 139833787602077 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10151672 memory=5767615513178241417 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 52144298 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10151672 memory=140226770257536 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 52144298 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 52144298 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 52144298 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 52144300 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 52144300 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833350468384 139833787590357 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 52144300 10395312128 5051 18446744073709551615 4194304 4196468 140724316703968 139833349416112 139833787590357 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 19944 KiB
[startup+0.209966 s]*
/proc/loadavg: 7.90 7.20 5.94 6/210 27729
/proc/meminfo: memFree=23395624/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10551156 memory=25316 CPUtime=0.07 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 4801 0 0 0 6 1 0 0 20 0 15 0 52144290 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2637789 6329 2645 1 0 2627261 0
[pid=27714/tid=27716] ppid=27711 vsize=10551156 memory=576460756329955509 CPUtime=0.06 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) R 27711 27714 11586 0 -1 4202560 2894 0 0 0 5 1 0 0 20 0 15 0 52144298 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833791811984 139833787592086 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10551156 memory=326 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10551156 memory=140226770788642 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10551156 memory=140226770257536 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52144300 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52144300 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833350468384 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52144300 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833349416048 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) S 27711 27714 11586 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833347312240 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10551156 memory=140226770257536 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) R 27711 27714 11586 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833767922112 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10551156 memory=140226770257536 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144310 10804383744 6329 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 25316 KiB
[startup+0.310158 s]*
/proc/loadavg: 7.90 7.20 5.94 6/210 27729
/proc/meminfo: memFree=23384036/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10551156 memory=35664 CPUtime=0.22 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 8280 0 0 0 20 2 0 0 20 0 15 0 52144290 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2637789 8916 2852 1 0 2627261 0
[pid=27714/tid=27716] ppid=27711 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) R 27711 27714 11586 0 -1 4202560 5907 0 0 0 14 2 0 0 20 0 15 0 52144298 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833791791984 139833414649305 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52144298 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52144300 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52144300 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833350468384 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52144300 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833349416048 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) S 27711 27714 11586 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 15 0 52144303 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833347312240 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10551156 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 419 0 0 0 4 0 0 0 20 0 15 0 52144303 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10551156 memory=140226770257536 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144310 10804383744 8916 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35664 KiB
[startup+0.700722 s]
/proc/loadavg: 7.90 7.20 5.94 7/210 27729
/proc/meminfo: memFree=23372760/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10551232 memory=126032 CPUtime=1.31 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 12501 0 0 0 126 5 0 0 20 0 15 0 52144290 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2637808 31508 3051 1 0 2627261 0
[pid=27714/tid=27716] ppid=27711 vsize=10551232 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) R 27711 27714 11586 0 -1 4202560 7465 0 0 0 50 4 0 0 20 0 15 0 52144298 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833791815760 139833417986139 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144298 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10551232 memory=8387336041948980281 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52144298 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10551232 memory=5792001135049986384 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52144300 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10551232 memory=7519148084804674902 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52144300 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833350468384 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10551232 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52144300 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833349416048 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10551232 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) R 27711 27714 11586 0 -1 4202560 1441 0 0 0 24 0 0 0 20 0 15 0 52144303 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833347298784 139833771969960 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10551232 memory=4637164475387183459 CPUtime=0.23 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) R 27711 27714 11586 0 -1 4202560 728 0 0 0 23 0 0 0 20 0 15 0 52144303 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833346240456 139833771080192 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 1497 0 0 0 27 0 0 0 20 0 15 0 52144303 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10551232 memory=13412 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52144310 10804461568 31508 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 126032 KiB
[startup+1.50078 s]
/proc/loadavg: 7.90 7.20 5.94 7/210 27729
/proc/meminfo: memFree=23218552/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10551232 memory=341148 CPUtime=3.78 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 23740 0 0 0 363 15 0 0 20 0 15 0 52144290 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2637808 85287 3096 1 0 2627261 0
[pid=27714/tid=27716] ppid=27711 vsize=10551232 memory=202172 CPUtime=1.28 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) R 27711 27714 11586 0 -1 4202560 7545 0 0 0 122 6 0 0 20 0 15 0 52144298 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833791815384 139833414853284 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10551232 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 52144298 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10551232 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 116 0 0 0 3 1 0 0 20 0 15 0 52144298 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10551232 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 15 0 52144298 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10551232 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 135 0 0 0 3 1 0 0 20 0 15 0 52144298 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10551232 memory=280453311550864 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 52144300 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10551232 memory=280453311692432 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52144300 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833350468448 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52144300 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833349416064 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10551232 memory=259287444178152 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52144303 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10551232 memory=418084 CPUtime=0.98 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) R 27711 27714 11586 0 -1 4202560 5316 0 0 0 98 0 0 0 20 0 15 0 52144303 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833347293256 139833765979884 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10551232 memory=6935649255811010640 CPUtime=1.01 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 7161 0 0 0 100 1 0 0 20 0 15 0 52144303 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10551232 memory=4638778398333161808 CPUtime=0.3 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 1902 0 0 0 30 0 0 0 20 0 15 0 52144303 10804461568 85287 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
################
# More data... #
################
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 762 0 0 0 51 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.62 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1391 0 0 0 50 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 1099 0 0 0 51 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.28 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2180 0 0 0 26 2 0 0 20 0 16 0 52144300 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10617796 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 52144300 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833350468448 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 52144300 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833349416064 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10617796 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10617796 memory=2384 CPUtime=1.76 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) S 27711 27714 11586 0 -1 1077944384 9402 0 0 0 174 2 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833347312240 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10617796 memory=1296 CPUtime=1.91 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 13553 0 0 0 189 2 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.4 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 4210 0 0 0 39 1 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10617796 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10617796 memory=949256 CPUtime=1.57 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 2233 0 0 0 76 81 0 0 20 0 16 0 52144310 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27730] ppid=27711 vsize=10617796 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27730/stat : 27730 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 52144472 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833342046896 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 2509.8 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 949256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.5 s]
/proc/loadavg: 2.04 2.04 2.38 3/212 28111
/proc/meminfo: memFree=25058852/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10617796 memory=949256 CPUtime=2520 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 72372 0 0 0 251869 131 0 0 20 0 16 0 52144290 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2654449 237314 3142 1 0 2643902 0
[pid=27714/tid=27716] ppid=27711 vsize=10617796 memory=949256 CPUtime=2511.49 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) R 27711 27714 11586 0 -1 4202560 35647 0 0 0 251137 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833791816112 139833419018519 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.61 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 485 0 0 0 50 11 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 762 0 0 0 51 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.62 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1391 0 0 0 50 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 1099 0 0 0 51 12 0 0 20 0 16 0 52144298 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.28 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2180 0 0 0 26 2 0 0 20 0 16 0 52144300 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10617796 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 52144300 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833350468448 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10617796 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 52144300 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833349416064 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10617796 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10617796 memory=259244226042004 CPUtime=1.76 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) S 27711 27714 11586 0 -1 1077944384 9402 0 0 0 174 2 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833347312240 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10617796 memory=949256 CPUtime=1.91 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 13553 0 0 0 189 2 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10617796 memory=949256 CPUtime=0.4 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 4210 0 0 0 39 1 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10617796 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 52144303 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10617796 memory=1232 CPUtime=1.57 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 2233 0 0 0 76 81 0 0 20 0 16 0 52144310 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27730] ppid=27711 vsize=10617796 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27730/stat : 27730 (java) S 27711 27714 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 52144472 10872623104 237314 18446744073709551615 4194304 4196468 140724316703968 139833342046896 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 949256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.77 s]
# the end of solver process 27714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.8 s, system=1.32628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.61 s]
/proc/loadavg: 2.04 2.04 2.38 3/212 28111
/proc/meminfo: memFree=25058852/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10817488 memory=949528 CPUtime=2520.01 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 72844 0 0 0 251870 131 0 0 20 0 17 0 52144290 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2704372 237382 3146 1 0 2693825 0
[pid=27714/tid=27716] ppid=27711 vsize=10817488 memory=-8774313645642428999 CPUtime=2511.5 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) S 27711 27714 11586 0 -1 1077944384 35691 0 0 0 251138 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833791823024 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10817488 memory=1716 CPUtime=0.61 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 485 0 0 0 50 11 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10817488 memory=1008 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 762 0 0 0 51 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10817488 memory=1232 CPUtime=0.62 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1391 0 0 0 50 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10817488 memory=8900 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 1099 0 0 0 51 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10817488 memory=4616 CPUtime=0.28 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2180 0 0 0 26 2 0 0 20 0 17 0 52144300 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 52144300 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833350468448 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10817488 memory=2168 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 52144300 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833349416064 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10817488 memory=836 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10817488 memory=3908 CPUtime=1.76 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) S 27711 27714 11586 0 -1 1077944384 9402 0 0 0 174 2 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833347312240 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10817488 memory=3044 CPUtime=1.91 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 13553 0 0 0 189 2 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10817488 memory=1236 CPUtime=0.41 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 4345 0 0 0 40 1 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10817488 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10817488 memory=4284 CPUtime=1.57 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 2233 0 0 0 76 81 0 0 20 0 17 0 52144310 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 949528 KiB
[startup+2512.7 s]
/proc/loadavg: 2.04 2.04 2.38 3/212 28111
/proc/meminfo: memFree=25058852/32770624 swapFree=67108860/67108860
[pid=27714] ppid=27711 vsize=10817488 memory=949528 CPUtime=2520.01 cores=0,2,4,6
/proc/27714/stat : 27714 (java) S 27711 27714 11586 0 -1 1077944320 72844 0 0 0 251870 131 0 0 20 0 17 0 52144290 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 140724316686512 139833787580151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
/proc/27714/statm: 2704372 237382 3146 1 0 2693825 0
[pid=27714/tid=27716] ppid=27711 vsize=10817488 memory=949256 CPUtime=2511.5 cores=0,2,4,6
/proc/27714/task/27716/stat : 27716 (java) S 27711 27714 11586 0 -1 1077944384 35691 0 0 0 251138 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833791823024 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27717] ppid=27711 vsize=10817488 memory=949256 CPUtime=0.61 cores=0,2,4,6
/proc/27714/task/27717/stat : 27717 (java) S 27711 27714 11586 0 -1 1077944384 485 0 0 0 50 11 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833398582160 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27718] ppid=27711 vsize=10817488 memory=949256 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27718/stat : 27718 (java) S 27711 27714 11586 0 -1 1077944384 762 0 0 0 51 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833397529360 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27719] ppid=27711 vsize=10817488 memory=949256 CPUtime=0.62 cores=0,2,4,6
/proc/27714/task/27719/stat : 27719 (java) S 27711 27714 11586 0 -1 1077944384 1391 0 0 0 50 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833396477072 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27720] ppid=27711 vsize=10817488 memory=949256 CPUtime=0.63 cores=0,2,4,6
/proc/27714/task/27720/stat : 27720 (java) S 27711 27714 11586 0 -1 1077944384 1099 0 0 0 51 12 0 0 20 0 17 0 52144298 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833395424272 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27721] ppid=27711 vsize=10817488 memory=949256 CPUtime=0.28 cores=0,2,4,6
/proc/27714/task/27721/stat : 27721 (java) S 27711 27714 11586 0 -1 1077944384 2180 0 0 0 26 2 0 0 20 0 17 0 52144300 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833351522416 139833787591298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27722] ppid=27711 vsize=10817488 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27722/stat : 27722 (java) S 27711 27714 11586 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 52144300 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833350468448 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27723] ppid=27711 vsize=10817488 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27723/stat : 27723 (java) S 27711 27714 11586 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 52144300 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833349416064 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27724] ppid=27711 vsize=10817488 memory=949256 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27724/stat : 27724 (java) S 27711 27714 11586 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833348364368 139833787598747 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27725] ppid=27711 vsize=10817488 memory=259244226042004 CPUtime=1.76 cores=0,2,4,6
/proc/27714/task/27725/stat : 27725 (java) S 27711 27714 11586 0 -1 1077944384 9402 0 0 0 174 2 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833347312240 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27726] ppid=27711 vsize=10817488 memory=949256 CPUtime=1.91 cores=0,2,4,6
/proc/27714/task/27726/stat : 27726 (java) S 27711 27714 11586 0 -1 1077944384 13553 0 0 0 189 2 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833346259440 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27727] ppid=27711 vsize=10817488 memory=949256 CPUtime=0.41 cores=0,2,4,6
/proc/27714/task/27727/stat : 27727 (java) S 27711 27714 11586 0 -1 1077944384 4345 0 0 0 40 1 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833345207152 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27728] ppid=27711 vsize=10817488 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/27714/task/27728/stat : 27728 (java) S 27711 27714 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 52144303 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833344154592 139833787590357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
[pid=27714/tid=27729] ppid=27711 vsize=10817488 memory=29896 CPUtime=1.57 cores=0,2,4,6
/proc/27714/task/27729/stat : 27729 (java) S 27711 27714 11586 0 -1 1077944384 2233 0 0 0 76 81 0 0 20 0 17 0 52144310 11077107712 237382 18446744073709551615 4194304 4196468 140724316703968 139833343101360 139833787591298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140724316705168 140724316705321 140724316705321 140724316708815 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 949528 KiB
Child status: 143
Real time (s): 2512.77
CPU time (s): 2520.13
CPU user time (s): 2518.8
CPU system time (s): 1.32628
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 949528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.8
system time used= 1.32628
maximum resident set size= 950212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56718
involuntary context switches= 926
# summary of solver processes directly reported to runsolver:
# pid: 27714
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.8
# total CPU system time (s): 1.32628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2105 second user time and 18.8707 second system time
The end