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 (1147 MiB free)
memory of node 1: 16384 MiB (11451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392962-1568317592/watcher-4392962-1568317592 -o /tmp/evaluation-result-4392962-1568317592/solver-4392962-1568317592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1898278521 HOME/instance-4392962-1568317592.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20993, runsolver pid=20990
[startup+0.100058 s]*
/proc/loadavg: 7.86 8.01 7.78 8/232 21009
/proc/meminfo: memFree=12884660/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15144768 memory=28660 CPUtime=0.13 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 5674 0 0 0 11 2 0 0 20 0 15 0 408016499 15508242432 7165 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3786192 7165 3120 1 0 3748377 0
[pid=20995/tid=20996] ppid=20993 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) R 20993 20993 15592 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 408016499 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262717359248 140262697178469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15144768 memory=4123246125770880672 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016501 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016502 15508242432 7165 33554432000 4194304 4196468 140737181239664 140262180664224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016502 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262179611632 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) R 20993 20993 15592 0 -1 4202560 334 0 0 0 0 0 0 0 20 0 15 0 408016504 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262177499472 140262693548144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) R 20993 20993 15592 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408016504 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262176455280 140262713145986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15144768 memory=139965318051456 CPUtime=0.02 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) R 20993 20993 15592 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 408016504 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262175402736 140262697215326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016505 15508242432 7231 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30112 KiB
[startup+0.210988 s]*
/proc/loadavg: 7.86 8.01 7.78 6/232 21009
/proc/meminfo: memFree=12871892/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15144768 memory=40640 CPUtime=0.34 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 9334 0 0 0 31 3 0 0 20 0 15 0 408016499 15508242432 10160 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3786192 10160 3319 1 0 3748377 0
[pid=20995/tid=20996] ppid=20993 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) R 20993 20993 15592 0 -1 4202560 6585 0 0 0 17 2 0 0 20 0 15 0 408016499 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262717373024 140262713146774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15144768 memory=139965320899491 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016500 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15144768 memory=139965318051456 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408016501 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016502 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262180664224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016502 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262179611632 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) S 20993 20993 15592 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 408016504 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262177507824 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) S 20993 20993 15592 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 408016504 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262176455280 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15144768 memory=139965318051456 CPUtime=0.08 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) R 20993 20993 15592 0 -1 4202560 806 0 0 0 8 0 0 0 20 0 15 0 408016504 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262175402544 140262705371966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016505 15508242432 10160 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42092 KiB
[startup+0.313422 s]*
/proc/loadavg: 7.86 8.01 7.78 8/232 21009
/proc/meminfo: memFree=12864512/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15149024 memory=49904 CPUtime=0.53 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 10824 0 0 0 49 4 0 0 20 0 15 0 408016499 15512600576 12476 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3787256 12476 3362 1 0 3748377 0
[pid=20995/tid=20996] ppid=20993 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) R 20993 20993 15592 0 -1 4202560 7748 0 0 0 27 3 0 0 20 0 15 0 408016499 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262717363184 140262697215326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016500 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408016501 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016502 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262180664224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016502 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262179611632 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) R 20993 20993 15592 0 -1 4202560 547 0 0 0 5 0 0 0 20 0 15 0 408016504 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262177488840 140262694679390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) S 20993 20993 15592 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 408016504 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262176455280 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) S 20993 20993 15592 0 -1 1077944384 965 0 0 0 12 0 0 0 20 0 15 0 408016504 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262175402736 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016505 15512600576 12476 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51356 KiB
[startup+0.700829 s]
/proc/loadavg: 7.86 8.01 7.78 8/232 21009
/proc/meminfo: memFree=12843472/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15151148 memory=113008 CPUtime=1.72 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 14257 0 0 0 166 6 0 0 20 0 15 0 408016499 15514775552 28252 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3787787 28252 3445 1 0 3748889 0
[pid=20995/tid=20996] ppid=20993 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) R 20993 20993 15592 0 -1 4202560 8296 0 0 0 63 4 0 0 20 0 15 0 408016499 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262717369824 140262310672711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15151148 memory=704 CPUtime=0 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016500 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408016500 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408016501 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408016502 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262180664224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15151148 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408016502 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262179611632 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15151148 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15151148 memory=5952 CPUtime=0.36 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) R 20993 20993 15592 0 -1 4202560 1490 0 0 0 36 0 0 0 20 0 15 0 408016504 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262177488840 140262692377635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15151148 memory=7552 CPUtime=0.36 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) R 20993 20993 15592 0 -1 4202560 1476 0 0 0 36 0 0 0 20 0 15 0 408016504 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262176439472 140262690682662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15151148 memory=2832 CPUtime=0.29 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) S 20993 20993 15592 0 -1 1077944384 1688 0 0 0 29 0 0 0 20 0 15 0 408016504 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262175402736 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15151148 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408016504 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408016505 15514775552 28252 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 114460 KiB
[startup+1.50084 s]
/proc/loadavg: 7.87 8.01 7.79 11/232 21009
/proc/meminfo: memFree=12748092/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20995/task/21007/stat : 21007 (java) S 20993 20993 15592 0 -1 1077944384 8568 0 0 0 68 3 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262175402736 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15417404 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 316 0 0 0 4 4 0 0 20 0 19 0 408016505 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21010] ppid=20993 vsize=15417404 memory=1756 CPUtime=93.51 cores=1,3,5,7
/proc/20995/task/21010/stat : 21010 (java) S 20993 20993 15592 0 -1 1077944384 674 0 0 0 9350 1 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262164090224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21011] ppid=20993 vsize=15417404 memory=1440 CPUtime=95.24 cores=1,3,5,7
/proc/20995/task/21011/stat : 21011 (java) S 20993 20993 15592 0 -1 1077944384 949 0 0 0 9524 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262163039184 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21012] ppid=20993 vsize=15417404 memory=912 CPUtime=106.53 cores=1,3,5,7
/proc/20995/task/21012/stat : 21012 (java) R 20993 20993 15592 0 -1 4202560 1559 0 0 0 10653 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262161981344 140262315619758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21013] ppid=20993 vsize=15417404 memory=6791534058613427641 CPUtime=92.65 cores=1,3,5,7
/proc/20995/task/21013/stat : 21013 (java) S 20993 20993 15592 0 -1 1077944384 893 0 0 0 9265 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262160934096 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 398.03 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 660484 KiB
[startup+110.801 s]
/proc/loadavg: 7.81 8.00 7.81 7/236 21102
/proc/meminfo: memFree=23832624/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15417404 memory=659032 CPUtime=398.43 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 43036 0 0 0 39811 32 0 0 20 0 19 0 408016499 15787421696 164758 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3854351 164758 3503 1 0 3815453 0
[pid=20995/tid=20996] ppid=20993 vsize=15417404 memory=2664 CPUtime=3.48 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) S 20993 20993 15592 0 -1 1077944384 10894 0 0 0 338 10 0 0 20 0 19 0 408016499 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262717375616 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15417404 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 574 0 0 0 8 3 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15417404 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 209 0 0 0 7 2 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15417404 memory=704 CPUtime=0.12 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 204 0 0 0 9 3 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15417404 memory=1056 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 179 0 0 0 7 2 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15417404 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 785 0 0 0 1 0 0 0 20 0 19 0 408016501 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408016502 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262180664288 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 408016502 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262179611648 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15417404 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15417404 memory=916 CPUtime=2.64 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) S 20993 20993 15592 0 -1 1077944384 6699 0 0 0 263 1 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262177507824 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15417404 memory=3848 CPUtime=2.66 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) S 20993 20993 15592 0 -1 1077944384 9168 0 0 0 265 1 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262176455280 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15417404 memory=3176 CPUtime=0.71 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) S 20993 20993 15592 0 -1 1077944384 8568 0 0 0 68 3 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262175402736 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15417404 memory=2664 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15417404 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 316 0 0 0 4 4 0 0 20 0 19 0 408016505 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21010] ppid=20993 vsize=15417404 memory=1412 CPUtime=93.51 cores=1,3,5,7
/proc/20995/task/21010/stat : 21010 (java) S 20993 20993 15592 0 -1 1077944384 674 0 0 0 9350 1 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262164090224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21011] ppid=20993 vsize=15417404 memory=139965200477792 CPUtime=95.24 cores=1,3,5,7
/proc/20995/task/21011/stat : 21011 (java) S 20993 20993 15592 0 -1 1077944384 949 0 0 0 9524 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262163039184 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21012] ppid=20993 vsize=15417404 memory=-6654736624938269017 CPUtime=106.93 cores=1,3,5,7
/proc/20995/task/21012/stat : 21012 (java) R 20993 20993 15592 0 -1 4202560 1559 0 0 0 10693 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262161981344 140262315409417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21013] ppid=20993 vsize=15417404 memory=5787213912980149840 CPUtime=92.65 cores=1,3,5,7
/proc/20995/task/21013/stat : 21013 (java) S 20993 20993 15592 0 -1 1077944384 893 0 0 0 9265 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262160934096 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 398.43 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 660484 KiB
[startup+111.001 s]*
/proc/loadavg: 7.75 7.98 7.80 7/236 21102
/proc/meminfo: memFree=23832624/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15417404 memory=659032 CPUtime=398.64 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 43036 0 0 0 39832 32 0 0 20 0 19 0 408016499 15787421696 164758 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3854351 164758 3503 1 0 3815453 0
[pid=20995/tid=20996] ppid=20993 vsize=15417404 memory=8317482817917895235 CPUtime=3.48 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) S 20993 20993 15592 0 -1 1077944384 10894 0 0 0 338 10 0 0 20 0 19 0 408016499 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262717375616 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15417404 memory=38128 CPUtime=0.11 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 574 0 0 0 8 3 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15417404 memory=988 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 209 0 0 0 7 2 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15417404 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 204 0 0 0 9 3 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15417404 memory=1428 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 179 0 0 0 7 2 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15417404 memory=1724 CPUtime=0.01 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 785 0 0 0 1 0 0 0 20 0 19 0 408016501 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408016502 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262180664288 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15417404 memory=659032 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 408016502 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262179611648 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15417404 memory=14697383221004840 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15417404 memory=1899365 CPUtime=2.64 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) S 20993 20993 15592 0 -1 1077944384 6699 0 0 0 263 1 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262177507824 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15417404 memory=7595129819032611433 CPUtime=2.66 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) S 20993 20993 15592 0 -1 1077944384 9168 0 0 0 265 1 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262176455280 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15417404 memory=7595129819032611433 CPUtime=0.71 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) S 20993 20993 15592 0 -1 1077944384 8568 0 0 0 68 3 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262175402736 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15417404 memory=7595129819032611433 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15417404 memory=7307485473686317674 CPUtime=0.08 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 316 0 0 0 4 4 0 0 20 0 19 0 408016505 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21010] ppid=20993 vsize=15417404 memory=7307485473686317674 CPUtime=93.51 cores=1,3,5,7
/proc/20995/task/21010/stat : 21010 (java) S 20993 20993 15592 0 -1 1077944384 674 0 0 0 9350 1 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262164090224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21011] ppid=20993 vsize=15417404 memory=8026937803341588074 CPUtime=95.24 cores=1,3,5,7
/proc/20995/task/21011/stat : 21011 (java) S 20993 20993 15592 0 -1 1077944384 949 0 0 0 9524 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262163039184 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21012] ppid=20993 vsize=15417404 memory=-2127763401593990185 CPUtime=107.14 cores=1,3,5,7
/proc/20995/task/21012/stat : 21012 (java) R 20993 20993 15592 0 -1 4202560 1559 0 0 0 10714 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262161981344 140262315409560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21013] ppid=20993 vsize=15417404 memory=1899365 CPUtime=92.65 cores=1,3,5,7
/proc/20995/task/21013/stat : 21013 (java) S 20993 20993 15592 0 -1 1077944384 893 0 0 0 9265 0 0 0 20 0 19 0 408016866 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262160934096 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 398.64 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 660484 KiB
[startup+111.111 s]
/proc/loadavg: 7.75 7.98 7.80 7/236 21102
/proc/meminfo: memFree=23832624/32770624 swapFree=66977612/67108860
[pid=20993] ppid=20990 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20993/stat : 20993 (xcsp3-exec) S 20990 20993 15592 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408016499 115843072 363 33554432000 4194304 5098028 140733361141232 140733361139336 140655124050556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24875008 140733361144698 140733361144941 140733361144941 140733361147850 0
/proc/20993/statm: 28282 363 304 221 0 87 0
[pid=20995] ppid=20993 vsize=15417404 memory=659032 CPUtime=398.74 cores=1,3,5,7
/proc/20995/stat : 20995 (java) S 20993 20993 15592 0 -1 1077944320 43041 0 0 0 39842 32 0 0 20 0 19 0 408016499 15787421696 164758 33554432000 4194304 4196468 140737181239664 140737181222208 140262713134839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
/proc/20995/statm: 3854351 164758 3503 1 0 3815453 0
[pid=20995/tid=20996] ppid=20993 vsize=15417404 memory=659032 CPUtime=3.48 cores=1,3,5,7
/proc/20995/task/20996/stat : 20996 (java) R 20993 20993 15592 0 -1 4202560 10917 0 0 0 338 10 0 0 20 0 19 0 408016499 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262717375616 140262696528433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20997] ppid=20993 vsize=15417404 memory=659032 CPUtime=0.11 cores=1,3,5,7
/proc/20995/task/20997/stat : 20997 (java) S 20993 20993 15592 0 -1 1077944384 574 0 0 0 8 3 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262641175312 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20998] ppid=20993 vsize=15417404 memory=279930399700560 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/20998/stat : 20998 (java) S 20993 20993 15592 0 -1 1077944384 209 0 0 0 7 2 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262640122768 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=20999] ppid=20993 vsize=15417404 memory=14012 CPUtime=0.12 cores=1,3,5,7
/proc/20995/task/20999/stat : 20999 (java) S 20993 20993 15592 0 -1 1077944384 204 0 0 0 9 3 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262639070224 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21000] ppid=20993 vsize=15417404 memory=14048 CPUtime=0.09 cores=1,3,5,7
/proc/20995/task/21000/stat : 21000 (java) S 20993 20993 15592 0 -1 1077944384 179 0 0 0 7 2 0 0 20 0 19 0 408016500 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262638017680 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21001] ppid=20993 vsize=15417404 memory=704 CPUtime=0.01 cores=1,3,5,7
/proc/20995/task/21001/stat : 21001 (java) S 20993 20993 15592 0 -1 1077944384 785 0 0 0 1 0 0 0 20 0 19 0 408016501 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262181718000 140262713145986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21002] ppid=20993 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21002/stat : 21002 (java) S 20993 20993 15592 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408016502 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262180664288 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21003] ppid=20993 vsize=15417404 memory=659032 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21003/stat : 21003 (java) S 20993 20993 15592 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 408016502 15787421696 164758 33554432000 4194304 4196468 140737181239664 140262179611648 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21004] ppid=20993 vsize=15417404 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21004/stat : 21004 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164766 33554432000 4194304 4196468 140737181239664 140262178560208 140262713153435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21005] ppid=20993 vsize=15417404 memory=1452 CPUtime=2.64 cores=1,3,5,7
/proc/20995/task/21005/stat : 21005 (java) S 20993 20993 15592 0 -1 1077944384 6699 0 0 0 263 1 0 0 20 0 19 0 408016504 15787421696 164766 33554432000 4194304 4196468 140737181239664 140262177507824 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21006] ppid=20993 vsize=15417404 memory=658692 CPUtime=2.66 cores=1,3,5,7
/proc/20995/task/21006/stat : 21006 (java) S 20993 20993 15592 0 -1 1077944384 9168 0 0 0 265 1 0 0 20 0 19 0 408016504 15787421696 164766 33554432000 4194304 4196468 140737181239664 140262176455280 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21007] ppid=20993 vsize=15417404 memory=659032 CPUtime=0.71 cores=1,3,5,7
/proc/20995/task/21007/stat : 21007 (java) S 20993 20993 15592 0 -1 1077944384 8568 0 0 0 68 3 0 0 20 0 19 0 408016504 15787421696 164766 33554432000 4194304 4196468 140737181239664 140262175402736 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21008] ppid=20993 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20995/task/21008/stat : 21008 (java) S 20993 20993 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408016504 15787421696 164766 33554432000 4194304 4196468 140737181239664 140262174350432 140262713145045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21009] ppid=20993 vsize=15417404 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/20995/task/21009/stat : 21009 (java) S 20993 20993 15592 0 -1 1077944384 316 0 0 0 4 4 0 0 20 0 19 0 408016505 15787421696 164748 33554432000 4194304 4196468 140737181239664 140262173296944 140262713145986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21010] ppid=20993 vsize=15417404 memory=26500 CPUtime=93.51 cores=1,3,5,7
/proc/20995/task/21010/stat : 21010 (java) R 20993 20993 15592 0 -1 4202560 680 0 0 0 9350 1 0 0 20 0 19 0 408016866 15787421696 164732 33554432000 4194304 4196468 140737181239664 140262164093368 140262713149130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
[pid=20995/tid=21011] ppid=20993 vsize=15417404 memory=988 CPUtime=95.24 cores=1,3,5,7
/proc/20995/task/21011/stat : 21011 (java) R 20993 20993 15592 0 -1 4202560 949 0 0 0 9524 0 0 0 20 0 19 0 408016866 15787421696 164749 33554432000 4194304 4196468 140737181239664 140262163040520 140262705852135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26558464 140737181246447 140737181246618 140737181246618 140737181249487 0
Current children cumulated CPU time: 398.74 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 660484 KiB
Child status: 0
Real time (s): 111.121
CPU time (s): 398.757
CPU user time (s): 398.427
CPU system time (s): 0.329576
CPU usage (%): 358.85
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 664784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 398.427
system time used= 0.329576
maximum resident set size= 663332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44130
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= 4638
involuntary context switches= 4424
# summary of solver processes directly reported to runsolver:
# pid: 20993
# total CPU time (s): 398.757
# total CPU user time (s): 398.427
# total CPU system time (s): 0.329576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.811928 second user time and 1.42366 second system time
The end