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 (14815 MiB free)
memory of node 1: 16384 MiB (14900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283716-1503217355/watcher-4283716-1503217355 -o /tmp/evaluation-result-4283716-1503217355/solver-4283716-1503217355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1814647434 HOME/instance-4283716-1503217355.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=2067, runsolver pid=2064
[startup+0.100106 s]*
/proc/loadavg: 1.58 1.67 1.91 3/203 2075
/proc/meminfo: memFree=30421628/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13574484 memory=17472 CPUtime=0.02 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 3710 0 0 0 2 0 0 0 20 0 9 0 123955920 13900271616 4368 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3393621 4368 2065 1 0 3383118 0
[pid=2069/tid=2070] ppid=2067 vsize=13574484 memory=8508281356422318498 CPUtime=0.02 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 2439 0 0 0 2 0 0 0 20 0 9 0 123955921 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569873244616 140569853089118 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 123955921 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13574484 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 123955921 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123955921 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123955921 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13574484 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123955923 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 123955923 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569346537120 140569869018837 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 123955923 13900271616 4433 18446744073709551615 4194304 4196468 140720583675152 140569345484080 140569869018837 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18852 KiB
[startup+0.209782 s]*
/proc/loadavg: 1.58 1.67 1.91 2/210 2082
/proc/meminfo: memFree=30420072/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13973868 memory=22716 CPUtime=0.06 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 4582 0 0 0 5 1 0 0 20 0 15 0 123955920 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3493467 5679 2578 1 0 3482964 0
[pid=2069/tid=2070] ppid=2067 vsize=13973868 memory=8508281356422318498 CPUtime=0.05 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 2763 0 0 0 4 1 0 0 20 0 15 0 123955921 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569873232632 140569464614700 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13973868 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13973868 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13973868 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955923 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123955923 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569346537120 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123955923 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569345484016 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) S 2067 2067 8563 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 123955926 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569342327152 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13973868 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 123955926 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13973868 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955934 14309240832 5679 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 24096 KiB
[startup+0.309984 s]*
/proc/loadavg: 1.58 1.67 1.91 3/211 2083
/proc/meminfo: memFree=30407428/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13974352 memory=34612 CPUtime=0.23 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 8235 0 0 0 21 2 0 0 20 0 15 0 123955920 14309736448 8653 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3493588 8653 2981 1 0 3482964 0
[pid=2069/tid=2070] ppid=2067 vsize=13974352 memory=7594573530237851216 CPUtime=0.15 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 5573 0 0 0 13 2 0 0 20 0 15 0 123955921 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569873231008 140569853089118 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13974352 memory=140713252312703 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13974352 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13974352 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955923 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13974352 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123955923 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569346537120 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13974352 memory=140713252312704 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123955923 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569345484016 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) R 2067 2067 8563 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 15 0 123955926 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569869019778 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) R 2067 2067 8563 0 -1 4202560 180 0 0 0 1 0 0 0 20 0 15 0 123955926 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569342327152 140569861993673 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 655 0 0 0 5 0 0 0 20 0 15 0 123955926 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955934 14309736448 9165 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 35992 KiB
[startup+0.701564 s]
/proc/loadavg: 1.58 1.67 1.91 6/211 2083
/proc/meminfo: memFree=30395924/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13980732 memory=61928 CPUtime=1.09 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 12190 0 0 0 104 5 0 0 20 0 15 0 123955920 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3495183 15482 3172 1 0 3483476 0
[pid=2069/tid=2070] ppid=2067 vsize=13980732 memory=796 CPUtime=0.52 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 8058 0 0 0 49 3 0 0 20 0 15 0 123955921 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569873247512 140569466301880 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13980732 memory=6788 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13980732 memory=-8253362762722141311 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13980732 memory=-6520471753822164382 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13980732 memory=9047017150487036575 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569346537120 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13980732 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569345484016 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13980732 memory=4427205132082312746 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13980732 memory=-8412652152092201843 CPUtime=0.13 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) R 2067 2067 8563 0 -1 4202560 908 0 0 0 13 0 0 0 20 0 15 0 123955926 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569850552858 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13980732 memory=-7023579799431922829 CPUtime=0.15 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) R 2067 2067 8563 0 -1 4202560 593 0 0 0 15 0 0 0 20 0 15 0 123955926 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569342313032 140569853397524 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13980732 memory=4426639978525455914 CPUtime=0.26 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 1322 0 0 0 26 0 0 0 20 0 15 0 123955926 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13980732 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13980732 memory=8514726395714826391 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955934 14316269568 15482 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63308 KiB
[startup+1.50079 s]
/proc/loadavg: 1.58 1.67 1.91 6/211 2083
/proc/meminfo: memFree=30364524/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13980732 memory=133604 CPUtime=3.71 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 22577 0 0 0 365 6 0 0 20 0 15 0 123955920 14316269568 33401 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3495183 33401 3192 1 0 3483476 0
[pid=2069/tid=2070] ppid=2067 vsize=13980732 memory=33 CPUtime=1.31 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 8909 0 0 0 127 4 0 0 20 0 15 0 123955921 14316269568 33401 18446744073709551615 4194304 4196468 140720583675152 140569873245472 140569469510316 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13980732 memory=7522811709122896997 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 33401 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13980732 memory=7595153016099072361 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 33401 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13980732 memory=7595153016099072361 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123955921 14316269568 33401 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13980732 memory=631048 CPUtime=219.86 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 68820 0 0 0 21884 102 0 0 20 0 15 0 123955920 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3495183 157762 3260 1 0 3483476 0
[pid=2069/tid=2070] ppid=2067 vsize=13980732 memory=1228 CPUtime=205.16 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 18663 0 0 0 20502 14 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569873248272 140569470290573 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13980732 memory=796 CPUtime=1.65 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 2581 0 0 0 147 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13980732 memory=7680170660397595203 CPUtime=1.67 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1553 0 0 0 148 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13980732 memory=2316 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 1910 0 0 0 148 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13980732 memory=1836 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2648 0 0 0 147 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13980732 memory=7680170660397595203 CPUtime=0.13 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 3497 0 0 0 9 4 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13980732 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569346537184 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569345484032 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13980732 memory=10180 CPUtime=3.53 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) S 2067 2067 8563 0 -1 1077944384 14758 0 0 0 351 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13980732 memory=1440 CPUtime=3.42 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) S 2067 2067 8563 0 -1 1077944384 13915 0 0 0 341 1 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569342327152 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13980732 memory=2000 CPUtime=0.79 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 7735 0 0 0 77 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13980732 memory=11080 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13980732 memory=1200 CPUtime=0.1 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 217 0 0 0 5 5 0 0 20 0 15 0 123955934 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 219.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 632428 KiB
[startup+207.601 s]
/proc/loadavg: 1.52 1.58 1.83 3/212 2106
/proc/meminfo: memFree=29864684/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13980732 memory=631048 CPUtime=220.26 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 68820 0 0 0 21924 102 0 0 20 0 15 0 123955920 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3495183 157762 3260 1 0 3483476 0
[pid=2069/tid=2070] ppid=2067 vsize=13980732 memory=10180 CPUtime=205.56 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 18663 0 0 0 20542 14 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569873248272 140569468988694 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13980732 memory=1440 CPUtime=1.65 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 2581 0 0 0 147 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13980732 memory=2000 CPUtime=1.67 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1553 0 0 0 148 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13980732 memory=11080 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 1910 0 0 0 148 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13980732 memory=1200 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2648 0 0 0 147 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13980732 memory=1380 CPUtime=0.13 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 3497 0 0 0 9 4 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13980732 memory=299372 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569346537184 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569345484032 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13980732 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13980732 memory=1380 CPUtime=3.53 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) S 2067 2067 8563 0 -1 1077944384 14758 0 0 0 351 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13980732 memory=616572 CPUtime=3.42 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) S 2067 2067 8563 0 -1 1077944384 13915 0 0 0 341 1 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569342327152 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13980732 memory=2248 CPUtime=0.79 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 7735 0 0 0 77 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13980732 memory=1624 CPUtime=0.1 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 217 0 0 0 5 5 0 0 20 0 15 0 123955934 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 220.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 632428 KiB
[startup+207.801 s]
/proc/loadavg: 1.52 1.58 1.83 3/212 2106
/proc/meminfo: memFree=29864684/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13980732 memory=631048 CPUtime=220.46 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 68820 0 0 0 21944 102 0 0 20 0 15 0 123955920 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3495183 157762 3260 1 0 3483476 0
[pid=2069/tid=2070] ppid=2067 vsize=13980732 memory=840 CPUtime=205.76 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 18663 0 0 0 20562 14 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569873248272 140569470203305 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13980732 memory=16436 CPUtime=1.65 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 2581 0 0 0 147 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13980732 memory=3904 CPUtime=1.67 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1553 0 0 0 148 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13980732 memory=2752 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 1910 0 0 0 148 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13980732 memory=3068 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2648 0 0 0 147 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13980732 memory=4278483708103473607 CPUtime=0.13 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 3497 0 0 0 9 4 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569346537184 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13980732 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569345484032 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13980732 memory=2164 CPUtime=3.53 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) S 2067 2067 8563 0 -1 1077944384 14758 0 0 0 351 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13980732 memory=840 CPUtime=3.42 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) S 2067 2067 8563 0 -1 1077944384 13915 0 0 0 341 1 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569342327152 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13980732 memory=2248 CPUtime=0.79 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 7735 0 0 0 77 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13980732 memory=1624 CPUtime=0.1 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 217 0 0 0 5 5 0 0 20 0 15 0 123955934 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 220.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 632428 KiB
[startup+207.901 s]
/proc/loadavg: 1.52 1.58 1.83 3/212 2106
/proc/meminfo: memFree=29864684/32770624 swapFree=67108860/67108860
[pid=2067] ppid=2064 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123955913 9740288 345 18446744073709551615 4194304 5098028 140733846495840 140733846493944 140063721685628 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 36024320 140733846503800 140733846504005 140733846504005 140733846507499 0
/proc/2067/statm: 2378 345 289 221 0 87 0
[pid=2069] ppid=2067 vsize=13980732 memory=631048 CPUtime=220.56 cores=0,2,4,6
/proc/2069/stat : 2069 (java) S 2067 2067 8563 0 -1 1077944320 68820 0 0 0 21954 102 0 0 20 0 15 0 123955920 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140720583657696 140569869008631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
/proc/2069/statm: 3495183 157762 3260 1 0 3483476 0
[pid=2069/tid=2070] ppid=2067 vsize=13980732 memory=519928 CPUtime=205.86 cores=0,2,4,6
/proc/2069/task/2070/stat : 2070 (java) R 2067 2067 8563 0 -1 4202560 18663 0 0 0 20572 14 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569873248160 140569468455302 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2071] ppid=2067 vsize=13980732 memory=1380 CPUtime=1.65 cores=0,2,4,6
/proc/2069/task/2071/stat : 2071 (java) S 2067 2067 8563 0 -1 1077944384 2581 0 0 0 147 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569788422672 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2072] ppid=2067 vsize=13980732 memory=587900 CPUtime=1.67 cores=0,2,4,6
/proc/2069/task/2072/stat : 2072 (java) S 2067 2067 8563 0 -1 1077944384 1553 0 0 0 148 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569787370128 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2073] ppid=2067 vsize=13980732 memory=631048 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2073/stat : 2073 (java) S 2067 2067 8563 0 -1 1077944384 1910 0 0 0 148 18 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569786317072 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2074] ppid=2067 vsize=13980732 memory=631048 CPUtime=1.66 cores=0,2,4,6
/proc/2069/task/2074/stat : 2074 (java) S 2067 2067 8563 0 -1 1077944384 2648 0 0 0 147 19 0 0 20 0 15 0 123955921 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569785264528 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2075] ppid=2067 vsize=13980732 memory=1380 CPUtime=0.13 cores=0,2,4,6
/proc/2069/task/2075/stat : 2075 (java) S 2067 2067 8563 0 -1 1077944384 3497 0 0 0 9 4 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569347590896 140569869019778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2076] ppid=2067 vsize=13980732 memory=631048 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2076/stat : 2076 (java) S 2067 2067 8563 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569346537184 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2077] ppid=2067 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2077/stat : 2077 (java) S 2067 2067 8563 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123955923 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569345484032 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2078] ppid=2067 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2078/stat : 2078 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569344432592 140569869027227 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2079] ppid=2067 vsize=13980732 memory=1380 CPUtime=3.53 cores=0,2,4,6
/proc/2069/task/2079/stat : 2079 (java) S 2067 2067 8563 0 -1 1077944384 14758 0 0 0 351 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569343379696 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2080] ppid=2067 vsize=13980732 memory=4116 CPUtime=3.42 cores=0,2,4,6
/proc/2069/task/2080/stat : 2080 (java) S 2067 2067 8563 0 -1 1077944384 13915 0 0 0 341 1 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569342327152 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2081] ppid=2067 vsize=13980732 memory=1380 CPUtime=0.79 cores=0,2,4,6
/proc/2069/task/2081/stat : 2081 (java) S 2067 2067 8563 0 -1 1077944384 7735 0 0 0 77 2 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569341274096 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2082] ppid=2067 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2069/task/2082/stat : 2082 (java) S 2067 2067 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123955926 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569340221792 140569869018837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
[pid=2069/tid=2083] ppid=2067 vsize=13980732 memory=1380 CPUtime=0.1 cores=0,2,4,6
/proc/2069/task/2083/stat : 2083 (java) S 2067 2067 8563 0 -1 1077944384 217 0 0 0 5 5 0 0 20 0 15 0 123955934 14316269568 157762 18446744073709551615 4194304 4196468 140720583675152 140569339169840 140569869019778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21057536 140720583680433 140720583680609 140720583680609 140720583684047 0
Current children cumulated CPU time: 220.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 632428 KiB
Child status: 0
Real time (s): 207.94
CPU time (s): 220.602
CPU user time (s): 219.57
CPU system time (s): 1.03208
CPU usage (%): 106.089
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 699056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.57
system time used= 1.03208
maximum resident set size= 708384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9684
involuntary context switches= 435
# summary of solver processes directly reported to runsolver:
# pid: 2067
# total CPU time (s): 220.602
# total CPU user time (s): 219.57
# total CPU system time (s): 1.03208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27296 second user time and 2.03955 second system time
The end