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 (14796 MiB free)
memory of node 1: 16384 MiB (14226 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393247-1568315101/watcher-4393247-1568315101 -o /tmp/evaluation-result-4393247-1568315101/solver-4393247-1568315101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1701328997 HOME/instance-4393247-1568315101.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=16254, runsolver pid=16251
[startup+0.10007 s]*
/proc/loadavg: 8.30 8.36 7.25 7/234 16270
/proc/meminfo: memFree=29703808/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15144768 memory=28908 CPUtime=0.13 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 407764799 15508242432 7227 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3786192 7227 3180 1 0 3748377 0
[pid=16256/tid=16257] ppid=16254 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14062 0 -1 4202560 3559 0 0 0 8 1 0 0 20 0 15 0 407764800 15508242432 7227 33554432000 4194304 4196468 140723305639760 139661528692016 139661524475286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 7227 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15144768 memory=140537744569984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 7227 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 7227 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 7227 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15144768 memory=140537744569984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407764802 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407764802 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660991902752 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407764802 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660990849904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14062 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15144768 memory=140537744569984 CPUtime=0.02 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) R 16254 16254 14062 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 407764805 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660986641008 139661508543838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15144768 memory=140537744569984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 7227 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30356 KiB
[startup+0.21154 s]*
/proc/loadavg: 8.30 8.36 7.25 6/234 16270
/proc/meminfo: memFree=29691084/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15144768 memory=40116 CPUtime=0.34 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 9314 0 0 0 31 3 0 0 20 0 15 0 407764799 15508242432 10029 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3786192 10029 3258 1 0 3748377 0
[pid=16256/tid=16257] ppid=16254 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14062 0 -1 4202560 6568 0 0 0 18 2 0 0 20 0 15 0 407764800 15508242432 10092 33554432000 4194304 4196468 140723305639760 139661528698336 139661508543838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 10092 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15144768 memory=2854491 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 10092 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 10092 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407764800 15508242432 10092 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407764802 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407764802 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660991902752 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15144768 memory=140537744569984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407764802 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660990849904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 407764805 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14062 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 407764805 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14062 0 -1 1077944384 819 0 0 0 8 0 0 0 20 0 15 0 407764805 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660986641008 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764805 15508242432 10092 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41564 KiB
[startup+0.31578 s]*
/proc/loadavg: 8.30 8.36 7.25 7/234 16270
/proc/meminfo: memFree=29683160/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15149024 memory=49924 CPUtime=0.54 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 10874 0 0 0 50 4 0 0 20 0 15 0 407764799 15512600576 12481 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3787256 12481 3329 1 0 3748377 0
[pid=16256/tid=16257] ppid=16254 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14062 0 -1 4202560 7832 0 0 0 27 3 0 0 20 0 15 0 407764800 15512600576 12481 33554432000 4194304 4196468 140723305639760 139661528699664 139661508543838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15512600576 12481 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15149024 memory=2855325 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15512600576 12481 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764800 15512600576 12481 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407764800 15512600576 12481 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15149024 memory=140537744569984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407764802 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407764802 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660991902752 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407764802 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660990849904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 524 0 0 0 5 0 0 0 20 0 15 0 407764805 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15149024 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14062 0 -1 1077944384 261 0 0 0 3 0 0 0 20 0 15 0 407764805 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15149024 memory=140537744569984 CPUtime=0.12 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14062 0 -1 1077944384 971 0 0 0 12 0 0 0 20 0 15 0 407764805 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660986641008 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15149024 memory=140537744569984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407764805 15512600576 12481 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51372 KiB
[startup+0.70482 s]
/proc/loadavg: 8.30 8.36 7.25 9/234 16270
/proc/meminfo: memFree=29668456/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15417404 memory=105124 CPUtime=1.69 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 14459 0 0 0 162 7 0 0 20 0 19 0 407764799 15787421696 26281 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3854351 26281 3459 1 0 3815453 0
[pid=16256/tid=16257] ppid=16254 vsize=15417404 memory=11932 CPUtime=0.63 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) S 16254 16254 14062 0 -1 1077944384 9188 0 0 0 59 4 0 0 20 0 19 0 407764800 15787421696 26281 33554432000 4194304 4196468 140723305639760 139661528704128 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407764800 15787421696 26281 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15417404 memory=500 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407764800 15787421696 26281 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15417404 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407764800 15787421696 26281 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15417404 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407764800 15787421696 26281 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407764802 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15417404 memory=876 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407764802 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660991902752 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15417404 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407764802 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660990849904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15417404 memory=7086240636179075427 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15417404 memory=7453282923427948884 CPUtime=0.31 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) R 16254 16254 14062 0 -1 4202560 1230 0 0 0 31 0 0 0 20 0 19 0 407764805 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660988733456 139661504293721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15417404 memory=7223879631928058176 CPUtime=0.28 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) R 16254 16254 14062 0 -1 4202560 722 0 0 0 28 0 0 0 20 0 19 0 407764805 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660987680592 139661524475286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15417404 memory=8514726395714826909 CPUtime=0.36 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) R 16254 16254 14062 0 -1 1077944384 1874 0 0 0 36 0 0 0 20 0 19 0 407764805 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660986636576 139661524473557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15417404 memory=7594596650029836651 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407764805 15787421696 26281 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 106572 KiB
[startup+1.50378 s]
/proc/loadavg: 8.30 8.36 7.25 11/238 16274
/proc/meminfo: memFree=29620768/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 2537 0 0 0 118 1 0 0 20 0 19 0 407764805 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15418432 memory=1151056 CPUtime=1.26 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14062 0 -1 1077944384 2507 0 0 0 126 0 0 0 20 0 19 0 407764805 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15418432 memory=800 CPUtime=0.56 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14062 0 -1 1077944384 2587 0 0 0 55 1 0 0 20 0 19 0 407764805 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660986641008 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16283] ppid=16254 vsize=15418432 memory=0 CPUtime=9.12 cores=0,2,4,6
/proc/16256/task/16283/stat : 16283 (java) R 16254 16254 14062 0 -1 4202560 75 0 0 0 912 0 0 0 20 0 19 0 407764942 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660971113680 139661152323960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16284] ppid=16254 vsize=15418432 memory=3898 CPUtime=9.56 cores=0,2,4,6
/proc/16256/task/16284/stat : 16284 (java) R 16254 16254 14062 0 -1 4202560 1087 0 0 0 946 10 0 0 20 0 19 0 407764942 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660974273352 139661152743739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16285] ppid=16254 vsize=15418432 memory=64 CPUtime=9.39 cores=0,2,4,6
/proc/16256/task/16285/stat : 16285 (java) R 16254 16254 14062 0 -1 4202560 120 0 0 0 939 0 0 0 20 0 19 0 407764942 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660973220152 139661151454283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16286] ppid=16254 vsize=15418432 memory=6791534058613427641 CPUtime=9.3 cores=0,2,4,6
/proc/16256/task/16286/stat : 16286 (java) R 16254 16254 14062 0 -1 4202560 431 0 0 0 926 4 0 0 20 0 19 0 407764944 15788474368 287764 33554432000 4194304 4196468 140723305639760 139660975325368 139661152631502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 43.33 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 1152504 KiB
[startup+12.0018 s]*
/proc/loadavg: 8.26 8.35 7.26 10/239 16288
/proc/meminfo: memFree=28456036/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15418432 memory=1272944 CPUtime=46.55 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 24517 0 0 0 4613 42 0 0 20 0 19 0 407764799 15788474368 318236 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3854608 318236 3523 1 0 3815710 0
[pid=16256/tid=16257] ppid=16254 vsize=15418432 memory=8317482817917895235 CPUtime=0.64 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) S 16254 16254 14062 0 -1 1077944384 9190 0 0 0 60 4 0 0 20 0 19 0 407764800 15788474368 318236 33554432000 4194304 4196468 140723305639760 139661528704128 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15418432 memory=4126316290023845779 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 178 0 0 0 8 3 0 0 20 0 19 0 407764800 15788474368 318236 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15418432 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 217 0 0 0 8 3 0 0 20 0 19 0 407764800 15788474368 318236 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15418432 memory=140537638838753 CPUtime=0.12 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 212 0 0 0 8 4 0 0 20 0 19 0 407764800 15788474368 318236 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15418432 memory=8041037979969885544 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 1083 0 0 0 7 4 0 0 20 0 19 0 407764800 15788474368 318236 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15418432 memory=-5628408999910123566 CPUtime=0.01 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 1507 0 0 0 1 0 0 0 20 0 19 0 407764802 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15418432 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407764802 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660991902816 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15418432 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407764802 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660990849920 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15418432 memory=-3621219715169225006 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15418432 memory=-6860437260722525840 CPUtime=1.19 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 2537 0 0 0 118 1 0 0 20 0 19 0 407764805 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15418432 memory=-7384994774051102368 CPUtime=1.26 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14062 0 -1 1077944384 2533 0 0 0 126 0 0 0 20 0 19 0 407764805 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15418432 memory=4137282616176384387 CPUtime=0.56 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14062 0 -1 1077944384 2587 0 0 0 55 1 0 0 20 0 19 0 407764805 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660986641008 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16283] ppid=16254 vsize=15418432 memory=0 CPUtime=9.93 cores=0,2,4,6
/proc/16256/task/16283/stat : 16283 (java) R 16254 16254 14062 0 -1 4202560 76 0 0 0 993 0 0 0 20 0 19 0 407764942 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660971113680 139661151213515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16284] ppid=16254 vsize=15418432 memory=0 CPUtime=10.37 cores=0,2,4,6
/proc/16256/task/16284/stat : 16284 (java) R 16254 16254 14062 0 -1 4202560 1740 0 0 0 1026 11 0 0 20 0 19 0 407764942 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660974272624 139661151764483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16285] ppid=16254 vsize=15418432 memory=0 CPUtime=10.2 cores=0,2,4,6
/proc/16256/task/16285/stat : 16285 (java) R 16254 16254 14062 0 -1 4202560 122 0 0 0 1020 0 0 0 20 0 19 0 407764942 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660973220576 139661151020065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16286] ppid=16254 vsize=15418432 memory=3472328296227680304 CPUtime=10.09 cores=0,2,4,6
/proc/16256/task/16286/stat : 16286 (java) R 16254 16254 14062 0 -1 4202560 497 0 0 0 1004 5 0 0 20 0 19 0 407764944 15788474368 318236 33554432000 4194304 4196468 140723305639760 139660975325368 139661152631554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 46.55 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 1274392 KiB
[startup+12.2018 s]
/proc/loadavg: 8.26 8.35 7.26 10/239 16288
/proc/meminfo: memFree=28456036/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15418432 memory=1387632 CPUtime=47.31 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 24573 0 0 0 4688 43 0 0 20 0 19 0 407764799 15788474368 346908 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3854608 346908 3523 1 0 3815710 0
[pid=16256/tid=16257] ppid=16254 vsize=15418432 memory=3765402073459142688 CPUtime=0.64 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) S 16254 16254 14062 0 -1 1077944384 9190 0 0 0 60 4 0 0 20 0 19 0 407764800 15788474368 346908 33554432000 4194304 4196468 140723305639760 139661528704128 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15418432 memory=7974311998478750570 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 178 0 0 0 8 3 0 0 20 0 19 0 407764800 15788474368 346908 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15418432 memory=4282247795944164726 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 217 0 0 0 8 3 0 0 20 0 19 0 407764800 15788474368 346908 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15418432 memory=-9178743704338612159 CPUtime=0.12 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 212 0 0 0 8 4 0 0 20 0 19 0 407764800 15788474368 346908 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15418432 memory=-8817053843938656197 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 1083 0 0 0 7 4 0 0 20 0 19 0 407764800 15788474368 346908 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15418432 memory=7971815120148723219 CPUtime=0.01 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 1507 0 0 0 1 0 0 0 20 0 19 0 407764802 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15418432 memory=281075277059536 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407764802 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660991902816 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15418432 memory=-3621219749712857441 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407764802 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660990849920 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15418432 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15418432 memory=6944656592455359580 CPUtime=1.19 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 2537 0 0 0 118 1 0 0 20 0 19 0 407764805 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15418432 memory=6944656592455097440 CPUtime=1.26 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 14062 0 -1 1077944384 2533 0 0 0 126 0 0 0 20 0 19 0 407764805 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15418432 memory=-7957962119327172001 CPUtime=0.56 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 14062 0 -1 1077944384 2587 0 0 0 55 1 0 0 20 0 19 0 407764805 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660986641008 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15418432 memory=2320515099073656116 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15418432 memory=6081076026747284080 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 19 0 407764805 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16283] ppid=16254 vsize=15418432 memory=6083328874180141415 CPUtime=10.12 cores=0,2,4,6
/proc/16256/task/16283/stat : 16283 (java) R 16254 16254 14062 0 -1 4202560 76 0 0 0 1012 0 0 0 20 0 19 0 407764942 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660971113680 139661151453763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16284] ppid=16254 vsize=15418432 memory=7013622381405695850 CPUtime=10.56 cores=0,2,4,6
/proc/16256/task/16284/stat : 16284 (java) R 16254 16254 14062 0 -1 4202560 1778 0 0 0 1044 12 0 0 20 0 19 0 407764942 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660974272760 139661151275751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16285] ppid=16254 vsize=15418432 memory=7662986162044365935 CPUtime=10.39 cores=0,2,4,6
/proc/16256/task/16285/stat : 16285 (java) R 16254 16254 14062 0 -1 4202560 122 0 0 0 1039 0 0 0 20 0 19 0 407764942 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660973220712 139661151453754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16286] ppid=16254 vsize=15418432 memory=33 CPUtime=10.28 cores=0,2,4,6
/proc/16256/task/16286/stat : 16286 (java) R 16254 16254 14062 0 -1 4202560 515 0 0 0 1023 5 0 0 20 0 19 0 407764944 15788474368 346908 33554432000 4194304 4196468 140723305639760 139660975325368 139661152631490 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 47.31 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 1389080 KiB
[startup+12.3008 s]
/proc/loadavg: 8.26 8.35 7.26 10/239 16288
/proc/meminfo: memFree=28456036/32770624 swapFree=66996224/67108860
[pid=16254] ppid=16251 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407764799 115843072 362 33554432000 4194304 5098028 140736607833376 140736607831480 140346356675196 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20590592 140736607839098 140736607839341 140736607839341 140736607842250 0
/proc/16254/statm: 28282 362 304 221 0 87 0
[pid=16256] ppid=16254 vsize=15418432 memory=1453156 CPUtime=47.67 cores=0,2,4,6
/proc/16256/stat : 16256 (java) S 16254 16254 14062 0 -1 1077944320 25110 0 0 0 4723 44 0 0 20 0 15 0 407764799 15788474368 363289 33554432000 4194304 4196468 140723305639760 140723305622304 139661524463351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
/proc/16256/statm: 3854608 363289 3523 1 0 3815710 0
[pid=16256/tid=16257] ppid=16254 vsize=15418432 memory=281075277063808 CPUtime=0.64 cores=0,2,4,6
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 14062 0 -1 4202560 9444 0 0 0 60 4 0 0 20 0 15 0 407764800 15788474368 363289 33554432000 4194304 4196468 140723305639760 139661528702256 139661146200000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16258] ppid=16254 vsize=15418432 memory=3824222560513 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 14062 0 -1 1077944384 178 0 0 0 8 3 0 0 20 0 15 0 407764800 15788474368 363289 33554432000 4194304 4196468 140723305639760 139661477084304 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16259] ppid=16254 vsize=15418432 memory=1380 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 14062 0 -1 1077944384 217 0 0 0 8 3 0 0 20 0 15 0 407764800 15788474368 363290 33554432000 4194304 4196468 140723305639760 139661476031504 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16260] ppid=16254 vsize=15418432 memory=1128 CPUtime=0.12 cores=0,2,4,6
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 14062 0 -1 1077944384 212 0 0 0 8 4 0 0 20 0 15 0 407764800 15788474368 363290 33554432000 4194304 4196468 140723305639760 139661474978704 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16261] ppid=16254 vsize=15418432 memory=1151056 CPUtime=0.11 cores=0,2,4,6
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 14062 0 -1 1077944384 1083 0 0 0 7 4 0 0 20 0 15 0 407764800 15788474368 363290 33554432000 4194304 4196468 140723305639760 139661473925904 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16262] ppid=16254 vsize=15418432 memory=1151056 CPUtime=0.01 cores=0,2,4,6
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 14062 0 -1 1077944384 1514 0 0 0 1 0 0 0 20 0 15 0 407764802 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660992956784 139661524474498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16263] ppid=16254 vsize=15418432 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407764802 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660991902816 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16264] ppid=16254 vsize=15418432 memory=22924 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 407764802 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660990849920 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16265] ppid=16254 vsize=15418432 memory=984 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660989798224 139661524481947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16266] ppid=16254 vsize=15418432 memory=1448 CPUtime=1.19 cores=0,2,4,6
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 14062 0 -1 1077944384 2537 0 0 0 118 1 0 0 20 0 15 0 407764805 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660988746608 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16267] ppid=16254 vsize=15418432 memory=374032 CPUtime=1.26 cores=0,2,4,6
/proc/16256/task/16267/stat : 16267 (java) R 16254 16254 14062 0 -1 1077944384 2533 0 0 0 126 0 0 0 20 0 15 0 407764805 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660987693808 139661524474498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16268] ppid=16254 vsize=15418432 memory=-8675733323038954102 CPUtime=0.56 cores=0,2,4,6
/proc/16256/task/16268/stat : 16268 (java) R 16254 16254 14062 0 -1 4202560 2681 0 0 0 55 1 0 0 20 0 15 0 407764805 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660986641304 139661508571450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16269] ppid=16254 vsize=15418432 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407764805 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660985588448 139661524473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
[pid=16256/tid=16270] ppid=16254 vsize=15418432 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 14062 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 407764805 15788474368 363290 33554432000 4194304 4196468 140723305639760 139660984535728 139661524474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 26357760 140723305640943 140723305641114 140723305641114 140723305643983 0
Current children cumulated CPU time: 47.67 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 1454604 KiB
Child status: 0
Real time (s): 12.3116
CPU time (s): 47.7022
CPU user time (s): 47.2436
CPU system time (s): 0.458603
CPU usage (%): 387.457
Max. virtual memory (cumulated for all children) (KiB): 15531560
Max. memory (cumulated for all children) (KiB): 1454604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.2436
system time used= 0.458603
maximum resident set size= 1455680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25836
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= 2772
involuntary context switches= 1054
# summary of solver processes directly reported to runsolver:
# pid: 16254
# total CPU time (s): 47.7022
# total CPU user time (s): 47.2436
# total CPU system time (s): 0.458603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089463 second user time and 0.195968 second system time
The end