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 (13383 MiB free)
memory of node 1: 16384 MiB (11359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263474-1502629593/watcher-4263474-1502629593 -o /tmp/evaluation-result-4263474-1502629593/solver-4263474-1502629593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502620619-3501 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263474-1502629593.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4966, runsolver pid=4963
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 3.73 2.54 2.29 3/217 4981
/proc/meminfo: memFree=25321492/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10555400 memory=29360 CPUtime=0.12 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 6918 0 0 0 11 1 0 0 20 0 15 0 96040179 10808729600 7340 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2638850 7340 2812 1 0 2627263 0
[pid=4966/tid=4968] ppid=4963 vsize=10555400 memory=-8968742120854484160 CPUtime=0.09 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) R 4963 4966 3242 0 -1 4202560 4745 0 0 0 8 1 0 0 20 0 15 0 96040179 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032815712192 140032795571550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040181 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96040182 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032115483936 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96040182 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032114431600 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040184 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 96040184 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040184 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0.01 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) R 4963 4966 3242 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 15 0 96040184 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032110221680 140032811512410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040185 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040185 10808729600 7340 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29360 KiB
[startup+0.210482 s]*
/proc/loadavg: 3.73 2.54 2.29 4/217 4981
/proc/meminfo: memFree=25314544/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10555400 memory=36356 CPUtime=0.28 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 7905 0 0 0 25 3 0 0 20 0 15 0 96040179 10808729600 9089 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2638850 9089 2899 1 0 2627263 0
[pid=4966/tid=4968] ppid=4963 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) R 4963 4966 3242 0 -1 4202560 5440 0 0 0 18 2 0 0 20 0 15 0 96040179 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032815724464 140032811502998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10555400 memory=139874218953204 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040180 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040181 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96040182 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032115483936 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96040182 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032114431600 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040184 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 15 0 96040184 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 96040184 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0.04 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) R 4963 4966 3242 0 -1 4202560 479 0 0 0 4 0 0 0 20 0 15 0 96040184 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032110221680 140032811502998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040185 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10555400 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040185 10808729600 9089 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 36356 KiB
[startup+0.31016 s]*
/proc/loadavg: 3.67 2.55 2.30 3/217 4981
/proc/meminfo: memFree=25305448/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10555476 memory=47416 CPUtime=0.49 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 9083 0 0 0 46 3 0 0 20 0 15 0 96040179 10808807424 11854 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2638869 11854 3025 1 0 2627263 0
[pid=4966/tid=4968] ppid=4963 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) R 4963 4966 3242 0 -1 4202560 5793 0 0 0 28 2 0 0 20 0 15 0 96040179 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032815728400 140032811502998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10555476 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040180 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10555476 memory=15960979831928472 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040180 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040180 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040180 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10555476 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96040181 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96040182 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032115483936 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96040182 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032114431600 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040184 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) R 4963 4966 3242 0 -1 4202560 708 0 0 0 3 0 0 0 20 0 15 0 96040184 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032112326768 140032789482619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10555476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) R 4963 4966 3242 0 -1 4202560 312 0 0 0 2 0 0 0 20 0 15 0 96040184 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032111273968 140032790662374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10555476 memory=139874218948224 CPUtime=0.11 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) S 4963 4966 3242 0 -1 1077944384 903 0 0 0 11 0 0 0 20 0 15 0 96040184 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032110221680 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040185 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10555476 memory=139874218948224 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040185 10808807424 11854 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 47416 KiB
[startup+0.700793 s]
/proc/loadavg: 3.67 2.55 2.30 5/217 4981
/proc/meminfo: memFree=25229804/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10555476 memory=233964 CPUtime=1.62 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 11415 0 0 0 149 13 0 0 20 0 15 0 96040179 10808807424 58491 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2638869 58491 3087 1 0 2627263 0
[pid=4966/tid=4968] ppid=4963 vsize=10555476 memory=1732 CPUtime=0.6 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) R 4963 4966 3242 0 -1 4202560 5881 0 0 0 57 3 0 0 20 0 15 0 96040179 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032815722880 140032448739232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10555476 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 42 0 0 0 5 2 0 0 20 0 15 0 96040180 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10555476 memory=12032 CPUtime=0.07 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 33 0 0 0 5 2 0 0 20 0 15 0 96040180 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10555476 memory=5792 CPUtime=0.07 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 37 0 0 0 5 2 0 0 20 0 15 0 96040180 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10555476 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 37 0 0 0 5 2 0 0 20 0 15 0 96040180 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10555476 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96040181 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10555476 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96040182 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032115483936 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10555476 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 96040182 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032114431600 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10555476 memory=6296683629868568929 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040184 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10555476 memory=7519159149027546218 CPUtime=0.27 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 1636 0 0 0 27 0 0 0 20 0 15 0 96040184 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10555476 memory=7523071198212214892 CPUtime=0.27 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 1255 0 0 0 27 0 0 0 20 0 15 0 96040184 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10555476 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) S 4963 4966 3242 0 -1 1077944384 1049 0 0 0 14 0 0 0 20 0 15 0 96040184 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032110221680 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96040185 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10555476 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96040185 10808807424 58491 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 233964 KiB
[startup+1.50159 s]
/proc/loadavg: 3.67 2.55 2.30 6/217 4981
/proc/meminfo: memFree=25024392/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10555476 memory=557484 CPUtime=3.71 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 13343 0 0 0 334 37 0 0 20 0 15 0 96040179 10808807424 139371 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2638869 139371 3106 1 0 2627263 0
[pid=4966/tid=4968] ppid=4963 vsize=10555476 memory=8112282956445269571 CPUtime=1.11 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) S 4963 4966 3242 0 -1 1077944384 5968 0 0 0 107 4 0 0 20 0 15 0 96040179 10808807424 139371 33554432000 4194304 4196468 140723456546848 140032815728000 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10555476 memory=-8754540793456063680 CPUtime=0.32 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) R 4963 4966 3242 0 -1 4202560 159 0 0 0 25 7 0 0 20 0 15 0 96040180 10808807424 139371 33554432000 4194304 4196468 140723456546848 140032417917528 140032796518482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10555476 memory=-2843869621055772062 CPUtime=0.34 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) R 4963 4966 3242 0 -1 4202560 240 0 0 0 27 7 0 0 20 0 15 0 96040180 10808807424 139371 33554432000 4194304 4196468 140723456546848 140032416864416 140032795939278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10555476 memory=5450919713671312938 CPUtime=0.32 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) R 4963 4966 3242 0 -1 4202560 249 0 0 0 25 7 0 0 20 0 15 0 96040180 10808807424 139371 33554432000 4194304 4196468 140723456546848 140032415812440 140032796518482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10555476 memory=7005738693937936738 CPUtime=0.35 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) R 4963 4966 3242 0 -1 4202560 590 0 0 0 27 8 0 0 20 0 15 0 96040180 10808807424 139371 33554432000 4194304 4196468 140723456546848 140032414758824 140032796513184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96040181 10808807424 139371 33554432000 4194304 4196468 140723456546848 140032116536480 140032811501269 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
################
# More data... #
################
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 96040182 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032115484000 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10622040 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 96040182 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032114431616 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10622040 memory=4265808 CPUtime=1.48 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 9295 0 0 0 147 1 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10622040 memory=4265808 CPUtime=1.41 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 8887 0 0 0 140 1 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0.29 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) S 4963 4966 3242 0 -1 1077944384 5605 0 0 0 28 1 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032110221680 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96040185 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10622040 memory=1952 CPUtime=1.29 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 2428 0 0 0 67 62 0 0 20 0 16 0 96040185 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4982] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4982/stat : 4982 (java) S 4963 4966 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 96040752 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032038917296 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 2476.8 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4265808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2484.9 s]
/proc/loadavg: 1.99 2.10 2.65 3/218 5312
/proc/meminfo: memFree=19776548/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10622040 memory=4265808 CPUtime=2520.06 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 196553 0 0 0 251504 502 0 0 20 0 16 0 96040179 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2655510 1066452 3153 1 0 2643904 0
[pid=4966/tid=4968] ppid=4963 vsize=10622040 memory=4265808 CPUtime=2472.69 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) R 4963 4966 3242 0 -1 4202560 93129 0 0 0 247249 20 0 0 20 0 16 0 96040179 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032815730016 140032451741122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10622040 memory=4265808 CPUtime=10.23 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 15125 0 0 0 919 104 0 0 20 0 16 0 96040180 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10622040 memory=3312 CPUtime=10.18 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 18343 0 0 0 912 106 0 0 20 0 16 0 96040180 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10622040 memory=4265808 CPUtime=10.19 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 14068 0 0 0 911 108 0 0 20 0 16 0 96040180 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10622040 memory=4265808 CPUtime=10.27 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 11446 0 0 0 921 106 0 0 20 0 16 0 96040180 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10622040 memory=4265808 CPUtime=1.89 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 16693 0 0 0 185 4 0 0 20 0 16 0 96040181 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 96040182 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032115484000 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 96040182 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032114431616 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10622040 memory=4265808 CPUtime=1.48 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 9302 0 0 0 147 1 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10622040 memory=4265808 CPUtime=1.41 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 8890 0 0 0 140 1 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0.29 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) S 4963 4966 3242 0 -1 1077944384 5614 0 0 0 28 1 0 0 20 0 16 0 96040184 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032110221680 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96040185 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10622040 memory=4265808 CPUtime=1.31 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 2465 0 0 0 68 63 0 0 20 0 16 0 96040185 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4982] ppid=4963 vsize=10622040 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4982/stat : 4982 (java) S 4963 4966 3242 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 96040752 10876968960 1066452 33554432000 4194304 4196468 140723456546848 140032038917296 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4265808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2485.15 s]
# the end of solver process 4966 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.11 s, system=5.04285 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2485.01 s]*
/proc/loadavg: 1.99 2.10 2.65 2/219 5315
/proc/meminfo: memFree=19776408/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10821732 memory=4266032 CPUtime=2520.09 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 197636 0 0 0 251507 502 0 0 20 0 17 0 96040179 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2705433 1066508 3155 1 0 2693827 0
[pid=4966/tid=4968] ppid=4963 vsize=10821732 memory=1196 CPUtime=2472.72 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) S 4963 4966 3242 0 -1 1077944384 93207 0 0 0 247252 20 0 0 20 0 17 0 96040179 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032815733936 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10821732 memory=4872558044660077418 CPUtime=10.23 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 15125 0 0 0 919 104 0 0 20 0 17 0 96040180 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10821732 memory=33 CPUtime=10.18 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 18343 0 0 0 912 106 0 0 20 0 17 0 96040180 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10821732 memory=288230621803970871 CPUtime=10.19 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 14068 0 0 0 911 108 0 0 20 0 17 0 96040180 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10821732 memory=14699582244260269 CPUtime=10.27 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 11446 0 0 0 921 106 0 0 20 0 17 0 96040180 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10821732 memory=1156 CPUtime=1.89 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 16702 0 0 0 185 4 0 0 20 0 17 0 96040181 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10821732 memory=3276 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 17 0 96040182 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032115484000 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 96040182 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032114431616 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10821732 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 96040184 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10821732 memory=1160 CPUtime=1.49 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 9302 0 0 0 148 1 0 0 20 0 17 0 96040184 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10821732 memory=3324 CPUtime=1.41 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 8890 0 0 0 140 1 0 0 20 0 17 0 96040184 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10821732 memory=3917668 CPUtime=0.29 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) S 4963 4966 3242 0 -1 1077944384 6108 0 0 0 28 1 0 0 20 0 17 0 96040184 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032110221680 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10821732 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96040185 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10821732 memory=4872558044660077418 CPUtime=1.31 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 2465 0 0 0 68 63 0 0 20 0 17 0 96040185 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=5313] ppid=4963 vsize=10821732 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4966/task/5313/stat : 5313 (java) S 4963 4966 3242 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 17 0 96288669 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032037864304 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=5314] ppid=4963 vsize=10821732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4966/task/5314/stat : 5314 (java) S 4963 4966 3242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 96288669 11081453568 1066508 33554432000 4194304 4196468 140723456546848 140032036812432 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4266032 KiB
[startup+2485.11 s]
/proc/loadavg: 1.99 2.10 2.65 2/219 5315
/proc/meminfo: memFree=19776408/32770624 swapFree=67108860/67108860
[pid=4966] ppid=4963 vsize=10821732 memory=4266128 CPUtime=2520.1 cores=0,2,4,6
/proc/4966/stat : 4966 (java) S 4963 4966 3242 0 -1 1077944320 198236 0 0 0 251508 502 0 0 20 0 17 0 96040179 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140723456529392 140032811491063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
/proc/4966/statm: 2705433 1066532 3155 1 0 2693827 0
[pid=4966/tid=4968] ppid=4963 vsize=10821732 memory=4265808 CPUtime=2472.72 cores=0,2,4,6
/proc/4966/task/4968/stat : 4968 (java) S 4963 4966 3242 0 -1 1077944384 93207 0 0 0 247252 20 0 0 20 0 17 0 96040179 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032815733936 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4969] ppid=4963 vsize=10821732 memory=4265808 CPUtime=10.23 cores=0,2,4,6
/proc/4966/task/4969/stat : 4969 (java) S 4963 4966 3242 0 -1 1077944384 15125 0 0 0 919 104 0 0 20 0 17 0 96040180 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032417917328 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4970] ppid=4963 vsize=10821732 memory=4265808 CPUtime=10.18 cores=0,2,4,6
/proc/4966/task/4970/stat : 4970 (java) S 4963 4966 3242 0 -1 1077944384 18343 0 0 0 912 106 0 0 20 0 17 0 96040180 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032416864528 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4971] ppid=4963 vsize=10821732 memory=4265808 CPUtime=10.19 cores=0,2,4,6
/proc/4966/task/4971/stat : 4971 (java) S 4963 4966 3242 0 -1 1077944384 14068 0 0 0 911 108 0 0 20 0 17 0 96040180 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032415812240 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4972] ppid=4963 vsize=10821732 memory=4265808 CPUtime=10.27 cores=0,2,4,6
/proc/4966/task/4972/stat : 4972 (java) S 4963 4966 3242 0 -1 1077944384 11446 0 0 0 921 106 0 0 20 0 17 0 96040180 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032414759440 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4973] ppid=4963 vsize=10821732 memory=4265808 CPUtime=1.89 cores=0,2,4,6
/proc/4966/task/4973/stat : 4973 (java) S 4963 4966 3242 0 -1 1077944384 16702 0 0 0 185 4 0 0 20 0 17 0 96040181 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032116537968 140032811502210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4974] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4974/stat : 4974 (java) S 4963 4966 3242 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 17 0 96040182 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032115484000 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4975] ppid=4963 vsize=10821732 memory=3312 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4975/stat : 4975 (java) S 4963 4966 3242 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 96040182 11081453568 1066532 33554432000 4194304 4196468 140723456546848 140032114431616 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4976] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4976/stat : 4976 (java) S 4963 4966 3242 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 96040184 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032113379920 140032811509659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4977] ppid=4963 vsize=10821732 memory=4265808 CPUtime=1.49 cores=0,2,4,6
/proc/4966/task/4977/stat : 4977 (java) S 4963 4966 3242 0 -1 1077944384 9360 0 0 0 148 1 0 0 20 0 17 0 96040184 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032112326768 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4978] ppid=4963 vsize=10821732 memory=4265808 CPUtime=1.41 cores=0,2,4,6
/proc/4966/task/4978/stat : 4978 (java) S 4963 4966 3242 0 -1 1077944384 8890 0 0 0 140 1 0 0 20 0 17 0 96040184 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032111273968 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4979] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0.29 cores=0,2,4,6
/proc/4966/task/4979/stat : 4979 (java) R 4963 4966 3242 0 -1 4202560 6517 0 0 0 28 1 0 0 20 0 17 0 96040184 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032110221568 140032795844644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4980] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/4980/stat : 4980 (java) S 4963 4966 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96040185 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032109169120 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=4981] ppid=4963 vsize=10821732 memory=4265808 CPUtime=1.31 cores=0,2,4,6
/proc/4966/task/4981/stat : 4981 (java) S 4963 4966 3242 0 -1 1077944384 2465 0 0 0 68 63 0 0 20 0 17 0 96040185 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032039971760 140032811502210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=5313] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/5313/stat : 5313 (java) S 4963 4966 3242 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 17 0 96288669 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032037864304 140032811501269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
[pid=4966/tid=5314] ppid=4963 vsize=10821732 memory=4265808 CPUtime=0 cores=0,2,4,6
/proc/4966/task/5314/stat : 5314 (java) R 4963 4966 3242 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 17 0 96288669 11081453568 1066533 33554432000 4194304 4196468 140723456546848 140032036808432 140032448540560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36306944 140723456554118 140723456554271 140723456554271 140723456557007 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4266128 KiB
Child status: 143
Real time (s): 2485.15
CPU time (s): 2520.16
CPU user time (s): 2515.11
CPU system time (s): 5.04285
CPU usage (%): 101.408
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 4266128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.11
system time used= 5.04285
maximum resident set size= 4266328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56668
involuntary context switches= 2600
# summary of solver processes directly reported to runsolver:
# pid: 4966
# total CPU time (s): 2520.16
# total CPU user time (s): 2515.11
# total CPU system time (s): 5.04285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4054 second user time and 23.6719 second system time
The end