runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249396-1500765021/watcher-4249396-1500765021 -o /tmp/evaluation-result-4249396-1500765021/solver-4249396-1500765021 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500751505-28468 --watchdog 2560 bin/concrete HOME/instance-4249396-1500765021.xml
pid=31689
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.14 1.92 1.88 3/261 31692
/proc/meminfo: memFree=29818360/32770624 swapFree=6300/330180
[pid=31692] ppid=31689 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (bash) S 31689 31692 28437 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 11768379 9736192 350 33554432000 4194304 5098028 140730114731360 140730114729000 140719112424448 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 13316096 140730114733326 140730114733411 140730114733411 140730114736110 0
/proc/31692/statm: 2377 350 278 221 0 86 0
[startup+0.10019 s]
/proc/loadavg: 2.14 1.92 1.88 3/261 31692
/proc/meminfo: memFree=29818360/32770624 swapFree=6300/330180
[pid=31692] ppid=31689 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (bash) S 31689 31692 28437 0 -1 4202496 878 6420 0 0 0 0 0 1 20 0 1 0 11768379 9871360 377 33554432000 4194304 5098028 140730114731360 140730114725368 140719112424448 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 13316096 140730114733326 140730114733411 140730114733411 140730114736110 0
/proc/31692/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200418 s]
/proc/loadavg: 2.14 1.92 1.88 3/261 31692
/proc/meminfo: memFree=29818360/32770624 swapFree=6300/330180
[pid=31692] ppid=31689 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 4887 12549 0 0 6 1 8 4 20 0 13 0 11768379 10686320640 5241 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2608965 5241 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300391 s]
/proc/loadavg: 2.14 1.92 1.88 3/261 31692
/proc/meminfo: memFree=29818360/32770624 swapFree=6300/330180
[pid=31692] ppid=31689 vsize=10902292 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 8818 12549 0 0 22 2 8 4 20 0 20 0 11768379 11163947008 10531 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2725573 10531 2909 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.7002 s]
/proc/loadavg: 2.14 1.92 1.88 3/261 31692
/proc/meminfo: memFree=29818360/32770624 swapFree=6300/330180
[pid=31692] ppid=31689 vsize=10902720 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 13091 12549 0 0 84 4 8 4 20 0 20 0 11768379 11164385280 16407 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2725680 16407 3230 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720
[startup+1.50121 s]
/proc/loadavg: 2.14 1.92 1.88 3/281 31765
/proc/meminfo: memFree=29711060/32770624 swapFree=6300/330200
[pid=31692] ppid=31689 vsize=10913344 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 27667 12549 0 0 205 15 8 4 20 0 20 0 11768379 11175264256 44134 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2728336 44134 3406 1 0 2716450 0
[pid=31692/tid=31747] ppid=31689 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31747/stat : 31747 (java) R 31689 31692 28437 0 -1 4202560 19723 12549 0 0 126 5 8 4 20 0 20 0 11768392 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487497217968 140487122057551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31748] ppid=31689 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31748/stat : 31748 (java) S 31689 31692 28437 0 -1 1077944384 40 12549 0 0 0 1 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487445609104 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31749] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31749/stat : 31749 (java) S 31689 31692 28437 0 -1 1077944384 19 12549 0 0 0 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487444556304 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31750] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31750/stat : 31750 (java) S 31689 31692 28437 0 -1 1077944384 15 12549 0 0 0 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487443503504 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31751] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31751/stat : 31751 (java) S 31689 31692 28437 0 -1 1077944384 104 12549 0 0 0 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487442450704 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31752] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31752/stat : 31752 (java) S 31689 31692 28437 0 -1 1077944384 19 12549 0 0 0 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487095409808 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31753] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31753/stat : 31753 (java) S 31689 31692 28437 0 -1 1077944384 55 12549 0 0 0 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487094357008 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31754] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31754/stat : 31754 (java) S 31689 31692 28437 0 -1 1077944384 31 12549 0 0 0 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487093304208 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31755] ppid=31689 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31755/stat : 31755 (java) S 31689 31692 28437 0 -1 1077944384 54 12549 0 0 1 0 8 4 20 0 20 0 11768393 11175264256 44134 33554432000 4194304 4196468 140723383748032 140487092251408 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31756] ppid=31689 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31756/stat : 31756 (java) S 31689 31692 28437 0 -1 1077944384 1608 12549 0 0 1 0 8 4 20 0 20 0 11768395 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486966749552 140487492999810 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31757] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31757/stat : 31757 (java) S 31689 31692 28437 0 -1 1077944384 57 12549 0 0 0 0 8 4 20 0 20 0 11768396 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486965695584 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31758] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31758/stat : 31758 (java) S 31689 31692 28437 0 -1 1077944384 46 12549 0 0 0 0 8 4 20 0 20 0 11768396 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486964642672 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31759] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31759/stat : 31759 (java) S 31689 31692 28437 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486963590992 140487493007259 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31760] ppid=31689 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31760/stat : 31760 (java) S 31689 31692 28437 0 -1 1077944384 798 12549 0 0 10 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486962539376 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31761] ppid=31689 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31761/stat : 31761 (java) R 31689 31692 28437 0 -1 1077944384 619 12549 0 0 16 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486961486576 140487492999810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31762] ppid=31689 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31762/stat : 31762 (java) R 31689 31692 28437 0 -1 4202560 884 12549 0 0 15 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486960433776 140487492999810 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31763] ppid=31689 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) R 31689 31692 28437 0 -1 4202560 1457 12549 0 0 27 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486959380976 140487493000598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31764/stat : 31764 (java) S 31689 31692 28437 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486958328416 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31765] ppid=31689 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31765/stat : 31765 (java) S 31689 31692 28437 0 -1 1077944384 6 12549 0 0 0 0 8 4 20 0 20 0 11768400 11175264256 44134 33554432000 4194304 4196468 140723383748032 140486957275696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10913344
[startup+3.10085 s]
/proc/loadavg: 2.14 1.92 1.88 2/259 31801
/proc/meminfo: memFree=31289672/32770624 swapFree=6300/330204
[pid=31692] ppid=31689 vsize=10925820 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 46430 12549 0 0 583 29 8 4 20 0 20 0 11768379 11188039680 77933 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2731455 77933 3482 1 0 2719010 0
[pid=31692/tid=31747] ppid=31689 vsize=10925820 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31747/stat : 31747 (java) R 31689 31692 28437 0 -1 4202560 33094 12549 0 0 279 8 8 4 20 0 20 0 11768392 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487497194752 140487493010589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31748] ppid=31689 vsize=10925820 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31748/stat : 31748 (java) S 31689 31692 28437 0 -1 1077944384 56 12549 0 0 1 2 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487445609104 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31749] ppid=31689 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31749/stat : 31749 (java) S 31689 31692 28437 0 -1 1077944384 30 12549 0 0 1 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487444556304 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31750] ppid=31689 vsize=10925820 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31750/stat : 31750 (java) S 31689 31692 28437 0 -1 1077944384 29 12549 0 0 2 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487443503504 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31751] ppid=31689 vsize=10925820 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31751/stat : 31751 (java) S 31689 31692 28437 0 -1 1077944384 141 12549 0 0 2 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487442450704 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31752] ppid=31689 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31752/stat : 31752 (java) S 31689 31692 28437 0 -1 1077944384 25 12549 0 0 1 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487095409808 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31753] ppid=31689 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31753/stat : 31753 (java) S 31689 31692 28437 0 -1 1077944384 151 12549 0 0 1 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487094357008 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31754] ppid=31689 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31754/stat : 31754 (java) S 31689 31692 28437 0 -1 1077944384 37 12549 0 0 1 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487093304208 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31755] ppid=31689 vsize=10925820 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31755/stat : 31755 (java) S 31689 31692 28437 0 -1 1077944384 67 12549 0 0 2 1 8 4 20 0 20 0 11768393 11188039680 77933 33554432000 4194304 4196468 140723383748032 140487092251408 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31756] ppid=31689 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31756/stat : 31756 (java) S 31689 31692 28437 0 -1 1077944384 1894 12549 0 0 1 0 8 4 20 0 20 0 11768395 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486966749552 140487492999810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31757] ppid=31689 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31757/stat : 31757 (java) S 31689 31692 28437 0 -1 1077944384 57 12549 0 0 0 0 8 4 20 0 20 0 11768396 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486965695584 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31758] ppid=31689 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31758/stat : 31758 (java) S 31689 31692 28437 0 -1 1077944384 46 12549 0 0 0 0 8 4 20 0 20 0 11768396 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486964642688 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31759] ppid=31689 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31759/stat : 31759 (java) S 31689 31692 28437 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486963590992 140487493007259 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31760] ppid=31689 vsize=10925820 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31760/stat : 31760 (java) S 31689 31692 28437 0 -1 1077944384 1870 12549 0 0 59 1 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486962539376 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31761] ppid=31689 vsize=10925820 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31761/stat : 31761 (java) S 31689 31692 28437 0 -1 1077944384 1666 12549 0 0 73 1 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486961486576 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31762] ppid=31689 vsize=10925820 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31762/stat : 31762 (java) R 31689 31692 28437 0 -1 4202560 1707 12549 0 0 62 0 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486960434072 140487477823489 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31763] ppid=31689 vsize=10925820 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) S 31689 31692 28437 0 -1 1077944384 3421 12549 0 0 89 1 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486959380976 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31764/stat : 31764 (java) S 31689 31692 28437 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486958328416 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31765] ppid=31689 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31765/stat : 31765 (java) S 31689 31692 28437 0 -1 1077944384 7 12549 0 0 0 0 8 4 20 0 20 0 11768400 11188039680 77933 33554432000 4194304 4196468 140723383748032 140486957275696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10925820
[startup+6.30091 s]
/proc/loadavg: 2.05 1.91 1.88 3/281 31905
/proc/meminfo: memFree=30723600/32770624 swapFree=6300/330268
[pid=31692] ppid=31689 vsize=10927868 CPUtime=12.34 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 51233 12549 0 0 1165 57 8 4 20 0 20 0 11768379 11190136832 116567 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2731967 116567 3488 1 0 2719522 0
[pid=31692/tid=31747] ppid=31689 vsize=10927868 CPUtime=6.11 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31747/stat : 31747 (java) R 31689 31692 28437 0 -1 4202560 34823 12549 0 0 589 10 8 4 20 0 20 0 11768392 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487497221512 140487132975823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31748] ppid=31689 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31748/stat : 31748 (java) S 31689 31692 28437 0 -1 1077944384 87 12549 0 0 3 5 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487445609104 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31749] ppid=31689 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31749/stat : 31749 (java) S 31689 31692 28437 0 -1 1077944384 55 12549 0 0 3 5 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487444556304 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31750] ppid=31689 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31750/stat : 31750 (java) S 31689 31692 28437 0 -1 1077944384 54 12549 0 0 4 4 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487443503504 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31751] ppid=31689 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31751/stat : 31751 (java) S 31689 31692 28437 0 -1 1077944384 166 12549 0 0 4 4 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487442450704 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31752] ppid=31689 vsize=10927868 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31752/stat : 31752 (java) S 31689 31692 28437 0 -1 1077944384 50 12549 0 0 3 3 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487095409808 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31753] ppid=31689 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31753/stat : 31753 (java) S 31689 31692 28437 0 -1 1077944384 188 12549 0 0 4 4 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487094357008 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31754] ppid=31689 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31754/stat : 31754 (java) S 31689 31692 28437 0 -1 1077944384 63 12549 0 0 3 4 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487093304208 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31755] ppid=31689 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31755/stat : 31755 (java) S 31689 31692 28437 0 -1 1077944384 96 12549 0 0 4 4 8 4 20 0 20 0 11768393 11190136832 116567 33554432000 4194304 4196468 140723383748032 140487092251408 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31756] ppid=31689 vsize=10927868 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31756/stat : 31756 (java) S 31689 31692 28437 0 -1 1077944384 2030 12549 0 0 3 1 8 4 20 0 20 0 11768395 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486966749552 140487492999810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31757] ppid=31689 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31757/stat : 31757 (java) S 31689 31692 28437 0 -1 1077944384 57 12549 0 0 0 0 8 4 20 0 20 0 11768396 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486965695584 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31758] ppid=31689 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31758/stat : 31758 (java) S 31689 31692 28437 0 -1 1077944384 46 12549 0 0 0 0 8 4 20 0 20 0 11768396 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486964642688 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31759] ppid=31689 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31759/stat : 31759 (java) S 31689 31692 28437 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 11768400 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486963590992 140487493007259 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31760] ppid=31689 vsize=10927868 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31760/stat : 31760 (java) S 31689 31692 28437 0 -1 1077944384 2399 12549 0 0 126 2 8 4 20 0 20 0 11768400 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486962539376 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31761] ppid=31689 vsize=10927868 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31761/stat : 31761 (java) S 31689 31692 28437 0 -1 1077944384 1886 12549 0 0 139 1 8 4 20 0 20 0 11768400 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486961486576 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31762] ppid=31689 vsize=10927868 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31762/stat : 31762 (java) S 31689 31692 28437 0 -1 1077944384 3185 12549 0 0 147 1 8 4 20 0 20 0 11768400 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486960433776 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31763] ppid=31689 vsize=10927868 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) S 31689 31692 28437 0 -1 1077944384 3905 12549 0 0 124 1 8 4 20 0 20 0 11768400 11190136832 116567 33554432000 4194304 4196468 140723383748032 140486959380976 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=31692/tid=31763] ppid=31689 vsize=10997500 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) S 31689 31692 28437 0 -1 1077944384 13784 12549 0 0 207 4 8 4 20 0 20 0 11768400 11261440000 765237 33554432000 4194304 4196468 140723383748032 140486959380976 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31764/stat : 31764 (java) S 31689 31692 28437 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 11768400 11261440000 765237 33554432000 4194304 4196468 140723383748032 140486958328416 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31765] ppid=31689 vsize=10997500 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31765/stat : 31765 (java) S 31689 31692 28437 0 -1 1077944384 1812 12549 0 0 81 72 8 4 20 0 20 0 11768400 11261440000 765237 33554432000 4194304 4196468 140723383748032 140486957275696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 17 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31692 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2342.81 s]
/proc/loadavg: 1.64 1.83 1.83 3/281 32111
/proc/meminfo: memFree=25682248/32770624 swapFree=6300/331740
[pid=31692] ppid=31689 vsize=11130628 CPUtime=2400.51 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 393884 12549 0 0 239298 741 8 4 20 0 22 0 11768379 11397763072 764901 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2782657 764901 3514 1 0 2770212 0
[pid=31692/tid=31747] ppid=31689 vsize=11130628 CPUtime=2333.4 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31747/stat : 31747 (java) S 31689 31692 28437 0 -1 1077944384 191249 12549 0 0 233242 86 8 4 20 0 22 0 11768392 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487497226384 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31748] ppid=31689 vsize=11130628 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31748/stat : 31748 (java) R 31689 31692 28437 0 -1 4202560 6727 12549 0 0 526 74 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487445609304 140487477689296 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31749] ppid=31689 vsize=11130628 CPUtime=6.3 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31749/stat : 31749 (java) R 31689 31692 28437 0 -1 4202560 14905 12549 0 0 546 72 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487444556504 140487477689335 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31750] ppid=31689 vsize=11130628 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31750/stat : 31750 (java) R 31689 31692 28437 0 -1 4202560 9447 12549 0 0 530 71 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487443503704 140487477689351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31751] ppid=31689 vsize=11130628 CPUtime=6.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31751/stat : 31751 (java) R 31689 31692 28437 0 -1 4202560 12072 12549 0 0 538 73 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487442450904 140487477978145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31752] ppid=31689 vsize=11130628 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31752/stat : 31752 (java) R 31689 31692 28437 0 -1 4202560 11568 12549 0 0 549 71 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487095409696 140487477689278 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31753] ppid=31689 vsize=11130628 CPUtime=6.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31753/stat : 31753 (java) R 31689 31692 28437 0 -1 4202560 12062 12549 0 0 540 71 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487094357208 140487477985008 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31754] ppid=31689 vsize=11130628 CPUtime=6.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31754/stat : 31754 (java) R 31689 31692 28437 0 -1 4202560 11499 12549 0 0 539 72 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487093304408 140487474598335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31755] ppid=31689 vsize=11130628 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31755/stat : 31755 (java) R 31689 31692 28437 0 -1 4202560 15055 12549 0 0 542 70 8 4 20 0 22 0 11768393 11397763072 764901 33554432000 4194304 4196468 140723383748032 140487092251608 140487477688080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31756] ppid=31689 vsize=11130628 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31756/stat : 31756 (java) S 31689 31692 28437 0 -1 1077944384 34723 12549 0 0 92 20 8 4 20 0 22 0 11768395 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486966748176 140487492998869 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31757] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31757/stat : 31757 (java) S 31689 31692 28437 0 -1 1077944384 57 12549 0 0 0 0 8 4 20 0 22 0 11768396 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486965695584 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31758] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31758/stat : 31758 (java) S 31689 31692 28437 0 -1 1077944384 46 12549 0 0 0 0 8 4 20 0 22 0 11768396 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486964642688 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31759] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31759/stat : 31759 (java) S 31689 31692 28437 0 -1 1077944384 98 12549 0 0 0 0 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486963590992 140487493007259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31760] ppid=31689 vsize=11130628 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31760/stat : 31760 (java) S 31689 31692 28437 0 -1 1077944384 23086 12549 0 0 454 5 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486962539376 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31761] ppid=31689 vsize=11130628 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31761/stat : 31761 (java) S 31689 31692 28437 0 -1 1077944384 17871 12549 0 0 431 3 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486961486576 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31762] ppid=31689 vsize=11130628 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31762/stat : 31762 (java) S 31689 31692 28437 0 -1 1077944384 15572 12549 0 0 438 3 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486960433776 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31763] ppid=31689 vsize=11130628 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) S 31689 31692 28437 0 -1 1077944384 13784 12549 0 0 207 4 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486959380976 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31764/stat : 31764 (java) S 31689 31692 28437 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486958328416 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31765] ppid=31689 vsize=11130628 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31765/stat : 31765 (java) S 31689 31692 28437 0 -1 1077944384 1812 12549 0 0 81 72 8 4 20 0 22 0 11768400 11397763072 764901 33554432000 4194304 4196468 140723383748032 140486957275696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
Current children cumulated CPU time (s) 2400.51
Current children cumulated vsize (KiB) 11130628
[startup+2343 s]
/proc/loadavg: 1.64 1.83 1.83 3/283 32113
/proc/meminfo: memFree=25688436/32770624 swapFree=6300/331740
[pid=31692] ppid=31689 vsize=11130628 CPUtime=2401.83 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 394094 12549 0 0 239429 742 8 4 20 0 22 0 11768379 11397763072 763747 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2782657 763747 3514 1 0 2770212 0
[pid=31692/tid=31747] ppid=31689 vsize=11130628 CPUtime=2333.4 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31747/stat : 31747 (java) S 31689 31692 28437 0 -1 1077944384 191249 12549 0 0 233242 86 8 4 20 0 22 0 11768392 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487497226384 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31748] ppid=31689 vsize=11130628 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31748/stat : 31748 (java) R 31689 31692 28437 0 -1 4202560 6728 12549 0 0 541 74 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487445609304 140487474598451 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31749] ppid=31689 vsize=11130628 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31749/stat : 31749 (java) R 31689 31692 28437 0 -1 4202560 14905 12549 0 0 563 72 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487444556504 140487477687631 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31750] ppid=31689 vsize=11130628 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31750/stat : 31750 (java) R 31689 31692 28437 0 -1 4202560 9447 12549 0 0 546 71 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487443503704 140487474598434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31751] ppid=31689 vsize=11130628 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31751/stat : 31751 (java) R 31689 31692 28437 0 -1 4202560 12072 12549 0 0 554 73 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487442450704 140487477985064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31752] ppid=31689 vsize=11130628 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31752/stat : 31752 (java) R 31689 31692 28437 0 -1 4202560 11568 12549 0 0 564 71 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487095409808 140487477985060 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31753] ppid=31689 vsize=11130628 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31753/stat : 31753 (java) R 31689 31692 28437 0 -1 4202560 12063 12549 0 0 557 71 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487094357208 140487474598349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31754] ppid=31689 vsize=11130628 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31754/stat : 31754 (java) R 31689 31692 28437 0 -1 4202560 11499 12549 0 0 556 72 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487093304408 140487477985067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31755] ppid=31689 vsize=11130628 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31755/stat : 31755 (java) R 31689 31692 28437 0 -1 4202560 15055 12549 0 0 557 70 8 4 20 0 22 0 11768393 11397763072 763747 33554432000 4194304 4196468 140723383748032 140487092251608 140487474598439 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31756] ppid=31689 vsize=11130628 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31756/stat : 31756 (java) S 31689 31692 28437 0 -1 1077944384 34928 12549 0 0 95 20 8 4 20 0 22 0 11768395 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486966748176 140487492998869 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31757] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31757/stat : 31757 (java) S 31689 31692 28437 0 -1 1077944384 58 12549 0 0 0 0 8 4 20 0 22 0 11768396 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486965695488 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31758] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31758/stat : 31758 (java) S 31689 31692 28437 0 -1 1077944384 46 12549 0 0 0 0 8 4 20 0 22 0 11768396 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486964642688 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31759] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31759/stat : 31759 (java) S 31689 31692 28437 0 -1 1077944384 98 12549 0 0 0 0 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486963590992 140487493007259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31760] ppid=31689 vsize=11130628 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31760/stat : 31760 (java) S 31689 31692 28437 0 -1 1077944384 23086 12549 0 0 454 5 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486962539376 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31761] ppid=31689 vsize=11130628 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31761/stat : 31761 (java) S 31689 31692 28437 0 -1 1077944384 17871 12549 0 0 431 3 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486961486576 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31762] ppid=31689 vsize=11130628 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31762/stat : 31762 (java) S 31689 31692 28437 0 -1 1077944384 15572 12549 0 0 438 3 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486960433776 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31763] ppid=31689 vsize=11130628 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) S 31689 31692 28437 0 -1 1077944384 13784 12549 0 0 207 4 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486959380976 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31764/stat : 31764 (java) S 31689 31692 28437 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486958328416 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31765] ppid=31689 vsize=11130628 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31765/stat : 31765 (java) S 31689 31692 28437 0 -1 1077944384 1812 12549 0 0 81 72 8 4 20 0 22 0 11768400 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486957275696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=32112] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/32112/stat : 32112 (java) S 31689 31692 28437 0 -1 1077944384 93 12549 0 0 0 0 8 4 20 0 22 0 12002650 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486926479472 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=32113] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/32113/stat : 32113 (java) S 31689 31692 28437 0 -1 1077944384 27 12549 0 0 0 0 8 4 20 0 22 0 12002650 11397763072 763747 33554432000 4194304 4196468 140723383748032 140486925427392 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
Current children cumulated CPU time (s) 2401.83
Current children cumulated vsize (KiB) 11130628
[startup+2343.11 s]
/proc/loadavg: 1.64 1.83 1.83 3/283 32113
/proc/meminfo: memFree=25688436/32770624 swapFree=6300/331740
[pid=31692] ppid=31689 vsize=11130628 CPUtime=2402.44 cores=0,2,4,6,8,10,12,14
/proc/31692/stat : 31692 (java) S 31689 31692 28437 0 -1 1077944320 394131 12549 0 0 239490 742 8 4 20 0 22 0 11768379 11397763072 761566 33554432000 4194304 4196468 140723383748032 140723383730576 140487492988663 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
/proc/31692/statm: 2782657 761566 3514 1 0 2770212 0
[pid=31692/tid=31747] ppid=31689 vsize=11130628 CPUtime=2333.4 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31747/stat : 31747 (java) S 31689 31692 28437 0 -1 1077944384 191249 12549 0 0 233242 86 8 4 20 0 22 0 11768392 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487497226384 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31748] ppid=31689 vsize=11130628 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31748/stat : 31748 (java) R 31689 31692 28437 0 -1 4202560 6728 12549 0 0 549 74 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487445609104 140487477686302 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31749] ppid=31689 vsize=11130628 CPUtime=6.55 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31749/stat : 31749 (java) R 31689 31692 28437 0 -1 4202560 14906 12549 0 0 571 72 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487444556504 140487477686245 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31750] ppid=31689 vsize=11130628 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31750/stat : 31750 (java) R 31689 31692 28437 0 -1 4202560 9447 12549 0 0 552 71 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487443503504 140487474585042 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31751] ppid=31689 vsize=11130628 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31751/stat : 31751 (java) R 31689 31692 28437 0 -1 4202560 12072 12549 0 0 562 73 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487442450704 140487477973959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31752] ppid=31689 vsize=11130628 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31752/stat : 31752 (java) R 31689 31692 28437 0 -1 4202560 11568 12549 0 0 573 71 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487095409808 140487474666358 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31753] ppid=31689 vsize=11130628 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31753/stat : 31753 (java) R 31689 31692 28437 0 -1 4202560 12063 12549 0 0 564 71 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487094357008 140487474585686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31754] ppid=31689 vsize=11130628 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31754/stat : 31754 (java) R 31689 31692 28437 0 -1 4202560 11499 12549 0 0 563 72 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487093304208 140487474585674 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31755] ppid=31689 vsize=11130628 CPUtime=6.46 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31755/stat : 31755 (java) R 31689 31692 28437 0 -1 4202560 15055 12549 0 0 564 70 8 4 20 0 22 0 11768393 11397763072 761566 33554432000 4194304 4196468 140723383748032 140487092251408 140487474585121 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31756] ppid=31689 vsize=11130628 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31756/stat : 31756 (java) S 31689 31692 28437 0 -1 1077944384 34963 12549 0 0 97 20 8 4 20 0 22 0 11768395 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486966747952 140487492998869 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31757] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31757/stat : 31757 (java) S 31689 31692 28437 0 -1 1077944384 59 12549 0 0 0 0 8 4 20 0 22 0 11768396 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486965695488 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31758] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31758/stat : 31758 (java) S 31689 31692 28437 0 -1 1077944384 46 12549 0 0 0 0 8 4 20 0 22 0 11768396 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486964642688 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31759] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31759/stat : 31759 (java) S 31689 31692 28437 0 -1 1077944384 98 12549 0 0 0 0 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486963590992 140487493007259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31760] ppid=31689 vsize=11130628 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31760/stat : 31760 (java) S 31689 31692 28437 0 -1 1077944384 23086 12549 0 0 454 5 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486962539376 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31761] ppid=31689 vsize=11130628 CPUtime=4.46 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31761/stat : 31761 (java) S 31689 31692 28437 0 -1 1077944384 17871 12549 0 0 431 3 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486961486576 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31762] ppid=31689 vsize=11130628 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31762/stat : 31762 (java) S 31689 31692 28437 0 -1 1077944384 15572 12549 0 0 438 3 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486960433776 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31763] ppid=31689 vsize=11130628 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31763/stat : 31763 (java) S 31689 31692 28437 0 -1 1077944384 13784 12549 0 0 207 4 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486959380976 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31764] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31764/stat : 31764 (java) S 31689 31692 28437 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486958328416 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=31765] ppid=31689 vsize=11130628 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/31692/task/31765/stat : 31765 (java) S 31689 31692 28437 0 -1 1077944384 1812 12549 0 0 81 72 8 4 20 0 22 0 11768400 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486957275696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 17 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=32112] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/32112/stat : 32112 (java) S 31689 31692 28437 0 -1 1077944384 93 12549 0 0 0 0 8 4 20 0 22 0 12002650 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486926479472 140487492998869 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
[pid=31692/tid=32113] ppid=31689 vsize=11130628 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31692/task/32113/stat : 32113 (java) S 31689 31692 28437 0 -1 1077944384 27 12549 0 0 0 0 8 4 20 0 22 0 12002650 11397763072 761566 33554432000 4194304 4196468 140723383748032 140486925427696 140487492999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32202752 140723383753409 140723383756183 140723383756183 140723383758799 0
Current children cumulated CPU time (s) 2402.44
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2343.19
CPU time (s): 2402.82
CPU user time (s): 2395.33
CPU system time (s): 7.48665
CPU usage (%): 102.545
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.33
system time used= 7.48665
maximum resident set size= 3239844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91395
involuntary context switches= 130029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3541 second user time and 19.8431 second system time
The end