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 (3622 MiB free)
memory of node 1: 16384 MiB (14307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393285-1568317588/watcher-4393285-1568317588 -o /tmp/evaluation-result-4393285-1568317588/solver-4393285-1568317588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 7182329 HOME/instance-4393285-1568317588.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20486, runsolver pid=20483
Current StackSize limit: 8192 KiB
[startup+0.102271 s]*
/proc/loadavg: 7.38 7.86 8.06 6/229 20502
/proc/meminfo: memFree=18343204/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15144768 memory=29160 CPUtime=0.14 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 5736 0 0 0 12 2 0 0 20 0 15 0 408013462 15508242432 7290 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3786192 7290 3147 1 0 3748377 0
[pid=20488/tid=20489] ppid=20486 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) R 20486 20486 14062 0 -1 4202560 3628 0 0 0 8 1 0 0 20 0 15 0 408013462 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304984890144 140304964703589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15144768 memory=140212471383680 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15144768 memory=140212471383680 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013464 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013465 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304515429408 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013465 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304514376560 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) R 20486 20486 14062 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304512273360 140304959885646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) R 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304511220464 140304980671106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15144768 memory=140212471383680 CPUtime=0.02 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 408013468 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15144768 memory=140212471383680 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 7290 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30612 KiB
[startup+0.210971 s]*
/proc/loadavg: 7.38 7.86 8.06 8/229 20502
/proc/meminfo: memFree=18330360/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15144768 memory=41032 CPUtime=0.34 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 9480 0 0 0 30 4 0 0 20 0 15 0 408013462 15508242432 10258 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3786192 10258 3307 1 0 3748377 0
[pid=20488/tid=20489] ppid=20486 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) R 20486 20486 14062 0 -1 4202560 6631 0 0 0 17 3 0 0 20 0 15 0 408013462 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304984893136 140304980681306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15144768 memory=2855500 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013463 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408013464 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013465 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304515429408 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15144768 memory=140212471383680 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013465 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304514376560 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) S 20486 20486 14062 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 408013468 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304512273264 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) S 20486 20486 14062 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 408013468 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304511220464 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 710 0 0 0 8 0 0 0 20 0 15 0 408013468 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013468 15508242432 10258 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42484 KiB
[startup+0.314319 s]*
/proc/loadavg: 7.38 7.86 8.06 7/229 20502
/proc/meminfo: memFree=18323664/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15149024 memory=50256 CPUtime=0.53 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 10932 0 0 0 49 4 0 0 20 0 15 0 408013462 15512600576 12564 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3787256 12564 3362 1 0 3748377 0
[pid=20488/tid=20489] ppid=20486 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) R 20486 20486 14062 0 -1 4202560 7876 0 0 0 27 3 0 0 20 0 15 0 408013462 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304984895504 140304964970473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15149024 memory=2855722 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013463 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15149024 memory=140212471383680 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408013464 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013465 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304515429408 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013465 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304514376560 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) S 20486 20486 14062 0 -1 1077944384 660 0 0 0 6 0 0 0 20 0 15 0 408013468 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304512273264 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) S 20486 20486 14062 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 408013468 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304511220464 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15149024 memory=140212471383680 CPUtime=0.12 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 812 0 0 0 12 0 0 0 20 0 15 0 408013468 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15149024 memory=140212471383680 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013468 15512600576 12564 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51708 KiB
[startup+0.701349 s]
/proc/loadavg: 7.38 7.86 8.06 9/229 20502
/proc/meminfo: memFree=18302264/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15151148 memory=87492 CPUtime=1.75 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 14699 0 0 0 169 6 0 0 20 0 15 0 408013462 15514775552 21873 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3787787 21873 3443 1 0 3748889 0
[pid=20488/tid=20489] ppid=20486 vsize=15151148 memory=12024 CPUtime=0.68 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) R 20486 20486 14062 0 -1 4202560 8719 0 0 0 64 4 0 0 20 0 15 0 408013462 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304984897800 140304590228680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013463 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408013463 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408013464 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408013465 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304515429408 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408013465 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304514376560 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15151148 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15151148 memory=7302135314614015840 CPUtime=0.34 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) R 20486 20486 14062 0 -1 4202560 1514 0 0 0 34 0 0 0 20 0 15 0 408013468 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304512257776 140304963863972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15151148 memory=6152570576325995117 CPUtime=0.31 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) R 20486 20486 14062 0 -1 4202560 1178 0 0 0 31 0 0 0 20 0 15 0 408013468 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304511212112 140304966811645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15151148 memory=7223887401239728208 CPUtime=0.41 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 1981 0 0 0 40 1 0 0 20 0 15 0 408013468 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408013468 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408013468 15514775552 21873 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 88944 KiB
[startup+1.50083 s]
/proc/loadavg: 7.38 7.86 8.06 13/229 20502
/proc/meminfo: memFree=18177096/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271612 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21107] ppid=20486 vsize=15685708 memory=206 CPUtime=1.15 cores=1,3,5,7
/proc/20488/task/21107/stat : 21107 (java) R 20486 20486 14062 0 -1 4202560 18 0 0 0 115 0 0 0 20 0 19 0 408013932 16062164992 271612 33554432000 4194304 4196468 140726808608624 140304427403968 140304596485806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21108] ppid=20486 vsize=15685708 memory=88 CPUtime=0.99 cores=1,3,5,7
/proc/20488/task/21108/stat : 21108 (java) R 20486 20486 14062 0 -1 4202560 38 0 0 0 99 0 0 0 20 0 19 0 408013932 16062164992 271612 33554432000 4194304 4196468 140726808608624 140304424249784 140304595727763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21109] ppid=20486 vsize=15685708 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/20488/task/21109/stat : 21109 (java) R 20486 20486 14062 0 -1 4202560 22 0 0 0 118 0 0 0 20 0 19 0 408013932 16062164992 271612 33554432000 4194304 4196468 140726808608624 140304422144432 140304592782120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21110] ppid=20486 vsize=15685708 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/20488/task/21110/stat : 21110 (java) R 20486 20486 14062 0 -1 4202560 24 0 0 0 135 0 0 0 20 0 19 0 408013932 16062164992 271612 33554432000 4194304 4196468 140726808608624 140304426353560 140304961502117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 20.44 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 1087900 KiB
[startup+6.80233 s]
/proc/loadavg: 7.43 7.86 8.06 13/232 21110
/proc/meminfo: memFree=17294676/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15685708 memory=1087264 CPUtime=21.99 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 44674 0 0 0 2121 78 0 0 20 0 19 0 408013462 16062164992 271816 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3921427 271816 3549 1 0 3882529 0
[pid=20488/tid=20489] ppid=20486 vsize=15685708 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) S 20486 20486 14062 0 -1 1077944384 9587 0 0 0 215 8 0 0 20 0 19 0 408013462 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304984900736 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15685708 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 323 0 0 0 57 13 0 0 20 0 19 0 408013463 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15685708 memory=6944656592455359580 CPUtime=0.67 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 790 0 0 0 55 12 0 0 20 0 19 0 408013463 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15685708 memory=6656426216303648864 CPUtime=0.62 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 354 0 0 0 49 13 0 0 20 0 19 0 408013463 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15685708 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 447 0 0 0 55 13 0 0 20 0 19 0 408013463 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15685708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 1377 0 0 0 8 0 0 0 20 0 19 0 408013464 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15685708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408013465 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304515429472 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15685708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408013465 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304514376576 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15685708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15685708 memory=0 CPUtime=4.2 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) R 20486 20486 14062 0 -1 4202560 8207 0 0 0 419 1 0 0 20 0 19 0 408013468 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304512273184 140304965540221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15685708 memory=0 CPUtime=3.41 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) R 20486 20486 14062 0 -1 4202560 6947 0 0 0 339 2 0 0 20 0 19 0 408013468 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304511200496 140304964047181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15685708 memory=0 CPUtime=1 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 4008 0 0 0 98 2 0 0 20 0 19 0 408013468 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15685708 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15685708 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21107] ppid=20486 vsize=15685708 memory=916 CPUtime=1.41 cores=1,3,5,7
/proc/20488/task/21107/stat : 21107 (java) R 20486 20486 14062 0 -1 4202560 274 0 0 0 141 0 0 0 20 0 19 0 408013932 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304427404584 140304593696645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21108] ppid=20486 vsize=15685708 memory=1128 CPUtime=1.24 cores=1,3,5,7
/proc/20488/task/21108/stat : 21108 (java) R 20486 20486 14062 0 -1 4202560 210 0 0 0 124 0 0 0 20 0 19 0 408013932 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304424248184 140304593696645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21109] ppid=20486 vsize=15685708 memory=772 CPUtime=1.56 cores=1,3,5,7
/proc/20488/task/21109/stat : 21109 (java) R 20486 20486 14062 0 -1 4202560 377 0 0 0 156 0 0 0 20 0 19 0 408013932 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304422141592 140304593696611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21110] ppid=20486 vsize=15685708 memory=4008 CPUtime=1.53 cores=1,3,5,7
/proc/20488/task/21110/stat : 21110 (java) R 20486 20486 14062 0 -1 4202560 114 0 0 0 153 0 0 0 20 0 19 0 408013932 16062164992 271816 33554432000 4194304 4196468 140726808608624 140304426352168 140304596058955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 21.99 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 1088716 KiB
[startup+7.20093 s]
/proc/loadavg: 7.72 7.92 8.07 12/232 21110
/proc/meminfo: memFree=17283536/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15685708 memory=1087344 CPUtime=23.33 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 46013 0 0 0 2255 78 0 0 20 0 19 0 408013462 16062164992 271836 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3921427 271836 3549 1 0 3882529 0
[pid=20488/tid=20489] ppid=20486 vsize=15685708 memory=1086844 CPUtime=2.23 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) S 20486 20486 14062 0 -1 1077944384 9587 0 0 0 215 8 0 0 20 0 19 0 408013462 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304984900736 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15685708 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 323 0 0 0 57 13 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15685708 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 790 0 0 0 55 12 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15685708 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 354 0 0 0 49 13 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15685708 memory=140212471382769 CPUtime=0.68 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 447 0 0 0 55 13 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15685708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 1377 0 0 0 8 0 0 0 20 0 19 0 408013464 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15685708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408013465 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304515429472 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15685708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408013465 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304514376576 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15685708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15685708 memory=0 CPUtime=4.33 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) S 20486 20486 14062 0 -1 1077944384 8581 0 0 0 432 1 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304512273264 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15685708 memory=4956998493510226538 CPUtime=3.69 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) S 20486 20486 14062 0 -1 1077944384 7750 0 0 0 367 2 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304511220464 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15685708 memory=8546823402028195750 CPUtime=1.01 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 4042 0 0 0 99 2 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15685708 memory=-3284643825843719562 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15685708 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21107] ppid=20486 vsize=15685708 memory=6944656592387989600 CPUtime=1.56 cores=1,3,5,7
/proc/20488/task/21107/stat : 21107 (java) S 20486 20486 14062 0 -1 1077944384 301 0 0 0 156 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304427409472 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21108] ppid=20486 vsize=15685708 memory=-6873162000112450758 CPUtime=1.51 cores=1,3,5,7
/proc/20488/task/21108/stat : 21108 (java) S 20486 20486 14062 0 -1 1077944384 253 0 0 0 151 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304424252880 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21109] ppid=20486 vsize=15685708 memory=-6948047529741492128 CPUtime=1.72 cores=1,3,5,7
/proc/20488/task/21109/stat : 21109 (java) S 20486 20486 14062 0 -1 1077944384 406 0 0 0 172 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304422147408 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21110] ppid=20486 vsize=15685708 memory=-7812193691855986592 CPUtime=1.87 cores=1,3,5,7
/proc/20488/task/21110/stat : 21110 (java) R 20486 20486 14062 0 -1 4202560 136 0 0 0 187 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304426352168 140304596059746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 23.33 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 1088796 KiB
[startup+7.30089 s]
/proc/loadavg: 7.72 7.92 8.07 12/232 21110
/proc/meminfo: memFree=17283536/32770624 swapFree=66996244/67108860
[pid=20486] ppid=20483 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20486/stat : 20486 (xcsp3-exec) S 20483 20486 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408013462 115843072 363 33554432000 4194304 5098028 140729956255360 140729956253464 140709219054204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12603392 140729956258685 140729956258925 140729956258925 140729956261834 0
/proc/20486/statm: 28282 363 304 221 0 87 0
[pid=20488] ppid=20486 vsize=15685708 memory=1087344 CPUtime=23.43 cores=1,3,5,7
/proc/20488/stat : 20488 (java) S 20486 20486 14062 0 -1 1077944320 46020 0 0 0 2265 78 0 0 20 0 19 0 408013462 16062164992 271836 33554432000 4194304 4196468 140726808608624 140726808591168 140304980659959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
/proc/20488/statm: 3921427 271836 3549 1 0 3882529 0
[pid=20488/tid=20489] ppid=20486 vsize=15685708 memory=3624 CPUtime=2.23 cores=1,3,5,7
/proc/20488/task/20489/stat : 20489 (java) S 20486 20486 14062 0 -1 1077944384 9587 0 0 0 215 8 0 0 20 0 19 0 408013462 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304984900736 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20490] ppid=20486 vsize=15685708 memory=22980 CPUtime=0.7 cores=1,3,5,7
/proc/20488/task/20490/stat : 20490 (java) S 20486 20486 14062 0 -1 1077944384 323 0 0 0 57 13 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304908700816 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20491] ppid=20486 vsize=15685708 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/20488/task/20491/stat : 20491 (java) S 20486 20486 14062 0 -1 1077944384 790 0 0 0 55 12 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304907648016 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20492] ppid=20486 vsize=15685708 memory=1072020 CPUtime=0.62 cores=1,3,5,7
/proc/20488/task/20492/stat : 20492 (java) S 20486 20486 14062 0 -1 1077944384 354 0 0 0 49 13 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304906595216 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20493] ppid=20486 vsize=15685708 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20488/task/20493/stat : 20493 (java) S 20486 20486 14062 0 -1 1077944384 447 0 0 0 55 13 0 0 20 0 19 0 408013463 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304569461520 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20494] ppid=20486 vsize=15685708 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20488/task/20494/stat : 20494 (java) S 20486 20486 14062 0 -1 1077944384 1377 0 0 0 8 0 0 0 20 0 19 0 408013464 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304516483440 140304980671106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20495] ppid=20486 vsize=15685708 memory=57 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20495/stat : 20495 (java) S 20486 20486 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408013465 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304515429472 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20496] ppid=20486 vsize=15685708 memory=5859271425380406608 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20496/stat : 20496 (java) S 20486 20486 14062 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408013465 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304514376576 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20497] ppid=20486 vsize=15685708 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20497/stat : 20497 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304513324880 140304980678555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20498] ppid=20486 vsize=15685708 memory=22980 CPUtime=4.33 cores=1,3,5,7
/proc/20488/task/20498/stat : 20498 (java) S 20486 20486 14062 0 -1 1077944384 8581 0 0 0 432 1 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304512273264 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20499] ppid=20486 vsize=15685708 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/20488/task/20499/stat : 20499 (java) S 20486 20486 14062 0 -1 1077944384 7750 0 0 0 367 2 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304511220464 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20500] ppid=20486 vsize=15685708 memory=4580 CPUtime=1.01 cores=1,3,5,7
/proc/20488/task/20500/stat : 20500 (java) S 20486 20486 14062 0 -1 1077944384 4042 0 0 0 99 2 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304510167664 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20501] ppid=20486 vsize=15685708 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20501/stat : 20501 (java) S 20486 20486 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304509115104 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=20502] ppid=20486 vsize=15685708 memory=8764164798296135838 CPUtime=0 cores=1,3,5,7
/proc/20488/task/20502/stat : 20502 (java) S 20486 20486 14062 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 408013468 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304508062384 140304980671106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21107] ppid=20486 vsize=15685708 memory=6933690305039933585 CPUtime=1.56 cores=1,3,5,7
/proc/20488/task/21107/stat : 21107 (java) S 20486 20486 14062 0 -1 1077944384 301 0 0 0 156 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304427409472 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21108] ppid=20486 vsize=15685708 memory=280424723529024 CPUtime=1.51 cores=1,3,5,7
/proc/20488/task/21108/stat : 21108 (java) S 20486 20486 14062 0 -1 1077944384 253 0 0 0 151 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304424252880 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21109] ppid=20486 vsize=15685708 memory=4713742226031938934 CPUtime=1.72 cores=1,3,5,7
/proc/20488/task/21109/stat : 21109 (java) S 20486 20486 14062 0 -1 1077944384 406 0 0 0 172 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304422147408 140304980670165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
[pid=20488/tid=21110] ppid=20486 vsize=15685708 memory=5571041044932679781 CPUtime=1.97 cores=1,3,5,7
/proc/20488/task/21110/stat : 21110 (java) R 20486 20486 14062 0 -1 4202560 143 0 0 0 197 0 0 0 20 0 19 0 408013932 16062164992 271836 33554432000 4194304 4196468 140726808608624 140304426352168 140304596059007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24317952 140726808613871 140726808614042 140726808614042 140726808616911 0
Current children cumulated CPU time: 23.43 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 1088796 KiB
Child status: 0
Real time (s): 7.35421
CPU time (s): 23.4964
CPU user time (s): 22.6999
CPU system time (s): 0.796561
CPU usage (%): 319.497
Max. virtual memory (cumulated for all children) (KiB): 15798836
Max. memory (cumulated for all children) (KiB): 1088796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6999
system time used= 0.796561
maximum resident set size= 1092132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6745
involuntary context switches= 616
# summary of solver processes directly reported to runsolver:
# pid: 20486
# total CPU time (s): 23.4964
# total CPU user time (s): 22.6999
# total CPU system time (s): 0.796561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072949 second user time and 0.13222 second system time
The end