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 (15284 MiB free)
memory of node 1: 16384 MiB (15217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399260-1568699144/watcher-4399260-1568699144 -o /tmp/evaluation-result-4399260-1568699144/solver-4399260-1568699144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2120444012 HOME/instance-4399260-1568699144.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=27390, runsolver pid=27387
[startup+0.100058 s]*
/proc/loadavg: 8.37 8.53 8.42 7/233 27406
/proc/meminfo: memFree=31216756/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15144776 memory=29412 CPUtime=0.12 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 5831 0 0 0 11 1 0 0 20 0 15 0 446177042 15508250624 7353 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3786194 7353 3120 1 0 3748377 0
[pid=27392/tid=27393] ppid=27390 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) R 27390 27390 21506 0 -1 4202560 3743 0 0 0 8 1 0 0 20 0 15 0 446177042 15508250624 7353 33554432000 4194304 4196468 140733110786736 140517699458368 140517676798848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15144776 memory=3472467809952486608 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 7419 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 7419 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 7419 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 7419 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177045 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446177045 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516836820000 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446177045 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516835767152 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) R 27390 27390 21506 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516766243792 140517695235797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) R 27390 27390 21506 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516765182400 140517678661329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0.02 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) R 27390 27390 21506 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 446177048 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516764138096 140517674349055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 7419 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30860 KiB
[startup+0.210796 s]*
/proc/loadavg: 8.37 8.53 8.42 8/233 27406
/proc/meminfo: memFree=31204720/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15144776 memory=40892 CPUtime=0.35 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 9407 0 0 0 31 4 0 0 20 0 15 0 446177042 15508250624 10223 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3786194 10223 3311 1 0 3748377 0
[pid=27392/tid=27393] ppid=27390 vsize=15144776 memory=5855087016065728930 CPUtime=0.19 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) R 27390 27390 21506 0 -1 4202560 6597 0 0 0 17 2 0 0 20 0 15 0 446177042 15508250624 10223 33554432000 4194304 4196468 140733110786736 140517699457504 140517695237526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15144776 memory=3472467809952486608 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 10223 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 10223 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 10223 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15508250624 10223 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446177045 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446177045 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516836820000 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446177045 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516835767152 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) S 27390 27390 21506 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 446177048 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516766243696 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) S 27390 27390 21506 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 446177048 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516765190896 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0.08 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) R 27390 27390 21506 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 446177048 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516764137904 140517695237526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15144776 memory=139681057334912 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177048 15508250624 10223 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42340 KiB
[startup+0.319101 s]*
/proc/loadavg: 8.37 8.53 8.42 7/233 27406
/proc/meminfo: memFree=31196712/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15149032 memory=50348 CPUtime=0.54 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 10920 0 0 0 50 4 0 0 20 0 15 0 446177042 15512608768 12587 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3787258 12587 3352 1 0 3748377 0
[pid=27392/tid=27393] ppid=27390 vsize=15149032 memory=-8540663193526752614 CPUtime=0.31 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) R 27390 27390 21506 0 -1 4202560 7887 0 0 0 28 3 0 0 20 0 15 0 446177042 15512608768 12587 33554432000 4194304 4196468 140733110786736 140517699456704 140517679306078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15149032 memory=3472467809952486608 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15512608768 12587 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15149032 memory=139681057356444 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15512608768 12587 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15149032 memory=139680926533421 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15512608768 12587 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15149032 memory=139680926514127 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15512608768 12587 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15149032 memory=139681057356450 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446177045 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15149032 memory=139680926523311 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446177045 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516836820000 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15149032 memory=139680926547660 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446177045 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516835767152 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15149032 memory=279361853051248 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) S 27390 27390 21506 0 -1 1077944384 499 0 0 0 3 0 0 0 20 0 15 0 446177048 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516766243696 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15149032 memory=2240 CPUtime=0.05 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) S 27390 27390 21506 0 -1 1077944384 367 0 0 0 5 0 0 0 20 0 15 0 446177048 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516765190896 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15149032 memory=139681057334912 CPUtime=0.12 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) S 27390 27390 21506 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 446177048 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516764138096 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15149032 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15149032 memory=139681057334912 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177048 15512608768 12587 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51796 KiB
[startup+0.701093 s]
/proc/loadavg: 8.37 8.53 8.42 9/233 27406
/proc/meminfo: memFree=31172208/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15151156 memory=99220 CPUtime=1.75 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 14891 0 0 0 169 6 0 0 20 0 15 0 446177042 15514783744 24805 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3787789 24805 3456 1 0 3748889 0
[pid=27392/tid=27393] ppid=27390 vsize=15151156 memory=2828 CPUtime=0.67 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) R 27390 27390 21506 0 -1 4202560 9111 0 0 0 64 3 0 0 20 0 15 0 446177042 15514783744 24805 33554432000 4194304 4196468 140733110786736 140517699459928 140517321287485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15514783744 24805 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15514783744 24805 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177043 15514783744 24805 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15151156 memory=279361853125952 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446177043 15514783744 24805 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15151156 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446177045 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15151156 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446177045 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516836820000 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15151156 memory=2320954972729494185 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446177045 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516835767152 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15151156 memory=1425 CPUtime=0.35 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) R 27390 27390 21506 0 -1 4202560 1476 0 0 0 35 0 0 0 20 0 15 0 446177048 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516766236720 140517675055872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15151156 memory=11 CPUtime=0.3 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) R 27390 27390 21506 0 -1 4202560 1024 0 0 0 30 0 0 0 20 0 15 0 446177048 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516765171912 140517674396630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15151156 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) S 27390 27390 21506 0 -1 1077944384 1973 0 0 0 39 0 0 0 20 0 15 0 446177048 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516764138096 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15151156 memory=30744 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446177048 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15151156 memory=1477 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446177048 15514783744 24805 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 100668 KiB
[startup+1.50109 s]
/proc/loadavg: 8.37 8.53 8.42 10/237 27410
/proc/meminfo: memFree=31091008/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 229268 KiB
[startup+145.601 s]
/proc/loadavg: 8.50 8.49 8.42 9/233 28394
/proc/meminfo: memFree=31099232/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15417412 memory=227820 CPUtime=577.33 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 57007 0 0 0 57703 30 0 0 20 0 19 0 446177042 15787429888 56955 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3854353 56955 3536 1 0 3815453 0
[pid=27392/tid=27393] ppid=27390 vsize=15417412 memory=227820 CPUtime=0.87 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) S 27390 27390 21506 0 -1 1077944384 9198 0 0 0 83 4 0 0 20 0 19 0 446177042 15787429888 56955 33554432000 4194304 4196468 140733110786736 140517699466368 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15417412 memory=7872 CPUtime=0.18 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1687 0 0 0 16 2 0 0 20 0 19 0 446177043 15787429888 56955 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15417412 memory=6791534058613427641 CPUtime=0.19 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 963 0 0 0 16 3 0 0 20 0 19 0 446177043 15787429888 56955 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15417412 memory=2004 CPUtime=0.19 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1668 0 0 0 16 3 0 0 20 0 19 0 446177043 15787429888 56955 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15417412 memory=984 CPUtime=0.18 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 1600 0 0 0 15 3 0 0 20 0 19 0 446177043 15787429888 56955 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15417412 memory=1324 CPUtime=0.12 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 1617 0 0 0 9 3 0 0 20 0 19 0 446177045 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 446177045 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516836820064 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15417412 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 446177045 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516835767168 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15417412 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446177048 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15417412 memory=1028 CPUtime=2.25 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) S 27390 27390 21506 0 -1 1077944384 12372 0 0 0 223 2 0 0 20 0 19 0 446177048 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516766243696 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15417412 memory=1060 CPUtime=2.34 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) S 27390 27390 21506 0 -1 1077944384 13854 0 0 0 232 2 0 0 20 0 19 0 446177048 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516765190896 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15417412 memory=2828 CPUtime=0.67 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) S 27390 27390 21506 0 -1 1077944384 5675 0 0 0 66 1 0 0 20 0 19 0 446177048 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516764138096 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15417412 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446177048 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15417412 memory=30692 CPUtime=0.03 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 408 0 0 0 0 3 0 0 20 0 19 0 446177048 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27423] ppid=27390 vsize=15417412 memory=2004 CPUtime=141.9 cores=0,2,4,6
/proc/27392/task/27423/stat : 27423 (java) R 27390 27390 21506 0 -1 4202560 551 0 0 0 14189 1 0 0 20 0 19 0 446177219 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516753050520 140517327106245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27424] ppid=27390 vsize=15417412 memory=984 CPUtime=141.84 cores=0,2,4,6
/proc/27392/task/27424/stat : 27424 (java) R 27390 27390 21506 0 -1 4202560 1411 0 0 0 14183 1 0 0 20 0 19 0 446177219 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516752001392 140517327106304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27425] ppid=27390 vsize=15417412 memory=1324 CPUtime=142.23 cores=0,2,4,6
/proc/27392/task/27425/stat : 27425 (java) R 27390 27390 21506 0 -1 4202560 2490 0 0 0 14222 1 0 0 20 0 19 0 446177219 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516749893384 140517327106235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27426] ppid=27390 vsize=15417412 memory=780 CPUtime=141.97 cores=0,2,4,6
/proc/27392/task/27426/stat : 27426 (java) R 27390 27390 21506 0 -1 4202560 1642 0 0 0 14197 0 0 0 20 0 19 0 446177221 15787429888 56955 33554432000 4194304 4196468 140733110786736 140516750946880 140517327757730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 577.33 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 229268 KiB
[startup+147.201 s]
/proc/loadavg: 8.22 8.44 8.40 6/233 28398
/proc/meminfo: memFree=30341864/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15417412 memory=249780 CPUtime=583.65 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 58156 0 0 0 58334 31 0 0 20 0 19 0 446177042 15787429888 62445 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3854353 62445 3536 1 0 3815453 0
[pid=27392/tid=27393] ppid=27390 vsize=15417412 memory=6791534058613427641 CPUtime=0.87 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) S 27390 27390 21506 0 -1 1077944384 9329 0 0 0 83 4 0 0 20 0 19 0 446177042 15787429888 62445 33554432000 4194304 4196468 140733110786736 140517699466368 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15417412 memory=230384 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1703 0 0 0 17 3 0 0 20 0 19 0 446177043 15787429888 62445 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15417412 memory=1412 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 974 0 0 0 17 3 0 0 20 0 19 0 446177043 15787429888 62445 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15417412 memory=2824 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1677 0 0 0 17 3 0 0 20 0 19 0 446177043 15787429888 62445 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15417412 memory=227820 CPUtime=0.19 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 1609 0 0 0 16 3 0 0 20 0 19 0 446177043 15787429888 62445 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15417412 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 1621 0 0 0 10 3 0 0 20 0 19 0 446177045 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15417412 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 446177045 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516836820064 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15417412 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 446177045 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516835767168 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446177048 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15417412 memory=0 CPUtime=2.26 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) S 27390 27390 21506 0 -1 1077944384 12494 0 0 0 224 2 0 0 20 0 19 0 446177048 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516766243696 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15417412 memory=0 CPUtime=2.35 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) S 27390 27390 21506 0 -1 1077944384 13991 0 0 0 233 2 0 0 20 0 19 0 446177048 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516765190896 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15417412 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) S 27390 27390 21506 0 -1 1077944384 6149 0 0 0 67 1 0 0 20 0 19 0 446177048 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516764138096 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446177048 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15417412 memory=227820 CPUtime=0.03 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 408 0 0 0 0 3 0 0 20 0 19 0 446177048 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28395] ppid=27390 vsize=15417412 memory=1448 CPUtime=0.19 cores=0,2,4,6
/proc/27392/task/28395/stat : 28395 (java) R 27390 27390 21506 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 19 0 446191741 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516752002552 140517327106191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28396] ppid=27390 vsize=15417412 memory=227820 CPUtime=0.21 cores=0,2,4,6
/proc/27392/task/28396/stat : 28396 (java) R 27390 27390 21506 0 -1 4202560 37 0 0 0 21 0 0 0 20 0 19 0 446191741 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516753052184 140517327106212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28397] ppid=27390 vsize=15417412 memory=279361853770752 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/28397/stat : 28397 (java) R 27390 27390 21506 0 -1 4202560 16 0 0 0 20 0 0 0 20 0 19 0 446191741 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516750953672 140517326633408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28398] ppid=27390 vsize=15417412 memory=6082203021921120343 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/28398/stat : 28398 (java) R 27390 27390 21506 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 19 0 446191741 15787429888 62445 33554432000 4194304 4196468 140733110786736 140516749900872 140517328549249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 583.65 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 251228 KiB
[startup+147.601 s]
/proc/loadavg: 8.22 8.44 8.40 6/233 28398
/proc/meminfo: memFree=30341864/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
[pid=27392] ppid=27390 vsize=15417412 memory=250092 CPUtime=585.24 cores=0,2,4,6
/proc/27392/stat : 27392 (java) S 27390 27390 21506 0 -1 1077944320 59175 0 0 0 58493 31 0 0 20 0 19 0 446177042 15787429888 62523 33554432000 4194304 4196468 140733110786736 140733110769280 140517695225591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
/proc/27392/statm: 3854353 62523 3536 1 0 3815453 0
[pid=27392/tid=27393] ppid=27390 vsize=15417412 memory=111632 CPUtime=0.87 cores=0,2,4,6
/proc/27392/task/27393/stat : 27393 (java) S 27390 27390 21506 0 -1 1077944384 9329 0 0 0 83 4 0 0 20 0 19 0 446177042 15787429888 62523 33554432000 4194304 4196468 140733110786736 140517699466368 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27394] ppid=27390 vsize=15417412 memory=804 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/27394/stat : 27394 (java) S 27390 27390 21506 0 -1 1077944384 1747 0 0 0 17 3 0 0 20 0 19 0 446177043 15787429888 62523 33554432000 4194304 4196468 140733110786736 140517647846544 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27395] ppid=27390 vsize=15417412 memory=1804 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/27395/stat : 27395 (java) S 27390 27390 21506 0 -1 1077944384 1028 0 0 0 17 3 0 0 20 0 19 0 446177043 15787429888 62523 33554432000 4194304 4196468 140733110786736 140517646793744 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27396] ppid=27390 vsize=15417412 memory=920 CPUtime=0.2 cores=0,2,4,6
/proc/27392/task/27396/stat : 27396 (java) S 27390 27390 21506 0 -1 1077944384 1715 0 0 0 17 3 0 0 20 0 19 0 446177043 15787429888 62523 33554432000 4194304 4196468 140733110786736 140517645740944 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27397] ppid=27390 vsize=15417412 memory=3848 CPUtime=0.19 cores=0,2,4,6
/proc/27392/task/27397/stat : 27397 (java) S 27390 27390 21506 0 -1 1077944384 1643 0 0 0 16 3 0 0 20 0 19 0 446177043 15787429888 62523 33554432000 4194304 4196468 140733110786736 140517644688144 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27398] ppid=27390 vsize=15417412 memory=2660 CPUtime=0.13 cores=0,2,4,6
/proc/27392/task/27398/stat : 27398 (java) S 27390 27390 21506 0 -1 1077944384 1622 0 0 0 10 3 0 0 20 0 19 0 446177045 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516837874032 140517695236738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27399] ppid=27390 vsize=15417412 memory=2724 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27399/stat : 27399 (java) S 27390 27390 21506 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 446177045 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516836820064 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27400] ppid=27390 vsize=15417412 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27400/stat : 27400 (java) S 27390 27390 21506 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 446177045 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516835767168 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27401] ppid=27390 vsize=15417412 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27401/stat : 27401 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446177048 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516767295312 140517695244187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27402] ppid=27390 vsize=15417412 memory=1408 CPUtime=2.3 cores=0,2,4,6
/proc/27392/task/27402/stat : 27402 (java) S 27390 27390 21506 0 -1 1077944384 13124 0 0 0 228 2 0 0 20 0 19 0 446177048 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516766243696 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27403] ppid=27390 vsize=15417412 memory=3176 CPUtime=2.36 cores=0,2,4,6
/proc/27392/task/27403/stat : 27403 (java) S 27390 27390 21506 0 -1 1077944384 14100 0 0 0 234 2 0 0 20 0 19 0 446177048 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516765190896 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27404] ppid=27390 vsize=15417412 memory=1448 CPUtime=0.68 cores=0,2,4,6
/proc/27392/task/27404/stat : 27404 (java) S 27390 27390 21506 0 -1 1077944384 6247 0 0 0 67 1 0 0 20 0 19 0 446177048 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516764138096 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27405] ppid=27390 vsize=15417412 memory=236012 CPUtime=0 cores=0,2,4,6
/proc/27392/task/27405/stat : 27405 (java) S 27390 27390 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446177048 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516763085536 140517695235797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=27406] ppid=27390 vsize=15417412 memory=11976 CPUtime=0.03 cores=0,2,4,6
/proc/27392/task/27406/stat : 27406 (java) S 27390 27390 21506 0 -1 1077944384 408 0 0 0 0 3 0 0 20 0 19 0 446177048 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516762032816 140517695236738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28395] ppid=27390 vsize=15417412 memory=11452 CPUtime=0.55 cores=0,2,4,6
/proc/27392/task/28395/stat : 28395 (java) R 27390 27390 21506 0 -1 4202560 36 0 0 0 55 0 0 0 20 0 19 0 446191741 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516751998280 140517327105917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28396] ppid=27390 vsize=15417412 memory=512 CPUtime=0.59 cores=0,2,4,6
/proc/27392/task/28396/stat : 28396 (java) R 27390 27390 21506 0 -1 4202560 37 0 0 0 59 0 0 0 20 0 19 0 446191741 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516753052296 140517327106304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28397] ppid=27390 vsize=15417412 memory=1564 CPUtime=0.59 cores=0,2,4,6
/proc/27392/task/28397/stat : 28397 (java) R 27390 27390 21506 0 -1 4202560 23 0 0 0 59 0 0 0 20 0 19 0 446191741 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516750948592 140517326633463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
[pid=27392/tid=28398] ppid=27390 vsize=15417412 memory=928 CPUtime=0.6 cores=0,2,4,6
/proc/27392/task/28398/stat : 28398 (java) R 27390 27390 21506 0 -1 4202560 20 0 0 0 60 0 0 0 20 0 19 0 446191741 15787429888 62523 33554432000 4194304 4196468 140733110786736 140516749896176 140517327106279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140733110789103 140733110789274 140733110789274 140733110792143 0
Current children cumulated CPU time: 585.24 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 251540 KiB
[startup+148 s]*
/proc/loadavg: 8.22 8.44 8.40 2/216 28399
/proc/meminfo: memFree=30407720/32770624 swapFree=66977068/67108860
[pid=27390] ppid=27387 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27390/stat : 27390 (xcsp3-exec) S 27387 27390 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446177042 115843072 362 33554432000 4194304 5098028 140731922027440 140731922025544 140420549755516 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19574784 140731922031482 140731922031725 140731922031725 140731922034634 0
/proc/27390/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 148.049
CPU time (s): 585.989
CPU user time (s): 585.664
CPU system time (s): 0.324389
CPU usage (%): 395.808
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 251540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.664
system time used= 0.324389
maximum resident set size= 251004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9356
involuntary context switches= 10787
# summary of solver processes directly reported to runsolver:
# pid: 27390
# total CPU time (s): 585.989
# total CPU user time (s): 585.664
# total CPU system time (s): 0.324389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.934144 second user time and 1.71176 second system time
The end