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 (13712 MiB free)
memory of node 1: 16384 MiB (13513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400477-1568694707/watcher-4400477-1568694707 -o /tmp/evaluation-result-4400477-1568694707/solver-4400477-1568694707 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1533667730 HOME/instance-4400477-1568694707.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28472, runsolver pid=28469
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.31 7.18 4.36 6/234 28488
/proc/meminfo: memFree=27865116/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15144776 memory=27456 CPUtime=0.13 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 5901 0 0 0 12 1 0 0 20 0 15 0 445410820 15508250624 6864 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3786194 6864 3119 1 0 3748377 0
[pid=28474/tid=28475] ppid=28472 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) R 28472 28472 22939 0 -1 4202560 3765 0 0 0 9 0 0 0 20 0 15 0 445410820 15508250624 6864 33554432000 4194304 4196468 140732249744752 140283530887056 140283526677082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 6864 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15144776 memory=139994878506624 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 6864 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 6864 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 6864 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15144776 memory=139994878506624 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) S 28472 28472 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445410822 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445410823 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282994123552 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445410823 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282993071216 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) R 28472 28472 22939 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282990967408 140283526666882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) R 28472 28472 22939 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282989914608 140283519640777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15144776 memory=139994878506624 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) R 28472 28472 22939 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 445410826 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282988862320 140283526667670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15144776 memory=139994878506624 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 6864 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28908 KiB
[startup+0.210868 s]*
/proc/loadavg: 8.31 7.18 4.36 6/234 28488
/proc/meminfo: memFree=27839232/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15144776 memory=39820 CPUtime=0.34 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 9729 0 0 0 31 3 0 0 20 0 15 0 445410820 15508250624 9955 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3786194 9955 3311 1 0 3748377 0
[pid=28474/tid=28475] ppid=28472 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) R 28472 28472 22939 0 -1 4202560 6702 0 0 0 18 2 0 0 20 0 15 0 445410820 15508250624 9955 33554432000 4194304 4196468 140732249744752 140283530888464 140283164520096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 9955 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15144776 memory=139994881859443 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 9955 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 9955 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445410821 15508250624 9955 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15144776 memory=139994878506624 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) S 28472 28472 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445410822 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445410823 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282994123552 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445410823 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282993071216 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) S 28472 28472 22939 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 445410826 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282990967408 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) S 28472 28472 22939 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 445410826 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282989914608 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15144776 memory=139994878506624 CPUtime=0.07 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) R 28472 28472 22939 0 -1 4202560 858 0 0 0 7 0 0 0 20 0 15 0 445410826 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282988862320 140283526667670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445410826 15508250624 9955 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41272 KiB
[startup+0.706822 s]*
/proc/loadavg: 8.31 7.18 4.36 12/238 28524
/proc/meminfo: memFree=27750352/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15485004 memory=144412 CPUtime=1.67 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 15599 0 0 0 160 7 0 0 20 0 19 0 445410820 15856644096 36103 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3871251 36103 3459 1 0 3832351 0
[pid=28474/tid=28475] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) S 28472 28472 22939 0 -1 1077944384 9259 0 0 0 50 3 0 0 20 0 19 0 445410820 15856644096 36103 33554432000 4194304 4196468 140732249744752 140283530896512 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15484992 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445410821 15856631808 36103 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15485004 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 36103 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15485004 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 36103 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15485004 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 36103 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15485004 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) S 28472 28472 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445410822 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15485004 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282994123552 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15485004 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282993071216 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15485004 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15485004 memory=4426078206164241782 CPUtime=0.24 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) R 28472 28472 22939 0 -1 4202560 1467 0 0 0 24 0 0 0 20 0 19 0 445410826 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282990948424 140283510149974 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15485004 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) R 28472 28472 22939 0 -1 4202560 961 0 0 0 26 0 0 0 20 0 19 0 445410826 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282989900488 140283508200224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15485004 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) R 28472 28472 22939 0 -1 4202560 1770 0 0 0 35 1 0 0 20 0 19 0 445410826 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282988859256 140283505613470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 36103 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28521] ppid=28472 vsize=15485004 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28474/task/28521/stat : 28521 (java) R 28472 28472 22939 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 445410889 15856644096 36615 33554432000 4194304 4196468 140732249744752 140282973328600 140283166710760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28522] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28522/stat : 28522 (java) R 28472 28472 22939 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 445410889 15856644096 36615 33554432000 4194304 4196468 140732249744752 140282976489888 140283163983780 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28523] ppid=28472 vsize=15485004 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28474/task/28523/stat : 28523 (java) R 28472 28472 22939 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 445410889 15856644096 36615 33554432000 4194304 4196468 140732249744752 140282977540880 140283526665941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28524] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28524/stat : 28524 (java) R 28472 28472 22939 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 445410889 15856644096 36615 33554432000 4194304 4196468 140732249744752 140282972282080 140283508304814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 145864 KiB
[startup+0.81182 s]*
/proc/loadavg: 8.31 7.18 4.36 13/238 28540
/proc/meminfo: memFree=27720992/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15485004 memory=173348 CPUtime=2.03 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 17549 0 0 0 195 8 0 0 20 0 19 0 445410820 15856644096 43337 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3871251 43337 3463 1 0 3832351 0
[pid=28474/tid=28475] ppid=28472 vsize=15485004 memory=7883960649037381690 CPUtime=0.53 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) S 28472 28472 22939 0 -1 1077944384 9259 0 0 0 50 3 0 0 20 0 19 0 445410820 15856644096 43337 33554432000 4194304 4196468 140732249744752 140283530896512 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15485004 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 43337 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15485004 memory=139994881859443 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 43337 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 43337 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15485004 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 445410821 15856644096 43337 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15485004 memory=139994878506624 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) S 28472 28472 22939 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 445410822 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15485004 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282994123552 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282993071216 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15485004 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) R 28472 28472 22939 0 -1 4202560 2220 0 0 0 30 0 0 0 20 0 19 0 445410826 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282990952072 140283511764579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15485004 memory=-1 CPUtime=0.34 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) R 28472 28472 22939 0 -1 4202560 1360 0 0 0 34 0 0 0 20 0 19 0 445410826 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282989895624 140283507356032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15485004 memory=139994878506624 CPUtime=0.4 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) S 28472 28472 22939 0 -1 1077944384 2198 0 0 0 39 1 0 0 20 0 19 0 445410826 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282988862320 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15485004 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28537] ppid=28472 vsize=15485004 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28537/stat : 28537 (java) R 28472 28472 22939 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 445410899 15856644096 43337 33554432000 4194304 4196468 140732249744752 140282975431608 140283166674364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
################
# More data... #
################
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 647 0 0 0 0 2 0 0 20 0 19 0 445410826 15856644096 44855 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28545] ppid=28472 vsize=15485004 memory=1452 CPUtime=163.28 cores=0,2,4,6
/proc/28474/task/28545/stat : 28545 (java) R 28472 28472 22939 0 -1 4202560 698 0 0 0 16328 0 0 0 20 0 19 0 445410972 15856644096 44855 33554432000 4194304 4196468 140732249744752 140282976486736 140283167842310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28546] ppid=28472 vsize=15485004 memory=175276 CPUtime=163 cores=0,2,4,6
/proc/28474/task/28546/stat : 28546 (java) R 28472 28472 22939 0 -1 4202560 1865 0 0 0 16300 0 0 0 20 0 19 0 445410972 15856644096 44855 33554432000 4194304 4196468 140732249744752 140282975432840 140283167881615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28547] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=163.62 cores=0,2,4,6
/proc/28474/task/28547/stat : 28547 (java) R 28472 28472 22939 0 -1 4202560 2601 0 0 0 16362 0 0 0 20 0 19 0 445410972 15856644096 44855 33554432000 4194304 4196468 140732249744752 140282972274352 140283166863965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28548] ppid=28472 vsize=15485004 memory=4160 CPUtime=163.49 cores=0,2,4,6
/proc/28474/task/28548/stat : 28548 (java) R 28472 28472 22939 0 -1 4202560 1326 0 0 0 16349 0 0 0 20 0 19 0 445410972 15856644096 44855 33554432000 4194304 4196468 140732249744752 140282974380168 140283169319862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 662.19 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 180872 KiB
[startup+167.601 s]
/proc/loadavg: 8.29 7.68 5.01 10/238 28559
/proc/meminfo: memFree=27894932/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15485004 memory=181468 CPUtime=665.36 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 60466 0 0 0 66518 18 0 0 20 0 19 0 445410820 15856644096 45367 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3871251 45367 3517 1 0 3832351 0
[pid=28474/tid=28475] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) S 28472 28472 22939 0 -1 1077944384 9259 0 0 0 50 3 0 0 20 0 19 0 445410820 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283530896512 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15485004 memory=179420 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 902 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15485004 memory=1452 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 1715 0 0 0 7 3 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15485004 memory=171644 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 1202 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15485004 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 1784 0 0 0 7 2 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15485004 memory=1436 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) S 28472 28472 22939 0 -1 1077944384 1893 0 0 0 9 1 0 0 20 0 19 0 445410822 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15485004 memory=580 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282994123616 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15485004 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282993071232 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15485004 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15485004 memory=4160 CPUtime=2.15 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) S 28472 28472 22939 0 -1 1077944384 12140 0 0 0 214 1 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282990967408 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15485004 memory=0 CPUtime=2.29 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) S 28472 28472 22939 0 -1 1077944384 14940 0 0 0 228 1 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282989914608 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15485004 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) S 28472 28472 22939 0 -1 1077944384 6762 0 0 0 58 1 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282988862320 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15485004 memory=215 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15485004 memory=229 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 647 0 0 0 0 2 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28545] ppid=28472 vsize=15485004 memory=139994728699875 CPUtime=164.06 cores=0,2,4,6
/proc/28474/task/28545/stat : 28545 (java) R 28472 28472 22939 0 -1 4202560 699 0 0 0 16406 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282976483912 140283166863952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28546] ppid=28472 vsize=15485004 memory=3620 CPUtime=163.8 cores=0,2,4,6
/proc/28474/task/28546/stat : 28546 (java) R 28472 28472 22939 0 -1 4202560 1867 0 0 0 16380 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282975435488 140283169320229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28547] ppid=28472 vsize=15485004 memory=1660 CPUtime=164.42 cores=0,2,4,6
/proc/28474/task/28547/stat : 28547 (java) R 28472 28472 22939 0 -1 4202560 2601 0 0 0 16442 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282972274160 140283167842447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28548] ppid=28472 vsize=15485004 memory=48276 CPUtime=164.29 cores=0,2,4,6
/proc/28474/task/28548/stat : 28548 (java) R 28472 28472 22939 0 -1 4202560 1327 0 0 0 16429 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282974380568 140283167908944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 665.36 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 182920 KiB
[startup+168.001 s]
/proc/loadavg: 8.29 7.68 5.01 10/238 28559
/proc/meminfo: memFree=27894932/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15485004 memory=181468 CPUtime=666.96 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 60466 0 0 0 66678 18 0 0 20 0 19 0 445410820 15856644096 45367 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3871251 45367 3517 1 0 3832351 0
[pid=28474/tid=28475] ppid=28472 vsize=15485004 memory=3620 CPUtime=0.53 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) S 28472 28472 22939 0 -1 1077944384 9259 0 0 0 50 3 0 0 20 0 19 0 445410820 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283530896512 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 902 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15485004 memory=1808 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 1715 0 0 0 7 3 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15485004 memory=924 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 1202 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15485004 memory=3804 CPUtime=0.09 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 1784 0 0 0 7 2 0 0 20 0 19 0 445410821 15856644096 45367 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15485004 memory=2608 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) R 28472 28472 22939 0 -1 1077944384 1893 0 0 0 9 1 0 0 20 0 19 0 445410822 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15485004 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282994123616 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15485004 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282993071232 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15485004 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15485004 memory=984 CPUtime=2.15 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) S 28472 28472 22939 0 -1 1077944384 12140 0 0 0 214 1 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282990967408 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15485004 memory=14004 CPUtime=2.29 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) S 28472 28472 22939 0 -1 1077944384 14940 0 0 0 228 1 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282989914608 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15485004 memory=25816 CPUtime=0.59 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) S 28472 28472 22939 0 -1 1077944384 6762 0 0 0 58 1 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282988862320 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15485004 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15485004 memory=2124 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 647 0 0 0 0 2 0 0 20 0 19 0 445410826 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28545] ppid=28472 vsize=15485004 memory=500 CPUtime=164.46 cores=0,2,4,6
/proc/28474/task/28545/stat : 28545 (java) R 28472 28472 22939 0 -1 1077944384 699 0 0 0 16446 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282976483912 140283526667670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28546] ppid=28472 vsize=15485004 memory=2008 CPUtime=164.2 cores=0,2,4,6
/proc/28474/task/28546/stat : 28546 (java) S 28472 28472 22939 0 -1 1077944384 1867 0 0 0 16420 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282975435600 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28547] ppid=28472 vsize=15485004 memory=1436 CPUtime=164.82 cores=0,2,4,6
/proc/28474/task/28547/stat : 28547 (java) S 28472 28472 22939 0 -1 1077944384 2601 0 0 0 16482 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282972274848 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28548] ppid=28472 vsize=15485004 memory=580 CPUtime=164.69 cores=0,2,4,6
/proc/28474/task/28548/stat : 28548 (java) S 28472 28472 22939 0 -1 1077944384 1327 0 0 0 16469 0 0 0 20 0 19 0 445410972 15856644096 45367 33554432000 4194304 4196468 140732249744752 140282974380032 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 666.96 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 182920 KiB
[startup+168.401 s]*
/proc/loadavg: 8.34 7.70 5.03 10/238 28559
/proc/meminfo: memFree=27894984/32770624 swapFree=66959728/67108860
[pid=28472] ppid=28469 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28472/stat : 28472 (xcsp3-exec) S 28469 28472 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445410820 115843072 363 33554432000 4194304 5098028 140731293505648 140731293503752 140058171183740 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38862848 140731293512570 140731293512813 140731293512813 140731293515722 0
/proc/28472/statm: 28282 363 304 221 0 87 0
[pid=28474] ppid=28472 vsize=15485004 memory=181484 CPUtime=668.58 cores=0,2,4,6
/proc/28474/stat : 28474 (java) S 28472 28472 22939 0 -1 1077944320 60473 0 0 0 66840 18 0 0 20 0 19 0 445410820 15856644096 45371 33554432000 4194304 4196468 140732249744752 140732249727296 140283526655735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
/proc/28474/statm: 3871251 45371 3517 1 0 3832351 0
[pid=28474/tid=28475] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=0.53 cores=0,2,4,6
/proc/28474/task/28475/stat : 28475 (java) S 28472 28472 22939 0 -1 1077944384 9259 0 0 0 50 3 0 0 20 0 19 0 445410820 15856644096 45371 33554432000 4194304 4196468 140732249744752 140283530896512 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28476] ppid=28472 vsize=15485004 memory=1984 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28476/stat : 28476 (java) S 28472 28472 22939 0 -1 1077944384 904 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45371 33554432000 4194304 4196468 140732249744752 140283498498960 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28477] ppid=28472 vsize=15485004 memory=2580 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28477/stat : 28477 (java) S 28472 28472 22939 0 -1 1077944384 1716 0 0 0 7 3 0 0 20 0 19 0 445410821 15856644096 45371 33554432000 4194304 4196468 140732249744752 140283117931280 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28478] ppid=28472 vsize=15485004 memory=1760 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28478/stat : 28478 (java) S 28472 28472 22939 0 -1 1077944384 1203 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45371 33554432000 4194304 4196468 140732249744752 140283116878992 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28479] ppid=28472 vsize=15485004 memory=111636 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28479/stat : 28479 (java) S 28472 28472 22939 0 -1 1077944384 1784 0 0 0 8 2 0 0 20 0 19 0 445410821 15856644096 45371 33554432000 4194304 4196468 140732249744752 140283115826192 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28480] ppid=28472 vsize=15485004 memory=800 CPUtime=0.1 cores=0,2,4,6
/proc/28474/task/28480/stat : 28480 (java) S 28472 28472 22939 0 -1 1077944384 1893 0 0 0 9 1 0 0 20 0 19 0 445410822 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282995177584 140283526666882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28481] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28481/stat : 28481 (java) S 28472 28472 22939 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282994123616 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28482] ppid=28472 vsize=15485004 memory=179420 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28482/stat : 28482 (java) S 28472 28472 22939 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445410823 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282993071232 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28483] ppid=28472 vsize=15485004 memory=3148 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28483/stat : 28483 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282992019536 140283526674331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28484] ppid=28472 vsize=15485004 memory=1452 CPUtime=2.15 cores=0,2,4,6
/proc/28474/task/28484/stat : 28484 (java) S 28472 28472 22939 0 -1 1077944384 12140 0 0 0 214 1 0 0 20 0 19 0 445410826 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282990967408 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28485] ppid=28472 vsize=15485004 memory=179372 CPUtime=2.29 cores=0,2,4,6
/proc/28474/task/28485/stat : 28485 (java) S 28472 28472 22939 0 -1 1077944384 14940 0 0 0 228 1 0 0 20 0 19 0 445410826 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282989914608 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28486] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=0.59 cores=0,2,4,6
/proc/28474/task/28486/stat : 28486 (java) S 28472 28472 22939 0 -1 1077944384 6762 0 0 0 58 1 0 0 20 0 19 0 445410826 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282988862320 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28487] ppid=28472 vsize=15485004 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/28474/task/28487/stat : 28487 (java) S 28472 28472 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445410826 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282987809760 140283526665941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28488] ppid=28472 vsize=15485004 memory=3148 CPUtime=0.02 cores=0,2,4,6
/proc/28474/task/28488/stat : 28488 (java) S 28472 28472 22939 0 -1 1077944384 647 0 0 0 0 2 0 0 20 0 19 0 445410826 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282986756528 140283526666882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28545] ppid=28472 vsize=15485004 memory=6791534058613427641 CPUtime=164.87 cores=0,2,4,6
/proc/28474/task/28545/stat : 28545 (java) R 28472 28472 22939 0 -1 4202560 699 0 0 0 16487 0 0 0 20 0 19 0 445410972 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282976483472 140283167841373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28546] ppid=28472 vsize=15485004 memory=1564 CPUtime=164.6 cores=0,2,4,6
/proc/28474/task/28546/stat : 28546 (java) R 28472 28472 22939 0 -1 4202560 1869 0 0 0 16460 0 0 0 20 0 19 0 445410972 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282975435600 140283167627814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28547] ppid=28472 vsize=15485004 memory=6060 CPUtime=165.21 cores=0,2,4,6
/proc/28474/task/28547/stat : 28547 (java) R 28472 28472 22939 0 -1 4202560 2602 0 0 0 16521 0 0 0 20 0 19 0 445410972 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282972274600 140283167627489 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
[pid=28474/tid=28548] ppid=28472 vsize=15485004 memory=1060 CPUtime=165.09 cores=0,2,4,6
/proc/28474/task/28548/stat : 28548 (java) R 28472 28472 22939 0 -1 4202560 1327 0 0 0 16509 0 0 0 20 0 19 0 445410972 15856644096 45371 33554432000 4194304 4196468 140732249744752 140282974380136 140283167628045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35123200 140732249752559 140732249752730 140732249752730 140732249755599 0
Current children cumulated CPU time: 668.58 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 182936 KiB
Child status: 0
Real time (s): 168.442
CPU time (s): 668.691
CPU user time (s): 668.497
CPU system time (s): 0.193721
CPU usage (%): 396.987
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 214888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 668.497
system time used= 0.193721
maximum resident set size= 216476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10088
involuntary context switches= 16586
# summary of solver processes directly reported to runsolver:
# pid: 28472
# total CPU time (s): 668.691
# total CPU user time (s): 668.497
# total CPU system time (s): 0.193721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0894 second user time and 1.85415 second system time
The end