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 (12658 MiB free)
memory of node 1: 16384 MiB (12967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284537-1503210687/watcher-4284537-1503210687 -o /tmp/evaluation-result-4284537-1503210687/solver-4284537-1503210687 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 262997358 HOME/instance-4284537-1503210687.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=8521, runsolver pid=8518
[startup+0.100107 s]*
/proc/loadavg: 1.68 1.77 1.70 4/217 8537
/proc/meminfo: memFree=26223392/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13978596 memory=27808 CPUtime=0.12 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 5321 0 0 0 11 1 0 0 20 0 15 0 154156172 14314082304 6952 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3494649 6952 2863 1 0 3482966 0
[pid=8523/tid=8524] ppid=8521 vsize=13978596 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 3328 0 0 0 8 0 0 0 20 0 15 0 154156173 14314082304 7017 33554432000 4194304 4196468 140727784352416 140236009943856 140235987623656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13978596 memory=3472467978879071440 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156174 14314082304 7017 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13978596 memory=139849983919744 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14314082304 7017 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14314082304 7017 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14314082304 7017 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156175 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156175 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156176 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 154156178 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156178 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13978596 memory=139849983919744 CPUtime=0.01 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) R 8521 8521 8036 0 -1 4202560 312 0 0 0 1 0 0 0 20 0 15 0 154156178 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234911849200 140235998808443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13978596 memory=139849983919744 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156178 14314082304 7017 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29192 KiB
[startup+0.210796 s]*
/proc/loadavg: 1.68 1.77 1.70 3/217 8537
/proc/meminfo: memFree=26211400/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13982852 memory=40348 CPUtime=0.34 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 8187 0 0 0 32 2 0 0 20 0 15 0 154156172 14318440448 10087 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3495713 10087 3051 1 0 3482966 0
[pid=8523/tid=8524] ppid=8521 vsize=13982852 memory=4499834149035483540 CPUtime=0.19 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) D 8521 8521 8036 0 -1 1077944384 5330 0 0 0 18 1 0 0 20 0 15 0 154156173 14318440448 10087 33554432000 4194304 4196468 140727784352416 140236009922400 140235998390829 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13982852 memory=3472467978879071440 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156174 14318440448 10087 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13982852 memory=139849983919744 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14318440448 10087 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14318440448 10087 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14318440448 10087 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13982884 memory=139849983919744 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156175 14318473216 10087 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156175 14318473216 10087 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156176 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 651 0 0 0 2 0 0 0 20 0 15 0 154156178 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 188 0 0 0 3 0 0 0 20 0 15 0 154156178 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13982852 memory=139849983919744 CPUtime=0.08 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) S 8521 8521 8036 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 154156178 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234911849200 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13982852 memory=139849983919744 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156178 14318440448 10087 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41732 KiB
[startup+0.318099 s]*
/proc/loadavg: 1.68 1.77 1.70 5/217 8537
/proc/meminfo: memFree=26204576/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13982928 memory=47280 CPUtime=0.52 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 9092 0 0 0 50 2 0 0 20 0 15 0 154156172 14318518272 11820 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3495732 11820 3079 1 0 3482966 0
[pid=8523/tid=8524] ppid=8521 vsize=13982928 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 6050 0 0 0 28 2 0 0 20 0 15 0 154156173 14318518272 11885 33554432000 4194304 4196468 140727784352416 140236009943968 140235989792094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13982928 memory=3472467978879071440 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156174 14318518272 11885 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13982928 memory=139849983919744 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14318518272 11885 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14318518272 11885 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13982928 memory=139849839552543 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14318518272 11885 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13982928 memory=279699679084320 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156175 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13982928 memory=139849839529487 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156175 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13982928 memory=279699823458400 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156176 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13982928 memory=139849839534095 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 717 0 0 0 4 0 0 0 20 0 15 0 154156178 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13982928 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 191 0 0 0 3 0 0 0 20 0 15 0 154156178 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13982928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) S 8521 8521 8036 0 -1 1077944384 838 0 0 0 13 0 0 0 20 0 15 0 154156178 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234911849200 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13982928 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156178 14318518272 11885 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48664 KiB
[startup+0.701139 s]
/proc/loadavg: 1.68 1.77 1.70 5/217 8537
/proc/meminfo: memFree=26187076/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13984976 memory=72240 CPUtime=1.59 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 12284 0 0 0 156 3 0 0 20 0 15 0 154156172 14320615424 18060 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3496244 18060 3210 1 0 3483478 0
[pid=8523/tid=8524] ppid=8521 vsize=13984976 memory=279699678892080 CPUtime=0.66 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 6870 0 0 0 64 2 0 0 20 0 15 0 154156173 14320615424 18060 33554432000 4194304 4196468 140727784352416 140236009949888 140235991406660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156174 14320615424 18060 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14320615424 18060 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14320615424 18060 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156174 14320615424 18060 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154156175 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156175 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156176 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13984976 memory=5787213827131598673 CPUtime=0.26 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 1318 0 0 0 26 0 0 0 20 0 15 0 154156178 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13984976 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) R 8521 8521 8036 0 -1 4202560 963 0 0 0 28 0 0 0 20 0 15 0 154156178 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234912887712 140235990633433 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13984976 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) R 8521 8521 8036 0 -1 4202560 1826 0 0 0 37 0 0 0 20 0 15 0 154156178 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234911848384 140235987121615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13984976 memory=42520 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 18060 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73624 KiB
[startup+1.50082 s]
/proc/loadavg: 1.68 1.77 1.70 6/217 8537
/proc/meminfo: memFree=26154304/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13984976 memory=247424 CPUtime=57.15 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 74256 0 0 0 5694 21 0 0 20 0 15 0 154156172 14320615424 61856 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3496244 61856 3268 1 0 3483478 0
[pid=8523/tid=8524] ppid=8521 vsize=13984976 memory=1292 CPUtime=44.52 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 11665 0 0 0 4447 5 0 0 20 0 15 0 154156173 14320615424 61856 33554432000 4194304 4196468 140727784352416 140236009951312 140235603902640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13984976 memory=2448 CPUtime=0.17 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 595 0 0 0 16 1 0 0 20 0 15 0 154156174 14320615424 61856 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13984976 memory=1732 CPUtime=0.15 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 586 0 0 0 14 1 0 0 20 0 15 0 154156174 14320615424 61856 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13984976 memory=8112282956445269571 CPUtime=0.17 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1376 0 0 0 15 2 0 0 20 0 15 0 154156174 14320615424 61856 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13984976 memory=1384 CPUtime=0.17 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 819 0 0 0 16 1 0 0 20 0 15 0 154156174 14320615424 61856 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13984976 memory=257132 CPUtime=0.03 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 154156175 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154156175 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154156176 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13984976 memory=42520 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13984976 memory=1292 CPUtime=5.47 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 30475 0 0 0 542 5 0 0 20 0 15 0 154156178 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13984976 memory=2448 CPUtime=5.59 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 18178 0 0 0 557 2 0 0 20 0 15 0 154156178 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13984976 memory=1569 CPUtime=0.77 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) S 8521 8521 8036 0 -1 1077944384 7592 0 0 0 76 1 0 0 20 0 15 0 154156178 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234911849200 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13984976 memory=193 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13984976 memory=463 CPUtime=0.01 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 788 0 0 0 1 0 0 0 20 0 15 0 154156178 14320615424 61856 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 57.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 248808 KiB
[startup+45.6008 s]
/proc/loadavg: 1.65 1.76 1.71 3/217 8618
/proc/meminfo: memFree=26082104/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13984976 memory=245372 CPUtime=57.96 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 74264 0 0 0 5775 21 0 0 20 0 15 0 154156172 14320615424 61343 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3496244 61343 3268 1 0 3483478 0
[pid=8523/tid=8524] ppid=8521 vsize=13984976 memory=8112282956445269571 CPUtime=45.32 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 11666 0 0 0 4527 5 0 0 20 0 15 0 154156173 14320615424 61343 33554432000 4194304 4196468 140727784352416 140236009951024 140235603902762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13984976 memory=800 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 595 0 0 0 17 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13984976 memory=12132 CPUtime=0.16 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 589 0 0 0 15 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13984976 memory=1440 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1377 0 0 0 16 2 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13984976 memory=42520 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 822 0 0 0 17 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13984976 memory=1292 CPUtime=0.03 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 154156175 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13984976 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154156175 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154156176 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13984976 memory=1224 CPUtime=5.47 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 30475 0 0 0 542 5 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13984976 memory=8716 CPUtime=5.59 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 18178 0 0 0 557 2 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13984976 memory=1712 CPUtime=0.77 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) S 8521 8521 8036 0 -1 1077944384 7592 0 0 0 76 1 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234911849200 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13984976 memory=1004 CPUtime=0.01 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 788 0 0 0 1 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 57.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 246756 KiB
[startup+45.8008 s]
/proc/loadavg: 1.65 1.76 1.71 3/217 8618
/proc/meminfo: memFree=26082104/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13984976 memory=245372 CPUtime=58.16 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 74264 0 0 0 5795 21 0 0 20 0 15 0 154156172 14320615424 61343 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3496244 61343 3268 1 0 3483478 0
[pid=8523/tid=8524] ppid=8521 vsize=13984976 memory=23608 CPUtime=45.52 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 11666 0 0 0 4547 5 0 0 20 0 15 0 154156173 14320615424 61343 33554432000 4194304 4196468 140727784352416 140236009951024 140235603780381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13984976 memory=4052 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 595 0 0 0 17 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13984976 memory=16236 CPUtime=0.16 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 589 0 0 0 15 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13984976 memory=1796 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1377 0 0 0 16 2 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13984976 memory=644 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 822 0 0 0 17 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13984976 memory=960 CPUtime=0.03 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 154156175 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13984976 memory=4472 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154156175 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154156176 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13984976 memory=1568 CPUtime=5.47 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 30475 0 0 0 542 5 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13984976 memory=2240 CPUtime=5.59 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 18178 0 0 0 557 2 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13984976 memory=4124 CPUtime=0.77 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) S 8521 8521 8036 0 -1 1077944384 7592 0 0 0 76 1 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234911849200 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13984976 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13984976 memory=7788 CPUtime=0.01 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 788 0 0 0 1 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 58.16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 246756 KiB
[startup+45.9008 s]
/proc/loadavg: 1.65 1.76 1.71 3/217 8618
/proc/meminfo: memFree=26082104/32770624 swapFree=67108860/67108860
[pid=8521] ppid=8518 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8521/stat : 8521 (xcsp3-exec) S 8518 8521 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156172 9740288 346 33554432000 4194304 5098028 140731024376608 140731024374712 140656843969148 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27869184 140731024385141 140731024385344 140731024385344 140731024388075 0
/proc/8521/statm: 2378 346 289 221 0 87 0
[pid=8523] ppid=8521 vsize=13984976 memory=245372 CPUtime=58.26 cores=1,3,5,7
/proc/8523/stat : 8523 (java) S 8521 8521 8036 0 -1 1077944320 74264 0 0 0 5805 21 0 0 20 0 15 0 154156172 14320615424 61343 33554432000 4194304 4196468 140727784352416 140727784334960 140236005711607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
/proc/8523/statm: 3496244 61343 3268 1 0 3483478 0
[pid=8523/tid=8524] ppid=8521 vsize=13984976 memory=245372 CPUtime=45.62 cores=1,3,5,7
/proc/8523/task/8524/stat : 8524 (java) R 8521 8521 8036 0 -1 4202560 11666 0 0 0 4557 5 0 0 20 0 15 0 154156173 14320615424 61343 33554432000 4194304 4196468 140727784352416 140236009951024 140235606217889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8525] ppid=8521 vsize=13984976 memory=247424 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8525/stat : 8525 (java) S 8521 8521 8036 0 -1 1077944384 595 0 0 0 17 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235920780048 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8526] ppid=8521 vsize=13984976 memory=1384 CPUtime=0.16 cores=1,3,5,7
/proc/8523/task/8526/stat : 8526 (java) S 8521 8521 8036 0 -1 1077944384 589 0 0 0 15 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235919727504 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8527] ppid=8521 vsize=13984976 memory=245372 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8527/stat : 8527 (java) S 8521 8521 8036 0 -1 1077944384 1377 0 0 0 16 2 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235918674960 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8528] ppid=8521 vsize=13984976 memory=1384 CPUtime=0.18 cores=1,3,5,7
/proc/8523/task/8528/stat : 8528 (java) S 8521 8521 8036 0 -1 1077944384 822 0 0 0 17 1 0 0 20 0 15 0 154156174 14320615424 61343 33554432000 4194304 4196468 140727784352416 140235597933712 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8529] ppid=8521 vsize=13984976 memory=245372 CPUtime=0.03 cores=1,3,5,7
/proc/8523/task/8529/stat : 8529 (java) S 8521 8521 8036 0 -1 1077944384 835 0 0 0 3 0 0 0 20 0 15 0 154156175 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234918164464 140236005722754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8530] ppid=8521 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8530/stat : 8530 (java) S 8521 8521 8036 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154156175 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234917110688 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8531] ppid=8521 vsize=13984976 memory=247424 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8531/stat : 8531 (java) S 8521 8521 8036 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154156176 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234916058096 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8532] ppid=8521 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8532/stat : 8532 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234915006672 140236005730203 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8533] ppid=8521 vsize=13984976 memory=1384 CPUtime=5.47 cores=1,3,5,7
/proc/8523/task/8533/stat : 8533 (java) S 8521 8521 8036 0 -1 1077944384 30475 0 0 0 542 5 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234913954288 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8534] ppid=8521 vsize=13984976 memory=1384 CPUtime=5.59 cores=1,3,5,7
/proc/8523/task/8534/stat : 8534 (java) S 8521 8521 8036 0 -1 1077944384 18178 0 0 0 557 2 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234912901744 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8535] ppid=8521 vsize=13984976 memory=248396 CPUtime=0.77 cores=1,3,5,7
/proc/8523/task/8535/stat : 8535 (java) S 8521 8521 8036 0 -1 1077944384 7592 0 0 0 76 1 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234911849200 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8536] ppid=8521 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/8523/task/8536/stat : 8536 (java) S 8521 8521 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234440305760 140236005721813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
[pid=8523/tid=8537] ppid=8521 vsize=13984976 memory=42520 CPUtime=0.01 cores=1,3,5,7
/proc/8523/task/8537/stat : 8537 (java) S 8521 8521 8036 0 -1 1077944384 788 0 0 0 1 0 0 0 20 0 15 0 154156178 14320615424 61343 33554432000 4194304 4196468 140727784352416 140234439252272 140236005722754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27742208 140727784354973 140727784355148 140727784355148 140727784357839 0
Current children cumulated CPU time: 58.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 246756 KiB
Child status: 0
Real time (s): 46.0009
CPU time (s): 58.3664
CPU user time (s): 58.1459
CPU system time (s): 0.220515
CPU usage (%): 126.881
Max. virtual memory (cumulated for all children) (KiB): 13998104
Max. memory (cumulated for all children) (KiB): 278668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.1459
system time used= 0.220515
maximum resident set size= 280868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4620
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 8521
# total CPU time (s): 58.3664
# total CPU user time (s): 58.1459
# total CPU system time (s): 0.220515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.317695 second user time and 0.494906 second system time
The end