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 (15045 MiB free)
memory of node 1: 16384 MiB (15515 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399280-1568685489/watcher-4399280-1568685489 -o /tmp/evaluation-result-4399280-1568685489/solver-4399280-1568685489 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1068830496 HOME/instance-4399280-1568685489.xml
running on 4 cores: 1,3,5,7
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=20519, runsolver pid=20516
[startup+0.103081 s]*
/proc/loadavg: 8.15 8.57 8.65 6/233 20535
/proc/meminfo: memFree=31277532/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15144776 memory=29720 CPUtime=0.13 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 5875 0 0 0 12 1 0 0 20 0 15 0 444801981 15508250624 7430 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3786194 7430 3148 1 0 3748377 0
[pid=20521/tid=20522] ppid=20519 vsize=15144776 memory=7100839870104831090 CPUtime=0.1 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) R 20519 20519 14983 0 -1 4202560 3759 0 0 0 9 1 0 0 20 0 15 0 444801981 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375901891424 140375881712997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15144776 memory=140274516940416 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15144776 memory=140274516940416 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801984 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444801984 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375039083680 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444801984 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375038030576 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) R 20519 20519 14983 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375035927280 140375889958821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) R 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 7430 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15144776 memory=140274516940416 CPUtime=0.02 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) R 20519 20519 14983 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 444801987 15508250624 7496 33554432000 4194304 4196468 140733638484000 140374966266352 140375877380899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 7496 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15144776 memory=140274516940416 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) R 20519 20519 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 7496 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31168 KiB
[startup+0.212485 s]*
/proc/loadavg: 8.15 8.57 8.65 7/233 20535
/proc/meminfo: memFree=31264800/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15144776 memory=41196 CPUtime=0.35 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 9474 0 0 0 32 3 0 0 20 0 15 0 444801981 15508250624 10299 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3786194 10299 3322 1 0 3748377 0
[pid=20521/tid=20522] ppid=20519 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) R 20519 20519 14983 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 444801981 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375901906832 140375881712997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15144776 memory=140274520484231 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15144776 memory=140274516940416 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444801984 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444801984 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375039083680 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444801984 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375038030576 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) S 20519 20519 14983 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 444801987 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375035927280 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) S 20519 20519 14983 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 444801987 15508250624 10299 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15144776 memory=140274516940416 CPUtime=0.08 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) R 20519 20519 14983 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 444801987 15508250624 10299 33554432000 4194304 4196468 140733638484000 140374966266352 140375897690714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 10299 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444801987 15508250624 10299 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42644 KiB
[startup+0.315457 s]*
/proc/loadavg: 8.15 8.57 8.65 7/233 20535
/proc/meminfo: memFree=31251264/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15149032 memory=50264 CPUtime=0.54 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 10963 0 0 0 50 4 0 0 20 0 15 0 444801981 15512608768 12566 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3787258 12566 3358 1 0 3748377 0
[pid=20521/tid=20522] ppid=20519 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) R 20519 20519 14983 0 -1 4202560 7896 0 0 0 27 3 0 0 20 0 15 0 444801981 15512608768 12566 33554432000 4194304 4196468 140733638484000 140375901900480 140375897691293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15512608768 12566 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15149032 memory=3571281 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15512608768 12566 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15512608768 12566 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444801982 15512608768 12566 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444801984 15512608768 12566 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444801984 15512608768 12631 33554432000 4194304 4196468 140733638484000 140375039083680 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444801984 15512608768 12631 33554432000 4194304 4196468 140733638484000 140375038030576 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15512608768 12631 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) S 20519 20519 14983 0 -1 1077944384 593 0 0 0 5 0 0 0 20 0 15 0 444801987 15512608768 12631 33554432000 4194304 4196468 140733638484000 140375035927280 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) S 20519 20519 14983 0 -1 1077944384 330 0 0 0 4 0 0 0 20 0 15 0 444801987 15512608768 12631 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) S 20519 20519 14983 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 444801987 15512608768 12631 33554432000 4194304 4196468 140733638484000 140374966266352 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444801987 15512608768 12631 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444801987 15512608768 12631 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51712 KiB
[startup+0.703221 s]
/proc/loadavg: 8.15 8.57 8.65 6/233 20535
/proc/meminfo: memFree=31240372/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15417412 memory=94180 CPUtime=1.57 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 14322 0 0 0 150 7 0 0 20 0 19 0 444801981 15787429888 23545 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3854353 23545 3458 1 0 3815453 0
[pid=20521/tid=20522] ppid=20519 vsize=15417412 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) R 20519 20519 14983 0 -1 4202560 9223 0 0 0 60 5 0 0 20 0 19 0 444801981 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375901910144 140375897681302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15417412 memory=500 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444801982 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444801982 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15417412 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444801982 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15417412 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444801982 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15417412 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444801984 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15417412 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444801984 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375039083680 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444801984 15787429888 23545 33554432000 4194304 4196468 140733638484000 140375038030576 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15417412 memory=812 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15787429888 23609 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15417412 memory=1764 CPUtime=0.18 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) R 20519 20519 14983 0 -1 4202560 986 0 0 0 18 0 0 0 20 0 19 0 444801987 15787429888 23609 33554432000 4194304 4196468 140733638484000 140375035918256 140375877101086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15417412 memory=111628 CPUtime=0.2 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) R 20519 20519 14983 0 -1 1077944384 706 0 0 0 20 0 0 0 20 0 19 0 444801987 15787429888 23609 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15417412 memory=796 CPUtime=0.43 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) R 20519 20519 14983 0 -1 4202560 1809 0 0 0 43 0 0 0 20 0 19 0 444801987 15787429888 23609 33554432000 4194304 4196468 140733638484000 140374966261424 140375890766203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15417412 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15787429888 23609 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15417412 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444801987 15787429888 23609 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95628 KiB
[startup+1.50142 s]
/proc/loadavg: 8.15 8.57 8.65 10/237 20567
/proc/meminfo: memFree=31130424/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 639 0 0 0 0 3 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20581] ppid=20519 vsize=15486024 memory=1756 CPUtime=99.09 cores=1,3,5,7
/proc/20521/task/20581/stat : 20581 (java) R 20519 20519 14983 0 -1 4202560 1150 0 0 0 9908 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374954127296 140375526275269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20582] ppid=20519 vsize=15486024 memory=8560 CPUtime=99.25 cores=1,3,5,7
/proc/20521/task/20582/stat : 20582 (java) R 20519 20519 14983 0 -1 4202560 1789 0 0 0 9924 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374953077744 140375527137920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20583] ppid=20519 vsize=15486024 memory=1668 CPUtime=99.43 cores=1,3,5,7
/proc/20521/task/20583/stat : 20583 (java) R 20519 20519 14983 0 -1 4202560 1908 0 0 0 9943 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374952022984 140375527872310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20584] ppid=20519 vsize=15486024 memory=1112 CPUtime=99.2 cores=1,3,5,7
/proc/20521/task/20584/stat : 20584 (java) R 20519 20519 14983 0 -1 4202560 2157 0 0 0 9920 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374955179696 140375523439503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 435.94 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 557852 KiB
[startup+110.801 s]
/proc/loadavg: 8.80 8.68 8.68 9/237 20593
/proc/meminfo: memFree=30137096/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15486024 memory=556404 CPUtime=437.53 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 51546 0 0 0 43715 38 0 0 20 0 19 0 444801981 15857688576 139101 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3871506 139101 3530 1 0 3832606 0
[pid=20521/tid=20522] ppid=20519 vsize=15486024 memory=14410423571057304 CPUtime=0.65 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) S 20519 20519 14983 0 -1 1077944384 9331 0 0 0 60 5 0 0 20 0 19 0 444801981 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375901910144 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15486024 memory=932 CPUtime=0.36 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 1008 0 0 0 31 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15486024 memory=3768 CPUtime=0.37 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2090 0 0 0 32 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15486024 memory=1980 CPUtime=0.35 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 1464 0 0 0 30 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15486024 memory=6791534058613427641 CPUtime=0.34 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 1506 0 0 0 29 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15486024 memory=812 CPUtime=0.24 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 2472 0 0 0 20 4 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15486024 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375039083744 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15486024 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375038030592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15486024 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15486024 memory=4096 CPUtime=1.92 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) S 20519 20519 14983 0 -1 1077944384 9245 0 0 0 191 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375035927280 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15486024 memory=1808 CPUtime=2.11 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) S 20519 20519 14983 0 -1 1077944384 8034 0 0 0 210 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15486024 memory=1668 CPUtime=0.72 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) S 20519 20519 14983 0 -1 1077944384 5367 0 0 0 71 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374966266352 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15486024 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15486024 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 639 0 0 0 0 3 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20581] ppid=20519 vsize=15486024 memory=6036 CPUtime=99.49 cores=1,3,5,7
/proc/20521/task/20581/stat : 20581 (java) R 20519 20519 14983 0 -1 4202560 1150 0 0 0 9948 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374954127432 140375528111872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20582] ppid=20519 vsize=15486024 memory=14008 CPUtime=99.65 cores=1,3,5,7
/proc/20521/task/20582/stat : 20582 (java) R 20519 20519 14983 0 -1 4202560 1789 0 0 0 9964 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374953077632 140733638895830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20583] ppid=20519 vsize=15486024 memory=2124 CPUtime=99.83 cores=1,3,5,7
/proc/20521/task/20583/stat : 20583 (java) R 20519 20519 14983 0 -1 4202560 1908 0 0 0 9983 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374952022984 140375525112067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20584] ppid=20519 vsize=15486024 memory=26072 CPUtime=99.6 cores=1,3,5,7
/proc/20521/task/20584/stat : 20584 (java) R 20519 20519 14983 0 -1 4202560 2157 0 0 0 9960 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374955179696 140375526253897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 437.53 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 557852 KiB
[startup+111.002 s]*
/proc/loadavg: 8.80 8.68 8.68 9/237 20593
/proc/meminfo: memFree=30138324/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15486024 memory=556404 CPUtime=438.36 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 51548 0 0 0 43798 38 0 0 20 0 19 0 444801981 15857688576 139101 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3871506 139101 3530 1 0 3832606 0
[pid=20521/tid=20522] ppid=20519 vsize=15486024 memory=8317482817917895235 CPUtime=0.65 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) S 20519 20519 14983 0 -1 1077944384 9331 0 0 0 60 5 0 0 20 0 19 0 444801981 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375901910144 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15486024 memory=4126316290023845779 CPUtime=0.36 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 1008 0 0 0 31 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15486024 memory=8317482817917895235 CPUtime=0.37 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2091 0 0 0 32 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15486024 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 1464 0 0 0 30 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15486024 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 1506 0 0 0 30 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15486024 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 2472 0 0 0 20 4 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15486024 memory=57572 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375039083744 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15486024 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375038030592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15486024 memory=3188 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15486024 memory=1448 CPUtime=1.92 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) S 20519 20519 14983 0 -1 1077944384 9245 0 0 0 191 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375035927280 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15486024 memory=556832 CPUtime=2.11 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) S 20519 20519 14983 0 -1 1077944384 8034 0 0 0 210 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15486024 memory=72 CPUtime=0.72 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) S 20519 20519 14983 0 -1 1077944384 5367 0 0 0 71 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374966266352 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15486024 memory=3 CPUtime=0.03 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 639 0 0 0 0 3 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20581] ppid=20519 vsize=15486024 memory=9733 CPUtime=99.69 cores=1,3,5,7
/proc/20521/task/20581/stat : 20581 (java) R 20519 20519 14983 0 -1 4202560 1150 0 0 0 9968 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374954126528 140375525136760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20582] ppid=20519 vsize=15486024 memory=9746 CPUtime=99.86 cores=1,3,5,7
/proc/20521/task/20582/stat : 20582 (java) R 20519 20519 14983 0 -1 4202560 1789 0 0 0 9985 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374953077744 140375526427598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20583] ppid=20519 vsize=15486024 memory=9764 CPUtime=100.04 cores=1,3,5,7
/proc/20521/task/20583/stat : 20583 (java) R 20519 20519 14983 0 -1 4202560 1909 0 0 0 10004 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374952022800 140375525886639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20584] ppid=20519 vsize=15486024 memory=9743 CPUtime=99.81 cores=1,3,5,7
/proc/20521/task/20584/stat : 20584 (java) R 20519 20519 14983 0 -1 4202560 2157 0 0 0 9981 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374955180344 140375526254188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 438.36 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 557852 KiB
[startup+111.113 s]
/proc/loadavg: 8.80 8.68 8.68 9/237 20593
/proc/meminfo: memFree=30138324/32770624 swapFree=66997372/67108860
[pid=20519] ppid=20516 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20519/stat : 20519 (xcsp3-exec) S 20516 20519 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444801981 115843072 362 33554432000 4194304 5098028 140726851900496 140726851898600 140594993513084 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29536256 140726851908474 140726851908717 140726851908717 140726851911626 0
/proc/20519/statm: 28282 362 304 221 0 87 0
[pid=20521] ppid=20519 vsize=15486024 memory=556404 CPUtime=438.77 cores=1,3,5,7
/proc/20521/stat : 20521 (java) S 20519 20519 14983 0 -1 1077944320 51548 0 0 0 43839 38 0 0 20 0 19 0 444801981 15857688576 139101 33554432000 4194304 4196468 140733638484000 140733638466544 140375897669367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
/proc/20521/statm: 3871506 139101 3530 1 0 3832606 0
[pid=20521/tid=20522] ppid=20519 vsize=15486024 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/20521/task/20522/stat : 20522 (java) S 20519 20519 14983 0 -1 1077944384 9331 0 0 0 60 5 0 0 20 0 19 0 444801981 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375901910144 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20523] ppid=20519 vsize=15486024 memory=556404 CPUtime=0.36 cores=1,3,5,7
/proc/20521/task/20523/stat : 20523 (java) S 20519 20519 14983 0 -1 1077944384 1008 0 0 0 31 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375850290192 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20524] ppid=20519 vsize=15486024 memory=280548741972224 CPUtime=0.37 cores=1,3,5,7
/proc/20521/task/20524/stat : 20524 (java) S 20519 20519 14983 0 -1 1077944384 2091 0 0 0 32 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375849237648 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20525] ppid=20519 vsize=15486024 memory=7374758023520802148 CPUtime=0.35 cores=1,3,5,7
/proc/20521/task/20525/stat : 20525 (java) S 20519 20519 14983 0 -1 1077944384 1464 0 0 0 30 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375848184592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20526] ppid=20519 vsize=15486024 memory=218364 CPUtime=0.35 cores=1,3,5,7
/proc/20521/task/20526/stat : 20526 (java) S 20519 20519 14983 0 -1 1077944384 1506 0 0 0 30 5 0 0 20 0 19 0 444801982 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375847132048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20527] ppid=20519 vsize=15486024 memory=219868 CPUtime=0.24 cores=1,3,5,7
/proc/20521/task/20527/stat : 20527 (java) S 20519 20519 14983 0 -1 1077944384 2472 0 0 0 20 4 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375040137456 140375897680514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20528] ppid=20519 vsize=15486024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20528/stat : 20528 (java) S 20519 20519 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375039083744 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20529] ppid=20519 vsize=15486024 memory=556356 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20529/stat : 20529 (java) S 20519 20519 14983 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444801984 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375038030592 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20530] ppid=20519 vsize=15486024 memory=211 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20530/stat : 20530 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375036979152 140375897687963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20531] ppid=20519 vsize=15486024 memory=72 CPUtime=1.92 cores=1,3,5,7
/proc/20521/task/20531/stat : 20531 (java) S 20519 20519 14983 0 -1 1077944384 9245 0 0 0 191 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375035927280 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20532] ppid=20519 vsize=15486024 memory=1448 CPUtime=2.11 cores=1,3,5,7
/proc/20521/task/20532/stat : 20532 (java) S 20519 20519 14983 0 -1 1077944384 8034 0 0 0 210 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140375034874736 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20533] ppid=20519 vsize=15486024 memory=556404 CPUtime=0.72 cores=1,3,5,7
/proc/20521/task/20533/stat : 20533 (java) S 20519 20519 14983 0 -1 1077944384 5367 0 0 0 71 1 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374966266352 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20534] ppid=20519 vsize=15486024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20521/task/20534/stat : 20534 (java) S 20519 20519 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374965214048 140375897679573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20535] ppid=20519 vsize=15486024 memory=12024 CPUtime=0.03 cores=1,3,5,7
/proc/20521/task/20535/stat : 20535 (java) S 20519 20519 14983 0 -1 1077944384 639 0 0 0 0 3 0 0 20 0 19 0 444801987 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374964161072 140375897680514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20581] ppid=20519 vsize=15486024 memory=500 CPUtime=99.79 cores=1,3,5,7
/proc/20521/task/20581/stat : 20581 (java) R 20519 20519 14983 0 -1 4202560 1150 0 0 0 9978 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374954126528 140375526147732 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20582] ppid=20519 vsize=15486024 memory=1560 CPUtime=99.96 cores=1,3,5,7
/proc/20521/task/20582/stat : 20582 (java) R 20519 20519 14983 0 -1 4202560 1789 0 0 0 9995 1 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374953077744 140375524712832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20583] ppid=20519 vsize=15486024 memory=1004 CPUtime=100.14 cores=1,3,5,7
/proc/20521/task/20583/stat : 20583 (java) R 20519 20519 14983 0 -1 4202560 1909 0 0 0 10014 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374952022800 140375525136700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
[pid=20521/tid=20584] ppid=20519 vsize=15486024 memory=6036 CPUtime=99.91 cores=1,3,5,7
/proc/20521/task/20584/stat : 20584 (java) R 20519 20519 14983 0 -1 4202560 2157 0 0 0 9991 0 0 0 20 0 19 0 444802947 15857688576 139101 33554432000 4194304 4196468 140733638484000 140374955180344 140375525134897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20848640 140733638493167 140733638493338 140733638493338 140733638496207 0
Current children cumulated CPU time: 438.77 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 557852 KiB
Child status: 0
Real time (s): 111.159
CPU time (s): 438.932
CPU user time (s): 438.539
CPU system time (s): 0.393673
CPU usage (%): 394.869
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 558876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 438.539
system time used= 0.393673
maximum resident set size= 557428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13897
involuntary context switches= 9112
# summary of solver processes directly reported to runsolver:
# pid: 20519
# total CPU time (s): 438.932
# total CPU user time (s): 438.539
# total CPU system time (s): 0.393673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.725111 second user time and 1.36382 second system time
The end