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 (4334 MiB free)
memory of node 1: 16384 MiB (6946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403969-1568991370/watcher-4403969-1568991370 -o /var/tmp/evaluation-result-4403969-1568991370/solver-4403969-1568991370 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29018 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1611980668 HOME/instance-4403969-1568991370.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30504, runsolver pid=30501
Current StackSize limit: 8192 KiB
[startup+0.100187 s]*
/proc/loadavg: 8.77 8.50 6.83 7/233 30520
/proc/meminfo: memFree=11534832/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15144776 memory=29696 CPUtime=0.13 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 5816 0 0 0 11 2 0 0 20 0 15 0 475375587 15508250624 7424 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3786194 7424 3187 1 0 3748377 0
[pid=30506/tid=30507] ppid=30504 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) R 30504 30504 28986 0 -1 4202560 3722 0 0 0 7 1 0 0 20 0 15 0 475375587 15508250624 7424 33554432000 4194304 4196468 140721885806144 139868224079664 139868203926878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 7424 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15144776 memory=140664411727488 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 7424 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 7424 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 7424 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15144776 memory=140664411727488 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375589 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475375590 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867361309472 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475375590 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867360257136 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) R 30504 30504 28986 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867358153328 139868219857538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) R 30504 30504 28986 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867357100528 139868197679248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15144776 memory=140664411727488 CPUtime=0.02 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) S 30504 30504 28986 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 475375593 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867356048240 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15144776 memory=140664411727488 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 7424 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31152 KiB
[startup+0.212938 s]*
/proc/loadavg: 8.77 8.50 6.83 6/233 30520
/proc/meminfo: memFree=11521564/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15144776 memory=40940 CPUtime=0.34 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 9473 0 0 0 30 4 0 0 20 0 15 0 475375587 15508250624 10235 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3786194 10235 3291 1 0 3748377 0
[pid=30506/tid=30507] ppid=30504 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) R 30504 30504 28986 0 -1 4202560 6634 0 0 0 17 3 0 0 20 0 15 0 475375587 15508250624 10235 33554432000 4194304 4196468 140721885806144 139868224081376 139868203890021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 10235 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15144776 memory=140664411756249 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 10235 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 10235 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15508250624 10235 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15144776 memory=140664411727488 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475375589 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475375590 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867361309472 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475375590 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867360257136 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) S 30504 30504 28986 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 475375593 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867358153328 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) S 30504 30504 28986 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 15 0 475375593 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867357100528 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15144776 memory=140664411727488 CPUtime=0.07 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) R 30504 30504 28986 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 475375593 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867356048240 139868203926878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375593 15508250624 10235 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42396 KiB
[startup+0.32023 s]*
/proc/loadavg: 8.77 8.50 6.83 6/233 30520
/proc/meminfo: memFree=11514532/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15149032 memory=50140 CPUtime=0.52 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 11106 0 0 0 48 4 0 0 20 0 15 0 475375587 15512608768 12535 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3787258 12535 3323 1 0 3748377 0
[pid=30506/tid=30507] ppid=30504 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) R 30504 30504 28986 0 -1 4202560 8149 0 0 0 27 3 0 0 20 0 15 0 475375587 15512608768 12535 33554432000 4194304 4196468 140721885806144 139868224076272 139868219868317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15512608768 12535 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15512608768 12535 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375588 15512608768 12535 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15512608768 12535 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475375589 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475375590 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867361309472 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475375590 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867360257136 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) S 30504 30504 28986 0 -1 1077944384 430 0 0 0 4 0 0 0 20 0 15 0 475375593 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867358153328 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) S 30504 30504 28986 0 -1 1077944384 374 0 0 0 3 0 0 0 20 0 15 0 475375593 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867357100528 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) S 30504 30504 28986 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 475375593 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867356048240 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375593 15512608768 12535 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51596 KiB
[startup+0.704775 s]
/proc/loadavg: 8.77 8.50 6.83 8/233 30520
/proc/meminfo: memFree=11488276/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15151156 memory=117808 CPUtime=1.71 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 14936 0 0 0 165 6 0 0 20 0 15 0 475375587 15514783744 29452 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3787789 29452 3445 1 0 3748889 0
[pid=30506/tid=30507] ppid=30504 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) R 30504 30504 28986 0 -1 4202560 9135 0 0 0 64 4 0 0 20 0 15 0 475375587 15514783744 29452 33554432000 4194304 4196468 140721885806144 139868224083536 139868219858326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15151156 memory=288230600314300172 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15514783744 29452 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15151156 memory=16106952818009964 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15514783744 29452 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375588 15514783744 29452 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475375588 15514783744 29452 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475375589 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475375590 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867361309472 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475375590 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867360257136 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15151156 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) R 30504 30504 28986 0 -1 1077944384 1507 0 0 0 36 0 0 0 20 0 15 0 475375593 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867358153456 139868219856597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15151156 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) R 30504 30504 28986 0 -1 4202560 1292 0 0 0 32 0 0 0 20 0 15 0 475375593 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867357090640 139868197441169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15151156 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) R 30504 30504 28986 0 -1 4202560 1691 0 0 0 31 1 0 0 20 0 15 0 475375593 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867356044184 139868199285315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15151156 memory=7667167690614138738 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475375593 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15151156 memory=8028355074131845485 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475375593 15514783744 29452 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119264 KiB
[startup+1.50086 s]
/proc/loadavg: 8.77 8.50 6.83 8/233 30520
/proc/meminfo: memFree=11394792/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30592] ppid=30504 vsize=15552588 memory=1056 CPUtime=16.68 cores=1,3,5,7
/proc/30506/task/30592/stat : 30592 (java) R 30504 30504 28986 0 -1 4202560 367 0 0 0 1668 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867135859816 139867847769909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30593] ppid=30504 vsize=15552588 memory=281328545757760 CPUtime=16.71 cores=1,3,5,7
/proc/30506/task/30593/stat : 30593 (java) R 30504 30504 28986 0 -1 4202560 875 0 0 0 1671 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867136913720 139867847770215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30594] ppid=30504 vsize=15552588 memory=6944656592387989600 CPUtime=16.49 cores=1,3,5,7
/proc/30506/task/30594/stat : 30594 (java) R 30504 30504 28986 0 -1 4202560 383 0 0 0 1649 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867139019032 139868199571605 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30595] ppid=30504 vsize=15552588 memory=8562125494162282060 CPUtime=16.74 cores=1,3,5,7
/proc/30506/task/30595/stat : 30595 (java) R 30504 30504 28986 0 -1 4202560 971 0 0 0 1674 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867137966520 139867847769973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 150.48 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 381144 KiB
[startup+39.2012 s]
/proc/loadavg: 8.55 8.48 6.88 9/237 30595
/proc/meminfo: memFree=11175172/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15552588 memory=379688 CPUtime=153.66 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 51086 0 0 0 15339 27 0 0 20 0 19 0 475375587 15925850112 94922 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3888147 94922 3528 1 0 3849247 0
[pid=30506/tid=30507] ppid=30504 vsize=15552588 memory=56 CPUtime=1.42 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) S 30504 30504 28986 0 -1 1077944384 11276 0 0 0 136 6 0 0 20 0 19 0 475375587 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868224087168 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15552588 memory=7523377945162176621 CPUtime=0.03 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15552588 memory=7451576472792033899 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 1578 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15552588 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 620 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15552588 memory=1056 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 575 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15552588 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 1077 0 0 0 1 1 0 0 20 0 19 0 475375589 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15552588 memory=11632 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475375590 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867361309536 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15552588 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 475375590 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867360257152 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15552588 memory=6791534058613427641 CPUtime=2.77 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) S 30504 30504 28986 0 -1 1077944384 10998 0 0 0 276 1 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867358153328 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15552588 memory=3332 CPUtime=2.34 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) S 30504 30504 28986 0 -1 1077944384 8431 0 0 0 233 1 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867357100528 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15552588 memory=1452 CPUtime=0.83 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) S 30504 30504 28986 0 -1 1077944384 6981 0 0 0 81 2 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867356048240 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15552588 memory=288044 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15552588 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30592] ppid=30504 vsize=15552588 memory=1456 CPUtime=17.48 cores=1,3,5,7
/proc/30506/task/30592/stat : 30592 (java) R 30504 30504 28986 0 -1 4202560 367 0 0 0 1748 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867135859816 139867847769783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30593] ppid=30504 vsize=15552588 memory=1456 CPUtime=17.51 cores=1,3,5,7
/proc/30506/task/30593/stat : 30593 (java) R 30504 30504 28986 0 -1 4202560 877 0 0 0 1751 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867136913720 139867848264132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30594] ppid=30504 vsize=15552588 memory=6944656592455359580 CPUtime=17.27 cores=1,3,5,7
/proc/30506/task/30594/stat : 30594 (java) R 30504 30504 28986 0 -1 4202560 383 0 0 0 1727 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867139019032 139867848634108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30595] ppid=30504 vsize=15552588 memory=6944656592455097440 CPUtime=17.54 cores=1,3,5,7
/proc/30506/task/30595/stat : 30595 (java) R 30504 30504 28986 0 -1 4202560 971 0 0 0 1754 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867137966520 139867847769973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 153.66 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 381144 KiB
[startup+40.0012 s]*
/proc/loadavg: 8.50 8.47 6.89 9/237 30595
/proc/meminfo: memFree=11175172/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15552588 memory=379688 CPUtime=156.89 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 51086 0 0 0 15662 27 0 0 20 0 19 0 475375587 15925850112 94922 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3888147 94922 3528 1 0 3849247 0
[pid=30506/tid=30507] ppid=30504 vsize=15552588 memory=6791534058613427641 CPUtime=1.42 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) S 30504 30504 28986 0 -1 1077944384 11276 0 0 0 136 6 0 0 20 0 19 0 475375587 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868224087168 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15552588 memory=4420 CPUtime=0.03 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15552588 memory=6628 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 1578 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15552588 memory=8836 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 620 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15552588 memory=11044 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 575 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15552588 memory=13252 CPUtime=0.02 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 1077 0 0 0 1 1 0 0 20 0 19 0 475375589 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15552588 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475375590 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867361309536 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15552588 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 475375590 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867360257152 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15552588 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15552588 memory=988 CPUtime=2.77 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) S 30504 30504 28986 0 -1 1077944384 10998 0 0 0 276 1 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867358153328 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15552588 memory=0 CPUtime=2.34 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) S 30504 30504 28986 0 -1 1077944384 8431 0 0 0 233 1 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867357100528 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15552588 memory=4580 CPUtime=0.83 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) S 30504 30504 28986 0 -1 1077944384 6981 0 0 0 81 2 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867356048240 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15552588 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15552588 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30592] ppid=30504 vsize=15552588 memory=6656426216303648864 CPUtime=18.29 cores=1,3,5,7
/proc/30506/task/30592/stat : 30592 (java) R 30504 30504 28986 0 -1 4202560 367 0 0 0 1829 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867135859816 139867847769616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30593] ppid=30504 vsize=15552588 memory=6944656592455360604 CPUtime=18.32 cores=1,3,5,7
/proc/30506/task/30593/stat : 30593 (java) R 30504 30504 28986 0 -1 4202560 877 0 0 0 1832 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867136913720 139867847769982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30594] ppid=30504 vsize=15552588 memory=12040 CPUtime=18.06 cores=1,3,5,7
/proc/30506/task/30594/stat : 30594 (java) R 30504 30504 28986 0 -1 4202560 383 0 0 0 1806 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867139019032 139867847769900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30595] ppid=30504 vsize=15552588 memory=31840 CPUtime=18.35 cores=1,3,5,7
/proc/30506/task/30595/stat : 30595 (java) R 30504 30504 28986 0 -1 4202560 971 0 0 0 1835 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867137966520 139867847770116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 156.89 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 381144 KiB
[startup+40.2012 s]
/proc/loadavg: 8.50 8.47 6.89 9/237 30595
/proc/meminfo: memFree=11175172/32770624 swapFree=66956680/67108860
[pid=30504] ppid=30501 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30504/stat : 30504 (xcsp3-exec) S 30501 30504 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375587 115843072 364 33554432000 4194304 5098028 140736799709488 140736799707592 140142325002876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13926400 140736799712086 140736799712345 140736799712345 140736799715270 0
/proc/30504/statm: 28282 364 305 221 0 87 0
[pid=30506] ppid=30504 vsize=15552588 memory=379688 CPUtime=157.65 cores=1,3,5,7
/proc/30506/stat : 30506 (java) S 30504 30504 28986 0 -1 1077944320 51417 0 0 0 15738 27 0 0 20 0 19 0 475375587 15925850112 94922 33554432000 4194304 4196468 140721885806144 140721885788688 139868219846391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
/proc/30506/statm: 3888147 94922 3528 1 0 3849247 0
[pid=30506/tid=30507] ppid=30504 vsize=15552588 memory=6791534058613427641 CPUtime=1.42 cores=1,3,5,7
/proc/30506/task/30507/stat : 30507 (java) S 30504 30504 28986 0 -1 1077944384 11276 0 0 0 136 6 0 0 20 0 19 0 475375587 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868224087168 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30508] ppid=30504 vsize=15552588 memory=288230583166042426 CPUtime=0.03 cores=1,3,5,7
/proc/30506/task/30508/stat : 30508 (java) S 30504 30504 28986 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868172467088 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30509] ppid=30504 vsize=15552588 memory=13847469322668657 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30509/stat : 30509 (java) S 30504 30504 28986 0 -1 1077944384 1578 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868171414288 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30510] ppid=30504 vsize=15552588 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30510/stat : 30510 (java) S 30504 30504 28986 0 -1 1077944384 620 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868170362000 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30511] ppid=30504 vsize=15552588 memory=281328546167680 CPUtime=0.04 cores=1,3,5,7
/proc/30506/task/30511/stat : 30511 (java) S 30504 30504 28986 0 -1 1077944384 575 0 0 0 2 2 0 0 20 0 19 0 475375588 15925850112 94922 33554432000 4194304 4196468 140721885806144 139868169309200 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30512] ppid=30504 vsize=15552588 memory=281328546074912 CPUtime=0.02 cores=1,3,5,7
/proc/30506/task/30512/stat : 30512 (java) S 30504 30504 28986 0 -1 1077944384 1077 0 0 0 1 1 0 0 20 0 19 0 475375589 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867362363504 139868219857538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30513] ppid=30504 vsize=15552588 memory=140664273106992 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30513/stat : 30513 (java) S 30504 30504 28986 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475375590 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867361309536 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30514] ppid=30504 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30514/stat : 30514 (java) S 30504 30504 28986 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 475375590 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867360257152 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30515] ppid=30504 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30515/stat : 30515 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867359205456 139868219864987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30516] ppid=30504 vsize=15552588 memory=281328545169648 CPUtime=2.77 cores=1,3,5,7
/proc/30506/task/30516/stat : 30516 (java) S 30504 30504 28986 0 -1 1077944384 10998 0 0 0 276 1 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867358153328 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30517] ppid=30504 vsize=15552588 memory=0 CPUtime=2.34 cores=1,3,5,7
/proc/30506/task/30517/stat : 30517 (java) S 30504 30504 28986 0 -1 1077944384 8431 0 0 0 233 1 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867357100528 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30518] ppid=30504 vsize=15552588 memory=-6800859132029471843 CPUtime=0.83 cores=1,3,5,7
/proc/30506/task/30518/stat : 30518 (java) S 30504 30504 28986 0 -1 1077944384 6981 0 0 0 81 2 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867356048240 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30519] ppid=30504 vsize=15552588 memory=26660 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30519/stat : 30519 (java) S 30504 30504 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867153492960 139868219856597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30520] ppid=30504 vsize=15552588 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30506/task/30520/stat : 30520 (java) S 30504 30504 28986 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 19 0 475375593 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867152439728 139868219857538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30592] ppid=30504 vsize=15552588 memory=6791534058613427641 CPUtime=18.48 cores=1,3,5,7
/proc/30506/task/30592/stat : 30592 (java) R 30504 30504 28986 0 -1 4202560 467 0 0 0 1848 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867135859816 139867847770158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30593] ppid=30504 vsize=15552588 memory=379688 CPUtime=18.51 cores=1,3,5,7
/proc/30506/task/30593/stat : 30593 (java) R 30504 30504 28986 0 -1 4202560 970 0 0 0 1851 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867136913720 139867847769914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30594] ppid=30504 vsize=15552588 memory=281328546405760 CPUtime=18.25 cores=1,3,5,7
/proc/30506/task/30594/stat : 30594 (java) R 30504 30504 28986 0 -1 4202560 422 0 0 0 1825 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867139019032 139867848634760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
[pid=30506/tid=30595] ppid=30504 vsize=15552588 memory=12040 CPUtime=18.54 cores=1,3,5,7
/proc/30506/task/30595/stat : 30595 (java) R 30504 30504 28986 0 -1 4202560 1048 0 0 0 1854 0 0 0 20 0 19 0 475377746 15925850112 94922 33554432000 4194304 4196468 140721885806144 139867137966520 139867847769973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18378752 140721885811675 140721885811850 140721885811850 140721885814735 0
Current children cumulated CPU time: 157.65 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 381144 KiB
Child status: 0
Real time (s): 40.2161
CPU time (s): 157.692
CPU user time (s): 157.407
CPU system time (s): 0.284714
CPU usage (%): 392.112
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 381144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.407
system time used= 0.284714
maximum resident set size= 379692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4558
involuntary context switches= 3829
# summary of solver processes directly reported to runsolver:
# pid: 30504
# total CPU time (s): 157.692
# total CPU user time (s): 157.407
# total CPU system time (s): 0.284714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.274634 second user time and 0.518889 second system time
The end