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 (10703 MiB free)
memory of node 1: 16384 MiB (12585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301303-1532878551/watcher-4301303-1532878551 -o /tmp/evaluation-result-4301303-1532878551/solver-4301303-1532878551 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6427 --watchdog 312 HOME/xcsp3-exec -seed 539258211 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301303-1532878551.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6635, runsolver pid=6632
[startup+0.100061 s]*
/proc/loadavg: 2.02 1.63 1.51 7/217 6651
/proc/meminfo: memFree=23827332/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14082940 memory=27748 CPUtime=0.12 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 5343 0 0 0 11 1 0 0 20 0 15 0 105418242 14420930560 6937 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3520735 6937 3005 1 0 3483012 0
[pid=6637/tid=6638] ppid=6635 vsize=14082940 memory=7828844531697292123 CPUtime=0.09 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 3319 0 0 0 8 1 0 0 20 0 15 0 105418242 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059790116656 140059785899414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14082940 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14082940 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418244 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 105418247 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 105418247 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14082940 memory=140449791714944 CPUtime=0.01 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) R 6635 6635 6396 0 -1 4202560 295 0 0 0 1 0 0 0 20 0 15 0 105418247 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059253737456 140059765602276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14082940 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418247 14420930560 6937 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29200 KiB
[startup+0.210533 s]*
/proc/loadavg: 2.02 1.63 1.51 5/217 6651
/proc/meminfo: memFree=23809564/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14082940 memory=40148 CPUtime=0.34 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 8091 0 0 0 32 2 0 0 20 0 15 0 105418242 14420930560 10037 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3520735 10037 3210 1 0 3483012 0
[pid=6637/tid=6638] ppid=6635 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 5035 0 0 0 18 1 0 0 20 0 15 0 105418242 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059790125088 140059767525407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14082940 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14082940 memory=140449792173817 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14082940 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105418244 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 105418247 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 105418247 14420930560 10037 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14082972 memory=140449791714944 CPUtime=0.08 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 848 0 0 0 8 0 0 0 20 0 15 0 105418247 14420963328 10037 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14082972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14420963328 10037 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14082972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418247 14420963328 10080 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41600 KiB
[startup+0.310543 s]*
/proc/loadavg: 2.02 1.63 1.51 7/217 6651
/proc/meminfo: memFree=23799268/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14087196 memory=47136 CPUtime=0.53 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 9063 0 0 0 50 3 0 0 20 0 15 0 105418242 14425288704 11784 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3521799 11784 3262 1 0 3483012 0
[pid=6637/tid=6638] ppid=6635 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 5754 0 0 0 27 2 0 0 20 0 15 0 105418242 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059790124840 140059785909405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105418244 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14087196 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 105418247 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 592 0 0 0 5 0 0 0 20 0 15 0 105418247 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 986 0 0 0 12 0 0 0 20 0 15 0 105418247 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418247 14425288704 11849 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48588 KiB
[startup+0.700875 s]
/proc/loadavg: 2.02 1.63 1.51 5/217 6651
/proc/meminfo: memFree=23779428/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14089320 memory=75984 CPUtime=1.39 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 12187 0 0 0 134 5 0 0 20 0 15 0 105418242 14427463680 18996 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3522330 18996 3355 1 0 3483524 0
[pid=6637/tid=6638] ppid=6635 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 6656 0 0 0 64 3 0 0 20 0 15 0 105418242 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059790125136 140059769967966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14089320 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14089320 memory=30028 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14089320 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14089320 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105418244 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14089320 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14089320 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14089320 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14089320 memory=5408 CPUtime=0.17 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 1231 0 0 0 17 0 0 0 20 0 15 0 105418247 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14089320 memory=1008 CPUtime=0.2 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 1071 0 0 0 20 0 0 0 20 0 15 0 105418247 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14089320 memory=9992 CPUtime=0.31 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 1922 0 0 0 31 0 0 0 20 0 15 0 105418247 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418247 14427463680 18996 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 77436 KiB
[startup+1.50084 s]
/proc/loadavg: 2.02 1.63 1.51 7/217 6651
/proc/meminfo: memFree=23749776/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14091368 memory=157716 CPUtime=22.94 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 35969 0 0 0 2282 12 0 0 20 0 15 0 105418242 14429560832 39429 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3522842 39429 3383 1 0 3484036 0
[pid=6637/tid=6638] ppid=6635 vsize=14091368 memory=1292 CPUtime=17.56 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 10422 0 0 0 1752 4 0 0 20 0 15 0 105418242 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059790126792 140059427911197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14091368 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14091368 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14091368 memory=280899317290240 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 105418244 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14091368 memory=0 CPUtime=2.32 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 9990 0 0 0 228 4 0 0 20 0 15 0 105418247 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14091368 memory=232 CPUtime=2.42 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 8443 0 0 0 241 1 0 0 20 0 15 0 105418247 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14091368 memory=155668 CPUtime=0.6 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 4455 0 0 0 59 1 0 0 20 0 15 0 105418247 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14091368 memory=151548 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14091368 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39429 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 22.94 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 159168 KiB
[startup+18.0008 s]*
/proc/loadavg: 2.02 1.65 1.51 3/217 6651
/proc/meminfo: memFree=23630396/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14091368 memory=157744 CPUtime=23.38 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 37476 0 0 0 2326 12 0 0 20 0 15 0 105418242 14429560832 39436 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3522842 39436 3383 1 0 3484036 0
[pid=6637/tid=6638] ppid=6635 vsize=14091368 memory=8112282956445269571 CPUtime=17.97 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 10447 0 0 0 1793 4 0 0 20 0 15 0 105418242 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059790126792 140059427660103 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14091368 memory=735272056725535336 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14091368 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14091368 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14091368 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 105418244 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14091368 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14091368 memory=0 CPUtime=2.35 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 11465 0 0 0 231 4 0 0 20 0 15 0 105418247 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14091368 memory=-1 CPUtime=2.42 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 8446 0 0 0 241 1 0 0 20 0 15 0 105418247 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14091368 memory=140449791714944 CPUtime=0.6 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 4459 0 0 0 59 1 0 0 20 0 15 0 105418247 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14091368 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14091368 memory=140449791714944 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39436 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 23.38 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 159196 KiB
[startup+18.4006 s]
/proc/loadavg: 2.02 1.65 1.51 3/217 6651
/proc/meminfo: memFree=23630396/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14091368 memory=159792 CPUtime=23.77 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 37478 0 0 0 2365 12 0 0 20 0 15 0 105418242 14429560832 39948 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3522842 39948 3383 1 0 3484036 0
[pid=6637/tid=6638] ppid=6635 vsize=14091368 memory=1452 CPUtime=18.36 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 10449 0 0 0 1832 4 0 0 20 0 15 0 105418242 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059790124840 140059426874794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14091368 memory=157716 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14091368 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14091368 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14091368 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 105418244 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14091368 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14091368 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14091368 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14091368 memory=1952 CPUtime=2.35 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 11465 0 0 0 231 4 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14091368 memory=1200 CPUtime=2.42 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 8446 0 0 0 241 1 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14091368 memory=10624 CPUtime=0.6 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 4459 0 0 0 59 1 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14091368 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14091368 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 23.77 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 161244 KiB
[startup+18.5007 s]
/proc/loadavg: 2.02 1.65 1.51 3/217 6651
/proc/meminfo: memFree=23630396/32770624 swapFree=67108860/67108860
[pid=6635] ppid=6632 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6635/stat : 6635 (xcsp3-exec) S 6632 6635 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105418241 115843072 363 33554432000 4194304 5098028 140731882205936 140731882204040 139685142291068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14159872 140731882210369 140731882210569 140731882210569 140731882213322 0
/proc/6635/statm: 28282 363 305 221 0 87 0
[pid=6637] ppid=6635 vsize=14091368 memory=159792 CPUtime=23.87 cores=0,2,4,6
/proc/6637/stat : 6637 (java) S 6635 6635 6396 0 -1 1077944320 37478 0 0 0 2375 12 0 0 20 0 15 0 105418242 14429560832 39948 33554432000 4194304 4196468 140734216370464 140734216353008 140059785887479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
/proc/6637/statm: 3522842 39948 3383 1 0 3484036 0
[pid=6637/tid=6638] ppid=6635 vsize=14091368 memory=0 CPUtime=18.46 cores=0,2,4,6
/proc/6637/task/6638/stat : 6638 (java) R 6635 6635 6396 0 -1 4202560 10449 0 0 0 1842 4 0 0 20 0 15 0 105418242 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059790124840 140059427353982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6639] ppid=6635 vsize=14091368 memory=157744 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6639/stat : 6639 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059757730320 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6640] ppid=6635 vsize=14091368 memory=7444844274797930343 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6640/stat : 6640 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059380390544 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6641] ppid=6635 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6641/stat : 6641 (java) S 6635 6635 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059379337488 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6642] ppid=6635 vsize=14091368 memory=147452 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6642/stat : 6642 (java) S 6635 6635 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105418243 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059378284944 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6643] ppid=6635 vsize=14091368 memory=158836 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6643/stat : 6643 (java) S 6635 6635 6396 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 105418244 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059260054256 140059785898626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6644] ppid=6635 vsize=14091368 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6644/stat : 6644 (java) S 6635 6635 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059259000480 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6645] ppid=6635 vsize=14091368 memory=2632 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6645/stat : 6645 (java) S 6635 6635 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105418245 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059257947376 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6646] ppid=6635 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6646/stat : 6646 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059256895952 140059785906075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6647] ppid=6635 vsize=14091368 memory=162940 CPUtime=2.35 cores=0,2,4,6
/proc/6637/task/6647/stat : 6647 (java) S 6635 6635 6396 0 -1 1077944384 11465 0 0 0 231 4 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059255843056 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6648] ppid=6635 vsize=14091368 memory=1404 CPUtime=2.42 cores=0,2,4,6
/proc/6637/task/6648/stat : 6648 (java) S 6635 6635 6396 0 -1 1077944384 8446 0 0 0 241 1 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059254790512 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6649] ppid=6635 vsize=14091368 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/6637/task/6649/stat : 6649 (java) S 6635 6635 6396 0 -1 1077944384 4459 0 0 0 59 1 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059253737456 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6650] ppid=6635 vsize=14091368 memory=155668 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6650/stat : 6650 (java) S 6635 6635 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059252685152 140059785897685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
[pid=6637/tid=6651] ppid=6635 vsize=14091368 memory=145400 CPUtime=0 cores=0,2,4,6
/proc/6637/task/6651/stat : 6651 (java) S 6635 6635 6396 0 -1 1077944384 997 0 0 0 0 0 0 0 20 0 15 0 105418247 14429560832 39948 33554432000 4194304 4196468 140734216370464 140059251633200 140059785898626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13160448 140734216377484 140734216377654 140734216377654 140734216380367 0
Current children cumulated CPU time: 23.87 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 161244 KiB
Child status: 0
Real time (s): 18.5386
CPU time (s): 23.9224
CPU user time (s): 23.7839
CPU system time (s): 0.138469
CPU usage (%): 129.041
Max. virtual memory (cumulated for all children) (KiB): 14206352
Max. memory (cumulated for all children) (KiB): 161244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7839
system time used= 0.138469
maximum resident set size= 160080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3241
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 6635
# total CPU time (s): 23.9224
# total CPU user time (s): 23.7839
# total CPU system time (s): 0.138469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.16234 second user time and 0.185953 second system time
The end