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 (184 MiB free)
memory of node 1: 16384 MiB (1785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402991-1568972685/watcher-4402991-1568972685 -o /var/tmp/evaluation-result-4402991-1568972685/solver-4402991-1568972685 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568967596-1429 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1574390344 HOME/instance-4402991-1568972685.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2801, runsolver pid=2798
[startup+0.107879 s]*
/proc/loadavg: 1.78 1.65 1.52 6/218 2858
/proc/meminfo: memFree=2007200/32770624 swapFree=67021624/67108860
[pid=2801] ppid=2798 vsize=10355560 memory=20644 CPUtime=0.1 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 4923 13062 0 0 2 0 5 3 20 0 9 0 473541078 10604093440 5161 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2588890 5161 2103 1 0 2551431 0
[pid=2801/tid=2854] ppid=2798 vsize=10355560 memory=-8744998457513918403 CPUtime=0.1 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 2695 13062 0 0 2 0 5 3 20 0 9 0 473541087 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284863246192 140284875490654 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10355560 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 9 0 473541087 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10355560 memory=140633036285568 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 9 0 473541087 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 9 0 473541087 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 9 0 473541087 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10355560 memory=140633036285568 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 9 0 473541089 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 33 13062 0 0 0 0 5 3 20 0 9 0 473541089 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284349842592 140284891420373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 9 0 473541089 10604093440 5161 33554432000 4194304 4196468 140725938780880 140284235080496 140284891420373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20644 KiB
[startup+0.211274 s]*
/proc/loadavg: 1.78 1.65 1.52 7/227 2867
/proc/meminfo: memFree=1988088/32770624 swapFree=67021624/67108860
[pid=2801] ppid=2798 vsize=10819716 memory=41656 CPUtime=0.24 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 7263 13062 0 0 15 1 5 3 20 0 15 0 473541078 11079389184 10414 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2704929 10414 3181 1 0 2667149 0
[pid=2801/tid=2854] ppid=2798 vsize=10819716 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 3761 13062 0 0 9 1 5 3 20 0 15 0 473541087 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284863243184 140284871685995 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10819716 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10819716 memory=140633036285568 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10819716 memory=140633036285568 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541089 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 33 13062 0 0 0 0 5 3 20 0 15 0 473541089 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284349842592 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541089 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284235080432 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11079389184 10414 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10819716 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 596 13062 0 0 1 0 5 3 20 0 15 0 473541094 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 64 13062 0 0 0 0 5 3 20 0 15 0 473541094 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10819716 memory=140633036285568 CPUtime=0.11 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 590 13062 0 0 3 0 5 3 20 0 15 0 473541094 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11079389184 10414 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10819716 memory=140633036285568 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541095 11079389184 10414 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 41656 KiB
[startup+0.318919 s]*
/proc/loadavg: 1.78 1.65 1.52 3/227 2867
/proc/meminfo: memFree=1975036/32770624 swapFree=67021624/67108860
[pid=2801] ppid=2798 vsize=10820196 memory=53312 CPUtime=0.39 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 10965 13062 0 0 28 3 5 3 20 0 15 0 473541078 11079880704 13328 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2705049 13328 3338 1 0 2667149 0
[pid=2801/tid=2854] ppid=2798 vsize=10820196 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 7446 13062 0 0 18 2 5 3 20 0 15 0 473541087 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284863206496 140284891432093 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10820196 memory=140633036296161 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541087 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541089 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 33 13062 0 0 0 0 5 3 20 0 15 0 473541089 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284349842592 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541089 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284235080432 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11079880704 13328 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 596 13062 0 0 1 0 5 3 20 0 15 0 473541094 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 74 13062 0 0 2 0 5 3 20 0 15 0 473541094 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10820196 memory=140633036285568 CPUtime=0.13 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) R 2798 2801 1397 0 -1 4202560 601 13062 0 0 5 0 5 3 20 0 15 0 473541094 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284314180080 140284891431514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11079880704 13328 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10820196 memory=140633036285568 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541095 11079880704 13328 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53312 KiB
[startup+0.700764 s]
/proc/loadavg: 1.78 1.65 1.52 3/227 2867
/proc/meminfo: memFree=1962284/32770624 swapFree=67021624/67108860
[pid=2801] ppid=2798 vsize=10824364 memory=83236 CPUtime=1.12 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 15047 13062 0 0 99 5 5 3 20 0 15 0 473541078 11084148736 20809 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2706091 20809 3506 1 0 2668173 0
[pid=2801/tid=2854] ppid=2798 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 10438 13062 0 0 54 4 5 3 20 0 15 0 473541087 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284863239712 140284877659713 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10824364 memory=14273996736699432 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541087 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541087 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10824364 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 5 13062 0 0 0 0 5 3 20 0 15 0 473541089 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 33 13062 0 0 0 0 5 3 20 0 15 0 473541089 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284349842592 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541089 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284235080432 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11084148736 20809 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10824364 memory=11044 CPUtime=0.22 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 1083 13062 0 0 14 0 5 3 20 0 15 0 473541094 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 523 13062 0 0 12 0 5 3 20 0 15 0 473541094 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10824364 memory=27300 CPUtime=0.25 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 746 13062 0 0 17 0 5 3 20 0 15 0 473541094 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11084148736 20809 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10824364 memory=140632932779664 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 1 13062 0 0 0 0 5 3 20 0 15 0 473541095 11084148736 20809 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83236 KiB
[startup+1.50074 s]
/proc/loadavg: 1.78 1.65 1.52 6/227 2867
/proc/meminfo: memFree=1908372/32770624 swapFree=67021624/67108860
[pid=2801] ppid=2798 vsize=10834680 memory=194908 CPUtime=2.88 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 24199 13062 0 0 270 10 5 3 20 0 15 0 473541078 11094712320 48727 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2708670 48727 3582 1 0 2670733 0
[pid=2801/tid=2854] ppid=2798 vsize=10834680 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 15484 13062 0 0 128 6 5 3 20 0 15 0 473541087 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284863236144 140284876780018 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 36 13062 0 0 1 0 5 3 20 0 15 0 473541087 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10834680 memory=27 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 82 13062 0 0 1 0 5 3 20 0 15 0 473541087 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 322 13062 0 0 1 0 5 3 20 0 15 0 473541087 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 61 13062 0 0 1 0 5 3 20 0 15 0 473541087 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10834680 memory=140632933048352 CPUtime=0.09 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 155 13062 0 0 1 0 5 3 20 0 15 0 473541089 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10834680 memory=105352 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 33 13062 0 0 0 0 5 3 20 0 15 0 473541089 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284349842656 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541089 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284235080448 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11094712320 48727 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10834680 memory=281265866074336 CPUtime=0.54 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) R 2798 2801 1397 0 -1 4202560 2093 13062 0 0 46 0 5 3 20 0 15 0 473541094 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284316285680 140284872587930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10834680 memory=281265866232256 CPUtime=0.51 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 1867 13062 0 0 43 0 5 3 20 0 15 0 473541094 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10834680 memory=140632933049088 CPUtime=0.52 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 1851 13062 0 0 44 0 5 3 20 0 15 0 473541094 11094712320 48727 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
################
# More data... #
################
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 1210337 13062 0 0 235462 256 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284863246176 140284464723861 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10846988 memory=2476020 CPUtime=13.69 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 69291 13062 0 0 1267 94 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10846988 memory=3124 CPUtime=13.69 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 57601 13062 0 0 1282 79 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10846988 memory=2476020 CPUtime=13.68 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 64591 13062 0 0 1280 80 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10846988 memory=2476020 CPUtime=13.65 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 62482 13062 0 0 1271 86 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10846988 memory=2476020 CPUtime=9.65 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 35128 13062 0 0 901 56 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 40 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284349842720 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 7 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284235080448 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10846988 memory=281265866576320 CPUtime=5.83 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 21968 13062 0 0 571 4 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10846988 memory=2476020 CPUtime=5.61 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 17561 13062 0 0 550 3 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2.48 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 16207 13062 0 0 235 5 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10846988 memory=836 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10846988 memory=1760 CPUtime=1.38 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 2280 13062 0 0 61 69 5 3 20 0 15 0 473541095 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 2436.32 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2476020 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.60 1.65 3/229 3244
/proc/meminfo: memFree=3866596/32770624 swapFree=67021656/67108860
[pid=2801] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2497.41 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 1567975 13062 0 0 249054 679 5 3 20 0 15 0 473541078 11107315712 619005 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2711747 619005 3634 1 0 2673805 0
[pid=2801/tid=2854] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2416.58 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 1212592 13062 0 0 241392 258 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284863246336 140284470461981 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.06 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 71146 13062 0 0 1303 95 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.06 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 59484 13062 0 0 1318 80 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.04 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 64795 13062 0 0 1315 81 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.02 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 63472 13062 0 0 1307 87 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10846988 memory=3280 CPUtime=9.92 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 36128 13062 0 0 926 58 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 40 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284349842720 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10846988 memory=41272 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 7 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284235080448 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10846988 memory=1040 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10846988 memory=2476020 CPUtime=5.83 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 21974 13062 0 0 571 4 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10846988 memory=2476020 CPUtime=5.61 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 17567 13062 0 0 550 3 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2.49 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 16216 13062 0 0 236 5 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10846988 memory=1244 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10846988 memory=2476020 CPUtime=1.42 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 2342 13062 0 0 63 71 5 3 20 0 15 0 473541095 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 2497.41 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2476020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.5 s]
/proc/loadavg: 1.56 1.61 1.65 3/228 3248
/proc/meminfo: memFree=3865528/32770624 swapFree=67021656/67108860
[pid=2801] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2520.02 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 1571810 13062 0 0 251311 683 5 3 20 0 15 0 473541078 11107315712 619005 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2711747 619005 3634 1 0 2673805 0
[pid=2801/tid=2854] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2438.54 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 1214009 13062 0 0 243587 259 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284863246176 140284472551818 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.21 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 71197 13062 0 0 1317 96 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.2 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 60671 13062 0 0 1331 81 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.18 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 65431 13062 0 0 1329 81 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.14 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 63655 13062 0 0 1319 87 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10846988 memory=281265866382208 CPUtime=10.02 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 36474 13062 0 0 935 59 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 40 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284349842720 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 7 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284235080448 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10846988 memory=3648 CPUtime=5.83 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 21976 13062 0 0 571 4 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10846988 memory=2476020 CPUtime=5.61 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 17569 13062 0 0 550 3 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2.49 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 16219 13062 0 0 236 5 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10846988 memory=2476020 CPUtime=1.43 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 2350 13062 0 0 63 72 5 3 20 0 15 0 473541095 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2476020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.6 s]
# the end of solver process 2801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.18 s, system=6.94386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.5 s]
/proc/loadavg: 1.56 1.61 1.65 3/228 3248
/proc/meminfo: memFree=3865528/32770624 swapFree=67021656/67108860
[pid=2801] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2520.02 cores=1,3,5,7
/proc/2801/stat : 2801 (java) S 2798 2801 1397 0 -1 1077944320 1571810 13062 0 0 251311 683 5 3 20 0 15 0 473541078 11107315712 619005 33554432000 4194304 4196468 140725938780880 140725938763424 140284891410167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
/proc/2801/statm: 2711747 619005 3634 1 0 2673805 0
[pid=2801/tid=2854] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2438.54 cores=1,3,5,7
/proc/2801/task/2854/stat : 2854 (java) R 2798 2801 1397 0 -1 4202560 1214009 13062 0 0 243587 259 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284863246176 140284472551818 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2855] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.21 cores=1,3,5,7
/proc/2801/task/2855/stat : 2855 (java) S 2798 2801 1397 0 -1 1077944384 71197 13062 0 0 1317 96 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284895652880 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2856] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.2 cores=1,3,5,7
/proc/2801/task/2856/stat : 2856 (java) S 2798 2801 1397 0 -1 1077944384 60671 13062 0 0 1331 81 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284783926416 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2857] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.18 cores=1,3,5,7
/proc/2801/task/2857/stat : 2857 (java) S 2798 2801 1397 0 -1 1077944384 65431 13062 0 0 1329 81 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284782873360 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2858] ppid=2798 vsize=10846988 memory=2476020 CPUtime=14.14 cores=1,3,5,7
/proc/2801/task/2858/stat : 2858 (java) S 2798 2801 1397 0 -1 1077944384 63655 13062 0 0 1319 87 5 3 20 0 15 0 473541087 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284781820816 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2859] ppid=2798 vsize=10846988 memory=281265866382208 CPUtime=10.02 cores=1,3,5,7
/proc/2801/task/2859/stat : 2859 (java) S 2798 2801 1397 0 -1 1077944384 36474 13062 0 0 935 59 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284350896368 140284891421314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2860] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2860/stat : 2860 (java) S 2798 2801 1397 0 -1 1077944384 40 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284349842720 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2861] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2861/stat : 2861 (java) S 2798 2801 1397 0 -1 1077944384 7 13062 0 0 0 0 5 3 20 0 15 0 473541089 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284235080448 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2862] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2862/stat : 2862 (java) S 2798 2801 1397 0 -1 1077944384 2 13062 0 0 0 0 5 3 20 0 15 0 473541092 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283631101904 140284891428763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2863] ppid=2798 vsize=10846988 memory=3648 CPUtime=5.83 cores=1,3,5,7
/proc/2801/task/2863/stat : 2863 (java) S 2798 2801 1397 0 -1 1077944384 21976 13062 0 0 571 4 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284316285680 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2864] ppid=2798 vsize=10846988 memory=2476020 CPUtime=5.61 cores=1,3,5,7
/proc/2801/task/2864/stat : 2864 (java) S 2798 2801 1397 0 -1 1077944384 17569 13062 0 0 550 3 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284315233136 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2865] ppid=2798 vsize=10846988 memory=2476020 CPUtime=2.49 cores=1,3,5,7
/proc/2801/task/2865/stat : 2865 (java) S 2798 2801 1397 0 -1 1077944384 16219 13062 0 0 236 5 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284314180080 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2866] ppid=2798 vsize=10846988 memory=2476020 CPUtime=0.08 cores=1,3,5,7
/proc/2801/task/2866/stat : 2866 (java) S 2798 2801 1397 0 -1 1077944384 3 13062 0 0 0 0 5 3 20 0 15 0 473541094 11107315712 619005 33554432000 4194304 4196468 140725938780880 140283161340768 140284891420373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
[pid=2801/tid=2867] ppid=2798 vsize=10846988 memory=2476020 CPUtime=1.43 cores=1,3,5,7
/proc/2801/task/2867/stat : 2867 (java) S 2798 2801 1397 0 -1 1077944384 2350 13062 0 0 63 72 5 3 20 0 15 0 473541095 11107315712 619005 33554432000 4194304 4196468 140725938780880 140284313127472 140284891421314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 7553024 140725938784867 140725938787509 140725938787509 140725938790351 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2476020 KiB
Child status: 143
Real time (s): 2464.6
CPU time (s): 2520.13
CPU user time (s): 2513.18
CPU system time (s): 6.94386
CPU usage (%): 102.253
Max. virtual memory (cumulated for all children) (KiB): 10849656
Max. memory (cumulated for all children) (KiB): 2943400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.18
system time used= 6.94386
maximum resident set size= 2943624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1587786
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267565
involuntary context switches= 5157
# summary of solver processes directly reported to runsolver:
# pid: 2801
# total CPU time (s): 2520.13
# total CPU user time (s): 2513.18
# total CPU system time (s): 6.94386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.59 second user time and 26.7648 second system time
The end