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 (15229 MiB free)
memory of node 1: 16384 MiB (11448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399070-1568700135/watcher-4399070-1568700135 -o /tmp/evaluation-result-4399070-1568700135/solver-4399070-1568700135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568699927-7005 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1586980316 HOME/instance-4399070-1568700135.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10730, runsolver pid=10727
[startup+0.105082 s]*
/proc/loadavg: 6.84 3.42 2.71 7/234 10746
/proc/meminfo: memFree=27301908/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15144776 memory=29888 CPUtime=0.14 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 5864 0 0 0 13 1 0 0 20 0 15 0 446266600 15508250624 7472 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3786194 7472 3217 1 0 3748377 0
[pid=10732/tid=10733] ppid=10730 vsize=15144776 memory=7100839870104831090 CPUtime=0.1 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) R 10730 10730 6974 0 -1 4202560 3746 0 0 0 9 1 0 0 20 0 15 0 446266600 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699896424656 140699892206998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15144776 memory=140092630238848 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15144776 memory=140092630238848 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266602 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266603 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699359716896 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266603 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699358664048 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266605 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) S 10730 10730 6974 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 446266606 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699356559728 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) R 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266606 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699355506928 140699892206210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15144776 memory=140092630238848 CPUtime=0.02 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) R 10730 10730 6974 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 446266606 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699354454128 140699870991344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266606 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15144776 memory=140092630238848 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266606 15508250624 7472 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31340 KiB
[startup+0.210753 s]*
/proc/loadavg: 6.84 3.42 2.71 7/234 10746
/proc/meminfo: memFree=27290260/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15144776 memory=41104 CPUtime=0.34 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 9488 0 0 0 31 3 0 0 20 0 15 0 446266600 15508250624 10276 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3786194 10276 3318 1 0 3748377 0
[pid=10732/tid=10733] ppid=10730 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) R 10730 10730 6974 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 15 0 446266600 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699896431760 140699892216989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15144776 memory=140092630260214 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15144776 memory=140092630238848 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446266602 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266603 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699359716896 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266603 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699358664048 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266605 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) S 10730 10730 6974 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 446266606 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699356559728 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) S 10730 10730 6974 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 446266606 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699355506928 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15144776 memory=140092630238848 CPUtime=0.08 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) S 10730 10730 6974 0 -1 1077944384 709 0 0 0 8 0 0 0 20 0 15 0 446266606 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699354454128 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266606 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266606 15508250624 10276 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42556 KiB
[startup+0.317389 s]*
/proc/loadavg: 6.84 3.42 2.71 7/234 10746
/proc/meminfo: memFree=27282492/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15149032 memory=50472 CPUtime=0.54 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 10975 0 0 0 50 4 0 0 20 0 15 0 446266600 15512608768 12618 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3787258 12618 3357 1 0 3748377 0
[pid=10732/tid=10733] ppid=10730 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) R 10730 10730 6974 0 -1 4202560 7897 0 0 0 28 3 0 0 20 0 15 0 446266600 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699896426176 140699884912026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15149032 memory=3905244507003955976 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446266602 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266603 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699359716896 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266603 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699358664048 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266605 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) S 10730 10730 6974 0 -1 1077944384 605 0 0 0 4 0 0 0 20 0 15 0 446266606 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699356559728 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) S 10730 10730 6974 0 -1 1077944384 384 0 0 0 4 0 0 0 20 0 15 0 446266606 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699355506928 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) R 10730 10730 6974 0 -1 1077944384 790 0 0 0 12 0 0 0 20 0 15 0 446266606 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699354454128 140699892206210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266606 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266606 15512608768 12627 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51924 KiB
[startup+0.700786 s]
/proc/loadavg: 6.84 3.42 2.71 7/234 10746
/proc/meminfo: memFree=27268032/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15151156 memory=100856 CPUtime=1.62 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 14836 0 0 0 156 6 0 0 20 0 15 0 446266600 15514783744 25214 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3787789 25214 3465 1 0 3748889 0
[pid=10732/tid=10733] ppid=10730 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) R 10730 10730 6974 0 -1 4202560 9075 0 0 0 63 4 0 0 20 0 15 0 446266600 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699896430024 140699525128839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266601 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266601 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446266602 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266603 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699359716896 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266603 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699358664048 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266605 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15151156 memory=1764 CPUtime=0.27 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) R 10730 10730 6974 0 -1 4202560 1723 0 0 0 27 0 0 0 20 0 15 0 446266606 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699356545608 140699877119350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15151156 memory=111628 CPUtime=0.27 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) R 10730 10730 6974 0 -1 4202560 1205 0 0 0 27 0 0 0 20 0 15 0 446266606 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699355499416 140699877360616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15151156 memory=796 CPUtime=0.37 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) S 10730 10730 6974 0 -1 1077944384 1525 0 0 0 37 0 0 0 20 0 15 0 446266606 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699354454128 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15151156 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266606 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266606 15514783744 25214 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102308 KiB
[startup+1.50139 s]
/proc/loadavg: 6.84 3.42 2.71 12/238 10750
/proc/meminfo: memFree=27182744/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 924 0 0 0 0 5 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10747] ppid=10730 vsize=15417412 memory=2124 CPUtime=138.74 cores=0,2,4,6
/proc/10732/task/10747/stat : 10747 (java) R 10730 10730 6974 0 -1 4202560 1137 0 0 0 13873 1 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699343129344 140699527743675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10748] ppid=10730 vsize=15417412 memory=26308 CPUtime=138.25 cores=0,2,4,6
/proc/10732/task/10748/stat : 10748 (java) R 10730 10730 6974 0 -1 4202560 2773 0 0 0 13823 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699342078568 140699526513138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10749] ppid=10730 vsize=15417412 memory=12024 CPUtime=138.41 cores=0,2,4,6
/proc/10732/task/10749/stat : 10749 (java) R 10730 10730 6974 0 -1 4202560 1250 0 0 0 13841 0 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699341024984 140699526929269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10750] ppid=10730 vsize=15417412 memory=500 CPUtime=138.42 cores=0,2,4,6
/proc/10732/task/10750/stat : 10750 (java) R 10730 10730 6974 0 -1 4202560 1536 0 0 0 13840 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699339975024 140699526514070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 561.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 182776 KiB
[startup+142.001 s]*
/proc/loadavg: 8.50 5.37 3.54 9/238 10778
/proc/meminfo: memFree=27234680/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15417412 memory=181324 CPUtime=563.16 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 56691 0 0 0 56280 36 0 0 20 0 19 0 446266600 15787429888 45331 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3854353 45331 3534 1 0 3815453 0
[pid=10732/tid=10733] ppid=10730 vsize=15417412 memory=8317482817917895235 CPUtime=0.77 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) S 10730 10730 6974 0 -1 1077944384 9143 0 0 0 72 5 0 0 20 0 19 0 446266600 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699896435840 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15417412 memory=4872558044660077418 CPUtime=0.18 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1416 0 0 0 14 4 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15417412 memory=8317482817917895235 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 1319 0 0 0 15 4 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15417412 memory=4872558044660077418 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1800 0 0 0 14 5 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15417412 memory=1808 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 997 0 0 0 14 5 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15417412 memory=920 CPUtime=0.09 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 1786 0 0 0 7 2 0 0 20 0 19 0 446266602 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15417412 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446266603 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699359716960 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15417412 memory=2704 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446266603 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699358664064 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15417412 memory=2608 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266605 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15417412 memory=1412 CPUtime=2.44 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) S 10730 10730 6974 0 -1 1077944384 12653 0 0 0 243 1 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699356559728 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15417412 memory=3556 CPUtime=2.84 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) S 10730 10730 6974 0 -1 1077944384 12670 0 0 0 283 1 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699355506928 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15417412 memory=1764 CPUtime=0.66 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) S 10730 10730 6974 0 -1 1077944384 5962 0 0 0 66 0 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699354454128 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15417412 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15417412 memory=920 CPUtime=0.05 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 924 0 0 0 0 5 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10747] ppid=10730 vsize=15417412 memory=3804 CPUtime=139.14 cores=0,2,4,6
/proc/10732/task/10747/stat : 10747 (java) R 10730 10730 6974 0 -1 4202560 1138 0 0 0 13913 1 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699343132640 140699527840684 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10748] ppid=10730 vsize=15417412 memory=2704 CPUtime=138.66 cores=0,2,4,6
/proc/10732/task/10748/stat : 10748 (java) R 10730 10730 6974 0 -1 4202560 2773 0 0 0 13864 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699342078032 140699526929349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10749] ppid=10730 vsize=15417412 memory=2608 CPUtime=138.81 cores=0,2,4,6
/proc/10732/task/10749/stat : 10749 (java) R 10730 10730 6974 0 -1 4202560 1250 0 0 0 13881 0 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699341025296 140699527841086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10750] ppid=10730 vsize=15417412 memory=1412 CPUtime=138.81 cores=0,2,4,6
/proc/10732/task/10750/stat : 10750 (java) R 10730 10730 6974 0 -1 4202560 1536 0 0 0 13879 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699339972368 140699526514441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 563.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 182776 KiB
[startup+142.201 s]
/proc/loadavg: 8.50 5.37 3.54 9/238 10778
/proc/meminfo: memFree=27234680/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15417412 memory=181324 CPUtime=563.92 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 56691 0 0 0 56356 36 0 0 20 0 19 0 446266600 15787429888 45331 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3854353 45331 3534 1 0 3815453 0
[pid=10732/tid=10733] ppid=10730 vsize=15417412 memory=4081276 CPUtime=0.77 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) S 10730 10730 6974 0 -1 1077944384 9143 0 0 0 72 5 0 0 20 0 19 0 446266600 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699896435840 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15417412 memory=1412 CPUtime=0.18 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1416 0 0 0 14 4 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15417412 memory=3200 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 1319 0 0 0 15 4 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15417412 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1800 0 0 0 14 5 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15417412 memory=288230574492221466 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 997 0 0 0 14 5 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15417412 memory=288230596050944315 CPUtime=0.09 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 1786 0 0 0 7 2 0 0 20 0 19 0 446266602 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15417412 memory=13848573129264102 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446266603 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699359716960 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446266603 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699358664064 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266605 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15417412 memory=812 CPUtime=2.44 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) S 10730 10730 6974 0 -1 1077944384 12653 0 0 0 243 1 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699356559728 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15417412 memory=63809 CPUtime=2.84 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) S 10730 10730 6974 0 -1 1077944384 12670 0 0 0 283 1 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699355506928 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15417412 memory=4420 CPUtime=0.66 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) S 10730 10730 6974 0 -1 1077944384 5962 0 0 0 66 0 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699354454128 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15417412 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15417412 memory=8836 CPUtime=0.05 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 924 0 0 0 0 5 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10747] ppid=10730 vsize=15417412 memory=11044 CPUtime=139.33 cores=0,2,4,6
/proc/10732/task/10747/stat : 10747 (java) R 10730 10730 6974 0 -1 4202560 1138 0 0 0 13932 1 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699343132640 140699526549339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10748] ppid=10730 vsize=15417412 memory=13252 CPUtime=138.85 cores=0,2,4,6
/proc/10732/task/10748/stat : 10748 (java) R 10730 10730 6974 0 -1 4202560 2773 0 0 0 13883 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699342078168 140699527074115 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10749] ppid=10730 vsize=15417412 memory=15460 CPUtime=139 cores=0,2,4,6
/proc/10732/task/10749/stat : 10749 (java) R 10730 10730 6974 0 -1 4202560 1250 0 0 0 13900 0 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699341025432 140699527127214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10750] ppid=10730 vsize=15417412 memory=17668 CPUtime=139 cores=0,2,4,6
/proc/10732/task/10750/stat : 10750 (java) R 10730 10730 6974 0 -1 4202560 1536 0 0 0 13898 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699339972368 140699527840760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 563.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 182776 KiB
[startup+142.301 s]
/proc/loadavg: 8.50 5.37 3.54 9/238 10778
/proc/meminfo: memFree=27234680/32770624 swapFree=66997372/67108860
[pid=10730] ppid=10727 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (xcsp3-exec) S 10727 10730 6974 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446266600 115843072 363 33554432000 4194304 5098028 140723146345168 140723146343272 139821128577660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15175680 140723146347386 140723146347629 140723146347629 140723146350538 0
/proc/10730/statm: 28282 363 304 221 0 87 0
[pid=10732] ppid=10730 vsize=15417412 memory=181324 CPUtime=564.31 cores=0,2,4,6
/proc/10732/stat : 10732 (java) S 10730 10730 6974 0 -1 1077944320 56777 0 0 0 56395 36 0 0 20 0 19 0 446266600 15787429888 45331 33554432000 4194304 4196468 140724735643536 140724735626080 140699892195063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
/proc/10732/statm: 3854353 45331 3534 1 0 3815453 0
[pid=10732/tid=10733] ppid=10730 vsize=15417412 memory=181324 CPUtime=0.77 cores=0,2,4,6
/proc/10732/task/10733/stat : 10733 (java) S 10730 10730 6974 0 -1 1077944384 9143 0 0 0 72 5 0 0 20 0 19 0 446266600 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699896435840 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10734] ppid=10730 vsize=15417412 memory=1452 CPUtime=0.18 cores=0,2,4,6
/proc/10732/task/10734/stat : 10734 (java) S 10730 10730 6974 0 -1 1077944384 1416 0 0 0 14 4 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699844815504 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10735] ppid=10730 vsize=15417412 memory=181324 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10735/stat : 10735 (java) S 10730 10730 6974 0 -1 1077944384 1319 0 0 0 15 4 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699843762704 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10736] ppid=10730 vsize=15417412 memory=280185011452160 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10736/stat : 10736 (java) S 10730 10730 6974 0 -1 1077944384 1800 0 0 0 14 5 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699842709904 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10737] ppid=10730 vsize=15417412 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/10732/task/10737/stat : 10737 (java) S 10730 10730 6974 0 -1 1077944384 997 0 0 0 14 5 0 0 20 0 19 0 446266601 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699841657104 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10738] ppid=10730 vsize=15417412 memory=2257 CPUtime=0.09 cores=0,2,4,6
/proc/10732/task/10738/stat : 10738 (java) S 10730 10730 6974 0 -1 1077944384 1786 0 0 0 7 2 0 0 20 0 19 0 446266602 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699360770928 140699892206210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10739] ppid=10730 vsize=15417412 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10739/stat : 10739 (java) S 10730 10730 6974 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446266603 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699359716960 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10740] ppid=10730 vsize=15417412 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10740/stat : 10740 (java) S 10730 10730 6974 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446266603 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699358664064 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10741] ppid=10730 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10741/stat : 10741 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266605 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699357612368 140699892213659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10742] ppid=10730 vsize=15417412 memory=3504 CPUtime=2.44 cores=0,2,4,6
/proc/10732/task/10742/stat : 10742 (java) S 10730 10730 6974 0 -1 1077944384 12653 0 0 0 243 1 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699356559728 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10743] ppid=10730 vsize=15417412 memory=1452 CPUtime=2.84 cores=0,2,4,6
/proc/10732/task/10743/stat : 10743 (java) S 10730 10730 6974 0 -1 1077944384 12670 0 0 0 283 1 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699355506928 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10744] ppid=10730 vsize=15417412 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/10732/task/10744/stat : 10744 (java) S 10730 10730 6974 0 -1 1077944384 5962 0 0 0 66 0 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699354454128 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10745] ppid=10730 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10732/task/10745/stat : 10745 (java) S 10730 10730 6974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699353401568 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10746] ppid=10730 vsize=15417412 memory=8316868033356759116 CPUtime=0.05 cores=0,2,4,6
/proc/10732/task/10746/stat : 10746 (java) S 10730 10730 6974 0 -1 1077944384 924 0 0 0 0 5 0 0 20 0 19 0 446266606 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699352349872 140699892206210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10747] ppid=10730 vsize=15417412 memory=1452 CPUtime=139.43 cores=0,2,4,6
/proc/10732/task/10747/stat : 10747 (java) R 10730 10730 6974 0 -1 4202560 1138 0 0 0 13942 1 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699343132640 140699527840489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10748] ppid=10730 vsize=15417412 memory=1452 CPUtime=138.95 cores=0,2,4,6
/proc/10732/task/10748/stat : 10748 (java) S 10730 10730 6974 0 -1 1077944384 2845 0 0 0 13893 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699342083408 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10749] ppid=10730 vsize=15417412 memory=1452 CPUtime=139.1 cores=0,2,4,6
/proc/10732/task/10749/stat : 10749 (java) R 10730 10730 6974 0 -1 4202560 1250 0 0 0 13910 0 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699341025432 140699527391957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
[pid=10732/tid=10750] ppid=10730 vsize=15417412 memory=3504 CPUtime=139.1 cores=0,2,4,6
/proc/10732/task/10750/stat : 10750 (java) S 10730 10730 6974 0 -1 1077944384 1550 0 0 0 13908 2 0 0 20 0 19 0 446266679 15787429888 45331 33554432000 4194304 4196468 140724735643536 140699339977808 140699892205269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12197888 140724735644655 140724735644826 140724735644826 140724735647695 0
Current children cumulated CPU time: 564.31 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 182776 KiB
Child status: 0
Real time (s): 142.328
CPU time (s): 564.361
CPU user time (s): 563.985
CPU system time (s): 0.375384
CPU usage (%): 396.522
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 414816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 563.985
system time used= 0.375384
maximum resident set size= 423800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58940
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8248
involuntary context switches= 12753
# summary of solver processes directly reported to runsolver:
# pid: 10730
# total CPU time (s): 564.361
# total CPU user time (s): 563.985
# total CPU system time (s): 0.375384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03677 second user time and 1.60772 second system time
The end