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 (15041 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393110-1568356233/watcher-4393110-1568356233 -o /tmp/evaluation-result-4393110-1568356233/solver-4393110-1568356233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1458212972 HOME/instance-4393110-1568356233.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
solver pid=27387, runsolver pid=27384
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.05 5.80 7.33 3/208 27403
/proc/meminfo: memFree=31098396/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15144768 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 5834 0 0 0 12 1 0 0 20 0 15 0 411862032 15508242432 7408 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3786192 7408 3153 1 0 3748377 0
[pid=27389/tid=27390] ppid=27387 vsize=15144768 memory=-6153998932577980768 CPUtime=0.08 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) R 27387 27387 22042 0 -1 4202560 3727 0 0 0 8 0 0 0 20 0 15 0 411862032 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683760889312 139683756687962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15144768 memory=5767622181755120009 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15144768 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862034 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411862035 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683224241824 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411862035 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683223188720 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862037 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) R 27387 27387 22042 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 411862037 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683221084400 139683756677762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) R 27387 27387 22042 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 411862037 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683220031952 139683734499472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15144768 memory=140315457238656 CPUtime=0.02 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) R 27387 27387 22042 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 411862037 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683218978800 139683756678550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862038 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15144768 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862038 15508242432 7408 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31084 KiB
[startup+0.210485 s]*
/proc/loadavg: 4.05 5.80 7.33 3/208 27403
/proc/meminfo: memFree=31085664/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15144768 memory=40716 CPUtime=0.34 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 9460 0 0 0 32 2 0 0 20 0 15 0 411862032 15508242432 10179 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3786192 10179 3264 1 0 3748377 0
[pid=27389/tid=27390] ppid=27387 vsize=15144768 memory=7898077279151891103 CPUtime=0.19 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) R 27387 27387 22042 0 -1 4202560 6639 0 0 0 18 1 0 0 20 0 15 0 411862032 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683760901600 139683756678550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15144768 memory=3461490920086922889 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15144768 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15144768 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411862034 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411862035 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683224241824 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15144768 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411862035 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683223188720 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862037 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) S 27387 27387 22042 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 411862037 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683221084400 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) S 27387 27387 22042 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 411862037 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683220031856 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) R 27387 27387 22042 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 411862037 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683218978800 139683735959319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862038 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862038 15508242432 10179 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42168 KiB
[startup+0.310276 s]*
/proc/loadavg: 4.05 5.80 7.33 3/208 27403
/proc/meminfo: memFree=31079476/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15149024 memory=50248 CPUtime=0.53 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 10890 0 0 0 50 3 0 0 20 0 15 0 411862032 15512600576 12562 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3787256 12562 3339 1 0 3748377 0
[pid=27389/tid=27390] ppid=27387 vsize=15149024 memory=280630613174176 CPUtime=0.29 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) R 27387 27387 22042 0 -1 4202560 7850 0 0 0 27 2 0 0 20 0 15 0 411862032 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683760897728 139683756688541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15149024 memory=67 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15149024 memory=280630763825744 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15149024 memory=67 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15149024 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411862034 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15149024 memory=67 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411862035 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683224241824 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15149024 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411862035 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683223188720 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15149024 memory=69604 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862037 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) S 27387 27387 22042 0 -1 1077944384 616 0 0 0 5 0 0 0 20 0 15 0 411862037 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683221084400 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15149024 memory=140315306607887 CPUtime=0.03 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) S 27387 27387 22042 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 411862037 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683220031856 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15149024 memory=280630763855712 CPUtime=0.12 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) S 27387 27387 22042 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 15 0 411862037 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683218978800 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15149024 memory=140315306612495 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862038 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15149024 memory=140315457238656 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862038 15512600576 12562 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51700 KiB
[startup+0.700822 s]
/proc/loadavg: 4.05 5.80 7.33 5/208 27403
/proc/meminfo: memFree=31068636/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15151148 memory=98188 CPUtime=1.61 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 14674 0 0 0 157 4 0 0 20 0 15 0 411862032 15514775552 24547 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3787787 24547 3462 1 0 3748889 0
[pid=27389/tid=27390] ppid=27387 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) R 27387 27387 22042 0 -1 4202560 9056 0 0 0 64 3 0 0 20 0 15 0 411862032 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683760903232 139683362036084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15151148 memory=7813587196152198965 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862033 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15151148 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411862033 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15151148 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411862034 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411862035 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683224241824 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411862035 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683223188720 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15151148 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862037 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15151148 memory=624 CPUtime=0.29 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) R 27387 27387 22042 0 -1 4202560 1314 0 0 0 29 0 0 0 20 0 15 0 411862037 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683221077424 139683741588397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15151148 memory=3996 CPUtime=0.25 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) R 27387 27387 22042 0 -1 4202560 1348 0 0 0 25 0 0 0 20 0 15 0 411862037 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683220012872 139683741583976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15151148 memory=2832 CPUtime=0.37 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) S 27387 27387 22042 0 -1 1077944384 1648 0 0 0 37 0 0 0 20 0 15 0 411862037 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683218978800 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411862038 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15151148 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411862038 15514775552 24547 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 99640 KiB
[startup+1.50418 s]
/proc/loadavg: 4.05 5.80 7.33 7/212 27407
/proc/meminfo: memFree=30982568/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/27389/task/27401/stat : 27401 (java) R 27387 27387 22042 0 -1 1077944384 6954 0 0 0 66 1 0 0 20 0 19 0 411862037 15787421696 46006 33554432000 4194304 4196468 140722341522336 139683218978800 139683756677762 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15417404 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411862038 15787421696 46006 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15417404 memory=6656426216303648864 CPUtime=0.13 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1243 0 0 0 0 13 0 0 20 0 19 0 411862038 15787421696 46006 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27404] ppid=27387 vsize=15417404 memory=6369868150210126928 CPUtime=136.75 cores=1,3,5,7
/proc/27389/task/27404/stat : 27404 (java) R 27387 27387 22042 0 -1 4202560 975 0 0 0 13674 1 0 0 20 0 19 0 411862110 15787421696 46006 33554432000 4194304 4196468 140722341522336 139683209759864 139683364863801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27405] ppid=27387 vsize=15417404 memory=4137287014106042739 CPUtime=136.81 cores=1,3,5,7
/proc/27389/task/27405/stat : 27405 (java) R 27387 27387 22042 0 -1 4202560 2711 0 0 0 13680 1 0 0 20 0 19 0 411862110 15787421696 46006 33554432000 4194304 4196468 140722341522336 139682611452688 139683364592710 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27406] ppid=27387 vsize=15417404 memory=-7966001967256141664 CPUtime=136.9 cores=1,3,5,7
/proc/27389/task/27406/stat : 27406 (java) R 27387 27387 22042 0 -1 4202560 1306 0 0 0 13690 0 0 0 20 0 19 0 411862110 15787421696 46006 33554432000 4194304 4196468 140722341522336 139682610397480 139683364861719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27407] ppid=27387 vsize=15417404 memory=8303054830060986464 CPUtime=136.99 cores=1,3,5,7
/proc/27389/task/27407/stat : 27407 (java) R 27387 27387 22042 0 -1 4202560 2186 0 0 0 13698 1 0 0 20 0 19 0 411862110 15787421696 46006 33554432000 4194304 4196468 140722341522336 139682609344176 139683366832030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 555.38 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 185476 KiB
[startup+140.801 s]
/proc/loadavg: 4.01 5.14 6.87 6/212 27425
/proc/meminfo: memFree=30942204/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15417404 memory=184076 CPUtime=558.53 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 66841 0 0 0 55815 38 0 0 20 0 19 0 411862032 15787421696 46019 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3854351 46019 3532 1 0 3815453 0
[pid=27389/tid=27390] ppid=27387 vsize=15417404 memory=1556 CPUtime=0.76 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) S 27387 27387 22042 0 -1 1077944384 9130 0 0 0 72 4 0 0 20 0 19 0 411862032 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683760907392 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15417404 memory=11340 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1195 0 0 0 13 5 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15417404 memory=1532 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 1184 0 0 0 13 5 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15417404 memory=48221 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1610 0 0 0 13 5 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15417404 memory=76 CPUtime=0.19 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 1684 0 0 0 13 6 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15417404 memory=16 CPUtime=0.09 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 1834 0 0 0 6 3 0 0 20 0 19 0 411862034 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411862035 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683224241888 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411862035 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683223188736 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15417404 memory=184004 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15417404 memory=1452 CPUtime=3.11 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) S 27387 27387 22042 0 -1 1077944384 20971 0 0 0 310 1 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683221084400 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15417404 memory=1452 CPUtime=2.35 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) S 27387 27387 22042 0 -1 1077944384 12475 0 0 0 234 1 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683220031856 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15417404 memory=181828 CPUtime=0.67 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) S 27387 27387 22042 0 -1 1077944384 6954 0 0 0 66 1 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683218978800 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411862038 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15417404 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1243 0 0 0 0 13 0 0 20 0 19 0 411862038 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27404] ppid=27387 vsize=15417404 memory=184024 CPUtime=137.5 cores=1,3,5,7
/proc/27389/task/27404/stat : 27404 (java) R 27387 27387 22042 0 -1 4202560 976 0 0 0 13749 1 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683209762792 139683366476419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27405] ppid=27387 vsize=15417404 memory=6791534058613427641 CPUtime=137.59 cores=1,3,5,7
/proc/27389/task/27405/stat : 27405 (java) R 27387 27387 22042 0 -1 4202560 2711 0 0 0 13758 1 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139682611450024 139683364592464 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27406] ppid=27387 vsize=15417404 memory=1452 CPUtime=137.67 cores=1,3,5,7
/proc/27389/task/27406/stat : 27406 (java) R 27387 27387 22042 0 -1 4202560 1306 0 0 0 13767 0 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139682610397344 139683364592715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27407] ppid=27387 vsize=15417404 memory=1452 CPUtime=137.78 cores=1,3,5,7
/proc/27389/task/27407/stat : 27407 (java) R 27387 27387 22042 0 -1 4202560 2187 0 0 0 13777 1 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139682609347808 139683364858001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 558.53 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 185528 KiB
[startup+141.201 s]
/proc/loadavg: 4.01 5.14 6.87 5/212 27425
/proc/meminfo: memFree=30942204/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15417404 memory=184076 CPUtime=560.12 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 66845 0 0 0 55974 38 0 0 20 0 19 0 411862032 15787421696 46019 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3854351 46019 3532 1 0 3815453 0
[pid=27389/tid=27390] ppid=27387 vsize=15417404 memory=4100 CPUtime=0.76 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) S 27387 27387 22042 0 -1 1077944384 9130 0 0 0 72 4 0 0 20 0 19 0 411862032 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683760907392 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15417404 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1195 0 0 0 13 5 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15417404 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 1184 0 0 0 14 5 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15417404 memory=3620 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1610 0 0 0 13 5 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15417404 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 1684 0 0 0 13 6 0 0 20 0 19 0 411862033 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15417404 memory=181788 CPUtime=0.09 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 1834 0 0 0 6 3 0 0 20 0 19 0 411862034 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15417404 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 411862035 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683224241888 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15417404 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411862035 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683223188736 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15417404 memory=2112 CPUtime=3.11 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) S 27387 27387 22042 0 -1 1077944384 20971 0 0 0 310 1 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683221084400 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15417404 memory=12040 CPUtime=2.35 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) S 27387 27387 22042 0 -1 1077944384 12475 0 0 0 234 1 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683220031856 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15417404 memory=22980 CPUtime=0.67 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) S 27387 27387 22042 0 -1 1077944384 6954 0 0 0 66 1 0 0 20 0 19 0 411862037 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683218978800 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411862038 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15417404 memory=532 CPUtime=0.13 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1243 0 0 0 0 13 0 0 20 0 19 0 411862038 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27404] ppid=27387 vsize=15417404 memory=928 CPUtime=137.9 cores=1,3,5,7
/proc/27389/task/27404/stat : 27404 (java) R 27387 27387 22042 0 -1 4202560 976 0 0 0 13789 1 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139683209760064 139683364592688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27405] ppid=27387 vsize=15417404 memory=6791534058613427641 CPUtime=137.98 cores=1,3,5,7
/proc/27389/task/27405/stat : 27405 (java) R 27387 27387 22042 0 -1 4202560 2714 0 0 0 13797 1 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139682611450024 139683365604929 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27406] ppid=27387 vsize=15417404 memory=1056 CPUtime=138.07 cores=1,3,5,7
/proc/27389/task/27406/stat : 27406 (java) R 27387 27387 22042 0 -1 4202560 1306 0 0 0 13807 0 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139682610397344 139683364858031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27407] ppid=27387 vsize=15417404 memory=1556 CPUtime=138.18 cores=1,3,5,7
/proc/27389/task/27407/stat : 27407 (java) R 27387 27387 22042 0 -1 4202560 2188 0 0 0 13817 1 0 0 20 0 19 0 411862110 15787421696 46019 33554432000 4194304 4196468 140722341522336 139682609347088 139683364137583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 560.12 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 185528 KiB
[startup+141.301 s]
/proc/loadavg: 4.01 5.14 6.87 5/212 27425
/proc/meminfo: memFree=30942204/32770624 swapFree=66940800/67108860
[pid=27387] ppid=27384 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27387/stat : 27387 (xcsp3-exec) S 27384 27387 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411862032 115843072 363 33554432000 4194304 5098028 140727457547424 140727457545528 140009156174460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20217856 140727457555322 140727457555565 140727457555565 140727457558474 0
/proc/27387/statm: 28282 363 304 221 0 87 0
[pid=27389] ppid=27387 vsize=15417404 memory=184108 CPUtime=560.51 cores=1,3,5,7
/proc/27389/stat : 27389 (java) S 27387 27387 22042 0 -1 1077944320 66976 0 0 0 56013 38 0 0 20 0 17 0 411862032 15787421696 46027 33554432000 4194304 4196468 140722341522336 140722341504880 139683756666615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
/proc/27389/statm: 3854351 46027 3534 1 0 3815453 0
[pid=27389/tid=27390] ppid=27387 vsize=15417404 memory=1452 CPUtime=0.76 cores=1,3,5,7
/proc/27389/task/27390/stat : 27390 (java) R 27387 27387 22042 0 -1 4202560 9181 0 0 0 72 4 0 0 20 0 17 0 411862032 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683760907480 139683363318535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27391] ppid=27387 vsize=15417404 memory=182736 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27391/stat : 27391 (java) S 27387 27387 22042 0 -1 1077944384 1195 0 0 0 13 5 0 0 20 0 17 0 411862033 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683684706832 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27392] ppid=27387 vsize=15417404 memory=2432 CPUtime=0.19 cores=1,3,5,7
/proc/27389/task/27392/stat : 27392 (java) S 27387 27387 22042 0 -1 1077944384 1184 0 0 0 14 5 0 0 20 0 17 0 411862033 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683683654288 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27393] ppid=27387 vsize=15417404 memory=1436 CPUtime=0.18 cores=1,3,5,7
/proc/27389/task/27393/stat : 27393 (java) S 27387 27387 22042 0 -1 1077944384 1610 0 0 0 13 5 0 0 20 0 17 0 411862033 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683682601232 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27394] ppid=27387 vsize=15417404 memory=3996 CPUtime=0.19 cores=1,3,5,7
/proc/27389/task/27394/stat : 27394 (java) S 27387 27387 22042 0 -1 1077944384 1684 0 0 0 13 6 0 0 20 0 17 0 411862033 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683681548688 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27395] ppid=27387 vsize=15417404 memory=2832 CPUtime=0.09 cores=1,3,5,7
/proc/27389/task/27395/stat : 27395 (java) S 27387 27387 22042 0 -1 1077944384 1834 0 0 0 6 3 0 0 20 0 17 0 411862034 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683225295600 139683756677762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27396] ppid=27387 vsize=15417404 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27396/stat : 27396 (java) S 27387 27387 22042 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 17 0 411862035 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683224241888 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27397] ppid=27387 vsize=15417404 memory=183876 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27397/stat : 27397 (java) S 27387 27387 22042 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 17 0 411862035 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683223188736 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27398] ppid=27387 vsize=15417404 memory=280630614186496 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27398/stat : 27398 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 411862037 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683222137296 139683756685211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27399] ppid=27387 vsize=15417404 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/27389/task/27399/stat : 27399 (java) S 27387 27387 22042 0 -1 1077944384 20971 0 0 0 310 1 0 0 20 0 17 0 411862037 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683221084400 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27400] ppid=27387 vsize=15417404 memory=181828 CPUtime=2.35 cores=1,3,5,7
/proc/27389/task/27400/stat : 27400 (java) S 27387 27387 22042 0 -1 1077944384 12475 0 0 0 234 1 0 0 20 0 17 0 411862037 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683220031856 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27401] ppid=27387 vsize=15417404 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/27389/task/27401/stat : 27401 (java) S 27387 27387 22042 0 -1 1077944384 6954 0 0 0 66 1 0 0 20 0 17 0 411862037 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683218978800 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27402] ppid=27387 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27389/task/27402/stat : 27402 (java) S 27387 27387 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 411862038 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683217926496 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27403] ppid=27387 vsize=15417404 memory=8245933066544480320 CPUtime=0.13 cores=1,3,5,7
/proc/27389/task/27403/stat : 27403 (java) S 27387 27387 22042 0 -1 1077944384 1243 0 0 0 0 13 0 0 20 0 17 0 411862038 15787421696 46027 33554432000 4194304 4196468 140722341522336 139683216874544 139683756677762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27405] ppid=27387 vsize=15417404 memory=1452 CPUtime=138.07 cores=1,3,5,7
/proc/27389/task/27405/stat : 27405 (java) S 27387 27387 22042 0 -1 1077944384 2740 0 0 0 13806 1 0 0 20 0 17 0 411862110 15787421696 46027 33554432000 4194304 4196468 140722341522336 139682611456432 139683756676821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
[pid=27389/tid=27406] ppid=27387 vsize=15417404 memory=184004 CPUtime=138.17 cores=1,3,5,7
/proc/27389/task/27406/stat : 27406 (java) R 27387 27387 22042 0 -1 1077944384 1321 0 0 0 13817 0 0 0 20 0 17 0 411862110 15787421696 46028 33554432000 4194304 4196468 140722341522336 139682610403888 139683756676821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140722341524463 140722341524634 140722341524634 140722341527503 0
Current children cumulated CPU time: 560.51 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 185560 KiB
Child status: 0
Real time (s): 141.323
CPU time (s): 560.537
CPU user time (s): 560.146
CPU system time (s): 0.391354
CPU usage (%): 396.635
Max. virtual memory (cumulated for all children) (KiB): 15532456
Max. memory (cumulated for all children) (KiB): 422512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.146
system time used= 0.391354
maximum resident set size= 427204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8148
involuntary context switches= 6989
# summary of solver processes directly reported to runsolver:
# pid: 27387
# total CPU time (s): 560.537
# total CPU user time (s): 560.146
# total CPU system time (s): 0.391354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.877296 second user time and 1.77397 second system time
The end