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 (14458 MiB free)
memory of node 1: 16384 MiB (15637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263745-1502640663/watcher-4263745-1502640663 -o /tmp/evaluation-result-4263745-1502640663/solver-4263745-1502640663 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18557 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263745-1502640663.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27319, runsolver pid=27316
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 2.00 2.04 2.29 3/209 27328
/proc/meminfo: memFree=30807508/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10417928 memory=19144 CPUtime=0.04 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 4308 0 0 0 4 0 0 0 20 0 13 0 163719026 10667958272 4786 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2604482 4786 2156 1 0 2593979 0
[pid=27319/tid=27321] ppid=27316 vsize=10417928 memory=-6439968830534014599 CPUtime=0.03 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) D 27316 27319 7084 0 -1 4202560 2856 0 0 0 3 0 0 0 20 0 13 0 163719031 10667958272 4786 18446744073709551615 4194304 4196468 140732707046512 139737867962776 139737856446039 0 4 1 16800974 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 163719032 10667958272 4786 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10417928 memory=140342484768384 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 163719032 10667958272 4786 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 163719032 10667958272 5364 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 163719032 10667958272 5429 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10417928 memory=140342484768384 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 163719033 10667958272 5429 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 163719034 10667958272 5429 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 163719034 10667958272 5429 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 163719037 10667958272 5495 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 13 0 163719037 10667958272 5495 18446744073709551615 4194304 4196468 140732707046512 139737356527296 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) R 27316 27319 7084 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 13 0 163719037 10667958272 5495 18446744073709551615 4194304 4196468 140732707046512 139737355462008 139737841324432 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10417928 memory=140342484768384 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) R 27316 27319 7084 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 13 0 163719037 10667958272 5495 18446744073709551615 4194304 4196468 140732707046512 139737354422320 139737855970277 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10417928 KiB
Current children cumulated memory: 19144 KiB
[startup+0.210324 s]*
/proc/loadavg: 2.00 2.04 2.29 4/215 27334
/proc/meminfo: memFree=30795968/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10551156 memory=29868 CPUtime=0.14 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 7670 0 0 0 12 2 0 0 20 0 15 0 163719026 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2637789 7467 2737 1 0 2627261 0
[pid=27319/tid=27321] ppid=27316 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 5512 0 0 0 8 1 0 0 20 0 15 0 163719031 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737867936976 139737863750813 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10551156 memory=329 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10551156 memory=3905945609025590944 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10551156 memory=140342484768384 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163719033 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163719034 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163719034 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163719037 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 163719037 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 394 0 0 0 0 0 0 0 20 0 15 0 163719037 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10551156 memory=140342484768384 CPUtime=0.01 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) R 27316 27319 7084 0 -1 4202560 370 0 0 0 1 0 0 0 20 0 15 0 163719037 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737354422512 139737842254048 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163719037 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10551156 memory=140342484768384 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719042 10804383744 7467 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 29868 KiB
[startup+0.310851 s]*
/proc/loadavg: 2.00 2.04 2.29 4/215 27334
/proc/meminfo: memFree=30790856/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10551156 memory=39296 CPUtime=0.29 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 9590 0 0 0 26 3 0 0 20 0 15 0 163719026 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2637789 9824 2873 1 0 2627261 0
[pid=27319/tid=27321] ppid=27316 vsize=10551156 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 6780 0 0 0 18 2 0 0 20 0 15 0 163719031 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737867962608 139737847809374 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163719032 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163719033 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163719034 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163719034 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163719037 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 15 0 163719037 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 163719037 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10551156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) R 27316 27319 7084 0 -1 4202560 834 0 0 0 5 0 0 0 20 0 15 0 163719037 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737354417936 139737842585168 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163719037 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719042 10804383744 9824 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39296 KiB
[startup+0.701066 s]
/proc/loadavg: 2.00 2.04 2.29 2/215 27334
/proc/meminfo: memFree=30762916/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10551232 memory=47560 CPUtime=0.57 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 10611 0 0 0 53 4 0 0 20 0 15 0 163719026 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2637808 11890 3008 1 0 2627261 0
[pid=27319/tid=27321] ppid=27316 vsize=10551232 memory=69068 CPUtime=0.33 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 7468 0 0 0 30 3 0 0 20 0 15 0 163719031 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737867960816 139737847809374 0 4 1 16800974 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719032 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163719032 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10551232 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163719033 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163719034 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10551232 memory=140342352455743 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163719034 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163719037 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10551232 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) R 27316 27319 7084 0 -1 4202560 237 0 0 0 4 0 0 0 20 0 15 0 163719037 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737856018336 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10551232 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 601 0 0 0 5 0 0 0 20 0 15 0 163719037 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10551232 memory=7809523229951467570 CPUtime=0.13 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) S 27316 27319 7084 0 -1 1077944384 945 0 0 0 13 0 0 0 20 0 15 0 163719037 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737354422512 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163719037 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10551232 memory=-3535359994705171299 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163719042 10804461568 11890 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 47560 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.04 2.29 5/216 27335
/proc/meminfo: memFree=30733068/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10619844 memory=79564 CPUtime=2.54 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 16918 0 0 0 248 6 0 0 20 0 16 0 163719026 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2654961 19891 3069 1 0 2644414 0
[pid=27319/tid=27321] ppid=27316 vsize=10619844 memory=72456 CPUtime=1.14 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 8659 0 0 0 110 4 0 0 20 0 16 0 163719031 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737867947520 139737508629701 0 4 1 16800974 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10619844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 163719032 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10619844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 163719032 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10619844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 163719032 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10619844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 163719032 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10619844 memory=51 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 163719033 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10619844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10619844 memory=7450174689653053798 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 19891 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
################
# More data... #
################
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 38400 0 0 0 123 15 0 0 20 0 16 0 163719033 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10619844 memory=263220 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10619844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10619844 memory=285828 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163719037 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10619844 memory=285828 CPUtime=0.87 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 4188 0 0 0 87 0 0 0 20 0 16 0 163719037 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10619844 memory=4072 CPUtime=0.94 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 4706 0 0 0 93 1 0 0 20 0 16 0 163719037 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10619844 memory=1152 CPUtime=0.33 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) S 27316 27319 7084 0 -1 1077944384 2661 0 0 0 32 1 0 0 20 0 16 0 163719037 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737354422512 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10619844 memory=271452 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163719037 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10619844 memory=271452 CPUtime=1.41 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1110 0 0 0 63 78 0 0 20 0 16 0 163719042 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27335] ppid=27316 vsize=10619844 memory=280684705112736 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27335/stat : 27335 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163719110 10874720256 73560 18446744073709551615 4194304 4196468 140732707046512 139737349166384 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 2418.62 s
Current children cumulated vsize: 10619844 KiB
Current children cumulated memory: 294240 KiB
[startup+2442.3 s]
/proc/loadavg: 0.83 0.81 1.47 2/193 27714
/proc/meminfo: memFree=31455252/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10619844 memory=265704 CPUtime=2479.87 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 160306 0 0 0 247455 532 0 0 20 0 16 0 163719026 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2654961 66426 3131 1 0 2644414 0
[pid=27319/tid=27321] ppid=27316 vsize=10619844 memory=265704 CPUtime=2428.29 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 28656 0 0 0 242819 10 0 0 20 0 16 0 163719031 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737867967952 139737508178710 0 4 1 16800974 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10619844 memory=252348 CPUtime=11.63 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 22486 0 0 0 1049 114 0 0 20 0 16 0 163719032 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10619844 memory=254396 CPUtime=11.58 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 20063 0 0 0 1046 112 0 0 20 0 16 0 163719032 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10619844 memory=265704 CPUtime=11.61 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 17854 0 0 0 1053 108 0 0 20 0 16 0 163719032 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10619844 memory=254396 CPUtime=11.62 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 18356 0 0 0 1050 112 0 0 20 0 16 0 163719032 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10619844 memory=208556 CPUtime=1.45 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 38767 0 0 0 129 16 0 0 20 0 16 0 163719033 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10619844 memory=244000 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10619844 memory=238484 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10619844 memory=248252 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163719037 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10619844 memory=234388 CPUtime=0.87 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 4190 0 0 0 87 0 0 0 20 0 16 0 163719037 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10619844 memory=257512 CPUtime=0.94 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 4708 0 0 0 93 1 0 0 20 0 16 0 163719037 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10619844 memory=257512 CPUtime=0.33 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) S 27316 27319 7084 0 -1 1077944384 2663 0 0 0 32 1 0 0 20 0 16 0 163719037 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737354422512 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10619844 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163719037 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10619844 memory=69192 CPUtime=1.45 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1116 0 0 0 65 80 0 0 20 0 16 0 163719042 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27335] ppid=27316 vsize=10619844 memory=252348 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27335/stat : 27335 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163719110 10874720256 66426 18446744073709551615 4194304 4196468 140732707046512 139737349166384 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 2479.87 s
Current children cumulated vsize: 10619844 KiB
Current children cumulated memory: 265704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.8 s]
/proc/loadavg: 0.71 0.78 1.43 2/193 27715
/proc/meminfo: memFree=31380576/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10619844 memory=344980 CPUtime=2520.03 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 161537 0 0 0 251462 541 0 0 20 0 16 0 163719026 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2654961 86245 3131 1 0 2644414 0
[pid=27319/tid=27321] ppid=27316 vsize=10619844 memory=4072 CPUtime=2467.53 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 28803 0 0 0 246743 10 0 0 20 0 16 0 163719031 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737867967952 139737508178225 0 4 1 16800974 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10619844 memory=1152 CPUtime=11.84 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 22536 0 0 0 1068 116 0 0 20 0 16 0 163719032 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10619844 memory=-8774313645642428999 CPUtime=11.8 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 20243 0 0 0 1066 114 0 0 20 0 16 0 163719032 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10619844 memory=2160 CPUtime=11.83 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 17994 0 0 0 1072 111 0 0 20 0 16 0 163719032 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10619844 memory=932 CPUtime=11.84 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 18398 0 0 0 1069 115 0 0 20 0 16 0 163719032 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10619844 memory=1608 CPUtime=1.48 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 39411 0 0 0 132 16 0 0 20 0 16 0 163719033 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10619844 memory=836 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10619844 memory=336788 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 163719034 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10619844 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163719037 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10619844 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 4190 0 0 0 87 0 0 0 20 0 16 0 163719037 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10619844 memory=9051283677730746851 CPUtime=0.94 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 4708 0 0 0 93 1 0 0 20 0 16 0 163719037 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10619844 memory=8547763363015199892 CPUtime=0.33 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) S 27316 27319 7084 0 -1 1077944384 2664 0 0 0 32 1 0 0 20 0 16 0 163719037 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737354422512 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10619844 memory=-4866526891258710369 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 163719037 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10619844 memory=-8312670058677691234 CPUtime=1.48 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1143 0 0 0 66 82 0 0 20 0 16 0 163719042 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27335] ppid=27316 vsize=10619844 memory=-6667966544890519924 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27335/stat : 27335 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 163719110 10874720256 86245 18446744073709551615 4194304 4196468 140732707046512 139737349166384 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10619844 KiB
Current children cumulated memory: 344980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.06 s]
# the end of solver process 27319 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.97 s, system=5.4192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2482 s]*
/proc/loadavg: 0.71 0.78 1.43 2/194 27718
/proc/meminfo: memFree=31376480/32770624 swapFree=67108776/67108860
[pid=27319] ppid=27316 vsize=10819536 memory=345036 CPUtime=2520.24 cores=1,3,5,7
/proc/27319/stat : 27319 (java) S 27316 27319 7084 0 -1 1077944320 161859 0 0 0 251483 541 0 0 20 0 17 0 163719026 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 140732707029056 139737863728887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
/proc/27319/statm: 2704884 86259 3133 1 0 2694337 0
[pid=27319/tid=27321] ppid=27316 vsize=10819536 memory=-8774313645642428999 CPUtime=2467.74 cores=1,3,5,7
/proc/27319/task/27321/stat : 27321 (java) R 27316 27319 7084 0 -1 4202560 28833 0 0 0 246764 10 0 0 20 0 17 0 163719031 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737867966008 139737505343344 0 4 1 16800974 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27322] ppid=27316 vsize=10819536 memory=4126316290023845779 CPUtime=11.84 cores=1,3,5,7
/proc/27319/task/27322/stat : 27322 (java) S 27316 27319 7084 0 -1 1077944384 22536 0 0 0 1068 116 0 0 20 0 17 0 163719032 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737474521360 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27323] ppid=27316 vsize=10819536 memory=334740 CPUtime=11.8 cores=1,3,5,7
/proc/27319/task/27323/stat : 27323 (java) S 27316 27319 7084 0 -1 1077944384 20243 0 0 0 1066 114 0 0 20 0 17 0 163719032 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737473468816 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27324] ppid=27316 vsize=10819536 memory=13563786715989427 CPUtime=11.83 cores=1,3,5,7
/proc/27319/task/27324/stat : 27324 (java) S 27316 27319 7084 0 -1 1077944384 17994 0 0 0 1072 111 0 0 20 0 17 0 163719032 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737472416272 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27325] ppid=27316 vsize=10819536 memory=3236 CPUtime=11.84 cores=1,3,5,7
/proc/27319/task/27325/stat : 27325 (java) S 27316 27319 7084 0 -1 1077944384 18398 0 0 0 1069 115 0 0 20 0 17 0 163719032 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737471363728 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27326] ppid=27316 vsize=10819536 memory=282308 CPUtime=1.48 cores=1,3,5,7
/proc/27319/task/27326/stat : 27326 (java) S 27316 27319 7084 0 -1 1077944384 39411 0 0 0 132 16 0 0 20 0 17 0 163719033 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737360738800 139737863740034 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27327] ppid=27316 vsize=10819536 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27327/stat : 27327 (java) S 27316 27319 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 163719034 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737359685024 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27328] ppid=27316 vsize=10819536 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27328/stat : 27328 (java) S 27316 27319 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 163719034 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737358632432 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27329] ppid=27316 vsize=10819536 memory=3236 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27329/stat : 27329 (java) S 27316 27319 7084 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 17 0 163719037 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737357581008 139737863747483 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27330] ppid=27316 vsize=10819536 memory=301808 CPUtime=0.87 cores=1,3,5,7
/proc/27319/task/27330/stat : 27330 (java) S 27316 27319 7084 0 -1 1077944384 4204 0 0 0 87 0 0 0 20 0 17 0 163719037 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737356527600 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27331] ppid=27316 vsize=10819536 memory=-8774313645642428999 CPUtime=0.94 cores=1,3,5,7
/proc/27319/task/27331/stat : 27331 (java) S 27316 27319 7084 0 -1 1077944384 4752 0 0 0 93 1 0 0 20 0 17 0 163719037 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737355475056 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27332] ppid=27316 vsize=10819536 memory=4126316290023845779 CPUtime=0.33 cores=1,3,5,7
/proc/27319/task/27332/stat : 27332 (java) S 27316 27319 7084 0 -1 1077944384 2729 0 0 0 32 1 0 0 20 0 17 0 163719037 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737354422512 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27333] ppid=27316 vsize=10819536 memory=3236 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27333/stat : 27333 (java) S 27316 27319 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 163719037 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737353370208 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27334] ppid=27316 vsize=10819536 memory=69192 CPUtime=1.48 cores=1,3,5,7
/proc/27319/task/27334/stat : 27334 (java) S 27316 27319 7084 0 -1 1077944384 1143 0 0 0 66 82 0 0 20 0 17 0 163719042 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737352317744 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27716] ppid=27316 vsize=10819536 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27716/stat : 27716 (java) S 27316 27319 7084 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 163967207 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737348113136 139737863739093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
[pid=27319/tid=27717] ppid=27316 vsize=10819536 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/27319/task/27717/stat : 27717 (java) S 27316 27319 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 163967207 11079204864 86259 18446744073709551615 4194304 4196468 140732707046512 139737347061520 139737863740034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28618752 140732707049872 140732707050025 140732707050025 140732707053519 0
Current children cumulated CPU time: 2520.24 s
Current children cumulated vsize: 10819536 KiB
Current children cumulated memory: 345036 KiB
Child status: 143
Real time (s): 2482.06
CPU time (s): 2520.39
CPU user time (s): 2514.97
CPU system time (s): 5.4192
CPU usage (%): 101.544
Max. virtual memory (cumulated for all children) (KiB): 10819536
Max. memory (cumulated for all children) (KiB): 785224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.97
system time used= 5.4192
maximum resident set size= 785352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162008
page faults= 0
swaps= 0
block input operations= 50008
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74646
involuntary context switches= 3027
# summary of solver processes directly reported to runsolver:
# pid: 27319
# total CPU time (s): 2520.39
# total CPU user time (s): 2514.97
# total CPU system time (s): 5.4192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5305 second user time and 22.1679 second system time
The end