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 (14240 MiB free)
memory of node 1: 16384 MiB (15351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393284-1568313460/watcher-4393284-1568313460 -o /tmp/evaluation-result-4393284-1568313460/solver-4393284-1568313460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 437178516 HOME/instance-4393284-1568313460.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14644, runsolver pid=14641
[startup+0.100079 s]*
/proc/loadavg: 7.91 3.85 2.10 8/233 14660
/proc/meminfo: memFree=30285020/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15144768 memory=29112 CPUtime=0.13 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 5702 0 0 0 12 1 0 0 20 0 15 0 407600744 15508242432 7278 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3786192 7278 3141 1 0 3748377 0
[pid=14646/tid=14647] ppid=14644 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) R 14644 14644 14062 0 -1 4202560 3575 0 0 0 9 0 0 0 20 0 15 0 407600744 15508242432 7278 33554432000 4194304 4196468 140734340871056 140165069877008 140165057891134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15144768 memory=140250512180864 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15144768 memory=140250512180864 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407600746 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407600746 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164005758240 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407600747 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164004705904 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) S 14644 14644 14062 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) S 14644 14644 14062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15144768 memory=140250512180864 CPUtime=0.02 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) R 14644 14644 14062 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 407600749 15508242432 7278 33554432000 4194304 4196468 140734340871056 140164000495984 140165045075920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 7278 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15144768 memory=140250512180864 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 7278 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30564 KiB
[startup+0.210822 s]*
/proc/loadavg: 7.91 3.85 2.10 7/233 14660
/proc/meminfo: memFree=30272192/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15144768 memory=40924 CPUtime=0.34 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 9499 0 0 0 32 2 0 0 20 0 15 0 407600744 15508242432 10231 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3786192 10231 3301 1 0 3748377 0
[pid=14646/tid=14647] ppid=14644 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) R 14644 14644 14062 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 407600744 15508242432 10231 33554432000 4194304 4196468 140734340871056 140165069888992 140165049697637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15144768 memory=2850583 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407600745 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407600746 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407600746 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164005758240 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15144768 memory=140250512180864 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407600747 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164004705904 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) S 14644 14644 14062 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 15 0 407600749 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) R 14644 14644 14062 0 -1 4202560 222 0 0 0 2 0 0 0 20 0 15 0 407600749 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) R 14644 14644 14062 0 -1 4202560 697 0 0 0 8 0 0 0 20 0 15 0 407600749 15508242432 10231 33554432000 4194304 4196468 140734340871056 140164000495984 140165065665942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 10231 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600749 15508242432 10231 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42376 KiB
[startup+0.31066 s]*
/proc/loadavg: 7.91 3.85 2.10 7/233 14660
/proc/meminfo: memFree=30265232/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15149024 memory=50192 CPUtime=0.53 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 10924 0 0 0 50 3 0 0 20 0 15 0 407600744 15512600576 12548 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3787256 12548 3354 1 0 3748377 0
[pid=14646/tid=14647] ppid=14644 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) R 14644 14644 14062 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 15 0 407600744 15512600576 12548 33554432000 4194304 4196468 140734340871056 140165069885584 140165049734494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15149024 memory=2853883 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600745 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407600745 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15149024 memory=140250512180864 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407600746 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407600746 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164005758240 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407600747 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164004705904 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407600749 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) S 14644 14644 14062 0 -1 1077944384 750 0 0 0 6 0 0 0 20 0 15 0 407600749 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) S 14644 14644 14062 0 -1 1077944384 264 0 0 0 4 0 0 0 20 0 15 0 407600749 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15149024 memory=140250512180864 CPUtime=0.12 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) S 14644 14644 14062 0 -1 1077944384 778 0 0 0 12 0 0 0 20 0 15 0 407600749 15512600576 12548 33554432000 4194304 4196468 140734340871056 140164000495984 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407600749 15512600576 12548 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15149024 memory=140250512180864 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407600749 15512600576 12548 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51644 KiB
[startup+0.700712 s]
/proc/loadavg: 7.91 3.85 2.10 7/233 14660
/proc/meminfo: memFree=30237808/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15418432 memory=108392 CPUtime=1.59 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 14939 0 0 0 152 7 0 0 20 0 19 0 407600744 15788474368 27098 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3854608 27098 3453 1 0 3815710 0
[pid=14646/tid=14647] ppid=14644 vsize=15418432 memory=11932 CPUtime=0.63 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) S 14644 14644 14062 0 -1 1077944384 9210 0 0 0 58 5 0 0 20 0 19 0 407600744 15788474368 27098 33554432000 4194304 4196468 140734340871056 140165069894784 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15418432 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407600745 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15418432 memory=500 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407600745 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15418432 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407600745 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15418432 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407600745 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15418432 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407600746 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15418432 memory=876 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407600746 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164005758240 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15418432 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407600747 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164004705904 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15418432 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15418432 memory=7453282923427948884 CPUtime=0.22 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) R 14644 14644 14062 0 -1 1077944384 1323 0 0 0 22 0 0 0 20 0 19 0 407600749 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15418432 memory=7223879631928058176 CPUtime=0.2 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) S 14644 14644 14062 0 -1 1077944384 861 0 0 0 20 0 0 0 20 0 19 0 407600749 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15418432 memory=8514726395714826909 CPUtime=0.42 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) R 14644 14644 14062 0 -1 4202560 1781 0 0 0 42 0 0 0 20 0 19 0 407600749 15788474368 27098 33554432000 4194304 4196468 140734340871056 140164000496112 140165057891134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15788474368 27098 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407600749 15788474368 27098 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 109844 KiB
[startup+1.50135 s]
/proc/loadavg: 7.91 3.85 2.10 12/237 14712
/proc/meminfo: memFree=30128432/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 41536 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14745] ppid=14644 vsize=15487044 memory=3624 CPUtime=10.26 cores=1,3,5,7
/proc/14646/task/14745/stat : 14745 (java) R 14644 14644 14062 0 -1 4202560 264 0 0 0 1026 0 0 0 20 0 19 0 407602023 15858733056 41536 33554432000 4194304 4196468 140734340871056 140163983915672 140164668842674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14746] ppid=14644 vsize=15487044 memory=22880 CPUtime=10.21 cores=1,3,5,7
/proc/14646/task/14746/stat : 14746 (java) R 14644 14644 14062 0 -1 4202560 433 0 0 0 1021 0 0 0 20 0 19 0 407602023 15858733056 41536 33554432000 4194304 4196468 140734340871056 140163986022168 140164671348676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14747] ppid=14644 vsize=15487044 memory=984 CPUtime=10.27 cores=1,3,5,7
/proc/14646/task/14747/stat : 14747 (java) R 14644 14644 14062 0 -1 4202560 350 0 0 0 1027 0 0 0 20 0 19 0 407602023 15858733056 41536 33554432000 4194304 4196468 140734340871056 140163989180176 140164664206599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14748] ppid=14644 vsize=15487044 memory=2024 CPUtime=10.18 cores=1,3,5,7
/proc/14646/task/14748/stat : 14748 (java) R 14644 14644 14062 0 -1 4202560 495 0 0 0 1018 0 0 0 20 0 19 0 407602023 15858733056 41536 33554432000 4194304 4196468 140734340871056 140163988130080 140164670726343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 90.61 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 167596 KiB
[startup+24.0024 s]*
/proc/loadavg: 8.42 4.30 2.29 10/237 14748
/proc/meminfo: memFree=29804648/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15487044 memory=164092 CPUtime=93.76 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 40322 0 0 0 9361 15 0 0 20 0 19 0 407600744 15858733056 41023 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3871761 41023 3526 1 0 3832863 0
[pid=14646/tid=14647] ppid=14644 vsize=15487044 memory=8317482817917895235 CPUtime=0.64 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) S 14644 14644 14062 0 -1 1077944384 9465 0 0 0 59 5 0 0 20 0 19 0 407600744 15858733056 41023 33554432000 4194304 4196468 140734340871056 140165069894784 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15487044 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1263 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15487044 memory=5908 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15487044 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 506 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15487044 memory=167168 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15487044 memory=5908 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 997 0 0 0 3 0 0 0 20 0 19 0 407600746 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15487044 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407600746 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164005758304 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15487044 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407600747 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164004705920 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15487044 memory=8804 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15487044 memory=11932 CPUtime=1.73 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) S 14644 14644 14062 0 -1 1077944384 7512 0 0 0 173 0 0 0 20 0 19 0 407600749 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15487044 memory=288230574492221466 CPUtime=1.94 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) S 14644 14644 14062 0 -1 1077944384 7091 0 0 0 193 1 0 0 20 0 19 0 407600749 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15487044 memory=288230617509003574 CPUtime=0.7 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) S 14644 14644 14062 0 -1 1077944384 5388 0 0 0 70 0 0 0 20 0 19 0 407600749 15858733056 41023 33554432000 4194304 4196468 140734340871056 140164000495984 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15487044 memory=15252636593031516 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 41023 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15487044 memory=167124 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 41023 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14745] ppid=14644 vsize=15487044 memory=1164 CPUtime=11.05 cores=1,3,5,7
/proc/14646/task/14745/stat : 14745 (java) R 14644 14644 14062 0 -1 4202560 266 0 0 0 1105 0 0 0 20 0 19 0 407602023 15858733056 41023 33554432000 4194304 4196468 140734340871056 140163983915664 140164669314690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14746] ppid=14644 vsize=15487044 memory=8317482817917895235 CPUtime=10.98 cores=1,3,5,7
/proc/14646/task/14746/stat : 14746 (java) R 14644 14644 14062 0 -1 4202560 435 0 0 0 1098 0 0 0 20 0 19 0 407602023 15858733056 41023 33554432000 4194304 4196468 140734340871056 140163986023064 140164670994336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14747] ppid=14644 vsize=15487044 memory=4126316290023845779 CPUtime=11.05 cores=1,3,5,7
/proc/14646/task/14747/stat : 14747 (java) R 14644 14644 14062 0 -1 4202560 353 0 0 0 1105 0 0 0 20 0 19 0 407602023 15858733056 41023 33554432000 4194304 4196468 140734340871056 140163989182672 140164669719889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14748] ppid=14644 vsize=15487044 memory=1412 CPUtime=10.97 cores=1,3,5,7
/proc/14646/task/14748/stat : 14748 (java) R 14644 14644 14062 0 -1 4202560 497 0 0 0 1097 0 0 0 20 0 19 0 407602023 15858733056 41023 33554432000 4194304 4196468 140734340871056 140163988128008 140164669175098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 93.76 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 165544 KiB
[startup+24.4113 s]
/proc/loadavg: 8.42 4.30 2.29 10/237 14748
/proc/meminfo: memFree=29804648/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15487044 memory=163580 CPUtime=95.35 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 40376 0 0 0 9520 15 0 0 20 0 19 0 407600744 15858733056 40895 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3871761 40895 3526 1 0 3832863 0
[pid=14646/tid=14647] ppid=14644 vsize=15487044 memory=1760 CPUtime=0.64 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) S 14644 14644 14062 0 -1 1077944384 9465 0 0 0 59 5 0 0 20 0 19 0 407600744 15858733056 40895 33554432000 4194304 4196468 140734340871056 140165069894784 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15487044 memory=111632 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1263 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15487044 memory=800 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15487044 memory=4104 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 506 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15487044 memory=1804 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15487044 memory=916 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 997 0 0 0 3 0 0 0 20 0 19 0 407600746 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15487044 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407600746 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164005758304 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15487044 memory=2600 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407600747 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164004705920 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15487044 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15487044 memory=163072 CPUtime=1.73 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) S 14644 14644 14062 0 -1 1077944384 7512 0 0 0 173 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15487044 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) S 14644 14644 14062 0 -1 1077944384 7143 0 0 0 193 1 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15487044 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) S 14644 14644 14062 0 -1 1077944384 5388 0 0 0 70 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164000495984 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14745] ppid=14644 vsize=15487044 memory=16050292788396 CPUtime=11.44 cores=1,3,5,7
/proc/14646/task/14745/stat : 14745 (java) R 14644 14644 14062 0 -1 4202560 266 0 0 0 1144 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163983916168 140164669175098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14746] ppid=14644 vsize=15487044 memory=288230617509003574 CPUtime=11.38 cores=1,3,5,7
/proc/14646/task/14746/stat : 14746 (java) R 14644 14644 14062 0 -1 4202560 437 0 0 0 1138 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163986022928 140164670958544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14747] ppid=14644 vsize=15487044 memory=15252636593031516 CPUtime=11.45 cores=1,3,5,7
/proc/14646/task/14747/stat : 14747 (java) R 14644 14644 14062 0 -1 4202560 353 0 0 0 1145 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163989180936 140164669175453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14748] ppid=14644 vsize=15487044 memory=0 CPUtime=11.36 cores=1,3,5,7
/proc/14646/task/14748/stat : 14748 (java) R 14644 14644 14062 0 -1 4202560 497 0 0 0 1136 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163988130080 140164670992323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 95.35 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 165032 KiB
[startup+24.5013 s]
/proc/loadavg: 8.42 4.30 2.29 10/237 14748
/proc/meminfo: memFree=29804648/32770624 swapFree=66996208/67108860
[pid=14644] ppid=14641 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14644/stat : 14644 (xcsp3-exec) S 14641 14644 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407600743 115843072 363 33554432000 4194304 5098028 140736148269744 140736148267848 139752670687868 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27414528 140736148271995 140736148272237 140736148272237 140736148275146 0
/proc/14644/statm: 28282 363 304 221 0 87 0
[pid=14646] ppid=14644 vsize=15487044 memory=163580 CPUtime=95.71 cores=1,3,5,7
/proc/14646/stat : 14646 (java) S 14644 14644 14062 0 -1 1077944320 40458 0 0 0 9556 15 0 0 20 0 19 0 407600744 15858733056 40895 33554432000 4194304 4196468 140734340871056 140734340853600 140165065654007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
/proc/14646/statm: 3871761 40895 3526 1 0 3832863 0
[pid=14646/tid=14647] ppid=14644 vsize=15487044 memory=164604 CPUtime=0.64 cores=1,3,5,7
/proc/14646/task/14647/stat : 14647 (java) S 14644 14644 14062 0 -1 1077944384 9465 0 0 0 59 5 0 0 20 0 19 0 407600744 15858733056 40895 33554432000 4194304 4196468 140734340871056 140165069894784 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14648] ppid=14644 vsize=15487044 memory=164100 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14648/stat : 14648 (java) S 14644 14644 14062 0 -1 1077944384 1263 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164993694096 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14649] ppid=14644 vsize=15487044 memory=183976 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14649/stat : 14649 (java) S 14644 14644 14062 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164992641296 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14650] ppid=14644 vsize=15487044 memory=183960 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14650/stat : 14650 (java) S 14644 14644 14062 0 -1 1077944384 506 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164991589008 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14651] ppid=14644 vsize=15487044 memory=164604 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14651/stat : 14651 (java) S 14644 14644 14062 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 19 0 407600745 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164990536208 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14652] ppid=14644 vsize=15487044 memory=165116 CPUtime=0.03 cores=1,3,5,7
/proc/14646/task/14652/stat : 14652 (java) S 14644 14644 14062 0 -1 1077944384 997 0 0 0 3 0 0 0 20 0 19 0 407600746 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164006812272 140165065665154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14653] ppid=14644 vsize=15487044 memory=500 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14653/stat : 14653 (java) S 14644 14644 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407600746 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164005758304 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14654] ppid=14644 vsize=15487044 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14654/stat : 14654 (java) S 14644 14644 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407600747 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164004705920 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14655] ppid=14644 vsize=15487044 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14655/stat : 14655 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164003654224 140165065672603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14656] ppid=14644 vsize=15487044 memory=984 CPUtime=1.73 cores=1,3,5,7
/proc/14646/task/14656/stat : 14656 (java) S 14644 14644 14062 0 -1 1077944384 7512 0 0 0 173 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164002601072 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14657] ppid=14644 vsize=15487044 memory=2024 CPUtime=1.94 cores=1,3,5,7
/proc/14646/task/14657/stat : 14657 (java) S 14644 14644 14062 0 -1 1077944384 7143 0 0 0 193 1 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164001548272 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14658] ppid=14644 vsize=15487044 memory=1380 CPUtime=0.7 cores=1,3,5,7
/proc/14646/task/14658/stat : 14658 (java) S 14644 14644 14062 0 -1 1077944384 5388 0 0 0 70 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140164000495984 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14659] ppid=14644 vsize=15487044 memory=948 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14659/stat : 14659 (java) S 14644 14644 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163999443424 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14660] ppid=14644 vsize=15487044 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/14646/task/14660/stat : 14660 (java) S 14644 14644 14062 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 19 0 407600749 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163998391216 140165065665154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14745] ppid=14644 vsize=15487044 memory=9404 CPUtime=11.53 cores=1,3,5,7
/proc/14646/task/14745/stat : 14745 (java) R 14644 14644 14062 0 -1 4202560 295 0 0 0 1153 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163983916168 140165049034225 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14746] ppid=14644 vsize=15487044 memory=1548 CPUtime=11.47 cores=1,3,5,7
/proc/14646/task/14746/stat : 14746 (java) S 14644 14644 14062 0 -1 1077944384 454 0 0 0 1147 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163986027600 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14747] ppid=14644 vsize=15487044 memory=166144 CPUtime=11.54 cores=1,3,5,7
/proc/14646/task/14747/stat : 14747 (java) S 14644 14644 14062 0 -1 1077944384 372 0 0 0 1154 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163989185488 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
[pid=14646/tid=14748] ppid=14644 vsize=15487044 memory=163072 CPUtime=11.45 cores=1,3,5,7
/proc/14646/task/14748/stat : 14748 (java) S 14644 14644 14062 0 -1 1077944384 514 0 0 0 1145 0 0 0 20 0 19 0 407602023 15858733056 40895 33554432000 4194304 4196468 140734340871056 140163988133200 140165065664213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38752256 140734340875247 140734340875418 140734340875418 140734340878287 0
Current children cumulated CPU time: 95.71 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 165032 KiB
Child status: 0
Real time (s): 24.5087
CPU time (s): 95.729
CPU user time (s): 95.5659
CPU system time (s): 0.163104
CPU usage (%): 390.591
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 211728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5659
system time used= 0.163104
maximum resident set size= 213344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41621
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= 4721
involuntary context switches= 2094
# summary of solver processes directly reported to runsolver:
# pid: 14644
# total CPU time (s): 95.729
# total CPU user time (s): 95.5659
# total CPU system time (s): 0.163104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.176604 second user time and 0.321089 second system time
The end