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 (3792 MiB free)
memory of node 1: 16384 MiB (632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404215-1568992434/watcher-4404215-1568992434 -o /var/tmp/evaluation-result-4404215-1568992434/solver-4404215-1568992434 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568991123-13292 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1107530180 HOME/instance-4404215-1568992434.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14590, runsolver pid=14587
[startup+0.101762 s]*
/proc/loadavg: 8.03 8.34 6.68 7/234 14606
/proc/meminfo: memFree=4504720/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15144776 memory=29748 CPUtime=0.13 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 5874 0 0 0 12 1 0 0 20 0 15 0 475157399 15508250624 7437 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3786194 7437 3148 1 0 3748377 0
[pid=14592/tid=14593] ppid=14590 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13261 0 -1 4202560 3798 0 0 0 8 1 0 0 20 0 15 0 475157399 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804678246832 139804289346779 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15144776 memory=140436425225856 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15144776 memory=140436425225856 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157401 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475157402 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804208710688 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475157402 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804207657840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157404 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13261 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 475157404 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804138269552 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157404 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804137216752 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15144776 memory=140436425225856 CPUtime=0.02 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) R 14590 14590 13261 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 475157404 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804136163952 139804674040410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157405 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15144776 memory=140436425225856 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157405 15508250624 7437 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31204 KiB
[startup+0.210805 s]*
/proc/loadavg: 8.03 8.34 6.68 6/234 14606
/proc/meminfo: memFree=4483684/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15144776 memory=40724 CPUtime=0.34 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 9437 0 0 0 31 3 0 0 20 0 15 0 475157399 15508250624 10181 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3786194 10181 3298 1 0 3748377 0
[pid=14592/tid=14593] ppid=14590 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13261 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 475157399 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804678253184 139804289588483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15144776 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15144776 memory=140436428743385 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15144776 memory=140436425225856 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475157401 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475157402 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804208710688 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475157402 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804207657840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157404 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13261 0 -1 1077944384 735 0 0 0 3 0 0 0 20 0 15 0 475157404 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804138269552 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13261 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 475157404 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804137216752 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15144776 memory=140436425225856 CPUtime=0.07 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) R 14590 14590 13261 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 15 0 475157404 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804136163952 139804659184735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157405 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157405 15508250624 10181 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42180 KiB
[startup+0.31271 s]*
/proc/loadavg: 8.03 8.34 6.68 8/234 14606
/proc/meminfo: memFree=4468348/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15149032 memory=49744 CPUtime=0.54 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 10763 0 0 0 50 4 0 0 20 0 15 0 475157399 15512608768 12436 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3787258 12436 3353 1 0 3748377 0
[pid=14592/tid=14593] ppid=14590 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13261 0 -1 4202560 7735 0 0 0 27 3 0 0 20 0 15 0 475157399 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804678252368 139804666697077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475157401 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475157402 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804208710688 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475157402 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804207657840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157404 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13261 0 -1 1077944384 755 0 0 0 5 0 0 0 20 0 15 0 475157404 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804138269552 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) R 14590 14590 13261 0 -1 4202560 156 0 0 0 4 0 0 0 20 0 15 0 475157404 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804137207136 139804655540128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13261 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 15 0 475157404 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804136163952 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157405 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157405 15512608768 12436 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51200 KiB
[startup+0.708829 s]
/proc/loadavg: 8.03 8.34 6.68 9/234 14606
/proc/meminfo: memFree=4432584/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15151156 memory=91908 CPUtime=1.79 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 15139 0 0 0 173 6 0 0 20 0 15 0 475157399 15514783744 22977 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3787789 22977 3452 1 0 3748889 0
[pid=14592/tid=14593] ppid=14590 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13261 0 -1 4202560 9179 0 0 0 64 4 0 0 20 0 15 0 475157399 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804678255696 139804674030998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15151156 memory=53516 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157400 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475157400 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475157401 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475157402 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804208710688 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475157402 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804207657840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157404 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15151156 memory=2832 CPUtime=0.34 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) R 14590 14590 13261 0 -1 4202560 1868 0 0 0 34 0 0 0 20 0 15 0 475157404 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804138248192 139804660170745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15151156 memory=1224 CPUtime=0.31 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) R 14590 14590 13261 0 -1 4202560 906 0 0 0 31 0 0 0 20 0 15 0 475157404 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804137216752 139804674040410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15151156 memory=6068 CPUtime=0.41 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) R 14590 14590 13261 0 -1 4202560 1877 0 0 0 41 0 0 0 20 0 15 0 475157404 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804136161912 139804652780961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475157405 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475157405 15514783744 22977 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93364 KiB
[startup+1.50883 s]
/proc/loadavg: 8.03 8.34 6.68 8/234 14606
/proc/meminfo: memFree=4251388/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14615] ppid=14590 vsize=15419460 memory=4104 CPUtime=23.73 cores=0,2,4,6
/proc/14592/task/14615/stat : 14615 (java) R 14590 14590 13261 0 -1 4202560 460 0 0 0 2373 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804121688840 139804298109961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14616] ppid=14590 vsize=15419460 memory=1808 CPUtime=23.79 cores=0,2,4,6
/proc/14592/task/14616/stat : 14616 (java) R 14590 14590 13261 0 -1 4202560 1233 0 0 0 2379 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804119584272 139804297959370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14617] ppid=14590 vsize=15419460 memory=924 CPUtime=23.14 cores=0,2,4,6
/proc/14592/task/14617/stat : 14617 (java) R 14590 14590 13261 0 -1 4202560 1735 0 0 0 2314 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804122744768 139804297367276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14618] ppid=14590 vsize=15419460 memory=3844 CPUtime=23.71 cores=0,2,4,6
/proc/14592/task/14618/stat : 14618 (java) R 14590 14590 13261 0 -1 4202560 749 0 0 0 2371 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804120637896 139804298111121 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 116.39 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 237664 KiB
[startup+30.0008 s]*
/proc/loadavg: 8.15 8.34 6.73 10/238 14623
/proc/meminfo: memFree=4081768/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15419460 memory=236208 CPUtime=118.01 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 56676 0 0 0 11777 24 0 0 20 0 19 0 475157399 15789527040 59052 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3854865 59052 3539 1 0 3815965 0
[pid=14592/tid=14593] ppid=14590 vsize=15419460 memory=1398722017469774279 CPUtime=1.18 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) S 14590 14590 13261 0 -1 1077944384 11937 0 0 0 112 6 0 0 20 0 19 0 475157399 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804678259840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15419460 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 950 0 0 0 5 3 0 0 20 0 19 0 475157400 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15419460 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 1261 0 0 0 5 3 0 0 20 0 19 0 475157400 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15419460 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 2816 0 0 0 5 1 0 0 20 0 19 0 475157400 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15419460 memory=234160 CPUtime=0.07 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 1666 0 0 0 5 2 0 0 20 0 19 0 475157400 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15419460 memory=7233736994252652628 CPUtime=0.02 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 1161 0 0 0 2 0 0 0 20 0 19 0 475157401 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15419460 memory=288284493629110161 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475157402 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804208710752 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15419460 memory=7243718 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475157402 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804207657856 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15419460 memory=7093353968277146342 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475157404 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15419460 memory=7449279377494324274 CPUtime=3.26 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13261 0 -1 1077944384 11234 0 0 0 325 1 0 0 20 0 19 0 475157404 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804138269552 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15419460 memory=0 CPUtime=3.13 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13261 0 -1 1077944384 10717 0 0 0 312 1 0 0 20 0 19 0 475157404 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804137216752 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15419460 memory=8099559455486011244 CPUtime=1.04 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13261 0 -1 1077944384 8355 0 0 0 102 2 0 0 20 0 19 0 475157404 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804136163952 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15419460 memory=8026650869813564775 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15419460 memory=7157460513958817624 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14615] ppid=14590 vsize=15419460 memory=325 CPUtime=24.14 cores=0,2,4,6
/proc/14592/task/14615/stat : 14615 (java) R 14590 14590 13261 0 -1 4202560 460 0 0 0 2414 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804121688840 139804297367028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14616] ppid=14590 vsize=15419460 memory=140436304583498 CPUtime=24.2 cores=0,2,4,6
/proc/14592/task/14616/stat : 14616 (java) R 14590 14590 13261 0 -1 4202560 1233 0 0 0 2420 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804119584272 139804297468320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14617] ppid=14590 vsize=15419460 memory=280872609208128 CPUtime=23.55 cores=0,2,4,6
/proc/14592/task/14617/stat : 14617 (java) R 14590 14590 13261 0 -1 4202560 1735 0 0 0 2355 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804122744656 139804297468439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14618] ppid=14590 vsize=15419460 memory=4715435516538746410 CPUtime=24.11 cores=0,2,4,6
/proc/14592/task/14618/stat : 14618 (java) R 14590 14590 13261 0 -1 4202560 749 0 0 0 2411 0 0 0 20 0 19 0 475157947 15789527040 59052 33554432000 4194304 4196468 140733058672496 139804120637896 139804297596607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 118.01 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 237664 KiB
[startup+30.4008 s]
/proc/loadavg: 8.15 8.34 6.73 10/238 14623
/proc/meminfo: memFree=4081768/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15419460 memory=236212 CPUtime=119.57 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 56779 0 0 0 11933 24 0 0 20 0 19 0 475157399 15789527040 59053 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3854865 59053 3539 1 0 3815965 0
[pid=14592/tid=14593] ppid=14590 vsize=15419460 memory=15816698942982858 CPUtime=1.18 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) S 14590 14590 13261 0 -1 1077944384 11937 0 0 0 112 6 0 0 20 0 19 0 475157399 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804678259840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15419460 memory=2218664 CPUtime=0.08 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 950 0 0 0 5 3 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15419460 memory=1456 CPUtime=0.08 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 1261 0 0 0 5 3 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15419460 memory=234160 CPUtime=0.06 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 2816 0 0 0 5 1 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15419460 memory=-3705176732362995124 CPUtime=0.07 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 1666 0 0 0 5 2 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15419460 memory=8514726395715219349 CPUtime=0.02 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 1161 0 0 0 2 0 0 0 20 0 19 0 475157401 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15419460 memory=3058660274064075360 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475157402 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804208710752 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15419460 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475157402 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804207657856 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15419460 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15419460 memory=2116 CPUtime=3.26 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13261 0 -1 1077944384 11234 0 0 0 325 1 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804138269552 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15419460 memory=29072 CPUtime=3.13 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13261 0 -1 1077944384 10717 0 0 0 312 1 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804137216752 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15419460 memory=12028 CPUtime=1.04 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13261 0 -1 1077944384 8355 0 0 0 102 2 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804136163952 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15419460 memory=532 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15419460 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) R 14590 14590 13261 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14615] ppid=14590 vsize=15419460 memory=928 CPUtime=24.53 cores=0,2,4,6
/proc/14592/task/14615/stat : 14615 (java) R 14590 14590 13261 0 -1 4202560 484 0 0 0 2453 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804121688840 139804297596607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14616] ppid=14590 vsize=15419460 memory=1980 CPUtime=24.59 cores=0,2,4,6
/proc/14592/task/14616/stat : 14616 (java) R 14590 14590 13261 0 -1 4202560 1255 0 0 0 2459 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804119584272 139804297366993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14617] ppid=14590 vsize=15419460 memory=1560 CPUtime=23.94 cores=0,2,4,6
/proc/14592/task/14617/stat : 14617 (java) R 14590 14590 13261 0 -1 4202560 1777 0 0 0 2394 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804122744656 139804297959370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14618] ppid=14590 vsize=15419460 memory=2648 CPUtime=24.5 cores=0,2,4,6
/proc/14592/task/14618/stat : 14618 (java) R 14590 14590 13261 0 -1 4202560 764 0 0 0 2450 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804120637896 139804297596750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 119.57 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 237668 KiB
[startup+30.5008 s]
/proc/loadavg: 8.15 8.34 6.73 10/238 14623
/proc/meminfo: memFree=4081768/32770624 swapFree=67001768/67108860
[pid=14590] ppid=14587 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475157399 115843072 364 33554432000 4194304 5098028 140732531256432 140732531254536 140605699949180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140732531262294 140732531262553 140732531262553 140732531265478 0
/proc/14590/statm: 28282 364 305 221 0 87 0
[pid=14592] ppid=14590 vsize=15419460 memory=236212 CPUtime=119.97 cores=0,2,4,6
/proc/14592/stat : 14592 (java) S 14590 14590 13261 0 -1 1077944320 56782 0 0 0 11973 24 0 0 20 0 19 0 475157399 15789527040 59053 33554432000 4194304 4196468 140733058672496 140733058655040 139804674019063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
/proc/14592/statm: 3854865 59053 3539 1 0 3815965 0
[pid=14592/tid=14593] ppid=14590 vsize=15419460 memory=53516 CPUtime=1.18 cores=0,2,4,6
/proc/14592/task/14593/stat : 14593 (java) S 14590 14590 13261 0 -1 1077944384 11937 0 0 0 112 6 0 0 20 0 19 0 475157399 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804678259840 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14594] ppid=14590 vsize=15419460 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13261 0 -1 1077944384 950 0 0 0 5 3 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804610256016 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14595] ppid=14590 vsize=15419460 memory=236208 CPUtime=0.08 cores=0,2,4,6
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13261 0 -1 1077944384 1261 0 0 0 5 3 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804609203216 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14596] ppid=14590 vsize=15419460 memory=6944656592455359580 CPUtime=0.06 cores=0,2,4,6
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13261 0 -1 1077944384 2816 0 0 0 5 1 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804264684432 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14597] ppid=14590 vsize=15419460 memory=11841 CPUtime=0.07 cores=0,2,4,6
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13261 0 -1 1077944384 1666 0 0 0 5 2 0 0 20 0 19 0 475157400 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804263631632 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14598] ppid=14590 vsize=15419460 memory=118 CPUtime=0.02 cores=0,2,4,6
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13261 0 -1 1077944384 1161 0 0 0 2 0 0 0 20 0 19 0 475157401 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804209764720 139804674030210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14599] ppid=14590 vsize=15419460 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13261 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475157402 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804208710752 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14600] ppid=14590 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13261 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475157402 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804207657856 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14601] ppid=14590 vsize=15419460 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804206606160 139804674037659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14602] ppid=14590 vsize=15419460 memory=280872608307296 CPUtime=3.26 cores=0,2,4,6
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13261 0 -1 1077944384 11234 0 0 0 325 1 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804138269552 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14603] ppid=14590 vsize=15419460 memory=6944656592387989600 CPUtime=3.13 cores=0,2,4,6
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13261 0 -1 1077944384 10717 0 0 0 312 1 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804137216752 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14604] ppid=14590 vsize=15419460 memory=6944656592455360604 CPUtime=1.04 cores=0,2,4,6
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13261 0 -1 1077944384 8355 0 0 0 102 2 0 0 20 0 19 0 475157404 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804136163952 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14605] ppid=14590 vsize=15419460 memory=2399 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804135111392 139804674029269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14606] ppid=14590 vsize=15419460 memory=2334 CPUtime=0 cores=0,2,4,6
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13261 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475157405 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804134058672 139804674030210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14615] ppid=14590 vsize=15419460 memory=2391 CPUtime=24.63 cores=0,2,4,6
/proc/14592/task/14615/stat : 14615 (java) R 14590 14590 13261 0 -1 4202560 484 0 0 0 2463 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804121688840 139804300265404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14616] ppid=14590 vsize=15419460 memory=1456 CPUtime=24.69 cores=0,2,4,6
/proc/14592/task/14616/stat : 14616 (java) R 14590 14590 13261 0 -1 4202560 1256 0 0 0 2469 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804119584272 139804299937755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14617] ppid=14590 vsize=15419460 memory=242892 CPUtime=24.04 cores=0,2,4,6
/proc/14592/task/14617/stat : 14617 (java) R 14590 14590 13261 0 -1 4202560 1778 0 0 0 2404 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804122744656 139804297367301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
[pid=14592/tid=14618] ppid=14590 vsize=15419460 memory=1456 CPUtime=24.6 cores=0,2,4,6
/proc/14592/task/14618/stat : 14618 (java) R 14590 14590 13261 0 -1 4202560 765 0 0 0 2460 0 0 0 20 0 19 0 475157947 15789527040 59053 33554432000 4194304 4196468 140733058672496 139804120637896 139804293029327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25473024 140733058679771 140733058679946 140733058679946 140733058682831 0
Current children cumulated CPU time: 119.97 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 237668 KiB
Child status: 0
Real time (s): 30.5898
CPU time (s): 120.307
CPU user time (s): 120.054
CPU system time (s): 0.252885
CPU usage (%): 393.292
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 254612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.054
system time used= 0.252885
maximum resident set size= 257776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3897
involuntary context switches= 3235
# summary of solver processes directly reported to runsolver:
# pid: 14590
# total CPU time (s): 120.307
# total CPU user time (s): 120.054
# total CPU system time (s): 0.252885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214172 second user time and 0.383178 second system time
The end