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 (15205 MiB free)
memory of node 1: 16384 MiB (14607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257997-1502646573/watcher-4257997-1502646573 -o /tmp/evaluation-result-4257997-1502646573/solver-4257997-1502646573 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257997-1502646573.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10755, runsolver pid=10752
[startup+0.100098 s]*
/proc/loadavg: 5.44 4.06 3.60 3/203 10764
/proc/meminfo: memFree=30515216/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10484492 memory=24052 CPUtime=0.05 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 4473 0 0 0 4 1 0 0 20 0 14 0 66850647 10736119808 6013 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2621123 6013 2520 1 0 2610620 0
[pid=10755/tid=10757] ppid=10752 vsize=10484492 memory=4206751525541407381 CPUtime=0.05 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) D 10752 10755 17093 0 -1 1077944384 2629 0 0 0 4 1 0 0 20 0 14 0 66850652 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139627409319744 139627405106237 0 4 1 16800974 18446744072101613092 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10484492 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66850653 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139627374795536 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10484492 memory=140291986163328 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66850653 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139627015461776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66850653 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139627014409232 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66850653 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139627013356688 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10484492 memory=140291986163328 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66850654 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626901653488 139627405093506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66850655 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626900599712 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66850655 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66850657 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626898495696 139627405100955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 14 0 66850657 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626897443312 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66850657 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626896390768 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10484492 memory=140291986163328 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 66850657 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626895338224 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66850657 10736119808 6079 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 24052 KiB
[startup+0.210033 s]*
/proc/loadavg: 5.44 4.06 3.60 4/209 10770
/proc/meminfo: memFree=30507144/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551156 memory=31132 CPUtime=0.14 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 7408 0 0 0 11 3 0 0 20 0 15 0 66850647 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637789 7783 2800 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551156 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) R 10752 10755 17093 0 -1 4202560 5268 0 0 0 8 2 0 0 20 0 15 0 66850652 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139627409318624 139627389162846 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139627374795536 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551156 memory=3834171629882312352 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139627015461776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139627014409232 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139627013356688 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551156 memory=140291986163328 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66850654 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626901653488 139627405093506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626900599712 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66850655 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626898495696 139627405100955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 66850657 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626897443312 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626896390768 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551156 memory=140291986163328 CPUtime=0.02 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 66850657 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626895338224 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551156 memory=140291986163328 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850663 10804383744 7783 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 31132 KiB
[startup+0.319012 s]*
/proc/loadavg: 5.44 4.06 3.60 3/209 10770
/proc/meminfo: memFree=30500424/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551156 memory=39548 CPUtime=0.31 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 8686 0 0 0 28 3 0 0 20 0 15 0 66850647 10804383744 9884 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637789 9887 2870 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551156 memory=-7677926825137650786 CPUtime=0.21 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) R 10752 10755 17093 0 -1 4202560 5914 0 0 0 19 2 0 0 20 0 15 0 66850652 10804383744 9887 18446744073709551615 4194304 4196468 140733849563456 139627409301376 139627405094294 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 9887 18446744073709551615 4194304 4196468 140733849563456 139627374795536 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 9887 18446744073709551615 4194304 4196468 140733849563456 139627015461776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 9887 18446744073709551615 4194304 4196468 140733849563456 139627014409232 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66850653 10804383744 9887 18446744073709551615 4194304 4196468 140733849563456 139627013356688 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66850654 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626901653488 139627405093506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626900599712 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66850655 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626898495696 139627405100955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 15 0 66850657 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626897443312 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) R 10752 10755 17093 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 15 0 66850657 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626896390768 139627405093506 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) R 10752 10755 17093 0 -1 4202560 793 0 0 0 5 0 0 0 20 0 15 0 66850657 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626895338224 139627397799511 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850663 10804383744 9953 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39548 KiB
[startup+0.701015 s]
/proc/loadavg: 5.44 4.06 3.60 4/209 10770
/proc/meminfo: memFree=30361976/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551232 memory=196136 CPUtime=1.29 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 12628 0 0 0 120 9 0 0 20 0 15 0 66850647 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637808 49034 3071 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551232 memory=33 CPUtime=0.57 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) R 10752 10755 17093 0 -1 4202560 7424 0 0 0 52 5 0 0 20 0 15 0 66850652 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139627409311224 139627048858070 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) S 10752 10755 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 66850653 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139627374795536 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) S 10752 10755 17093 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 66850653 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139627015461776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551232 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) S 10752 10755 17093 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 66850653 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139627014409232 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551232 memory=1156 CPUtime=0.01 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) S 10752 10755 17093 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 66850653 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139627013356688 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551232 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66850654 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626901653488 139627405093506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551232 memory=1129540 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626900599712 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551232 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551232 memory=4641333681340897122 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626898495696 139627405100955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551232 memory=7306928107123926630 CPUtime=0.21 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) R 10752 10755 17093 0 -1 4202560 1466 0 0 0 21 0 0 0 20 0 15 0 66850657 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626897424328 139627388582565 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551232 memory=7809617114362637412 CPUtime=0.22 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) R 10752 10755 17093 0 -1 4202560 1219 0 0 0 22 0 0 0 20 0 15 0 66850657 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626896371784 139627386603819 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551232 memory=7668012111147524688 CPUtime=0.2 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 997 0 0 0 20 0 0 0 20 0 15 0 66850657 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626895338224 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551232 memory=6083073826404722793 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551232 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66850663 10804461568 49034 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 196136 KiB
[startup+1.50097 s]
/proc/loadavg: 5.44 4.06 3.60 7/209 10770
/proc/meminfo: memFree=29772200/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551232 memory=559268 CPUtime=3.52 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 14545 0 0 0 312 40 0 0 20 0 15 0 66850647 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637808 139817 3094 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551232 memory=423980 CPUtime=1.02 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) S 10752 10755 17093 0 -1 1077944384 7486 0 0 0 96 6 0 0 20 0 15 0 66850652 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139627409313600 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551232 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) R 10752 10755 17093 0 -1 4202560 293 0 0 0 26 8 0 0 20 0 15 0 66850653 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139627374795536 139627390033456 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551232 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) R 10752 10755 17093 0 -1 4202560 423 0 0 0 26 6 0 0 20 0 15 0 66850653 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139627015461976 139627386678907 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551232 memory=7649399371413794865 CPUtime=0.34 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) R 10752 10755 17093 0 -1 4202560 342 0 0 0 26 8 0 0 20 0 15 0 66850653 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139627014409232 139627389779917 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551232 memory=5859271421085237344 CPUtime=0.34 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) R 10752 10755 17093 0 -1 4202560 540 0 0 0 26 8 0 0 20 0 15 0 66850653 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139627013356576 139627390033486 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551232 memory=68 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 66850654 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139626901651808 139627405092565 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551232 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 139817 18446744073709551615 4194304 4196468 140733849563456 139626900599776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
################
# More data... #
################
/proc/10755/statm: 2637808 2022140 3108 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551232 memory=8088556 CPUtime=13.8 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) S 10752 10755 17093 0 -1 1077944384 13749 0 0 0 1371 9 0 0 20 0 15 0 66850652 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627409318528 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551232 memory=7661863642243950952 CPUtime=55.88 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) R 10752 10755 17093 0 -1 4202560 9872 0 0 0 5437 151 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627374795736 139627389782237 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551232 memory=-8774313645642428999 CPUtime=55.32 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) S 10752 10755 17093 0 -1 1077944384 9554 0 0 0 5371 161 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627015461584 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551232 memory=1228 CPUtime=55.81 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) R 10752 10755 17093 0 -1 4202560 9386 0 0 0 5426 155 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627014409040 139627397710567 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551232 memory=12200 CPUtime=55.53 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) R 10752 10755 17093 0 -1 4202560 8536 0 0 0 5378 175 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627013356496 139627405103706 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551232 memory=1992 CPUtime=14.6 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 20296 0 0 0 1458 2 0 0 20 0 15 0 66850654 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626901652032 139627405092565 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551232 memory=8088560 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626900599776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551232 memory=140291886352880 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626898495696 139627405100955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551232 memory=6655300316396806240 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 2125 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626897443072 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551232 memory=-8774313645642428999 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) S 10752 10755 17093 0 -1 1077944384 1870 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626896390816 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551232 memory=6944656592387989600 CPUtime=0.28 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 2910 0 0 0 27 1 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626895338272 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551232 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551232 memory=6944656592455360604 CPUtime=0.04 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 562 0 0 0 3 1 0 0 20 0 15 0 66850663 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 252.29 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8088560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+86.8467 s]
# the end of solver process 10755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.688 s, system=6.62117 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+85.601 s]
/proc/loadavg: 6.07 4.56 3.82 8/209 10848
/proc/meminfo: memFree=23094748/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551232 memory=8088560 CPUtime=255.43 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 80224 0 0 0 24885 658 0 0 20 0 15 0 66850647 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637808 2022140 3108 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551232 memory=1992 CPUtime=13.8 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) S 10752 10755 17093 0 -1 1077944384 13749 0 0 0 1371 9 0 0 20 0 15 0 66850652 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627409318528 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551232 memory=1204 CPUtime=56.68 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) R 10752 10755 17093 0 -1 4202560 9872 0 0 0 5517 151 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627374795736 139627390071973 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551232 memory=8088560 CPUtime=56.09 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) R 10752 10755 17093 0 -1 4202560 9554 0 0 0 5448 161 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627015461896 139627389783009 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551232 memory=796 CPUtime=56.6 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) R 10752 10755 17093 0 -1 4202560 9386 0 0 0 5505 155 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627014409352 139627398182019 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551232 memory=4028 CPUtime=56.31 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) R 10752 10755 17093 0 -1 4202560 8536 0 0 0 5456 175 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627013356808 139627398185331 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551232 memory=-8774313645642428999 CPUtime=14.6 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 20296 0 0 0 1458 2 0 0 20 0 15 0 66850654 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626901652032 139627405092565 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551232 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626900599776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551232 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551232 memory=21184 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626898495344 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551232 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 2125 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626897443072 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551232 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) S 10752 10755 17093 0 -1 1077944384 1870 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626896390816 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551232 memory=-8774313645642428999 CPUtime=0.28 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 2910 0 0 0 27 1 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626895338272 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551232 memory=37680 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551232 memory=1296 CPUtime=0.04 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 562 0 0 0 3 1 0 0 20 0 15 0 66850663 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 255.43 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8088560 KiB
[startup+86.401 s]
/proc/loadavg: 6.07 4.56 3.82 6/209 10848
/proc/meminfo: memFree=22855880/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551232 memory=8088560 CPUtime=258.61 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 80352 0 0 0 25203 658 0 0 20 0 15 0 66850647 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637808 2022140 3108 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551232 memory=8088556 CPUtime=13.8 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) S 10752 10755 17093 0 -1 1077944384 13749 0 0 0 1371 9 0 0 20 0 15 0 66850652 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627409318528 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551232 memory=8088560 CPUtime=57.48 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) R 10752 10755 17093 0 -1 4202560 9893 0 0 0 5597 151 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627374795656 139627389783003 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551232 memory=8088560 CPUtime=56.88 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) R 10752 10755 17093 0 -1 4202560 9576 0 0 0 5527 161 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627015461896 139627389783021 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551232 memory=1228 CPUtime=57.4 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) R 10752 10755 17093 0 -1 4202560 9431 0 0 0 5585 155 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627014409352 139627389783003 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551232 memory=12200 CPUtime=57.11 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) R 10752 10755 17093 0 -1 4202560 8576 0 0 0 5536 175 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627013356808 139627389782963 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551232 memory=1992 CPUtime=14.6 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) S 10752 10755 17093 0 -1 1077944384 20296 0 0 0 1458 2 0 0 20 0 15 0 66850654 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626901652032 139627405092565 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626900599776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551232 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626898495344 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551232 memory=1204 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 2125 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626897443072 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551232 memory=37680 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) S 10752 10755 17093 0 -1 1077944384 1870 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626896390816 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551232 memory=1296 CPUtime=0.28 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 2910 0 0 0 27 1 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626895338272 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551232 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551232 memory=1732 CPUtime=0.04 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 562 0 0 0 3 1 0 0 20 0 15 0 66850663 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 258.61 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8088560 KiB
[startup+86.801 s]
/proc/loadavg: 6.07 4.56 3.82 6/209 10848
/proc/meminfo: memFree=22855880/32770624 swapFree=67108860/67108860
[pid=10755] ppid=10752 vsize=10551232 memory=8088560 CPUtime=259.26 cores=0,2,4,6
/proc/10755/stat : 10755 (java) S 10752 10755 17093 0 -1 1077944320 80352 0 0 0 25268 658 0 0 20 0 15 0 66850647 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 140733849546000 139627405082359 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
/proc/10755/statm: 2637808 2022140 3108 1 0 2627261 0
[pid=10755/tid=10757] ppid=10752 vsize=10551232 memory=-8774313645642428999 CPUtime=13.8 cores=0,2,4,6
/proc/10755/task/10757/stat : 10757 (java) S 10752 10755 17093 0 -1 1077944384 13749 0 0 0 1371 9 0 0 20 0 15 0 66850652 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627409318528 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10758] ppid=10752 vsize=10551232 memory=1732 CPUtime=57.57 cores=0,2,4,6
/proc/10755/task/10758/stat : 10758 (java) S 10752 10755 17093 0 -1 1077944384 9893 0 0 0 5606 151 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627374795536 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10759] ppid=10752 vsize=10551232 memory=5788 CPUtime=56.96 cores=0,2,4,6
/proc/10755/task/10759/stat : 10759 (java) S 10752 10755 17093 0 -1 1077944384 9576 0 0 0 5535 161 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627015461776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10760] ppid=10752 vsize=10551232 memory=4612 CPUtime=57.48 cores=0,2,4,6
/proc/10755/task/10760/stat : 10760 (java) S 10752 10755 17093 0 -1 1077944384 9431 0 0 0 5593 155 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627014409232 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10761] ppid=10752 vsize=10551232 memory=8088560 CPUtime=57.19 cores=0,2,4,6
/proc/10755/task/10761/stat : 10761 (java) S 10752 10755 17093 0 -1 1077944384 8576 0 0 0 5544 175 0 0 20 0 15 0 66850653 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139627013356688 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10762] ppid=10752 vsize=10551232 memory=1444 CPUtime=14.92 cores=0,2,4,6
/proc/10755/task/10762/stat : 10762 (java) R 10752 10755 17093 0 -1 4202560 20296 0 0 0 1490 2 0 0 20 0 15 0 66850654 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626901651920 139627389783047 0 0 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10763] ppid=10752 vsize=10551232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10763/stat : 10763 (java) S 10752 10755 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626900599776 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10764] ppid=10752 vsize=10551232 memory=37680 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10764/stat : 10764 (java) S 10752 10755 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66850655 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626899547120 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10765] ppid=10752 vsize=10551232 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10765/stat : 10765 (java) S 10752 10755 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626898495344 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10766] ppid=10752 vsize=10551232 memory=2420 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10766/stat : 10766 (java) S 10752 10755 17093 0 -1 1077944384 2125 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626897443072 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10767] ppid=10752 vsize=10551232 memory=1732 CPUtime=0.47 cores=0,2,4,6
/proc/10755/task/10767/stat : 10767 (java) S 10752 10755 17093 0 -1 1077944384 1870 0 0 0 47 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626896390816 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10768] ppid=10752 vsize=10551232 memory=5788 CPUtime=0.28 cores=0,2,4,6
/proc/10755/task/10768/stat : 10768 (java) S 10752 10755 17093 0 -1 1077944384 2910 0 0 0 27 1 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626895338272 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10769] ppid=10752 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/10755/task/10769/stat : 10769 (java) S 10752 10755 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66850657 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626894285920 139627405092565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
[pid=10755/tid=10770] ppid=10752 vsize=10551232 memory=1708 CPUtime=0.04 cores=0,2,4,6
/proc/10755/task/10770/stat : 10770 (java) S 10752 10755 17093 0 -1 1077944384 562 0 0 0 3 1 0 0 20 0 15 0 66850663 10804461568 2022140 18446744073709551615 4194304 4196468 140733849563456 139626893232432 139627405093506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140733849571733 140733849571886 140733849571886 140733849575375 0
Current children cumulated CPU time: 259.26 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8088560 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 86.8468
CPU time (s): 259.309
CPU user time (s): 252.688
CPU system time (s): 6.62117
CPU usage (%): 298.582
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8088560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.688
system time used= 6.62117
maximum resident set size= 8088912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5233
involuntary context switches= 4360
# summary of solver processes directly reported to runsolver:
# pid: 10755
# total CPU time (s): 259.309
# total CPU user time (s): 252.688
# total CPU system time (s): 6.62117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.495385 second user time and 0.876974 second system time
The end