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 (9018 MiB free)
memory of node 1: 16384 MiB (12393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394251-1568331612/watcher-4394251-1568331612 -o /tmp/evaluation-result-4394251-1568331612/solver-4394251-1568331612 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 44428564 HOME/instance-4394251-1568331612.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
Current StackSize limit: 8192 KiB
solver pid=26359, runsolver pid=26356
[startup+0.100742 s]*
/proc/loadavg: 6.77 7.71 7.71 5/233 26375
/proc/meminfo: memFree=21907320/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15144768 memory=30148 CPUtime=0.13 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 5948 0 0 0 12 1 0 0 20 0 15 0 409076115 15508242432 7537 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3786192 7537 3154 1 0 3748377 0
[pid=26361/tid=26362] ppid=26359 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) R 26359 26359 19528 0 -1 4202560 3867 0 0 0 8 1 0 0 20 0 15 0 409076115 15508242432 7537 33554432000 4194304 4196468 140729835061600 140605297526080 140605277373790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15508242432 7537 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15144768 memory=140504905262720 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076116 15508242432 7537 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15508242432 7537 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15508242432 7537 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15144768 memory=140504905262720 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076118 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409076118 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604300387488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409076118 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604299334384 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) R 26359 26359 19528 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 409076121 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604297231088 140605293304450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) R 26359 26359 19528 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 409076121 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604296178544 140605278959456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15144768 memory=140504905262720 CPUtime=0.02 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) R 26359 26359 19528 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 409076121 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604295125488 140605271925038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15144768 memory=140504905262720 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076121 15508242432 7537 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31596 KiB
[startup+0.2172 s]*
/proc/loadavg: 6.77 7.71 7.71 4/233 26375
/proc/meminfo: memFree=21896044/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15149024 memory=40740 CPUtime=0.35 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 9378 0 0 0 32 3 0 0 20 0 15 0 409076115 15512600576 10185 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3787256 10185 3305 1 0 3748377 0
[pid=26361/tid=26362] ppid=26359 vsize=15149024 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) R 26359 26359 19528 0 -1 4202560 6697 0 0 0 19 2 0 0 20 0 15 0 409076115 15512600576 10185 33554432000 4194304 4196468 140729835061600 140605297514296 140605277373790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15149024 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 10185 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15149024 memory=3005644 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 10185 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 10185 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 10185 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409076118 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409076118 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604300387488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15149024 memory=140504905262720 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409076118 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604299334384 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15149024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) S 26359 26359 19528 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 15 0 409076121 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604297231088 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15149024 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) S 26359 26359 19528 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 15 0 409076121 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604296178544 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15149024 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) S 26359 26359 19528 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 409076121 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604295125488 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076121 15512600576 10185 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 42188 KiB
[startup+0.311491 s]*
/proc/loadavg: 6.77 7.71 7.71 4/233 26375
/proc/meminfo: memFree=21888896/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15149024 memory=50160 CPUtime=0.54 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 10806 0 0 0 50 4 0 0 20 0 15 0 409076115 15512600576 12540 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3787256 12540 3355 1 0 3748377 0
[pid=26361/tid=26362] ppid=26359 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) R 26359 26359 19528 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 15 0 409076115 15512600576 12540 33554432000 4194304 4196468 140729835061600 140605297524416 140605278475908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 12540 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15149024 memory=3002260 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 12540 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 12540 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15512600576 12540 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15149024 memory=140504905262720 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409076118 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409076118 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604300387488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409076118 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604299334384 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) R 26359 26359 19528 0 -1 4202560 601 0 0 0 5 0 0 0 20 0 15 0 409076121 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604297231088 140605270539873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) S 26359 26359 19528 0 -1 1077944384 174 0 0 0 4 0 0 0 20 0 15 0 409076121 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604296178544 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15149024 memory=140504905262720 CPUtime=0.12 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) S 26359 26359 19528 0 -1 1077944384 930 0 0 0 12 0 0 0 20 0 15 0 409076121 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604295125488 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15149024 memory=140504905262720 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076121 15512600576 12540 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51608 KiB
[startup+0.701372 s]
/proc/loadavg: 6.77 7.71 7.71 8/233 26379
/proc/meminfo: memFree=21856324/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15151148 memory=120220 CPUtime=1.69 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 15056 0 0 0 163 6 0 0 20 0 15 0 409076115 15514775552 30055 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3787787 30055 3438 1 0 3748889 0
[pid=26361/tid=26362] ppid=26359 vsize=15151148 memory=2116 CPUtime=0.67 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) R 26359 26359 19528 0 -1 4202560 9102 0 0 0 63 4 0 0 20 0 15 0 409076115 15514775552 30055 33554432000 4194304 4196468 140729835061600 140605297528832 140604901608823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15514775552 30055 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076116 15514775552 30055 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15514775552 30055 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409076116 15514775552 30055 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409076118 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409076118 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604300387488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409076118 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604299334384 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15151148 memory=7453282923444726100 CPUtime=0.35 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) R 26359 26359 19528 0 -1 4202560 1802 0 0 0 35 0 0 0 20 0 15 0 409076121 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604297216968 140605271709618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15151148 memory=5792825802846453857 CPUtime=0.33 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) R 26359 26359 19528 0 -1 4202560 1172 0 0 0 33 0 0 0 20 0 15 0 409076121 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604296164640 140605274837407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15151148 memory=8514726395715219869 CPUtime=0.3 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) R 26359 26359 19528 0 -1 4202560 1674 0 0 0 30 0 0 0 20 0 15 0 409076121 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604295125488 140605277336933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15151148 memory=7523374654865433442 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409076121 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409076121 15514775552 30055 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 121668 KiB
[startup+1.50225 s]
/proc/loadavg: 6.77 7.71 7.71 8/233 26379
/proc/meminfo: memFree=21766584/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1170 0 0 0 0 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26735] ppid=26359 vsize=15419452 memory=1052 CPUtime=21.79 cores=1,3,5,7
/proc/26361/task/26735/stat : 26735 (java) R 26359 26359 19528 0 -1 4202560 326 0 0 0 2179 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604281711480 140604904404042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26736] ppid=26359 vsize=15419452 memory=776 CPUtime=21.74 cores=1,3,5,7
/proc/26361/task/26736/stat : 26736 (java) R 26359 26359 19528 0 -1 4202560 837 0 0 0 2174 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604278554264 140604904404133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26737] ppid=26359 vsize=15419452 memory=2832 CPUtime=21.37 cores=1,3,5,7
/proc/26361/task/26737/stat : 26737 (java) R 26359 26359 19528 0 -1 4202560 251 0 0 0 2137 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604279607016 140604904404400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26738] ppid=26359 vsize=15419452 memory=1436 CPUtime=21.77 cores=1,3,5,7
/proc/26361/task/26738/stat : 26738 (java) R 26359 26359 19528 0 -1 4202560 636 0 0 0 2177 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604280660032 140604899176928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 276.37 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 385224 KiB
[startup+72.0009 s]*
/proc/loadavg: 7.94 7.88 7.77 6/237 26866
/proc/meminfo: memFree=21718476/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15419452 memory=383776 CPUtime=282.54 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 70361 0 0 0 28221 33 0 0 20 0 19 0 409076115 15789518848 95944 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3854863 95944 3525 1 0 3815965 0
[pid=26361/tid=26362] ppid=26359 vsize=15419452 memory=8317482817917895235 CPUtime=1.41 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) S 26359 26359 19528 0 -1 1077944384 11726 0 0 0 135 6 0 0 20 0 19 0 409076115 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605297534080 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15419452 memory=4872558044660077418 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 482 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15419452 memory=242900 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 226 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15419452 memory=1620 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 215 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15419452 memory=8317482817917895235 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 1193 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15419452 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 1287 0 0 0 1 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15419452 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604300387552 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15419452 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604299334400 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15419452 memory=520 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15419452 memory=1560 CPUtime=2.36 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) S 26359 26359 19528 0 -1 1077944384 14253 0 0 0 235 1 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604297231088 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15419452 memory=924 CPUtime=2.52 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) S 26359 26359 19528 0 -1 1077944384 12848 0 0 0 250 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604296178544 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15419452 memory=3688 CPUtime=0.87 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) S 26359 26359 19528 0 -1 1077944384 11116 0 0 0 85 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604295125488 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15419452 memory=383776 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15419452 memory=33 CPUtime=0.03 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1170 0 0 0 0 3 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26735] ppid=26359 vsize=15419452 memory=-6517102902069810590 CPUtime=23.31 cores=1,3,5,7
/proc/26361/task/26735/stat : 26735 (java) S 26359 26359 19528 0 -1 1077944384 371 0 0 0 2331 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604281716400 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26736] ppid=26359 vsize=15419452 memory=-4866522518848036719 CPUtime=23.27 cores=1,3,5,7
/proc/26361/task/26736/stat : 26736 (java) S 26359 26359 19528 0 -1 1077944384 931 0 0 0 2327 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604278559440 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26737] ppid=26359 vsize=15419452 memory=3002260 CPUtime=22.87 cores=1,3,5,7
/proc/26361/task/26737/stat : 26737 (java) S 26359 26359 19528 0 -1 1077944384 271 0 0 0 2287 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604279612240 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26738] ppid=26359 vsize=15419452 memory=7665805447213432932 CPUtime=23.38 cores=1,3,5,7
/proc/26361/task/26738/stat : 26738 (java) R 26359 26359 19528 0 -1 4202560 637 0 0 0 2338 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604280660032 140604899177163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 282.54 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 385224 KiB
[startup+72.4009 s]
/proc/loadavg: 7.94 7.88 7.77 6/237 26866
/proc/meminfo: memFree=21718476/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15419452 memory=383776 CPUtime=282.93 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 70361 0 0 0 28260 33 0 0 20 0 19 0 409076115 15789518848 95944 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3854863 95944 3525 1 0 3815965 0
[pid=26361/tid=26362] ppid=26359 vsize=15419452 memory=383776 CPUtime=1.41 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) S 26359 26359 19528 0 -1 1077944384 11726 0 0 0 135 6 0 0 20 0 19 0 409076115 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605297534080 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15419452 memory=2116 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 482 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15419452 memory=520 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 226 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15419452 memory=1560 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 215 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15419452 memory=924 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 1193 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15419452 memory=3688 CPUtime=0.01 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 1287 0 0 0 1 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15419452 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604300387552 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15419452 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604299334400 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15419452 memory=804 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15419452 memory=2580 CPUtime=2.36 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) S 26359 26359 19528 0 -1 1077944384 14253 0 0 0 235 1 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604297231088 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15419452 memory=1760 CPUtime=2.52 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) S 26359 26359 19528 0 -1 1077944384 12848 0 0 0 250 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604296178544 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15419452 memory=111636 CPUtime=0.87 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) S 26359 26359 19528 0 -1 1077944384 11116 0 0 0 85 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604295125488 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15419452 memory=808 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15419452 memory=1804 CPUtime=0.03 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1170 0 0 0 0 3 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26735] ppid=26359 vsize=15419452 memory=920 CPUtime=23.31 cores=1,3,5,7
/proc/26361/task/26735/stat : 26735 (java) S 26359 26359 19528 0 -1 1077944384 371 0 0 0 2331 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604281716400 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26736] ppid=26359 vsize=15419452 memory=3848 CPUtime=23.27 cores=1,3,5,7
/proc/26361/task/26736/stat : 26736 (java) S 26359 26359 19528 0 -1 1077944384 931 0 0 0 2327 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604278559440 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26737] ppid=26359 vsize=15419452 memory=2940 CPUtime=22.87 cores=1,3,5,7
/proc/26361/task/26737/stat : 26737 (java) S 26359 26359 19528 0 -1 1077944384 271 0 0 0 2287 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604279612240 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26738] ppid=26359 vsize=15419452 memory=2596 CPUtime=23.77 cores=1,3,5,7
/proc/26361/task/26738/stat : 26738 (java) R 26359 26359 19528 0 -1 4202560 637 0 0 0 2377 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604280660032 140604899176928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 282.93 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 385224 KiB
[startup+72.8009 s]
/proc/loadavg: 7.94 7.88 7.77 6/237 26866
/proc/meminfo: memFree=21718476/32770624 swapFree=66939828/67108860
[pid=26359] ppid=26356 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26359/stat : 26359 (xcsp3-exec) S 26356 26359 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409076115 115843072 362 33554432000 4194304 5098028 140733169336400 140733169334504 140330263925372 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39817216 140733169345404 140733169345645 140733169345645 140733169348554 0
/proc/26359/statm: 28282 362 304 221 0 87 0
[pid=26361] ppid=26359 vsize=15419452 memory=383776 CPUtime=283.33 cores=1,3,5,7
/proc/26361/stat : 26361 (java) S 26359 26359 19528 0 -1 1077944320 70391 0 0 0 28300 33 0 0 20 0 19 0 409076115 15789518848 95944 33554432000 4194304 4196468 140729835061600 140729835044144 140605293293303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
/proc/26361/statm: 3854863 95944 3525 1 0 3815965 0
[pid=26361/tid=26362] ppid=26359 vsize=15419452 memory=2079 CPUtime=1.41 cores=1,3,5,7
/proc/26361/task/26362/stat : 26362 (java) S 26359 26359 19528 0 -1 1077944384 11726 0 0 0 135 6 0 0 20 0 19 0 409076115 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605297534080 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26363] ppid=26359 vsize=15419452 memory=10 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26363/stat : 26363 (java) S 26359 26359 19528 0 -1 1077944384 482 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605221334032 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26364] ppid=26359 vsize=15419452 memory=383776 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26364/stat : 26364 (java) S 26359 26359 19528 0 -1 1077944384 226 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605220281488 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26365] ppid=26359 vsize=15419452 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26365/stat : 26365 (java) S 26359 26359 19528 0 -1 1077944384 215 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605219228432 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26366] ppid=26359 vsize=15419452 memory=383776 CPUtime=0.04 cores=1,3,5,7
/proc/26361/task/26366/stat : 26366 (java) S 26359 26359 19528 0 -1 1077944384 1193 0 0 0 2 2 0 0 20 0 19 0 409076116 15789518848 95944 33554432000 4194304 4196468 140729835061600 140605218175888 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26367] ppid=26359 vsize=15419452 memory=920 CPUtime=0.01 cores=1,3,5,7
/proc/26361/task/26367/stat : 26367 (java) S 26359 26359 19528 0 -1 1077944384 1287 0 0 0 1 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604301441264 140605293304450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26368] ppid=26359 vsize=15419452 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26368/stat : 26368 (java) S 26359 26359 19528 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604300387552 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26369] ppid=26359 vsize=15419452 memory=2940 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26369/stat : 26369 (java) S 26359 26359 19528 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 409076118 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604299334400 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26370] ppid=26359 vsize=15419452 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26370/stat : 26370 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604298282960 140605293311899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26371] ppid=26359 vsize=15419452 memory=4108 CPUtime=2.36 cores=1,3,5,7
/proc/26361/task/26371/stat : 26371 (java) S 26359 26359 19528 0 -1 1077944384 14253 0 0 0 235 1 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604297231088 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26372] ppid=26359 vsize=15419452 memory=1412 CPUtime=2.52 cores=1,3,5,7
/proc/26361/task/26372/stat : 26372 (java) S 26359 26359 19528 0 -1 1077944384 12848 0 0 0 250 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604296178544 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26373] ppid=26359 vsize=15419452 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/26361/task/26373/stat : 26373 (java) S 26359 26359 19528 0 -1 1077944384 11116 0 0 0 85 2 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604295125488 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26374] ppid=26359 vsize=15419452 memory=-7173504570860347296 CPUtime=0 cores=1,3,5,7
/proc/26361/task/26374/stat : 26374 (java) S 26359 26359 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604294073184 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26375] ppid=26359 vsize=15419452 memory=4206468019014099040 CPUtime=0.03 cores=1,3,5,7
/proc/26361/task/26375/stat : 26375 (java) S 26359 26359 19528 0 -1 1077944384 1172 0 0 0 0 3 0 0 20 0 19 0 409076121 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604293020208 140605293304450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26735] ppid=26359 vsize=15419452 memory=-7522837415797432224 CPUtime=23.31 cores=1,3,5,7
/proc/26361/task/26735/stat : 26735 (java) S 26359 26359 19528 0 -1 1077944384 371 0 0 0 2331 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604281716400 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26736] ppid=26359 vsize=15419452 memory=7679937539659563795 CPUtime=23.27 cores=1,3,5,7
/proc/26361/task/26736/stat : 26736 (java) S 26359 26359 19528 0 -1 1077944384 931 0 0 0 2327 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604278559440 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26737] ppid=26359 vsize=15419452 memory=-9001734013606258791 CPUtime=22.87 cores=1,3,5,7
/proc/26361/task/26737/stat : 26737 (java) S 26359 26359 19528 0 -1 1077944384 271 0 0 0 2287 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604279612240 140605293303509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
[pid=26361/tid=26738] ppid=26359 vsize=15419452 memory=-7233780906022726806 CPUtime=24.17 cores=1,3,5,7
/proc/26361/task/26738/stat : 26738 (java) R 26359 26359 19528 0 -1 4202560 696 0 0 0 2417 0 0 0 20 0 19 0 409080975 15789518848 95944 33554432000 4194304 4196468 140729835061600 140604280660032 140604899076869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36253696 140729835066351 140729835066522 140729835066522 140729835069391 0
Current children cumulated CPU time: 283.33 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 385224 KiB
Child status: 0
Real time (s): 72.8222
CPU time (s): 283.356
CPU user time (s): 283.017
CPU system time (s): 0.339459
CPU usage (%): 389.107
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 385224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.017
system time used= 0.339459
maximum resident set size= 383776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5490
involuntary context switches= 6097
# summary of solver processes directly reported to runsolver:
# pid: 26359
# total CPU time (s): 283.356
# total CPU user time (s): 283.017
# total CPU system time (s): 0.339459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.515769 second user time and 0.890602 second system time
The end