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 (9698 MiB free)
memory of node 1: 16384 MiB (7134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292611-1532531523/watcher-4292611-1532531523 -o /tmp/evaluation-result-4292611-1532531523/solver-4292611-1532531523 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27753 --watchdog 2560 HOME/xcsp3-exec -seed 104755864 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292611-1532531523.xml
running on 4 cores: 0,2,4,6
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=28949, runsolver pid=28946
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 1.97 1.97 1.95 3/219 28965
/proc/meminfo: memFree=17219988/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14082840 memory=28148 CPUtime=0.12 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 5473 0 0 0 11 1 0 0 20 0 15 0 70715527 14420828160 7037 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3520710 7037 2978 1 0 3483008 0
[pid=28951/tid=28952] ppid=28949 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 15 0 70715527 14420828160 7102 33554432000 4194304 4196468 140721186488512 140092373317664 140092369100182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14082840 memory=3472468360548844752 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14420828160 7102 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14082840 memory=140231653693056 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14420828160 7102 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715530 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 70715533 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 70715533 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14082840 memory=140231653693056 CPUtime=0.01 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) R 28949 28949 27722 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 70715533 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091904153840 140092353168734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14082840 memory=140231653693056 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715533 14420828160 7102 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29600 KiB
[startup+0.21076 s]*
/proc/loadavg: 1.97 1.97 1.95 5/219 28965
/proc/meminfo: memFree=17208560/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14082840 memory=40528 CPUtime=0.33 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 8185 0 0 0 31 2 0 0 20 0 15 0 70715527 14420828160 10132 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3520710 10132 3172 1 0 3483008 0
[pid=28951/tid=28952] ppid=28949 vsize=14082840 memory=5852833021473685665 CPUtime=0.19 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 5400 0 0 0 18 1 0 0 20 0 15 0 70715527 14420828160 10132 33554432000 4194304 4196468 140721186488512 140092373312416 140092361805210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14082872 memory=3472468360548844752 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14420860928 10132 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14082872 memory=140231653693056 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14420860928 10132 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14082840 memory=140231653693056 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70715530 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 501 0 0 0 2 0 0 0 20 0 15 0 70715533 14420828160 10186 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14084956 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 70715533 14422994944 10186 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14084956 memory=140231653693056 CPUtime=0.07 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) S 28949 28949 27722 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 15 0 70715533 14422994944 10186 33554432000 4194304 4196468 140721186488512 140091904153840 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14084956 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14422994944 10186 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14084956 memory=140231653693056 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715533 14422994944 10186 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41980 KiB
[startup+0.310716 s]*
/proc/loadavg: 1.97 1.97 1.95 3/219 28965
/proc/meminfo: memFree=17202108/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14087096 memory=47556 CPUtime=0.51 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 9042 0 0 0 48 3 0 0 20 0 15 0 70715527 14425186304 11889 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3521774 11889 3206 1 0 3483008 0
[pid=28951/tid=28952] ppid=28949 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 6119 0 0 0 27 2 0 0 20 0 15 0 70715527 14425186304 11889 33554432000 4194304 4196468 140721186488512 140092373319360 140092369110173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14087096 memory=3472468360548844752 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14425186304 11889 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14087096 memory=140231653693056 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14425186304 11889 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14087096 memory=5 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14087096 memory=140231554770975 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14087096 memory=280463109502720 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70715530 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14087096 memory=140231554747919 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14087096 memory=280463208450144 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14087096 memory=140231554752527 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 517 0 0 0 4 0 0 0 20 0 15 0 70715533 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14087096 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 231 0 0 0 3 0 0 0 20 0 15 0 70715533 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) S 28949 28949 27722 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 70715533 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091904153840 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14087096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715533 14425186304 11889 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49008 KiB
[startup+0.700749 s]
/proc/loadavg: 1.97 1.97 1.95 4/219 28965
/proc/meminfo: memFree=17185260/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14089220 memory=76944 CPUtime=1.5 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 11922 0 0 0 145 5 0 0 20 0 15 0 70715527 14427361280 19236 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3522305 19236 3340 1 0 3483520 0
[pid=28951/tid=28952] ppid=28949 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 6869 0 0 0 64 3 0 0 20 0 15 0 70715527 14427361280 19236 33554432000 4194304 4196468 140721186488512 140092373324960 140092353224324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 19236 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 19236 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14089220 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14089220 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14089220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14089220 memory=21372 CPUtime=0.26 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 1197 0 0 0 26 0 0 0 20 0 15 0 70715533 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14089220 memory=1296 CPUtime=0.22 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 822 0 0 0 22 0 0 0 20 0 15 0 70715533 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14089220 memory=2412 CPUtime=0.32 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) R 28949 28949 27722 0 -1 4202560 1728 0 0 0 32 0 0 0 20 0 15 0 70715533 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091904153840 140092369100182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 19236 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 78396 KiB
[startup+1.50091 s]
/proc/loadavg: 1.97 1.97 1.95 4/219 28965
/proc/meminfo: memFree=17168880/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14089220 memory=160132 CPUtime=12 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 22446 0 0 0 1192 8 0 0 20 0 15 0 70715527 14427361280 40033 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3522305 40033 3357 1 0 3483520 0
[pid=28951/tid=28952] ppid=28949 vsize=14089220 memory=6791534058613427641 CPUtime=9.57 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 8746 0 0 0 952 5 0 0 20 0 15 0 70715527 14427361280 40033 33554432000 4194304 4196468 140721186488512 140092373327256 140091989420736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14089220 memory=133424 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 40033 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 40033 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14089220 memory=158084 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14089220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14089220 memory=280463110080336 CPUtime=1.03 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 4510 0 0 0 102 1 0 0 20 0 15 0 70715533 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14089220 memory=6944656592455097440 CPUtime=0.93 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 4047 0 0 0 93 0 0 0 20 0 15 0 70715533 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14089220 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) S 28949 28949 27722 0 -1 1077944384 3145 0 0 0 43 1 0 0 20 0 15 0 70715533 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091904153840 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 40033 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 12 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 161584 KiB
[startup+10.0008 s]*
/proc/loadavg: 2.05 1.99 1.96 3/219 28965
/proc/meminfo: memFree=17085964/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14089220 memory=164236 CPUtime=12.41 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 22545 0 0 0 1233 8 0 0 20 0 15 0 70715527 14427361280 41059 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3522305 41059 3357 1 0 3483520 0
[pid=28951/tid=28952] ppid=28949 vsize=14089220 memory=5853394863392653473 CPUtime=9.98 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 8751 0 0 0 993 5 0 0 20 0 15 0 70715527 14427361280 41059 33554432000 4194304 4196468 140721186488512 140092373327256 140091988902891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14089220 memory=3472468360548844752 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41059 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14089220 memory=4122962701030247092 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41059 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14089220 memory=6296406565455291498 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14089220 memory=7523946388277979246 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14089220 memory=2321378147248910367 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14089220 memory=7588960373286397760 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14089220 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 4510 0 0 0 102 1 0 0 20 0 15 0 70715533 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14089220 memory=3760822555304343087 CPUtime=0.93 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 4047 0 0 0 93 0 0 0 20 0 15 0 70715533 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14089220 memory=3760962808298916789 CPUtime=0.44 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) S 28949 28949 27722 0 -1 1077944384 3239 0 0 0 43 1 0 0 20 0 15 0 70715533 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091904153840 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14089220 memory=3833468409521256239 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14089220 memory=3905665148552989877 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41059 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 165688 KiB
[startup+10.2008 s]
/proc/loadavg: 2.05 1.99 1.96 3/219 28965
/proc/meminfo: memFree=17085964/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14089220 memory=166296 CPUtime=12.61 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 22715 0 0 0 1253 8 0 0 20 0 15 0 70715527 14427361280 41574 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3522305 41574 3357 1 0 3483520 0
[pid=28951/tid=28952] ppid=28949 vsize=14089220 memory=4066652226917261600 CPUtime=10.17 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 8769 0 0 0 1012 5 0 0 20 0 15 0 70715527 14427361280 41574 33554432000 4194304 4196468 140721186488512 140092373325072 140091989365728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14089220 memory=7230638415855315287 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14089220 memory=7230638415855316055 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14089220 memory=6082202987142081111 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14089220 memory=6082202987141949783 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14089220 memory=7230638415855315543 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14089220 memory=7085094945028400230 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14089220 memory=6082203013331511639 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14089220 memory=6082203013298153559 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14089220 memory=3472468526974223158 CPUtime=1.04 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 4662 0 0 0 103 1 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14089220 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 4047 0 0 0 93 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14089220 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) S 28949 28949 27722 0 -1 1077944384 3239 0 0 0 43 1 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091904153840 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14089220 memory=3760822555203874863 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14089220 memory=7666933511817030230 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 167748 KiB
[startup+10.3009 s]
/proc/loadavg: 2.05 1.99 1.96 3/219 28965
/proc/meminfo: memFree=17085964/32770624 swapFree=67108860/67108860
[pid=28949] ppid=28946 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28949/stat : 28949 (xcsp3-exec) S 28946 28949 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70715527 115843072 363 33554432000 4194304 5098028 140729486297840 140729486295944 140326201045628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16306176 140729486300219 140729486300420 140729486300420 140729486303178 0
/proc/28949/statm: 28282 363 306 221 0 87 0
[pid=28951] ppid=28949 vsize=14089220 memory=166296 CPUtime=12.71 cores=0,2,4,6
/proc/28951/stat : 28951 (java) S 28949 28949 27722 0 -1 1077944320 22715 0 0 0 1263 8 0 0 20 0 15 0 70715527 14427361280 41574 33554432000 4194304 4196468 140721186488512 140721186471056 140092369088247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
/proc/28951/statm: 3522305 41574 3357 1 0 3483520 0
[pid=28951/tid=28952] ppid=28949 vsize=14089220 memory=15872 CPUtime=10.27 cores=0,2,4,6
/proc/28951/task/28952/stat : 28952 (java) R 28949 28949 27722 0 -1 4202560 8769 0 0 0 1022 5 0 0 20 0 15 0 70715527 14427361280 41574 33554432000 4194304 4196468 140721186488512 140092373325072 140091989420931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28953] ppid=28949 vsize=14089220 memory=141636 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28953/stat : 28953 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140092306688272 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28954] ppid=28949 vsize=14089220 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28954/stat : 28954 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140092305635728 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28955] ppid=28949 vsize=14089220 memory=21372 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28955/stat : 28955 (java) S 28949 28949 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091962432016 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28956] ppid=28949 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28956/stat : 28956 (java) S 28949 28949 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70715528 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091961379472 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28957] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28957/stat : 28957 (java) S 28949 28949 27722 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091910470128 140092369099394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28958] ppid=28949 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28958/stat : 28958 (java) S 28949 28949 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091909416352 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28959] ppid=28949 vsize=14089220 memory=7735078871587205017 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28959/stat : 28959 (java) S 28949 28949 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70715530 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091908363760 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28960] ppid=28949 vsize=14089220 memory=280463109864032 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28960/stat : 28960 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091907312336 140092369106843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28961] ppid=28949 vsize=14089220 memory=1452 CPUtime=1.04 cores=0,2,4,6
/proc/28951/task/28961/stat : 28961 (java) S 28949 28949 27722 0 -1 1077944384 4662 0 0 0 103 1 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091906258928 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28962] ppid=28949 vsize=14089220 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/28951/task/28962/stat : 28962 (java) S 28949 28949 27722 0 -1 1077944384 4047 0 0 0 93 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091905206384 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28963] ppid=28949 vsize=14089220 memory=4465 CPUtime=0.44 cores=0,2,4,6
/proc/28951/task/28963/stat : 28963 (java) S 28949 28949 27722 0 -1 1077944384 3239 0 0 0 43 1 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091904153840 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28964] ppid=28949 vsize=14089220 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28964/stat : 28964 (java) S 28949 28949 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091903101536 140092369098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
[pid=28951/tid=28965] ppid=28949 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28951/task/28965/stat : 28965 (java) S 28949 28949 27722 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 70715533 14427361280 41574 33554432000 4194304 4196468 140721186488512 140091833969456 140092369099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 31735808 140721186497665 140721186497841 140721186497841 140721186500559 0
Current children cumulated CPU time: 12.71 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 167748 KiB
Child status: 0
Real time (s): 10.3716
CPU time (s): 12.7882
CPU user time (s): 12.6979
CPU system time (s): 0.090356
CPU usage (%): 123.301
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 167748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6979
system time used= 0.090356
maximum resident set size= 168656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24048
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= 2503
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 28949
# total CPU time (s): 12.7882
# total CPU user time (s): 12.6979
# total CPU system time (s): 0.090356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088726 second user time and 0.143256 second system time
The end