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 (15326 MiB free)
memory of node 1: 16384 MiB (13284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398918-1568698965/watcher-4398918-1568698965 -o /tmp/evaluation-result-4398918-1568698965/solver-4398918-1568698965 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568698923-6348 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1256356789 HOME/instance-4398918-1568698965.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6393, runsolver pid=6390
Current StackSize limit: 8192 KiB
[startup+0.100507 s]*
/proc/loadavg: 0.64 0.72 0.98 7/229 6409
/proc/meminfo: memFree=29268920/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15144776 memory=29156 CPUtime=0.12 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 5701 0 0 0 11 1 0 0 20 0 15 0 445832998 15508250624 7289 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3786194 7289 3156 1 0 3748377 0
[pid=6395/tid=6396] ppid=6393 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) R 6393 6393 6317 0 -1 4202560 3611 0 0 0 8 1 0 0 20 0 15 0 445832999 15508250624 7289 33554432000 4194304 4196468 140722117170592 139839182155488 139839177946269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 7289 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15144776 memory=140372105090688 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 7289 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 7289 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15144776 memory=140372105090688 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445833001 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445833001 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838712669088 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445833001 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838711616496 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) R 6393 6393 6317 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838709512784 139839177934549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) R 6393 6393 6317 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838708459328 139839155757200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15144776 memory=140372105090688 CPUtime=0.02 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) S 6393 6393 6317 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 445833004 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838707407600 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15144776 memory=140372105090688 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 7289 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30604 KiB
[startup+0.210798 s]*
/proc/loadavg: 0.64 0.72 0.98 7/229 6409
/proc/meminfo: memFree=29249932/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15144776 memory=40752 CPUtime=0.34 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 9435 0 0 0 31 3 0 0 20 0 15 0 445832998 15508250624 10188 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3786194 10188 3309 1 0 3748377 0
[pid=6395/tid=6396] ppid=6393 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) R 6393 6393 6317 0 -1 4202560 6612 0 0 0 18 2 0 0 20 0 15 0 445832999 15508250624 10254 33554432000 4194304 4196468 140722117170592 139839182156256 139839160331359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15144776 memory=9276 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 10254 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15144776 memory=3302942 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 10254 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 10254 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445832999 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445833001 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445833001 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838712669088 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15144776 memory=140372105090688 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445833001 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838711616496 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) S 6393 6393 6317 0 -1 1077944384 625 0 0 0 2 0 0 0 20 0 15 0 445833004 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838709512688 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) S 6393 6393 6317 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 445833004 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838708460144 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) R 6393 6393 6317 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 15 0 445833004 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838707407600 139839162004830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445833004 15508250624 10254 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42200 KiB
[startup+0.318641 s]*
/proc/loadavg: 0.64 0.72 0.98 5/229 6409
/proc/meminfo: memFree=29237352/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15149032 memory=50312 CPUtime=0.53 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 10937 0 0 0 49 4 0 0 20 0 15 0 445832998 15512608768 12578 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3787258 12578 3370 1 0 3748377 0
[pid=6395/tid=6396] ppid=6393 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) R 6393 6393 6317 0 -1 4202560 7871 0 0 0 28 3 0 0 20 0 15 0 445832999 15512608768 12643 33554432000 4194304 4196468 140722117170592 139839182155456 139839162004830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15512608768 12643 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15149032 memory=3299179 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15512608768 12643 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15512608768 12643 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445832999 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15149032 memory=140372105090688 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445833001 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445833001 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838712669088 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445833001 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838711616496 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) R 6393 6393 6317 0 -1 4202560 745 0 0 0 5 0 0 0 20 0 15 0 445833004 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838709499152 139839159468432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) S 6393 6393 6317 0 -1 1077944384 136 0 0 0 4 0 0 0 20 0 15 0 445833004 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838708460144 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15149032 memory=140372105090688 CPUtime=0.12 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) S 6393 6393 6317 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 15 0 445833004 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838707407600 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15149032 memory=140372105090688 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445833004 15512608768 12643 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51760 KiB
[startup+0.700811 s]
/proc/loadavg: 0.64 0.72 0.98 8/233 6413
/proc/meminfo: memFree=29187396/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15151156 memory=141052 CPUtime=1.65 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 14648 0 0 0 159 6 0 0 20 0 15 0 445832998 15514783744 35263 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3787789 35263 3448 1 0 3748889 0
[pid=6395/tid=6396] ppid=6393 vsize=15151156 memory=2120 CPUtime=0.67 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) R 6393 6393 6317 0 -1 4202560 8936 0 0 0 63 4 0 0 20 0 15 0 445832999 15514783744 35263 33554432000 4194304 4196468 140722117170592 139839182163456 139838787225636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15151156 memory=508 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15514783744 35263 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15514783744 35263 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445832999 15514783744 35263 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15151156 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445832999 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15151156 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445833001 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15151156 memory=880 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445833001 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838712669088 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15151156 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445833001 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838711616496 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15151156 memory=2496 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15151156 memory=7302135314614015842 CPUtime=0.31 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) R 6393 6393 6317 0 -1 4202560 1561 0 0 0 31 0 0 0 20 0 15 0 445833004 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838709499920 139839161830297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15151156 memory=5933889907057125482 CPUtime=0.31 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) S 6393 6393 6317 0 -1 1077944384 1218 0 0 0 31 0 0 0 20 0 15 0 445833004 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838708460144 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15151156 memory=7223887401239728208 CPUtime=0.32 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) S 6393 6393 6317 0 -1 1077944384 1626 0 0 0 32 0 0 0 20 0 15 0 445833004 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838707407600 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445833004 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15151156 memory=7522809536255386193 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445833004 15514783744 35263 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 142500 KiB
[startup+1.50164 s]
/proc/loadavg: 0.64 0.72 0.98 12/233 6477
/proc/meminfo: memFree=28760412/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 299 0 0 0 0 3 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6485] ppid=6393 vsize=15417412 memory=1211356 CPUtime=104.23 cores=0,2,4,6
/proc/6395/task/6485/stat : 6485 (java) R 6393 6393 6317 0 -1 4202560 2193 0 0 0 10423 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838627928872 139838789849168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6486] ppid=6393 vsize=15417412 memory=-8888631809385736112 CPUtime=104.35 cores=0,2,4,6
/proc/6395/task/6486/stat : 6486 (java) R 6393 6393 6317 0 -1 4202560 5157 0 0 0 10434 1 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838626877752 139838790994000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6487] ppid=6393 vsize=15417412 memory=4137287014106042739 CPUtime=104.03 cores=0,2,4,6
/proc/6395/task/6487/stat : 6487 (java) R 6393 6393 6317 0 -1 4202560 2433 0 0 0 10403 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838625824688 139838788695998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6488] ppid=6393 vsize=15417412 memory=6945782492362334265 CPUtime=104.31 cores=0,2,4,6
/proc/6395/task/6488/stat : 6488 (java) R 6393 6393 6317 0 -1 4202560 5578 0 0 0 10425 6 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838624772312 139838789255548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 424.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1212804 KiB
[startup+108.002 s]*
/proc/loadavg: 7.67 3.29 1.88 9/237 6512
/proc/meminfo: memFree=27944384/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15417412 memory=1211356 CPUtime=428.21 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 89181 0 0 0 42745 76 0 0 20 0 19 0 445832998 15787429888 302839 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3854353 302839 3524 1 0 3815453 0
[pid=6395/tid=6396] ppid=6393 vsize=15417412 memory=1398722017469774279 CPUtime=1.08 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) S 6393 6393 6317 0 -1 1077944384 9219 0 0 0 102 6 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839182165120 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15417412 memory=4126316290023845779 CPUtime=0.39 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 6296 0 0 0 26 13 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15417412 memory=288230600312357161 CPUtime=0.38 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 6256 0 0 0 26 12 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15417412 memory=3612 CPUtime=0.38 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 6643 0 0 0 24 14 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15417412 memory=47524 CPUtime=0.39 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 6867 0 0 0 26 13 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15417412 memory=988 CPUtime=0.06 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 4113 0 0 0 6 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15417412 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838712669152 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15417412 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838711616512 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15417412 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15417412 memory=1056 CPUtime=2.23 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) S 6393 6393 6317 0 -1 1077944384 14045 0 0 0 222 1 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838709512688 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15417412 memory=4000 CPUtime=2.31 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) S 6393 6393 6317 0 -1 1077944384 12778 0 0 0 229 2 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838708460144 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15417412 memory=1552 CPUtime=0.69 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) S 6393 6393 6317 0 -1 1077944384 5961 0 0 0 68 1 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838707407600 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15417412 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15417412 memory=1196 CPUtime=0.03 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 299 0 0 0 0 3 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6485] ppid=6393 vsize=15417412 memory=1044 CPUtime=105.04 cores=0,2,4,6
/proc/6395/task/6485/stat : 6485 (java) R 6393 6393 6317 0 -1 4202560 2193 0 0 0 10504 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838627928872 139838791247861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6486] ppid=6393 vsize=15417412 memory=712 CPUtime=105.16 cores=0,2,4,6
/proc/6395/task/6486/stat : 6486 (java) R 6393 6393 6317 0 -1 4202560 5157 0 0 0 10515 1 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838626877752 139838789435600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6487] ppid=6393 vsize=15417412 memory=2832 CPUtime=104.82 cores=0,2,4,6
/proc/6395/task/6487/stat : 6487 (java) R 6393 6393 6317 0 -1 4202560 2433 0 0 0 10482 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838625824688 139838789254451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6488] ppid=6393 vsize=15417412 memory=8024 CPUtime=105.12 cores=0,2,4,6
/proc/6395/task/6488/stat : 6488 (java) R 6393 6393 6317 0 -1 4202560 5580 0 0 0 10506 6 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838624772312 139838789255562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 428.21 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1212804 KiB
[startup+108.202 s]
/proc/loadavg: 7.67 3.29 1.88 9/237 6512
/proc/meminfo: memFree=27944384/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15417412 memory=1211356 CPUtime=428.97 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 89181 0 0 0 42821 76 0 0 20 0 19 0 445832998 15787429888 302839 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3854353 302839 3524 1 0 3815453 0
[pid=6395/tid=6396] ppid=6393 vsize=15417412 memory=15815620889413968 CPUtime=1.08 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) S 6393 6393 6317 0 -1 1077944384 9219 0 0 0 102 6 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839182165120 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15417412 memory=3804 CPUtime=0.39 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 6296 0 0 0 26 13 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15417412 memory=2300 CPUtime=0.38 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 6256 0 0 0 26 12 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15417412 memory=2300 CPUtime=0.38 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 6643 0 0 0 24 14 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15417412 memory=1408 CPUtime=0.39 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 6867 0 0 0 26 13 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15417412 memory=3200 CPUtime=0.06 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 4113 0 0 0 6 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838712669152 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15417412 memory=180476 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838711616512 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15417412 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15417412 memory=1432 CPUtime=2.23 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) S 6393 6393 6317 0 -1 1077944384 14045 0 0 0 222 1 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838709512688 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15417412 memory=776 CPUtime=2.31 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) S 6393 6393 6317 0 -1 1077944384 12778 0 0 0 229 2 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838708460144 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15417412 memory=1056 CPUtime=0.69 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) S 6393 6393 6317 0 -1 1077944384 5961 0 0 0 68 1 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838707407600 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15417412 memory=10428 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15417412 memory=14012 CPUtime=0.03 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 299 0 0 0 0 3 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6485] ppid=6393 vsize=15417412 memory=14080 CPUtime=105.23 cores=0,2,4,6
/proc/6395/task/6485/stat : 6485 (java) R 6393 6393 6317 0 -1 4202560 2193 0 0 0 10523 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838627928872 139838790780151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6486] ppid=6393 vsize=15417412 memory=26064 CPUtime=105.35 cores=0,2,4,6
/proc/6395/task/6486/stat : 6486 (java) R 6393 6393 6317 0 -1 4202560 5157 0 0 0 10534 1 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838626877752 139838789477376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6487] ppid=6393 vsize=15417412 memory=2120 CPUtime=105.01 cores=0,2,4,6
/proc/6395/task/6487/stat : 6487 (java) R 6393 6393 6317 0 -1 4202560 2433 0 0 0 10501 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838625824688 139838789255557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6488] ppid=6393 vsize=15417412 memory=302022848351043610 CPUtime=105.31 cores=0,2,4,6
/proc/6395/task/6488/stat : 6488 (java) R 6393 6393 6317 0 -1 4202560 5580 0 0 0 10525 6 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838624772312 139838789255384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 428.97 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1212804 KiB
[startup+108.302 s]
/proc/loadavg: 7.67 3.29 1.88 9/237 6512
/proc/meminfo: memFree=27944384/32770624 swapFree=66958320/67108860
[pid=6393] ppid=6390 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6393/stat : 6393 (xcsp3-exec) S 6390 6393 6317 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445832998 115843072 362 33554432000 4194304 5098028 140726957902816 140726957900920 140380805468796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35532800 140726957908858 140726957909101 140726957909101 140726957912010 0
/proc/6393/statm: 28282 362 304 221 0 87 0
[pid=6395] ppid=6393 vsize=15417412 memory=1211356 CPUtime=429.37 cores=0,2,4,6
/proc/6395/stat : 6395 (java) S 6393 6393 6317 0 -1 1077944320 89181 0 0 0 42861 76 0 0 20 0 19 0 445832998 15787429888 302839 33554432000 4194304 4196468 140722117170592 140722117153136 139839177924343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
/proc/6395/statm: 3854353 302839 3524 1 0 3815453 0
[pid=6395/tid=6396] ppid=6393 vsize=15417412 memory=1211356 CPUtime=1.08 cores=0,2,4,6
/proc/6395/task/6396/stat : 6396 (java) S 6393 6393 6317 0 -1 1077944384 9219 0 0 0 102 6 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839182165120 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6397] ppid=6393 vsize=15417412 memory=1211356 CPUtime=0.39 cores=0,2,4,6
/proc/6395/task/6397/stat : 6397 (java) S 6393 6393 6317 0 -1 1077944384 6296 0 0 0 26 13 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839105964816 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6398] ppid=6393 vsize=15417412 memory=1211356 CPUtime=0.38 cores=0,2,4,6
/proc/6395/task/6398/stat : 6398 (java) S 6393 6393 6317 0 -1 1077944384 6256 0 0 0 26 12 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839104912272 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6399] ppid=6393 vsize=15417412 memory=1448 CPUtime=0.38 cores=0,2,4,6
/proc/6395/task/6399/stat : 6399 (java) S 6393 6393 6317 0 -1 1077944384 6643 0 0 0 24 14 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139839103859728 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6400] ppid=6393 vsize=15417412 memory=1448 CPUtime=0.39 cores=0,2,4,6
/proc/6395/task/6400/stat : 6400 (java) S 6393 6393 6317 0 -1 1077944384 6867 0 0 0 26 13 0 0 20 0 19 0 445832999 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838766836880 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6401] ppid=6393 vsize=15417412 memory=949232 CPUtime=0.06 cores=0,2,4,6
/proc/6395/task/6401/stat : 6401 (java) S 6393 6393 6317 0 -1 1077944384 4113 0 0 0 6 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838713722864 139839177935490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6402] ppid=6393 vsize=15417412 memory=1020976 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6402/stat : 6402 (java) S 6393 6393 6317 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838712669152 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6403] ppid=6393 vsize=15417412 memory=1020976 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6403/stat : 6403 (java) S 6393 6393 6317 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445833001 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838711616512 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6404] ppid=6393 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6404/stat : 6404 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838710565072 139839177942939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6405] ppid=6393 vsize=15417412 memory=1196604 CPUtime=2.23 cores=0,2,4,6
/proc/6395/task/6405/stat : 6405 (java) S 6393 6393 6317 0 -1 1077944384 14045 0 0 0 222 1 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838709512688 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6406] ppid=6393 vsize=15417412 memory=1211356 CPUtime=2.31 cores=0,2,4,6
/proc/6395/task/6406/stat : 6406 (java) S 6393 6393 6317 0 -1 1077944384 12778 0 0 0 229 2 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838708460144 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6407] ppid=6393 vsize=15417412 memory=1432 CPUtime=0.69 cores=0,2,4,6
/proc/6395/task/6407/stat : 6407 (java) S 6393 6393 6317 0 -1 1077944384 5961 0 0 0 68 1 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838707407600 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6408] ppid=6393 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6395/task/6408/stat : 6408 (java) S 6393 6393 6317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838706355296 139839177934549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6409] ppid=6393 vsize=15417412 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/6395/task/6409/stat : 6409 (java) S 6393 6393 6317 0 -1 1077944384 299 0 0 0 0 3 0 0 20 0 19 0 445833004 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838705301808 139839177935490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6485] ppid=6393 vsize=15417412 memory=712 CPUtime=105.33 cores=0,2,4,6
/proc/6395/task/6485/stat : 6485 (java) R 6393 6393 6317 0 -1 4202560 2193 0 0 0 10533 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838627928872 139838789255082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6486] ppid=6393 vsize=15417412 memory=2832 CPUtime=105.45 cores=0,2,4,6
/proc/6395/task/6486/stat : 6486 (java) R 6393 6393 6317 0 -1 4202560 5157 0 0 0 10544 1 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838626877752 139838791247643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6487] ppid=6393 vsize=15417412 memory=280743893437032 CPUtime=105.11 cores=0,2,4,6
/proc/6395/task/6487/stat : 6487 (java) R 6393 6393 6317 0 -1 4202560 2433 0 0 0 10511 0 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838625824688 139838789849173 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
[pid=6395/tid=6488] ppid=6393 vsize=15417412 memory=-4695052241013923951 CPUtime=105.41 cores=0,2,4,6
/proc/6395/task/6488/stat : 6488 (java) R 6393 6393 6317 0 -1 4202560 5580 0 0 0 10535 6 0 0 20 0 19 0 445833121 15787429888 302839 33554432000 4194304 4196468 140722117170592 139838624772312 139838789436612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21151744 140722117178351 140722117178522 140722117178522 140722117181391 0
Current children cumulated CPU time: 429.37 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1212804 KiB
Child status: 0
Real time (s): 108.367
CPU time (s): 429.555
CPU user time (s): 428.774
CPU system time (s): 0.78131
CPU usage (%): 396.39
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1212804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.774
system time used= 0.78131
maximum resident set size= 1211488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5565
involuntary context switches= 7467
# summary of solver processes directly reported to runsolver:
# pid: 6393
# total CPU time (s): 429.555
# total CPU user time (s): 428.774
# total CPU system time (s): 0.78131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.707704 second user time and 1.22563 second system time
The end