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 (15340 MiB free)
memory of node 1: 16384 MiB (12362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262999-1502620202/watcher-4262999-1502620202 -o /tmp/evaluation-result-4262999-1502620202/solver-4262999-1502620202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502615983-3943 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262999-1502620202.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4737, runsolver pid=4734
[startup+0.106003 s]*
/proc/loadavg: 1.98 1.97 2.03 5/216 4752
/proc/meminfo: memFree=28351044/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10555400 memory=29932 CPUtime=0.13 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 6574 0 0 0 12 1 0 0 20 0 15 0 95107870 10808729600 7483 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2638850 7483 2820 1 0 2627263 0
[pid=4737/tid=4739] ppid=4734 vsize=10555400 memory=8326441112148417179 CPUtime=0.1 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) R 4734 4737 32402 0 -1 4202560 4413 0 0 0 9 1 0 0 20 0 15 0 95107870 10808729600 7483 33554432000 4194304 4196468 140722825803104 140143230083376 140143209928030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 7483 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 7483 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 7483 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 7483 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95107872 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95107873 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142783841440 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95107873 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142782788336 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107875 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) R 4734 4737 32402 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 95107875 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142780685040 140143225858690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107875 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0.02 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) R 4734 4737 32402 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 95107875 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142778579440 140143225859478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107876 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107876 10808729600 7483 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29932 KiB
[startup+0.210681 s]*
/proc/loadavg: 1.98 1.97 2.03 3/216 4752
/proc/meminfo: memFree=28341988/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10555400 memory=39436 CPUtime=0.29 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 7964 0 0 0 27 2 0 0 20 0 15 0 95107870 10808729600 9859 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2638850 9859 2907 1 0 2627263 0
[pid=4737/tid=4739] ppid=4734 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) R 4734 4737 32402 0 -1 4202560 5185 0 0 0 18 1 0 0 20 0 15 0 95107870 10808729600 9859 33554432000 4194304 4196468 140722825803104 140143230080192 140143208380591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10555400 memory=339 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 9859 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10555400 memory=140024165044515 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 9859 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 9859 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95107871 10808729600 9859 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95107872 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95107873 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142783841440 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95107873 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142782788336 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107875 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) S 4734 4737 32402 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 95107875 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142780685040 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 15 0 95107875 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0.05 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) R 4734 4737 32402 0 -1 4202560 796 0 0 0 5 0 0 0 20 0 15 0 95107875 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142778579440 140143204981620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107876 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10555400 memory=140024165029504 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107876 10808729600 9859 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39436 KiB
[startup+0.318214 s]*
/proc/loadavg: 1.98 1.97 2.03 5/216 4752
/proc/meminfo: memFree=28333860/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10555476 memory=48304 CPUtime=0.56 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 8626 0 0 0 53 3 0 0 20 0 15 0 95107870 10808807424 12076 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2638869 12076 3048 1 0 2627263 0
[pid=4737/tid=4739] ppid=4734 vsize=10555476 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) R 4734 4737 32402 0 -1 4202560 5549 0 0 0 28 2 0 0 20 0 15 0 95107870 10808807424 12076 33554432000 4194304 4196468 140722825803104 140143230083168 140143225859478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 12076 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10555476 memory=140024165087520 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 12076 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 12076 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 12076 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10555476 memory=140024165094432 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95107872 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95107873 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142783841440 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95107873 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142782788336 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107875 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10555476 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) R 4734 4737 32402 0 -1 4202560 660 0 0 0 5 0 0 0 20 0 15 0 95107875 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142780671504 140143207370030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10555476 memory=140024054140431 CPUtime=0.06 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 164 0 0 0 6 0 0 0 20 0 15 0 95107875 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10555476 memory=140024165034118 CPUtime=0.13 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) S 4734 4737 32402 0 -1 1077944384 889 0 0 0 13 0 0 0 20 0 15 0 95107875 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142778579440 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10555476 memory=140024054144975 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107876 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10555476 memory=280048219191232 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107876 10808807424 12076 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 48304 KiB
[startup+0.700716 s]
/proc/loadavg: 1.98 1.97 2.03 6/216 4752
/proc/meminfo: memFree=28200124/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10555476 memory=236664 CPUtime=1.69 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 10429 0 0 0 161 8 0 0 20 0 15 0 95107870 10808807424 59166 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2638869 59166 3111 1 0 2627263 0
[pid=4737/tid=4739] ppid=4734 vsize=10555476 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) R 4734 4737 32402 0 -1 4202560 5979 0 0 0 62 4 0 0 20 0 15 0 95107870 10808807424 59166 33554432000 4194304 4196468 140722825803104 140143230048016 140142856689912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10555476 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 59166 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10555476 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 59166 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10555476 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 59166 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10555476 memory=15512 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 95107871 10808807424 59166 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95107872 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95107873 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142783841440 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95107873 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142782788336 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107875 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10555476 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) R 4734 4737 32402 0 -1 4202560 1107 0 0 0 38 0 0 0 20 0 15 0 95107875 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142780675632 140143210662090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10555476 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) R 4734 4737 32402 0 -1 4202560 706 0 0 0 35 0 0 0 20 0 15 0 95107875 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142779612560 140143210769480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10555476 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) S 4734 4737 32402 0 -1 1077944384 1133 0 0 0 23 0 0 0 20 0 15 0 95107875 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142778579440 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95107876 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95107876 10808807424 59166 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 236664 KiB
[startup+1.50071 s]
/proc/loadavg: 1.98 1.97 2.03 6/216 4752
/proc/meminfo: memFree=27956612/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10555476 memory=595376 CPUtime=4.41 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 15415 0 0 0 400 41 0 0 20 0 15 0 95107870 10808807424 148844 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2638869 148844 3138 1 0 2627263 0
[pid=4737/tid=4739] ppid=4734 vsize=10555476 memory=3467825826311516226 CPUtime=1.01 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) S 4734 4737 32402 0 -1 1077944384 6033 0 0 0 95 6 0 0 20 0 15 0 95107870 10808807424 148844 33554432000 4194304 4196468 140722825803104 140143229906768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10555476 memory=416424 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) R 4734 4737 32402 0 -1 4202560 433 0 0 0 38 7 0 0 20 0 15 0 95107871 10808807424 148844 33554432000 4194304 4196468 140722825803104 140143178468568 140143210545190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10555476 memory=2241 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) R 4734 4737 32402 0 -1 4202560 315 0 0 0 37 8 0 0 20 0 15 0 95107871 10808807424 148844 33554432000 4194304 4196468 140722825803104 140143177415408 140143218475751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10555476 memory=1200 CPUtime=0.46 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) R 4734 4737 32402 0 -1 4202560 472 0 0 0 38 8 0 0 20 0 15 0 95107871 10808807424 148844 33554432000 4194304 4196468 140722825803104 140143176362664 140143218475751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10555476 memory=15872 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) R 4734 4737 32402 0 -1 4202560 301 0 0 0 38 7 0 0 20 0 15 0 95107871 10808807424 148844 33554432000 4194304 4196468 140722825803104 140143175309808 140143218475751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10555476 memory=15512 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 95107872 10808807424 148844 33554432000 4194304 4196468 140722825803104 140142784893536 140143225857749 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
################
# More data... #
################
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 22754 0 0 0 3248 118 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10622040 memory=6804208 CPUtime=33.68 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 14744 0 0 0 3238 130 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10622040 memory=6804208 CPUtime=6.1 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 16086 0 0 0 606 4 0 0 20 0 16 0 95107872 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95107873 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142783841504 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 95107873 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142782788352 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10622040 memory=6804208 CPUtime=2.27 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) S 4734 4737 32402 0 -1 1077944384 10537 0 0 0 225 2 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142780685040 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10622040 memory=6804208 CPUtime=3.06 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 16722 0 0 0 304 2 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) S 4734 4737 32402 0 -1 1077944384 5986 0 0 0 44 1 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142778579440 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95107876 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10622040 memory=6804208 CPUtime=1.58 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 2714 0 0 0 74 84 0 0 20 0 16 0 95107876 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4754] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4754/stat : 4754 (java) S 4734 4737 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95116180 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142775419952 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 2430.23 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 6804208 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.92 2.87 3/217 4984
/proc/meminfo: memFree=23992940/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10622040 memory=6804208 CPUtime=2490.28 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 230277 0 0 0 248430 598 0 0 20 0 16 0 95107870 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2655510 1701052 3172 1 0 2643904 0
[pid=4737/tid=4739] ppid=4734 vsize=10622040 memory=2196 CPUtime=2342.2 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) R 4734 4737 32402 0 -1 4202560 99007 0 0 0 234197 23 0 0 20 0 16 0 95107870 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143230084312 140142855048107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10622040 memory=6804208 CPUtime=33.54 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 18647 0 0 0 3231 123 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10622040 memory=6804208 CPUtime=33.59 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 21304 0 0 0 3233 126 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10622040 memory=6804208 CPUtime=33.66 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 22754 0 0 0 3248 118 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10622040 memory=6804208 CPUtime=33.68 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 14744 0 0 0 3238 130 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10622040 memory=6804208 CPUtime=6.11 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 16105 0 0 0 606 5 0 0 20 0 16 0 95107872 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95107873 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142783841504 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 95107873 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142782788352 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10622040 memory=6804208 CPUtime=2.27 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) S 4734 4737 32402 0 -1 1077944384 10546 0 0 0 225 2 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142780685040 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10622040 memory=4100 CPUtime=3.06 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 16980 0 0 0 304 2 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) S 4734 4737 32402 0 -1 1077944384 5995 0 0 0 44 1 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142778579440 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10622040 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95107876 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10622040 memory=6804208 CPUtime=1.62 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 2784 0 0 0 76 86 0 0 20 0 16 0 95107876 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4754] ppid=4734 vsize=10622040 memory=960 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4754/stat : 4754 (java) S 4734 4737 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95116180 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142775419952 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 2490.28 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 6804208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412 s]*
/proc/loadavg: 2.02 2.84 2.84 3/217 4985
/proc/meminfo: memFree=23992328/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10622040 memory=6804208 CPUtime=2520.01 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 231115 0 0 0 251402 599 0 0 20 0 16 0 95107870 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2655510 1701052 3172 1 0 2643904 0
[pid=4737/tid=4739] ppid=4734 vsize=10622040 memory=6935054825532540783 CPUtime=2371.91 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) R 4734 4737 32402 0 -1 4202560 99839 0 0 0 237168 23 0 0 20 0 16 0 95107870 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143230084312 140142855048469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10622040 memory=1224 CPUtime=33.54 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 18647 0 0 0 3231 123 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10622040 memory=8560 CPUtime=33.59 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 21304 0 0 0 3233 126 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10622040 memory=1712 CPUtime=33.66 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 22754 0 0 0 3248 118 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10622040 memory=4612 CPUtime=33.68 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 14744 0 0 0 3238 130 0 0 20 0 16 0 95107871 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10622040 memory=1004 CPUtime=6.11 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 16105 0 0 0 606 5 0 0 20 0 16 0 95107872 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95107873 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142783841504 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 95107873 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142782788352 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10622040 memory=15540 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10622040 memory=27432 CPUtime=2.27 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) S 4734 4737 32402 0 -1 1077944384 10546 0 0 0 225 2 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142780685040 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10622040 memory=1292 CPUtime=3.06 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 16980 0 0 0 304 2 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10622040 memory=2448 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) S 4734 4737 32402 0 -1 1077944384 5995 0 0 0 44 1 0 0 20 0 16 0 95107875 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142778579440 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10622040 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95107876 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10622040 memory=1948 CPUtime=1.64 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 2790 0 0 0 77 87 0 0 20 0 16 0 95107876 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4754] ppid=4734 vsize=10622040 memory=800 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4754/stat : 4754 (java) S 4734 4737 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95116180 10876968960 1701052 33554432000 4194304 4196468 140722825803104 140142775419952 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 6804208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2412.28 s]
# the end of solver process 4737 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.09 s, system=6.02873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2412.2 s]
/proc/loadavg: 2.02 2.84 2.84 3/217 4985
/proc/meminfo: memFree=23992328/32770624 swapFree=67108860/67108860
[pid=4737] ppid=4734 vsize=10821732 memory=6804436 CPUtime=2520.04 cores=0,2,4,6
/proc/4737/stat : 4737 (java) S 4734 4737 32402 0 -1 1077944320 232025 0 0 0 251405 599 0 0 20 0 17 0 95107870 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140722825785648 140143225847543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
/proc/4737/statm: 2705433 1701109 3174 1 0 2693827 0
[pid=4737/tid=4739] ppid=4734 vsize=10821732 memory=288230617509003574 CPUtime=2371.93 cores=0,2,4,6
/proc/4737/task/4739/stat : 4739 (java) S 4734 4737 32402 0 -1 1077944384 99941 0 0 0 237170 23 0 0 20 0 17 0 95107870 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140143230090416 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4740] ppid=4734 vsize=10821732 memory=15825482151102897 CPUtime=33.54 cores=0,2,4,6
/proc/4737/task/4740/stat : 4740 (java) S 4734 4737 32402 0 -1 1077944384 18647 0 0 0 3231 123 0 0 20 0 17 0 95107871 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140143178468368 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4741] ppid=4734 vsize=10821732 memory=1692 CPUtime=33.59 cores=0,2,4,6
/proc/4737/task/4741/stat : 4741 (java) S 4734 4737 32402 0 -1 1077944384 21304 0 0 0 3233 126 0 0 20 0 17 0 95107871 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140143177415824 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4742] ppid=4734 vsize=10821732 memory=916 CPUtime=33.66 cores=0,2,4,6
/proc/4737/task/4742/stat : 4742 (java) S 4734 4737 32402 0 -1 1077944384 22754 0 0 0 3248 118 0 0 20 0 17 0 95107871 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140143176362768 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4743] ppid=4734 vsize=10821732 memory=3832 CPUtime=33.68 cores=0,2,4,6
/proc/4737/task/4743/stat : 4743 (java) S 4734 4737 32402 0 -1 1077944384 14744 0 0 0 3238 130 0 0 20 0 17 0 95107871 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140143175310224 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4744] ppid=4734 vsize=10821732 memory=6935054825532540783 CPUtime=6.11 cores=0,2,4,6
/proc/4737/task/4744/stat : 4744 (java) S 4734 4737 32402 0 -1 1077944384 16145 0 0 0 606 5 0 0 20 0 17 0 95107872 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142784895216 140143225858690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4745] ppid=4734 vsize=10821732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4745/stat : 4745 (java) S 4734 4737 32402 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 95107873 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142783841504 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4746] ppid=4734 vsize=10821732 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4746/stat : 4746 (java) S 4734 4737 32402 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 95107873 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142782788352 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4747] ppid=4734 vsize=10821732 memory=2820 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4747/stat : 4747 (java) S 4734 4737 32402 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 17 0 95107875 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142781736912 140143225866139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4748] ppid=4734 vsize=10821732 memory=4100 CPUtime=2.27 cores=0,2,4,6
/proc/4737/task/4748/stat : 4748 (java) S 4734 4737 32402 0 -1 1077944384 10546 0 0 0 225 2 0 0 20 0 17 0 95107875 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142780685040 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4749] ppid=4734 vsize=10821732 memory=1156 CPUtime=3.06 cores=0,2,4,6
/proc/4737/task/4749/stat : 4749 (java) S 4734 4737 32402 0 -1 1077944384 16980 0 0 0 304 2 0 0 20 0 17 0 95107875 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142779632496 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4750] ppid=4734 vsize=10821732 memory=3216 CPUtime=0.45 cores=0,2,4,6
/proc/4737/task/4750/stat : 4750 (java) S 4734 4737 32402 0 -1 1077944384 6191 0 0 0 44 1 0 0 20 0 17 0 95107875 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142778579440 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4751] ppid=4734 vsize=10821732 memory=6804208 CPUtime=0 cores=0,2,4,6
/proc/4737/task/4751/stat : 4751 (java) S 4734 4737 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95107876 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142777527136 140143225857749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
[pid=4737/tid=4752] ppid=4734 vsize=10821732 memory=12068 CPUtime=1.64 cores=0,2,4,6
/proc/4737/task/4752/stat : 4752 (java) S 4734 4737 32402 0 -1 1077944384 2790 0 0 0 77 87 0 0 20 0 17 0 95107876 11081453568 1701109 33554432000 4194304 4196468 140722825803104 140142776474160 140143225858690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15872000 140722825806982 140722825807135 140722825807135 140722825809871 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 6804436 KiB
Child status: 143
Real time (s): 2412.28
CPU time (s): 2520.12
CPU user time (s): 2514.09
CPU system time (s): 6.02873
CPU usage (%): 104.471
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 6804436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.09
system time used= 6.02873
maximum resident set size= 6804944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57110
involuntary context switches= 1949
# summary of solver processes directly reported to runsolver:
# pid: 4737
# total CPU time (s): 2520.12
# total CPU user time (s): 2514.09
# total CPU system time (s): 6.02873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8423 second user time and 23.6529 second system time
The end