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 (13867 MiB free)
memory of node 1: 16384 MiB (14138 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271969-1502812194/watcher-4271969-1502812194 -o /tmp/evaluation-result-4271969-1502812194/solver-4271969-1502812194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 679797989 HOME/instance-4271969-1502812194.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=8900, runsolver pid=8897
[startup+0.100087 s]*
/proc/loadavg: 1.50 1.50 1.41 3/217 8916
/proc/meminfo: memFree=28659996/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13978596 memory=28916 CPUtime=0.12 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 5527 0 0 0 11 1 0 0 20 0 15 0 114307429 14314082304 7229 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3494649 7229 2899 1 0 3482966 0
[pid=8902/tid=8903] ppid=8900 vsize=13978596 memory=7827720830813705051 CPUtime=0.09 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 3533 0 0 0 8 1 0 0 20 0 15 0 114307429 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875952722592 139875558960264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13978596 memory=140059404228224 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307430 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13978596 memory=140059404228224 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307431 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114307432 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875488789792 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114307432 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875487737456 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 114307435 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13978596 memory=140059404228224 CPUtime=0.01 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) R 8900 8900 5918 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 114307435 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875483527536 139875941596209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13978596 memory=140059404228224 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307435 14314082304 7229 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30300 KiB
[startup+0.210563 s]*
/proc/loadavg: 1.50 1.50 1.41 4/217 8916
/proc/meminfo: memFree=28649128/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13982852 memory=40476 CPUtime=0.34 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 8267 0 0 0 31 3 0 0 20 0 15 0 114307429 14318440448 10119 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3495713 10119 3068 1 0 3482966 0
[pid=8902/tid=8903] ppid=8900 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 5405 0 0 0 18 2 0 0 20 0 15 0 114307429 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875952713824 139875941168501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13982852 memory=12474 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13982852 memory=140059404790786 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13982852 memory=140059404228224 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307431 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114307432 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875488789792 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114307432 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875487737456 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 630 0 0 0 3 0 0 0 20 0 15 0 114307435 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 114307435 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13982852 memory=140059404228224 CPUtime=0.08 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) R 8900 8900 5918 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 15 0 114307435 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875483527536 139875948502422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307435 14318440448 10119 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41860 KiB
[startup+0.317216 s]*
/proc/loadavg: 1.50 1.50 1.41 3/217 8916
/proc/meminfo: memFree=28640692/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13982852 memory=48712 CPUtime=0.54 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 9410 0 0 0 51 3 0 0 20 0 15 0 114307429 14318440448 12178 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3495713 12178 3130 1 0 3482966 0
[pid=8902/tid=8903] ppid=8900 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 6034 0 0 0 28 2 0 0 20 0 15 0 114307429 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875952729536 139875948512413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13982852 memory=12804 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13982852 memory=571361 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307430 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307431 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114307432 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875488789792 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114307432 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875487737456 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13982852 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 843 0 0 0 5 0 0 0 20 0 15 0 114307435 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 321 0 0 0 4 0 0 0 20 0 15 0 114307435 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) S 8900 8900 5918 0 -1 1077944384 908 0 0 0 13 0 0 0 20 0 15 0 114307435 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875483527536 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307435 14318440448 12178 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50096 KiB
[startup+0.700836 s]
/proc/loadavg: 1.50 1.50 1.41 6/217 8916
/proc/meminfo: memFree=28618156/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13984976 memory=81244 CPUtime=1.67 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 11899 0 0 0 162 5 0 0 20 0 15 0 114307429 14320615424 20311 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3496244 20311 3216 1 0 3483478 0
[pid=8902/tid=8903] ppid=8900 vsize=13984976 memory=4044 CPUtime=0.66 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 6618 0 0 0 62 4 0 0 20 0 15 0 114307429 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875952728304 139875562795198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307430 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13984976 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114307430 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114307431 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875488789792 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875487737456 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13984976 memory=932 CPUtime=0.33 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) R 8900 8900 5918 0 -1 4202560 1364 0 0 0 33 0 0 0 20 0 15 0 114307435 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875485621616 139875934554439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13984976 memory=2200 CPUtime=0.32 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) R 8900 8900 5918 0 -1 4202560 1179 0 0 0 32 0 0 0 20 0 15 0 114307435 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875484566008 139875927747001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13984976 memory=6504 CPUtime=0.32 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) S 8900 8900 5918 0 -1 1077944384 1429 0 0 0 32 0 0 0 20 0 15 0 114307435 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875483527536 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 20311 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 82628 KiB
[startup+1.50077 s]
/proc/loadavg: 1.50 1.50 1.41 5/217 8916
/proc/meminfo: memFree=28596380/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875487737472 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13984976 memory=1668192 CPUtime=3.61 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 26615 0 0 0 358 3 0 0 20 0 15 0 114307435 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13984976 memory=1384 CPUtime=4.03 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 22485 0 0 0 401 2 0 0 20 0 15 0 114307435 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13984976 memory=4140 CPUtime=0.77 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) S 8900 8900 5918 0 -1 1077944384 10521 0 0 0 75 2 0 0 20 0 15 0 114307435 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875483527536 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13984976 memory=1668192 CPUtime=1.25 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1265 0 0 0 61 64 0 0 20 0 15 0 114307435 14320615424 417048 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 2445.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1669576 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 1.91 1.89 3/217 9165
/proc/meminfo: memFree=26475624/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13984976 memory=1531736 CPUtime=2506.74 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 276750 0 0 0 250195 479 0 0 20 0 15 0 114307429 14320615424 382934 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3496244 382934 3282 1 0 3483478 0
[pid=8902/tid=8903] ppid=8900 vsize=13984976 memory=1531736 CPUtime=2423.04 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 120057 0 0 0 242242 62 0 0 20 0 15 0 114307429 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875952729904 139875563489398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13984976 memory=1609712 CPUtime=18.35 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 17779 0 0 0 1746 89 0 0 20 0 15 0 114307430 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13984976 memory=1586628 CPUtime=18.29 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 17414 0 0 0 1741 88 0 0 20 0 15 0 114307430 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13984976 memory=1586628 CPUtime=18.32 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 14431 0 0 0 1746 86 0 0 20 0 15 0 114307430 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13984976 memory=1531736 CPUtime=18.26 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 15296 0 0 0 1740 86 0 0 20 0 15 0 114307430 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13984976 memory=1531736 CPUtime=0.67 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 29028 0 0 0 61 6 0 0 20 0 15 0 114307431 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13984976 memory=1531736 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875488789856 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875487737472 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13984976 memory=2428 CPUtime=3.64 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 26747 0 0 0 361 3 0 0 20 0 15 0 114307435 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13984976 memory=4140 CPUtime=4.03 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 22490 0 0 0 401 2 0 0 20 0 15 0 114307435 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13984976 memory=32064 CPUtime=0.77 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) S 8900 8900 5918 0 -1 1077944384 10811 0 0 0 75 2 0 0 20 0 15 0 114307435 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875483527536 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13984976 memory=1531736 CPUtime=1.28 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1320 0 0 0 62 66 0 0 20 0 15 0 114307435 14320615424 382934 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 2506.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1533120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.3 s]
/proc/loadavg: 1.87 1.90 1.88 3/217 9165
/proc/meminfo: memFree=26432004/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13984976 memory=1589192 CPUtime=2520.08 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 279084 0 0 0 251521 487 0 0 20 0 15 0 114307429 14320615424 397298 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3496244 397298 3282 1 0 3483478 0
[pid=8902/tid=8903] ppid=8900 vsize=13984976 memory=1587152 CPUtime=2433.23 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 120236 0 0 0 243261 62 0 0 20 0 15 0 114307429 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875952730176 139875565049552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13984976 memory=1558364 CPUtime=19.13 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 18028 0 0 0 1822 91 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13984976 memory=1558364 CPUtime=19.07 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 18281 0 0 0 1817 90 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13984976 memory=1531736 CPUtime=19.11 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 14564 0 0 0 1824 87 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13984976 memory=1531736 CPUtime=19.04 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 15527 0 0 0 1816 88 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13984976 memory=1586628 CPUtime=0.68 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 29702 0 0 0 62 6 0 0 20 0 15 0 114307431 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13984976 memory=1586628 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875488789856 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13984976 memory=1558364 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875487737472 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13984976 memory=1587152 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13984976 memory=1589192 CPUtime=3.64 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 26747 0 0 0 361 3 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13984976 memory=1384 CPUtime=4.03 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 22490 0 0 0 401 2 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13984976 memory=55 CPUtime=0.77 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) S 8900 8900 5918 0 -1 1077944384 10811 0 0 0 75 2 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875483527536 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13984976 memory=288230604624101685 CPUtime=1.28 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1321 0 0 0 62 66 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1590576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.31 s]
# the end of solver process 8900 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000923 s, system=0.000923 s
[startup+2453.32 s]
# the end of solver process 8902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.23 s, system=4.88462 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.3 s]
/proc/loadavg: 1.87 1.90 1.88 3/217 9165
/proc/meminfo: memFree=26432004/32770624 swapFree=67108860/67108860
[pid=8900] ppid=8897 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8900/stat : 8900 (xcsp3-exec) S 8897 8900 5918 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114307429 9740288 346 33554432000 4194304 5098028 140727419975888 140727419973992 140118553338492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37208064 140727419982959 140727419983163 140727419983163 140727419985899 0
/proc/8900/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8900 vsize=13984976 memory=1589192 CPUtime=2520.08 cores=1,3,5,7
/proc/8902/stat : 8902 (java) S 8900 8900 5918 0 -1 1077944320 279084 0 0 0 251521 487 0 0 20 0 15 0 114307429 14320615424 397298 33554432000 4194304 4196468 140729393712240 140729393694784 139875948490487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
/proc/8902/statm: 3496244 397298 3282 1 0 3483478 0
[pid=8902/tid=8903] ppid=8900 vsize=13984976 memory=1587152 CPUtime=2433.23 cores=1,3,5,7
/proc/8902/task/8903/stat : 8903 (java) R 8900 8900 5918 0 -1 4202560 120236 0 0 0 243261 62 0 0 20 0 15 0 114307429 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875952730176 139875565049552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8904] ppid=8900 vsize=13984976 memory=1558364 CPUtime=19.13 cores=1,3,5,7
/proc/8902/task/8904/stat : 8904 (java) S 8900 8900 5918 0 -1 1077944384 18028 0 0 0 1822 91 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875543857552 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8905] ppid=8900 vsize=13984976 memory=1558364 CPUtime=19.07 cores=1,3,5,7
/proc/8902/task/8905/stat : 8905 (java) S 8900 8900 5918 0 -1 1077944384 18281 0 0 0 1817 90 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875542804752 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8906] ppid=8900 vsize=13984976 memory=1531736 CPUtime=19.11 cores=1,3,5,7
/proc/8902/task/8906/stat : 8906 (java) S 8900 8900 5918 0 -1 1077944384 14564 0 0 0 1824 87 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875541752464 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8907] ppid=8900 vsize=13984976 memory=1531736 CPUtime=19.04 cores=1,3,5,7
/proc/8902/task/8907/stat : 8907 (java) S 8900 8900 5918 0 -1 1077944384 15527 0 0 0 1816 88 0 0 20 0 15 0 114307430 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875540699664 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8908] ppid=8900 vsize=13984976 memory=1586628 CPUtime=0.68 cores=1,3,5,7
/proc/8902/task/8908/stat : 8908 (java) S 8900 8900 5918 0 -1 1077944384 29702 0 0 0 62 6 0 0 20 0 15 0 114307431 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875489843824 139875948501634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8909] ppid=8900 vsize=13984976 memory=1586628 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8909/stat : 8909 (java) S 8900 8900 5918 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875488789856 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8910] ppid=8900 vsize=13984976 memory=1558364 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8910/stat : 8910 (java) S 8900 8900 5918 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 114307432 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875487737472 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8911] ppid=8900 vsize=13984976 memory=1587152 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8911/stat : 8911 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875486685776 139875948509083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8912] ppid=8900 vsize=13984976 memory=1589192 CPUtime=3.64 cores=1,3,5,7
/proc/8902/task/8912/stat : 8912 (java) S 8900 8900 5918 0 -1 1077944384 26747 0 0 0 361 3 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875485632624 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8913] ppid=8900 vsize=13984976 memory=1384 CPUtime=4.03 cores=1,3,5,7
/proc/8902/task/8913/stat : 8913 (java) S 8900 8900 5918 0 -1 1077944384 22490 0 0 0 401 2 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875484579824 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8914] ppid=8900 vsize=13984976 memory=55 CPUtime=0.77 cores=1,3,5,7
/proc/8902/task/8914/stat : 8914 (java) S 8900 8900 5918 0 -1 1077944384 10811 0 0 0 75 2 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875483527536 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8915] ppid=8900 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8902/task/8915/stat : 8915 (java) S 8900 8900 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875482474976 139875948500693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
[pid=8902/tid=8916] ppid=8900 vsize=13984976 memory=288230604624101685 CPUtime=1.28 cores=1,3,5,7
/proc/8902/task/8916/stat : 8916 (java) S 8900 8900 5918 0 -1 1077944384 1321 0 0 0 62 66 0 0 20 0 15 0 114307435 14320615424 397298 33554432000 4194304 4196468 140729393712240 139875481422768 139875948501634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 18976768 140729393714327 140729393714503 140729393714503 140729393717199 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1590576 KiB
Child status: 143
Real time (s): 2453.32
CPU time (s): 2520.11
CPU user time (s): 2515.23
CPU system time (s): 4.88462
CPU usage (%): 102.723
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 4343924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.23
system time used= 4.88462
maximum resident set size= 4342556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58839
involuntary context switches= 1918
# summary of solver processes directly reported to runsolver:
# pid: 8900,8902
# total CPU time (s): 2520.11
# total CPU user time (s): 2515.23
# total CPU system time (s): 4.88462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5277 second user time and 23.8047 second system time
The end