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 (5944 MiB free)
memory of node 1: 16384 MiB (10953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292219-1532286265/watcher-4292219-1532286265 -o /tmp/evaluation-result-4292219-1532286265/solver-4292219-1532286265 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532271936-4847 --watchdog 2560 HOME/xcsp3-exec -seed 1540627070 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292219-1532286265.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6441, runsolver pid=6438
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 2.04 1.99 1.96 4/219 6457
/proc/meminfo: memFree=17286200/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14082840 memory=28724 CPUtime=0.12 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 5605 0 0 0 11 1 0 0 20 0 15 0 46189723 14420828160 7181 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3520710 7181 2970 1 0 3483008 0
[pid=6443/tid=6444] ppid=6441 vsize=14082840 memory=7973242294261486427 CPUtime=0.09 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 3621 0 0 0 9 0 0 0 20 0 15 0 46189723 14420828160 7181 33554432000 4194304 4196468 140728579488080 140185713760048 140185709538710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14420828160 7181 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14082840 memory=140541631075968 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14420828160 7181 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14420828160 7181 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189724 14420828160 7181 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14082840 memory=140541631075968 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189725 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46189726 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184620893088 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46189726 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184619840496 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 46189728 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 46189728 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14082840 memory=140541631075968 CPUtime=0.01 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) R 6441 6441 3395 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 46189728 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184615631600 140185688194924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14082840 memory=140541631075968 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189729 14420828160 7181 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30176 KiB
[startup+0.21077 s]*
/proc/loadavg: 2.12 2.01 1.96 5/219 6457
/proc/meminfo: memFree=17274772/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14082840 memory=40896 CPUtime=0.34 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 8290 0 0 0 32 2 0 0 20 0 15 0 46189723 14420828160 10224 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3520718 10224 3187 1 0 3483016 0
[pid=6443/tid=6444] ppid=6441 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 5461 0 0 0 19 1 0 0 20 0 15 0 46189723 14425186304 10282 33554432000 4194304 4196468 140728579488080 140185713747768 140185693607262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14087096 memory=10655 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 10282 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14087096 memory=140541631343345 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 10282 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 10282 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 10282 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14087096 memory=140541631075968 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46189725 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46189726 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184620893088 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46189726 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184619840496 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 46189728 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 46189728 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14087096 memory=140541631075968 CPUtime=0.07 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) S 6441 6441 3395 0 -1 1077944384 770 0 0 0 7 0 0 0 20 0 15 0 46189728 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184615631600 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189729 14425186304 10282 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42348 KiB
[startup+0.31373 s]*
/proc/loadavg: 2.12 2.01 1.96 4/219 6457
/proc/meminfo: memFree=17268072/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14087096 memory=48248 CPUtime=0.53 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 9208 0 0 0 50 3 0 0 20 0 15 0 46189723 14425186304 12062 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3521774 12062 3259 1 0 3483008 0
[pid=6443/tid=6444] ppid=6441 vsize=14087096 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 6182 0 0 0 28 2 0 0 20 0 15 0 46189723 14425186304 12062 33554432000 4194304 4196468 140728579488080 140185713761904 140185709538710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 12062 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 12062 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 12062 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189724 14425186304 12062 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46189725 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46189726 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184620893088 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46189726 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184619840496 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14087096 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14087096 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 487 0 0 0 5 0 0 0 20 0 15 0 46189728 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 15 0 46189728 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) R 6441 6441 3395 0 -1 4202560 834 0 0 0 12 0 0 0 20 0 15 0 46189728 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184615631600 140185709548122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189729 14425186304 12062 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49700 KiB
[startup+0.701799 s]
/proc/loadavg: 2.12 2.01 1.96 6/219 6457
/proc/meminfo: memFree=17245376/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14089220 memory=115988 CPUtime=1.71 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 12328 0 0 0 166 5 0 0 20 0 15 0 46189723 14427361280 28997 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3522305 28997 3333 1 0 3483520 0
[pid=6443/tid=6444] ppid=6441 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 6614 0 0 0 64 3 0 0 20 0 15 0 46189723 14427361280 28997 33554432000 4194304 4196468 140728579488080 140185713759728 140185333535060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14427361280 28997 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14427361280 28997 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14089220 memory=15412 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46189724 14427361280 28997 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46189724 14427361280 28997 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14089220 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46189725 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14089220 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184620893088 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14089220 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184619840496 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14089220 memory=1952 CPUtime=0.37 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) R 6441 6441 3395 0 -1 4202560 1619 0 0 0 37 0 0 0 20 0 15 0 46189728 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184617722568 140185691071018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14089220 memory=1232 CPUtime=0.35 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) R 6441 6441 3395 0 -1 4202560 1258 0 0 0 35 0 0 0 20 0 15 0 46189728 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184616669920 140185693815776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14089220 memory=8372 CPUtime=0.28 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) S 6441 6441 3395 0 -1 1077944384 1526 0 0 0 28 0 0 0 20 0 15 0 46189728 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184615631600 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14089220 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14089220 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 46189729 14427361280 28997 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 117440 KiB
[startup+1.50196 s]
/proc/loadavg: 2.12 2.01 1.96 4/219 6457
/proc/meminfo: memFree=17159552/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14089220 memory=157896 CPUtime=1520 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 65390 0 0 0 151955 45 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3522305 39474 3407 1 0 3483520 0
[pid=6443/tid=6444] ppid=6441 vsize=14089220 memory=1296 CPUtime=1513.15 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 16559 0 0 0 151309 6 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185713766208 140185341535979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14089220 memory=2400 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 2707 0 0 0 17 4 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14089220 memory=1836 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1922 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14089220 memory=12976 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 3382 0 0 0 16 5 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14089220 memory=8112282956445269571 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 3061 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.16 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 3402 0 0 0 13 3 0 0 20 0 15 0 46189725 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14089220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184620893152 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14089220 memory=157896 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184619840512 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14089220 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14089220 memory=157896 CPUtime=2.44 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 13612 0 0 0 242 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14089220 memory=1200 CPUtime=2.3 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 10457 0 0 0 228 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14089220 memory=15876 CPUtime=0.74 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) S 6441 6441 3395 0 -1 1077944384 8313 0 0 0 72 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184615631600 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14089220 memory=3292 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14089220 memory=1452 CPUtime=0.31 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 618 0 0 0 10 21 0 0 20 0 15 0 46189729 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 1520 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159348 KiB
[startup+1514 s]*
/proc/loadavg: 1.65 1.68 1.79 3/217 6655
/proc/meminfo: memFree=19820932/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14089220 memory=157896 CPUtime=1520.41 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 65390 0 0 0 151996 45 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3522305 39474 3407 1 0 3483520 0
[pid=6443/tid=6444] ppid=6441 vsize=14089220 memory=-6733704525061579059 CPUtime=1513.56 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 16559 0 0 0 151350 6 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185713766208 140185340918756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14089220 memory=4126316290023845779 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 2707 0 0 0 17 4 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14089220 memory=1404 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1922 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14089220 memory=3272 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 3382 0 0 0 16 5 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14089220 memory=1456 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 3061 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14089220 memory=199440 CPUtime=0.16 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 3402 0 0 0 13 3 0 0 20 0 15 0 46189725 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14089220 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184620893152 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184619840512 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14089220 memory=15448 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14089220 memory=1296 CPUtime=2.44 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 13612 0 0 0 242 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14089220 memory=2400 CPUtime=2.3 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 10457 0 0 0 228 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14089220 memory=1012 CPUtime=0.74 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) S 6441 6441 3395 0 -1 1077944384 8313 0 0 0 72 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184615631600 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14089220 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14089220 memory=1200 CPUtime=0.31 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 618 0 0 0 10 21 0 0 20 0 15 0 46189729 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 1520.41 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159348 KiB
[startup+1514.4 s]
/proc/loadavg: 1.65 1.68 1.79 3/217 6655
/proc/meminfo: memFree=19820932/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14089220 memory=157896 CPUtime=1520.8 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 65390 0 0 0 152035 45 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3522305 39474 3407 1 0 3483520 0
[pid=6443/tid=6444] ppid=6441 vsize=14089220 memory=8112282956445269571 CPUtime=1513.95 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 16559 0 0 0 151389 6 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185713766208 140185340918115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 2707 0 0 0 17 4 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14089220 memory=3272 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1922 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14089220 memory=157888 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 3382 0 0 0 16 5 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14089220 memory=1796 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 3061 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14089220 memory=640 CPUtime=0.16 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 3402 0 0 0 13 3 0 0 20 0 15 0 46189725 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14089220 memory=157896 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184620893152 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14089220 memory=157896 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184619840512 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14089220 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14089220 memory=2244 CPUtime=2.44 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 13612 0 0 0 242 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14089220 memory=8112282956445269571 CPUtime=2.3 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 10457 0 0 0 228 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14089220 memory=6944652177228980320 CPUtime=0.74 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) S 6441 6441 3395 0 -1 1077944384 8313 0 0 0 72 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184615631600 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14089220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14089220 memory=6944656592455360604 CPUtime=0.31 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 618 0 0 0 10 21 0 0 20 0 15 0 46189729 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 1520.8 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159348 KiB
[startup+1514.5 s]
/proc/loadavg: 1.65 1.68 1.79 3/217 6655
/proc/meminfo: memFree=19820932/32770624 swapFree=67108860/67108860
[pid=6441] ppid=6438 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6441/stat : 6441 (xcsp3-exec) S 6438 6441 3395 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 46189723 115843072 363 33554432000 4194304 5098028 140721171030928 140721171029032 140207726469756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14692352 140721171035194 140721171035396 140721171035396 140721171038154 0
/proc/6441/statm: 28282 363 305 221 0 87 0
[pid=6443] ppid=6441 vsize=14089220 memory=157896 CPUtime=1520.9 cores=1,3,5,7
/proc/6443/stat : 6443 (java) S 6441 6441 3395 0 -1 1077944320 65390 0 0 0 152045 45 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140728579470624 140185709526775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
/proc/6443/statm: 3522305 39474 3407 1 0 3483520 0
[pid=6443/tid=6444] ppid=6441 vsize=14089220 memory=1452 CPUtime=1514.05 cores=1,3,5,7
/proc/6443/task/6444/stat : 6444 (java) R 6441 6441 3395 0 -1 4202560 16559 0 0 0 151399 6 0 0 20 0 15 0 46189723 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185713766208 140185340918458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6445] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6445/stat : 6445 (java) S 6441 6441 3395 0 -1 1077944384 2707 0 0 0 17 4 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185662147344 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6446] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6446/stat : 6446 (java) S 6441 6441 3395 0 -1 1077944384 1922 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185661094800 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6447] ppid=6441 vsize=14089220 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/6443/task/6447/stat : 6447 (java) S 6441 6441 3395 0 -1 1077944384 3382 0 0 0 16 5 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185660042256 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6448] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.2 cores=1,3,5,7
/proc/6443/task/6448/stat : 6448 (java) S 6441 6441 3395 0 -1 1077944384 3061 0 0 0 17 3 0 0 20 0 15 0 46189724 14427361280 39474 33554432000 4194304 4196468 140728579488080 140185658989712 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6449] ppid=6441 vsize=14089220 memory=1452 CPUtime=0.16 cores=1,3,5,7
/proc/6443/task/6449/stat : 6449 (java) S 6441 6441 3395 0 -1 1077944384 3402 0 0 0 13 3 0 0 20 0 15 0 46189725 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184621946864 140185709537922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6450] ppid=6441 vsize=14089220 memory=157896 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6450/stat : 6450 (java) S 6441 6441 3395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184620893152 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6451] ppid=6441 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6451/stat : 6451 (java) S 6441 6441 3395 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46189726 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184619840512 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6452] ppid=6441 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6452/stat : 6452 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184618789072 140185709545371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6453] ppid=6441 vsize=14089220 memory=157896 CPUtime=2.44 cores=1,3,5,7
/proc/6443/task/6453/stat : 6453 (java) S 6441 6441 3395 0 -1 1077944384 13612 0 0 0 242 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184617736688 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6454] ppid=6441 vsize=14089220 memory=1452 CPUtime=2.3 cores=1,3,5,7
/proc/6443/task/6454/stat : 6454 (java) S 6441 6441 3395 0 -1 1077944384 10457 0 0 0 228 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184616684144 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6455] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.74 cores=1,3,5,7
/proc/6443/task/6455/stat : 6455 (java) S 6441 6441 3395 0 -1 1077944384 8313 0 0 0 72 2 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184615631600 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6456] ppid=6441 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6443/task/6456/stat : 6456 (java) S 6441 6441 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46189728 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184614579296 140185709536981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
[pid=6443/tid=6457] ppid=6441 vsize=14089220 memory=157896 CPUtime=0.31 cores=1,3,5,7
/proc/6443/task/6457/stat : 6457 (java) S 6441 6441 3395 0 -1 1077944384 618 0 0 0 10 21 0 0 20 0 15 0 46189729 14427361280 39474 33554432000 4194304 4196468 140728579488080 140184613525808 140185709537922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28299264 140728579490945 140728579491121 140728579491121 140728579493839 0
Current children cumulated CPU time: 1520.9 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159348 KiB
Child status: 0
Real time (s): 1514.52
CPU time (s): 1520.94
CPU user time (s): 1520.48
CPU system time (s): 0.46111
CPU usage (%): 100.424
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 245288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1520.48
system time used= 0.46111
maximum resident set size= 245348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38889
involuntary context switches= 767
# summary of solver processes directly reported to runsolver:
# pid: 6441
# total CPU time (s): 1520.94
# total CPU user time (s): 1520.48
# total CPU system time (s): 0.46111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41591 second user time and 13.7685 second system time
The end