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 (11416 MiB free)
memory of node 1: 16384 MiB (15092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298968-1532794626/watcher-4298968-1532794626 -o /tmp/evaluation-result-4298968-1532794626/solver-4298968-1532794626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6745 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298968-1532794626.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8840, runsolver pid=8837
[startup+0.100062 s]*
/proc/loadavg: 1.32 1.57 1.66 4/219 8855
/proc/meminfo: memFree=27130316/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10658972 memory=26484 CPUtime=0.12 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 5536 0 0 0 11 1 0 0 20 0 15 0 97025782 10914787328 6621 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2664743 6621 2825 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10658972 memory=-8196700188312899164 CPUtime=0.09 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 3368 0 0 0 8 1 0 0 20 0 15 0 97025782 10914787328 6621 33554432000 4194304 4196468 140730271922720 140559282653152 140559278443926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10658972 memory=5793855792557488569 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10658972 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025784 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10658972 memory=140541547595392 CPUtime=0.02 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) R 8837 8840 6713 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140557933173360 140559270669118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10914787328 6621 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10658972 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10914787328 6621 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 26484 KiB
[startup+0.210768 s]*
/proc/loadavg: 1.32 1.57 1.66 5/219 8855
/proc/meminfo: memFree=27117864/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661056 memory=39104 CPUtime=0.34 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 8298 0 0 0 31 3 0 0 20 0 15 0 97025782 10916921344 9776 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665264 9776 3002 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661056 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5225 0 0 0 18 2 0 0 20 0 15 0 97025782 10916921344 9776 33554432000 4194304 4196468 140730271922720 140559282668344 140559262512478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661056 memory=4211974267752385930 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025784 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) R 8837 8840 6713 0 -1 4202560 699 0 0 0 2 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558579211120 140559256172864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) R 8837 8840 6713 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0.07 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) R 8837 8840 6713 0 -1 4202560 886 0 0 0 7 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140557933173360 140559256797700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916921344 9776 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10916921344 9776 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39104 KiB
[startup+0.311288 s]*
/proc/loadavg: 1.32 1.57 1.66 5/219 8855
/proc/meminfo: memFree=27103536/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=53380 CPUtime=0.67 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 10379 0 0 0 64 3 0 0 20 0 15 0 97025782 10916999168 13345 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 13345 3070 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5539 0 0 0 28 2 0 0 20 0 15 0 97025782 10916999168 13345 33554432000 4194304 4196468 140730271922720 140559282669488 140558915424171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=4211974267752385930 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=140541547597771 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=140541396370505 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=140541396372943 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=140541547602132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97025784 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=140541396382127 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=281082792755088 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=281082792752784 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) R 8837 8840 6713 0 -1 4202560 1480 0 0 0 11 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558579192136 140559278443926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) R 8837 8840 6713 0 -1 4202560 602 0 0 0 10 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558578139888 140559261842784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=140541547595392 CPUtime=0.14 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) R 8837 8840 6713 0 -1 4202560 1391 0 0 0 14 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140557933173488 140559278443926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 13345 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 13345 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53380 KiB
[startup+0.700786 s]
/proc/loadavg: 1.32 1.57 1.66 5/219 8855
/proc/meminfo: memFree=27070400/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=105148 CPUtime=1.9 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 12143 0 0 0 186 4 0 0 20 0 15 0 97025782 10916999168 26287 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 26287 3111 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=5484 CPUtime=0.67 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5797 0 0 0 64 3 0 0 20 0 15 0 97025782 10916999168 26287 33554432000 4194304 4196468 140730271922720 140559282669728 140558915383696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=7453282923411170919 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=6220993253238723945 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97025784 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=36 CPUtime=0.44 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) R 8837 8840 6713 0 -1 4202560 1643 0 0 0 44 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558579211120 140559263329575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=3 CPUtime=0.42 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 1230 0 0 0 42 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 2103 0 0 0 34 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=281082792938992 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 26287 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 26287 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 105148 KiB
[startup+1.50078 s]
/proc/loadavg: 1.32 1.57 1.66 3/219 8855
/proc/meminfo: memFree=26898620/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=442148 CPUtime=3.67 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 13590 0 0 0 330 37 0 0 20 0 15 0 97025782 10916999168 110537 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 110537 3170 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5863 0 0 0 119 3 0 0 20 0 15 0 97025782 10916999168 110537 33554432000 4194304 4196468 140730271922720 140559282667656 140558919510027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=-6511782102145834793 CPUtime=0.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 245 0 0 0 15 7 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=-3472574513799858008 CPUtime=0.21 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 214 0 0 0 14 7 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=9050432703280480429 CPUtime=0.22 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 230 0 0 0 15 7 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=-6368755452884768643 CPUtime=0.22 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 230 0 0 0 14 8 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=-3472574513799858009 CPUtime=0.01 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 97025784 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
################
# More data... #
################
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 44393 0 0 0 244085 20 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920758799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0.09 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3870 0 0 0 5 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6019 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9448 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6471 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.56 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1771 0 0 0 65 91 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2450.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB
[startup+2502.3 s]
/proc/loadavg: 1.87 1.90 1.87 3/218 9016
/proc/meminfo: memFree=25166540/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2510.85 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 90355 0 0 0 250856 229 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 462379 3196 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2501.06 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 45444 0 0 0 250085 21 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920761743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3882 0 0 0 6 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6026 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9456 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=3560 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6475 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=2192 CPUtime=1.6 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1830 0 0 0 68 92 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2510.85 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.5 s]
/proc/loadavg: 1.80 1.89 1.87 3/218 9016
/proc/meminfo: memFree=25178704/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2520.06 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 90495 0 0 0 251776 230 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 462379 3196 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=1696 CPUtime=2510.26 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 45582 0 0 0 251005 21 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920701234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=281082792833360 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3882 0 0 0 6 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=7883944108235712103 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6026 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1720 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9456 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=792 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6475 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=2192 CPUtime=1.61 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1832 0 0 0 68 93 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.53 s]
# the end of solver process 8840 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.79 s, system=2.31243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.5 s]
/proc/loadavg: 1.80 1.89 1.87 3/218 9016
/proc/meminfo: memFree=25178704/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2520.06 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 90495 0 0 0 251776 230 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 462379 3196 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=1696 CPUtime=2510.26 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 45582 0 0 0 251005 21 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920701234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=281082792833360 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3882 0 0 0 6 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=7883944108235712103 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6026 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1720 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9456 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=792 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6475 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=2192 CPUtime=1.61 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1832 0 0 0 68 93 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB
Child status: 143
Real time (s): 2511.53
CPU time (s): 2520.1
CPU user time (s): 2517.79
CPU system time (s): 2.31243
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1849516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.79
system time used= 2.31243
maximum resident set size= 1850020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56863
involuntary context switches= 1376
# summary of solver processes directly reported to runsolver:
# pid: 8840
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.79
# total CPU system time (s): 2.31243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2095 second user time and 22.6786 second system time
The end