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 (4914 MiB free)
memory of node 1: 16384 MiB (4117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402452-1568988846/watcher-4402452-1568988846 -o /tmp/evaluation-result-4402452-1568988846/solver-4402452-1568988846 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568967579-7556 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=99636543 HOME/instance-4402452-1568988846.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13978, runsolver pid=13975
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.12 1.22 1.34 3/216 14032
/proc/meminfo: memFree=9244780/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=9972712 memory=16692 CPUtime=0.09 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 4419 13120 0 0 1 0 5 3 20 0 6 0 475137688 10212057088 4173 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2493178 4173 1933 1 0 2481616 0
[pid=13978/tid=14031] ppid=13975 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 2235 13120 0 0 0 0 5 3 20 0 6 0 475137697 10212057088 4173 33554432000 4194304 4196468 140722133314752 140566202614352 140566214858078 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 6 0 475137698 10212057088 4173 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=9972712 memory=140421212373375 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 6 0 475137698 10212057088 4173 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 6 0 475137698 10212057088 4173 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 6 0 475137698 10212057088 4173 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16692 KiB
[startup+0.210532 s]*
/proc/loadavg: 1.12 1.22 1.34 4/228 14044
/proc/meminfo: memFree=9224448/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10819732 memory=40072 CPUtime=0.27 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 7498 13120 0 0 17 2 5 3 20 0 15 0 475137688 11079405568 10018 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2704933 10018 3180 1 0 2667149 0
[pid=13978/tid=14031] ppid=13975 vsize=10820000 memory=751940894209540401 CPUtime=0.19 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 4059 13120 0 0 10 1 5 3 20 0 15 0 475137697 11079680000 10083 33554432000 4194304 4196468 140722133314752 140566202588624 140566085839845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079680000 10083 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10820000 memory=140421212373375 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137699 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10820000 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 33 13120 0 0 0 0 5 3 20 0 15 0 475137700 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565688603424 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137700 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565085676656 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10820000 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11079680000 10083 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10820000 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 338 13120 0 0 1 0 5 3 20 0 15 0 475137703 11079680000 10083 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10820164 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 322 13120 0 0 1 0 5 3 20 0 15 0 475137703 11079847936 10083 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10820164 memory=140421208581760 CPUtime=0.11 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 585 13120 0 0 3 0 5 3 20 0 15 0 475137703 11079847936 10083 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11079847936 10083 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10820164 memory=140421208581760 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137703 11079847936 10083 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819732 KiB
Current children cumulated memory: 40072 KiB
[startup+0.310448 s]*
/proc/loadavg: 1.12 1.22 1.34 3/228 14044
/proc/meminfo: memFree=9212168/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10820196 memory=48776 CPUtime=0.4 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 10994 13120 0 0 29 3 5 3 20 0 15 0 475137688 11079880704 12194 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2705049 12194 3306 1 0 2667149 0
[pid=13978/tid=14031] ppid=13975 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 7480 13120 0 0 19 2 5 3 20 0 15 0 475137697 11079880704 12194 33554432000 4194304 4196468 140722133314752 140566202586512 140566214858078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079880704 12194 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137698 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10820196 memory=140421208581759 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137699 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 33 13120 0 0 0 0 5 3 20 0 15 0 475137700 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565688603424 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137700 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565085676656 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11079880704 12194 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 348 13120 0 0 2 0 5 3 20 0 15 0 475137703 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 322 13120 0 0 1 0 5 3 20 0 15 0 475137703 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10820196 memory=140421208581760 CPUtime=0.13 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 593 13120 0 0 5 0 5 3 20 0 15 0 475137703 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11079880704 12194 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10820196 memory=140421208581760 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137703 11079880704 12194 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48776 KiB
[startup+0.70063 s]
/proc/loadavg: 1.12 1.22 1.34 3/228 14044
/proc/meminfo: memFree=9200048/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10824364 memory=81052 CPUtime=1.14 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 15029 13120 0 0 101 5 5 3 20 0 15 0 475137688 11084148736 20263 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2706091 20263 3508 1 0 2668173 0
[pid=13978/tid=14031] ppid=13975 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 10479 13120 0 0 55 4 5 3 20 0 15 0 475137697 11084148736 20263 33554432000 4194304 4196468 140722133314752 140566202607136 140566223018981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10824364 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137698 11084148736 20263 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10824364 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137698 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137698 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137698 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 5 13120 0 0 0 0 5 3 20 0 15 0 475137699 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 33 13120 0 0 0 0 5 3 20 0 15 0 475137700 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565688603424 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137700 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565085676656 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11084148736 20263 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 774 13120 0 0 12 0 5 3 20 0 15 0 475137703 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) R 13975 13978 7525 0 -1 1077944384 813 13120 0 0 15 0 5 3 20 0 15 0 475137703 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 702 13120 0 0 17 0 5 3 20 0 15 0 475137703 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11084148736 20263 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10824364 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137703 11084148736 20263 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81052 KiB
[startup+1.50441 s]
/proc/loadavg: 1.12 1.22 1.34 3/228 14044
/proc/meminfo: memFree=9150884/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10834680 memory=168472 CPUtime=2.5 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 21646 13120 0 0 231 11 5 3 20 0 15 0 475137688 11094712320 42118 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2708670 42118 3579 1 0 2670733 0
[pid=13978/tid=14031] ppid=13975 vsize=10834680 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 15369 13120 0 0 128 7 5 3 20 0 15 0 475137697 11094712320 42118 33554432000 4194304 4196468 140722133314752 140566202595984 140566230789526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10834680 memory=-7522837583129502606 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 302 13120 0 0 1 0 5 3 20 0 15 0 475137698 11094712320 42118 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10834680 memory=6297548872420776039 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 24 13120 0 0 0 0 5 3 20 0 15 0 475137698 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10834680 memory=7809918393098200930 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 75 13120 0 0 1 0 5 3 20 0 15 0 475137698 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10834680 memory=280842140559712 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 63 13120 0 0 1 0 5 3 20 0 15 0 475137698 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10834680 memory=200441828765043 CPUtime=0.09 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 119 13120 0 0 1 0 5 3 20 0 15 0 475137699 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10834680 memory=200441828765044 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 34 13120 0 0 0 0 5 3 20 0 15 0 475137700 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565688603488 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10834680 memory=200441828765045 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 1 13120 0 0 0 0 5 3 20 0 15 0 475137700 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565085676672 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10834680 memory=200441828765046 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11094712320 42118 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10834680 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 913 13120 0 0 25 0 5 3 20 0 15 0 475137703 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10834680 memory=280842140153776 CPUtime=0.37 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 1035 13120 0 0 29 0 5 3 20 0 15 0 475137703 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10834680 memory=280842140151920 CPUtime=0.48 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) R 13975 13978 7525 0 -1 4202560 1494 13120 0 0 40 0 5 3 20 0 15 0 475137703 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565652941680 140566214858078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10834680 memory=280842140151984 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11094712320 42118 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10834680 memory=280842140599504 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 2 13120 0 0 0 0 5 3 20 0 15 0 475137703 11094712320 42118 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 72511 13120 0 0 235576 53 5 3 20 0 15 0 475137697 11107315712 283015 33554432000 4194304 4196468 140722133314752 140566202613440 140565853850280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10846988 memory=1131964 CPUtime=12.31 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 21302 13120 0 0 1169 54 5 3 20 0 15 0 475137698 11107315712 283015 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10846988 memory=1131996 CPUtime=12.33 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 17267 13120 0 0 1172 53 5 3 20 0 15 0 475137698 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10846988 memory=1131996 CPUtime=12.27 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 17674 13120 0 0 1167 52 5 3 20 0 15 0 475137698 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10846988 memory=1132060 CPUtime=12.31 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 23573 13120 0 0 1169 54 5 3 20 0 15 0 475137698 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10846988 memory=3472328296227679313 CPUtime=10.7 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 19568 13120 0 0 1004 58 5 3 20 0 15 0 475137699 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10846988 memory=1132060 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 51 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565688603488 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10846988 memory=1132060 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 16 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565085676672 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10846988 memory=3504 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283015 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10846988 memory=1131996 CPUtime=5.3 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 26185 13120 0 0 519 3 5 3 20 0 15 0 475137703 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10846988 memory=3504 CPUtime=5.16 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 20895 13120 0 0 505 3 5 3 20 0 15 0 475137703 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10846988 memory=55888 CPUtime=2.29 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 20189 13120 0 0 217 4 5 3 20 0 15 0 475137703 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10846988 memory=3028 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283015 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10846988 memory=1131996 CPUtime=1.49 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 2365 13120 0 0 67 74 5 3 20 0 15 0 475137703 11107315712 283015 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 2429.94 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1132060 KiB
[startup+2442.3 s]
/proc/loadavg: 0.46 0.75 1.09 2/207 14315
/proc/meminfo: memFree=9106444/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10846988 memory=1132112 CPUtime=2490.95 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 245756 13120 0 0 248730 357 5 3 20 0 15 0 475137688 11107315712 283028 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2711747 283028 3629 1 0 2673805 0
[pid=13978/tid=14031] ppid=13975 vsize=10846988 memory=1132108 CPUtime=2415.69 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 73336 13120 0 0 241507 54 5 3 20 0 15 0 475137697 11107315712 283028 33554432000 4194304 4196468 140722133314752 140566202612736 140565846364427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10846988 memory=1132108 CPUtime=12.65 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 21487 13120 0 0 1202 55 5 3 20 0 15 0 475137698 11107315712 283028 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10846988 memory=1132108 CPUtime=12.67 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 17525 13120 0 0 1205 54 5 3 20 0 15 0 475137698 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10846988 memory=1132108 CPUtime=12.63 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 17887 13120 0 0 1200 55 5 3 20 0 15 0 475137698 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10846988 memory=1132108 CPUtime=12.65 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 23623 13120 0 0 1201 56 5 3 20 0 15 0 475137698 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10846988 memory=1132112 CPUtime=10.98 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 19957 13120 0 0 1031 59 5 3 20 0 15 0 475137699 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10846988 memory=1131996 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 51 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565688603488 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10846988 memory=1131996 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 16 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565085676672 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10846988 memory=1132108 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283028 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10846988 memory=3504 CPUtime=5.3 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 26187 13120 0 0 519 3 5 3 20 0 15 0 475137703 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10846988 memory=1132108 CPUtime=5.16 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 20897 13120 0 0 505 3 5 3 20 0 15 0 475137703 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10846988 memory=1132108 CPUtime=2.29 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 20191 13120 0 0 217 4 5 3 20 0 15 0 475137703 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10846988 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283028 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10846988 memory=30480 CPUtime=1.54 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 2383 13120 0 0 69 77 5 3 20 0 15 0 475137703 11107315712 283028 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 2490.95 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1132112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.9 s]
/proc/loadavg: 0.66 0.77 1.09 2/207 14318
/proc/meminfo: memFree=9104612/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10846988 memory=1134172 CPUtime=2520.01 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 246063 13120 0 0 251630 363 5 3 20 0 15 0 475137688 11107315712 283543 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2711747 283543 3629 1 0 2673805 0
[pid=13978/tid=14031] ppid=13975 vsize=10846988 memory=2012 CPUtime=2443.95 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 73582 13120 0 0 244332 55 5 3 20 0 15 0 475137697 11107315712 283543 33554432000 4194304 4196468 140722133314752 140566202613440 140565853696669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.81 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 21493 13120 0 0 1217 56 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.84 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 17534 13120 0 0 1221 55 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.79 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 17913 13120 0 0 1215 56 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.81 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 23630 13120 0 0 1217 56 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10846988 memory=1134172 CPUtime=11.11 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 19968 13120 0 0 1043 60 5 3 20 0 15 0 475137699 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10846988 memory=1134160 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 51 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565688603488 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10846988 memory=7956005031678667109 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 16 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565085676672 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10846988 memory=1134172 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10846988 memory=1134172 CPUtime=5.3 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 26187 13120 0 0 519 3 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10846988 memory=-7029379521810567991 CPUtime=5.16 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 20897 13120 0 0 505 3 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10846988 memory=7088773812221943410 CPUtime=2.29 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 20191 13120 0 0 217 4 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10846988 memory=3768 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10846988 memory=1134172 CPUtime=1.55 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 2385 13120 0 0 69 78 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1134172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.94 s]
# the end of solver process 13978 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.4 s, system=3.67959 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.9 s]
/proc/loadavg: 0.66 0.77 1.09 2/207 14318
/proc/meminfo: memFree=9104612/32770624 swapFree=66999216/67108860
[pid=13978] ppid=13975 vsize=10846988 memory=1134172 CPUtime=2520.01 cores=0,2,4,6
/proc/13978/stat : 13978 (java) S 13975 13978 7525 0 -1 1077944320 246063 13120 0 0 251630 363 5 3 20 0 15 0 475137688 11107315712 283543 33554432000 4194304 4196468 140722133314752 140722133297296 140566230777591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
/proc/13978/statm: 2711747 283543 3629 1 0 2673805 0
[pid=13978/tid=14031] ppid=13975 vsize=10846988 memory=2012 CPUtime=2443.95 cores=0,2,4,6
/proc/13978/task/14031/stat : 14031 (java) R 13975 13978 7525 0 -1 4202560 73582 13120 0 0 244332 55 5 3 20 0 15 0 475137697 11107315712 283543 33554432000 4194304 4196468 140722133314752 140566202613440 140565853696669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14032] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.81 cores=0,2,4,6
/proc/13978/task/14032/stat : 14032 (java) S 13975 13978 7525 0 -1 1077944384 21493 13120 0 0 1217 56 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140566235020176 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14033] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.84 cores=0,2,4,6
/proc/13978/task/14033/stat : 14033 (java) S 13975 13978 7525 0 -1 1077944384 17534 13120 0 0 1221 55 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565803621136 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14034] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.79 cores=0,2,4,6
/proc/13978/task/14034/stat : 14034 (java) S 13975 13978 7525 0 -1 1077944384 17913 13120 0 0 1215 56 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565802568848 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14035] ppid=13975 vsize=10846988 memory=1134172 CPUtime=12.81 cores=0,2,4,6
/proc/13978/task/14035/stat : 14035 (java) S 13975 13978 7525 0 -1 1077944384 23630 13120 0 0 1217 56 5 3 20 0 15 0 475137698 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565801516048 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14036] ppid=13975 vsize=10846988 memory=1134172 CPUtime=11.11 cores=0,2,4,6
/proc/13978/task/14036/stat : 14036 (java) S 13975 13978 7525 0 -1 1077944384 19968 13120 0 0 1043 60 5 3 20 0 15 0 475137699 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565689657456 140566230788738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14037] ppid=13975 vsize=10846988 memory=1134160 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14037/stat : 14037 (java) S 13975 13978 7525 0 -1 1077944384 51 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565688603488 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14038] ppid=13975 vsize=10846988 memory=7956005031678667109 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14038/stat : 14038 (java) S 13975 13978 7525 0 -1 1077944384 16 13120 0 0 0 0 5 3 20 0 15 0 475137700 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565085676672 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14039] ppid=13975 vsize=10846988 memory=1134172 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14039/stat : 14039 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140564778276944 140566230796187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14040] ppid=13975 vsize=10846988 memory=1134172 CPUtime=5.3 cores=0,2,4,6
/proc/13978/task/14040/stat : 14040 (java) S 13975 13978 7525 0 -1 1077944384 26187 13120 0 0 519 3 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565655046768 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14041] ppid=13975 vsize=10846988 memory=-7029379521810567991 CPUtime=5.16 cores=0,2,4,6
/proc/13978/task/14041/stat : 14041 (java) S 13975 13978 7525 0 -1 1077944384 20897 13120 0 0 505 3 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565653993968 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14042] ppid=13975 vsize=10846988 memory=7088773812221943410 CPUtime=2.29 cores=0,2,4,6
/proc/13978/task/14042/stat : 14042 (java) S 13975 13978 7525 0 -1 1077944384 20191 13120 0 0 217 4 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565652941680 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14043] ppid=13975 vsize=10846988 memory=3768 CPUtime=0.08 cores=0,2,4,6
/proc/13978/task/14043/stat : 14043 (java) S 13975 13978 7525 0 -1 1077944384 3 13120 0 0 0 0 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140564744719328 140566230787797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
[pid=13978/tid=14044] ppid=13975 vsize=10846988 memory=1134172 CPUtime=1.55 cores=0,2,4,6
/proc/13978/task/14044/stat : 14044 (java) S 13975 13978 7525 0 -1 1077944384 2385 13120 0 0 69 78 5 3 20 0 15 0 475137703 11107315712 283543 33554432000 4194304 4196468 140722133314752 140565651888560 140566230788738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30396416 140722133322481 140722133324997 140722133324997 140722133327823 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1134172 KiB
Child status: 143
Real time (s): 2470.94
CPU time (s): 2520.07
CPU user time (s): 2516.4
CPU system time (s): 3.67959
CPU usage (%): 101.989
Max. virtual memory (cumulated for all children) (KiB): 10849656
Max. memory (cumulated for all children) (KiB): 1134172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.4
system time used= 3.67959
maximum resident set size= 1138416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260222
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294007
involuntary context switches= 7872
# summary of solver processes directly reported to runsolver:
# pid: 13978
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.4
# total CPU system time (s): 3.67959
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2296 second user time and 22.732 second system time
The end