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 (15100 MiB free)
memory of node 1: 16384 MiB (2275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301741-1532885243/watcher-4301741-1532885243 -o /tmp/evaluation-result-4301741-1532885243/solver-4301741-1532885243 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 1331424729 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301741-1532885243.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12182, runsolver pid=12179
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.74 2.32 2.11 3/217 12198
/proc/meminfo: memFree=17776880/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14082940 memory=28264 CPUtime=0.12 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 15 0 106087547 14420930560 7066 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3520735 7066 2993 1 0 3483012 0
[pid=12184/tid=12185] ppid=12182 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 3504 0 0 0 8 0 0 0 20 0 15 0 106087547 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768999223128 139768979047781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14082940 memory=140531022792320 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14082940 memory=140531022792320 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087550 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7585 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768464874352 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14082940 memory=140531022792320 CPUtime=0.01 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) R 12182 12182 7585 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 106087553 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768462768752 139768980699180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14082940 memory=140531022792320 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 7066 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29720 KiB
[startup+0.210643 s]*
/proc/loadavg: 2.74 2.32 2.11 3/217 12198
/proc/meminfo: memFree=17764972/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14082940 memory=40856 CPUtime=0.34 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 8265 0 0 0 32 2 0 0 20 0 15 0 106087547 14420930560 10214 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3520735 10214 3182 1 0 3483012 0
[pid=12184/tid=12185] ppid=12182 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 5385 0 0 0 18 1 0 0 20 0 15 0 106087547 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768999238208 139768979084638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14082940 memory=4123525954544174752 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14082940 memory=140531022792320 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106087550 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7585 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 15 0 106087553 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768464874352 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 106087553 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14082940 memory=140531022792320 CPUtime=0.08 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 773 0 0 0 8 0 0 0 20 0 15 0 106087553 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087553 14420930560 10214 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42312 KiB
[startup+0.310552 s]*
/proc/loadavg: 2.74 2.32 2.11 4/217 12198
/proc/meminfo: memFree=17758588/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14087196 memory=47904 CPUtime=0.52 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 9135 0 0 0 49 3 0 0 20 0 15 0 106087547 14425288704 11976 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3521799 11976 3278 1 0 3483012 0
[pid=12184/tid=12185] ppid=12182 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 6053 0 0 0 27 2 0 0 20 0 15 0 106087547 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768999238448 139768979084638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106087550 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) R 12182 12182 7585 0 -1 4202560 516 0 0 0 4 0 0 0 20 0 15 0 106087553 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768464864464 139768974263922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 15 0 106087553 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 106087553 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087553 14425288704 11976 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49360 KiB
[startup+0.706053 s]
/proc/loadavg: 2.74 2.32 2.11 6/217 12198
/proc/meminfo: memFree=17739236/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14089320 memory=77468 CPUtime=1.61 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 14051 0 0 0 156 5 0 0 20 0 15 0 106087547 14427463680 19367 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3522330 19367 3363 1 0 3483524 0
[pid=12184/tid=12185] ppid=12182 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 7038 0 0 0 64 3 0 0 20 0 15 0 106087547 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768999242992 139768591200135 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14089320 memory=30212 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14089320 memory=756 CPUtime=0.26 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) R 12182 12182 7585 0 -1 4202560 1563 0 0 0 26 0 0 0 20 0 15 0 106087553 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768464855368 139768975640084 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14089320 memory=1616 CPUtime=0.26 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) R 12182 12182 7585 0 -1 4202560 1848 0 0 0 26 0 0 0 20 0 15 0 106087553 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768463802568 139768978472186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14089320 memory=1836 CPUtime=0.39 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 2292 0 0 0 39 0 0 0 20 0 15 0 106087553 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 19367 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 78924 KiB
[startup+1.50082 s]
/proc/loadavg: 2.74 2.32 2.11 5/217 12198
/proc/meminfo: memFree=17718772/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14089320 memory=120880 CPUtime=9.83 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 31582 0 0 0 976 7 0 0 20 0 15 0 106087547 14427463680 30220 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3522330 30220 3378 1 0 3483524 0
[pid=12184/tid=12185] ppid=12182 vsize=14089320 memory=54506960194282 CPUtime=6.36 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 8468 0 0 0 633 3 0 0 20 0 15 0 106087547 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768999240944 139768592144518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14089320 memory=54506960194282 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14089320 memory=54506960194282 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14089320 memory=54506960194026 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14089320 memory=54506960194026 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14089320 memory=54506960193770 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14089320 memory=281061720411680 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14089320 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7585 0 -1 1077944384 7114 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768464874352 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14089320 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 9877 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14089320 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 4296 0 0 0 48 1 0 0 20 0 15 0 106087553 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14089320 memory=110968 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 30220 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 122336 KiB
[startup+7.20067 s]
/proc/loadavg: 2.77 2.34 2.12 3/217 12198
/proc/meminfo: memFree=17680032/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14089320 memory=127024 CPUtime=10.63 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 31590 0 0 0 1056 7 0 0 20 0 15 0 106087547 14427463680 31756 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3522330 31756 3378 1 0 3483524 0
[pid=12184/tid=12185] ppid=12182 vsize=14089320 memory=3872 CPUtime=7.16 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 8476 0 0 0 713 3 0 0 20 0 15 0 106087547 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768999240944 139768591898105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14089320 memory=124976 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14089320 memory=116784 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14089320 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14089320 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14089320 memory=15184 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14089320 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14089320 memory=14256 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14089320 memory=17516 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14089320 memory=1180 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7585 0 -1 1077944384 7114 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768464874352 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14089320 memory=504 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 9877 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14089320 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 4296 0 0 0 48 1 0 0 20 0 15 0 106087553 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14089320 memory=20036 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14089320 memory=281061721043392 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 31756 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 10.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 128480 KiB
[startup+8.00068 s]*
/proc/loadavg: 2.77 2.34 2.12 3/217 12198
/proc/meminfo: memFree=17671840/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14089320 memory=133168 CPUtime=11.44 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 31596 0 0 0 1137 7 0 0 20 0 15 0 106087547 14427463680 33292 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3522330 33292 3378 1 0 3483524 0
[pid=12184/tid=12185] ppid=12182 vsize=14089320 memory=15184 CPUtime=7.96 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 8482 0 0 0 793 3 0 0 20 0 15 0 106087547 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768999240944 139768592119089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14089320 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14089320 memory=1885020882689 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14089320 memory=1940855457537 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14089320 memory=2348877350657 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14089320 memory=2447661598465 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14089320 memory=2451956565761 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14089320 memory=2460546500353 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14089320 memory=2477726369537 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14089320 memory=2482021336833 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7585 0 -1 1077944384 7114 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768464874352 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14089320 memory=2494906238721 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 9877 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14089320 memory=2512086107905 CPUtime=0.49 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 4296 0 0 0 48 1 0 0 20 0 15 0 106087553 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14089320 memory=2529265977089 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14089320 memory=2537855911425 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 33292 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 11.44 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 134624 KiB
[startup+8.20067 s]
/proc/loadavg: 2.77 2.34 2.12 3/217 12198
/proc/meminfo: memFree=17671840/32770624 swapFree=67108496/67108860
[pid=12182] ppid=12179 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106087547 115843072 364 33554432000 4194304 5098028 140730373798976 140730373797080 139674638639740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26583040 140730373805120 140730373805321 140730373805321 140730373808074 0
/proc/12182/statm: 28282 364 306 221 0 87 0
[pid=12184] ppid=12182 vsize=14089320 memory=135216 CPUtime=11.63 cores=0,2,4,6
/proc/12184/stat : 12184 (java) S 12182 12182 7585 0 -1 1077944320 31598 0 0 0 1156 7 0 0 20 0 15 0 106087547 14427463680 33804 33554432000 4194304 4196468 140731242825104 140731242807648 139768995004151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
/proc/12184/statm: 3522330 33804 3378 1 0 3483524 0
[pid=12184/tid=12185] ppid=12182 vsize=14089320 memory=14694093276057955 CPUtime=8.16 cores=0,2,4,6
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7585 0 -1 4202560 8484 0 0 0 813 3 0 0 20 0 15 0 106087547 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768999240944 139768592098134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12186] ppid=12182 vsize=14089320 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768910072976 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12187] ppid=12182 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768909020176 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12188] ppid=12182 vsize=14089320 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768907967376 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12189] ppid=12182 vsize=14089320 memory=2212 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106087548 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768587348752 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12190] ppid=12182 vsize=14089320 memory=3988 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7585 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768469084528 139768995015298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12191] ppid=12182 vsize=14089320 memory=2048 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768468030496 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12192] ppid=12182 vsize=14089320 memory=7888 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106087550 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768466977648 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12193] ppid=12182 vsize=14089320 memory=808 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768465925968 139768995022747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12194] ppid=12182 vsize=14089320 memory=1796 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7585 0 -1 1077944384 7114 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768464874352 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12195] ppid=12182 vsize=14089320 memory=912 CPUtime=1.48 cores=0,2,4,6
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7585 0 -1 1077944384 9877 0 0 0 147 1 0 0 20 0 15 0 106087553 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768463821552 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12196] ppid=12182 vsize=14089320 memory=3848 CPUtime=0.49 cores=0,2,4,6
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7585 0 -1 1077944384 4296 0 0 0 48 1 0 0 20 0 15 0 106087553 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768462768752 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12197] ppid=12182 vsize=14089320 memory=2550740813313 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768461716192 139768995014357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
[pid=12184/tid=12198] ppid=12182 vsize=14089320 memory=2606575387905 CPUtime=0 cores=0,2,4,6
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7585 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 106087553 14427463680 33804 33554432000 4194304 4196468 140731242825104 139768460663472 139768995015298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32985088 140731242833036 140731242833206 140731242833206 140731242835919 0
Current children cumulated CPU time: 11.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 136672 KiB
Child status: 0
Real time (s): 8.26704
CPU time (s): 11.7141
CPU user time (s): 11.629
CPU system time (s): 0.085045
CPU usage (%): 141.696
Max. virtual memory (cumulated for all children) (KiB): 14204260
Max. memory (cumulated for all children) (KiB): 136672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.629
system time used= 0.085045
maximum resident set size= 137644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2412
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 12182
# total CPU time (s): 11.7141
# total CPU user time (s): 11.629
# total CPU system time (s): 0.085045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073538 second user time and 0.12107 second system time
The end