Trace number 4295548

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13UNSAT 15.7846 8.89193

General information on the benchmark

NameMagicHexagon/
MagicHexagon-04-0017_c18.xml
MD5SUM5026d1a6c388113c28cc4e99e58b99c3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.172478
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints28
Number of domains1
Minimum domain size37
Maximum domain size37
Distribution of domain sizes[{"size":37,"count":37}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity37
Distribution of constraint arities[{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}]
Optimization problemNO
Type of objective

Solver Data 

0.91/1.39	c Concrete v3.8.1528841891564 running
15.62/8.87	s UNSATISFIABLE

Verifier Data


Watcher Data 

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 (4268 MiB free)
  memory of node 1: 16384 MiB (7792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295548-1532566886/watcher-4295548-1532566886 -o /tmp/evaluation-result-4295548-1532566886/solver-4295548-1532566886 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1814027914 -superng HOME/instance-4295548-1532566886.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4336, runsolver pid=4333

[startup+0.100112 s]*
/proc/loadavg: 1.82 1.52 1.46 2/217 4379
/proc/meminfo: memFree=12320612/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/4336/stat : 4336 (bash) S 4333 4336 31421 0 -1 4202496 875 5678 0 0 0 0 0 1 20 0 1 0 74251817 115974144 402 33554432000 4194304 5098028 140729155111760 140729155105768 139921699318784 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 7299072 140729155118229 140729155118376 140729155118376 140729155121134 0
/proc/4336/statm: 28314 402 319 221 0 119 0
[pid=4363] ppid=4336 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4363/stat : 4363 (bash) S 4336 4336 31421 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 74251818 115974144 178 33554432000 4194304 5098028 140729155111760 140729155104440 139921699144316 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7299072 140729155118229 140729155118376 140729155118376 140729155121134 0
/proc/4363/statm: 28314 178 95 221 0 119 0
[pid=4364] ppid=4363 vsize=10659708 memory=25712 CPUtime=0.05 cores=1,3,5,7
/proc/4364/stat : 4364 (java) S 4363 4336 31421 0 -1 1077944320 4764 0 0 0 5 0 0 0 20 0 13 0 74251818 10915540992 6428 33554432000 4194304 4196468 140732440261648 140732440244192 140266127986423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
/proc/4364/statm: 2664927 6428 2638 1 0 2627468 0
[pid=4364/tid=4366] ppid=4363 vsize=10659708 memory=7031125463459224206 CPUtime=0.04 cores=1,3,5,7
/proc/4364/task/4366/stat : 4366 (java) D 4363 4336 31421 0 -1 4202560 2875 0 0 0 4 0 0 0 20 0 13 0 74251819 10915540992 6428 33554432000 4194304 4196468 140732440261648 140266132229432 140266120672055 0 0 0 16800975 18446744072100379781 0 0 -1 3 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4367] ppid=4363 vsize=10659708 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4367/stat : 4367 (java) S 4363 4336 31421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 74251820 10915540992 6428 33554432000 4194304 4196468 140732440261648 140266054060688 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4368] ppid=4363 vsize=10659708 memory=140668246607488 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4368/stat : 4368 (java) S 4363 4336 31421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 74251820 10915540992 6428 33554432000 4194304 4196468 140732440261648 140266053007888 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4369] ppid=4363 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4369/stat : 4369 (java) S 4363 4336 31421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 74251820 10915540992 6428 33554432000 4194304 4196468 140732440261648 140266051955088 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4370] ppid=4363 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4370/stat : 4370 (java) S 4363 4336 31421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 74251820 10915540992 6428 33554432000 4194304 4196468 140732440261648 140266050902288 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4372] ppid=4363 vsize=10659708 memory=140668246607488 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4372/stat : 4372 (java) S 4363 4336 31421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 74251821 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265162479136 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4373] ppid=4363 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4373/stat : 4373 (java) S 4363 4336 31421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 74251822 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265161426288 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4374] ppid=4363 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4374/stat : 4374 (java) S 4363 4336 31421 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 13 0 74251824 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265160373376 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4375] ppid=4363 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4375/stat : 4375 (java) S 4363 4336 31421 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 13 0 74251824 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265159321968 140266127997570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4376] ppid=4363 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4376/stat : 4376 (java) S 4363 4336 31421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 74251824 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265158269168 140266127997570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4377] ppid=4363 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4377/stat : 4377 (java) S 4363 4336 31421 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 13 0 74251824 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265157216368 140266127997570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4364/tid=4378] ppid=4363 vsize=10659708 memory=140668246607488 CPUtime=0 cores=1,3,5,7
/proc/4364/task/4378/stat : 4378 (java) S 4363 4336 31421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 74251824 10915540992 6428 33554432000 4194304 4196468 140732440261648 140265156163808 140266127996629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7639040 140732440270115 140732440270129 140732440270129 140732440272847 0
[pid=4365] ppid=4363 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (awk) S 4363 4336 31421 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 74251818 116215808 308 33554432000 4194304 4609284 140721959654176 140721959653352 140358486793216 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 26677248 140721959658835 140721959658865 140721959658865 140721959661551 0
/proc/4365/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 29264 KiB

[startup+0.648533 s]*
/proc/loadavg: 1.92 1.55 1.47 2/206 4379
/proc/meminfo: memFree=12349564/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/4336/stat : 4336 (bash) S 4333 4336 31421 0 -1 4202496 875 5678 0 0 0 0 0 1 20 0 1 0 74251817 115974144 402 33554432000 4194304 5098028 140729155111760 140729155105768 139921699318784 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 7299072 140729155118229 140729155118376 140729155118376 140729155121134 0
/proc/4336/statm: 28314 402 319 221 0 119 0
[pid=4363] ppid=4336 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4363/stat : 4363 (bash) S 4336 4336 31421 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 74251818 115974144 178 33554432000 4194304 5098028 140729155111760 140729155104440 139921699144316 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7299072 140729155118229 140729155118376 140729155118376 140729155121134 0
/proc/4363/statm: 28314 178 95 221 0 119 0
[pid=4365] ppid=4363 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (awk) S 4363 4336 31421 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 74251818 116215808 308 33554432000 4194304 4609284 140721959654176 140721959653352 140358486793216 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 26677248 140721959658835 140721959658865 140721959658865 140721959661551 0
/proc/4365/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3552 KiB

[startup+0.70921 s]*
/proc/loadavg: 1.92 1.55 1.47 2/206 4379
/proc/meminfo: memFree=12349564/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/4336/stat : 4336 (bash) S 4333 4336 31421 0 -1 4202496 875 5678 0 0 0 0 0 1 20 0 1 0 74251817 115974144 402 33554432000 4194304 5098028 140729155111760 140729155105768 139921699318784 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 7299072 140729155118229 140729155118376 140729155118376 140729155121134 0
/proc/4336/statm: 28314 402 319 221 0 119 0
[pid=4363] ppid=4336 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4363/stat : 4363 (bash) S 4336 4336 31421 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 74251818 115974144 178 33554432000 4194304 5098028 140729155111760 140729155104440 139921699144316 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7299072 140729155118229 140729155118376 140729155118376 140729155121134 0
/proc/4363/statm: 28314 178 95 221 0 119 0
[pid=4365] ppid=4363 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (awk) S 4363 4336 31421 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 74251818 116215808 308 33554432000 4194304 4609284 140721959654176 140721959653352 140358486793216 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 26677248 140721959658835 140721959658865 140721959658865 140721959661551 0
/proc/4365/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3552 KiB

[startup+0.80909 s]*
/proc/loadavg: 1.92 1.55 1.47 3/210 4396
/proc/meminfo: memFree=12337032/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10818432 memory=28088 CPUtime=0.14 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 6295 13143 0 0 6 1 5 2 20 0 15 0 74251817 11078074368 7022 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2704608 7022 2701 1 0 2667149 0
[pid=4336/tid=4389] ppid=4333 vsize=10818508 memory=8389772277269004345 CPUtime=0.12 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 3191 13143 0 0 4 1 5 2 20 0 15 0 74251892 11078152192 7086 33554432000 4194304 4196468 140720479403152 139881404369968 139881432564893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10818508 memory=4294967639 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 74251893 11078152192 7086 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10818508 memory=3762395912868120224 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251893 11078152192 7086 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10818508 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251893 11078152192 7086 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10818508 memory=3472328279047811119 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251893 11078152192 7086 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10818508 memory=8607468934923495903 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 74251894 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10818508 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4395/stat : 4395 (java) S 4333 4336 31421 0 -1 1077944384 33 13143 0 0 0 0 5 2 20 0 15 0 74251895 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880501838880 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4396] ppid=4333 vsize=10818508 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4396/stat : 4396 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251895 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880239719280 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4397] ppid=4333 vsize=10818508 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4397/stat : 4397 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11078152192 7086 33554432000 4194304 4196468 140720479403152 139879999428432 139881432561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4398] ppid=4333 vsize=10818508 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4398/stat : 4398 (java) S 4333 4336 31421 0 -1 1077944384 448 13143 0 0 0 0 5 2 20 0 15 0 74251898 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880468282224 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4399] ppid=4333 vsize=10818508 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4399/stat : 4399 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880467229424 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4400] ppid=4333 vsize=10818508 memory=140668246607488 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4400/stat : 4400 (java) R 4333 4336 31421 0 -1 4202560 512 13143 0 0 0 0 5 2 20 0 15 0 74251898 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880466171000 139881411588444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4401] ppid=4333 vsize=10818508 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4401/stat : 4401 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11078152192 7086 33554432000 4194304 4196468 140720479403152 139879965870816 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4402] ppid=4333 vsize=10818508 memory=140668246607488 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4402/stat : 4402 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251898 11078152192 7086 33554432000 4194304 4196468 140720479403152 139880465124016 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10818432 KiB
Current children cumulated memory: 28088 KiB

[startup+1.51022 s]
/proc/loadavg: 1.92 1.55 1.47 3/216 4402
/proc/meminfo: memFree=12274924/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10823540 memory=94868 CPUtime=1.24 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 17866 13143 0 0 112 5 5 2 20 0 15 0 74251817 11083304960 23717 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2705885 23717 3285 1 0 2667661 0
[pid=4336/tid=4389] ppid=4333 vsize=10823540 memory=58736 CPUtime=0.8 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 13400 13143 0 0 70 3 5 2 20 0 15 0 74251892 11083304960 23717 33554432000 4194304 4196468 140720479403152 139881404377296 139881432564893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10823540 memory=2111018705023396 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 74251893 11083304960 23717 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10823540 memory=7881411929333197157 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251893 11083304960 23717 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10823540 memory=7162500662426097236 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251893 11083304960 23717 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10823540 memory=-8772904774499851883 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251893 11083304960 23717 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10823540 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 5 13143 0 0 0 0 5 2 20 0 15 0 74251894 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10823540 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4395/stat : 4395 (java) S 4333 4336 31421 0 -1 1077944384 33 13143 0 0 0 0 5 2 20 0 15 0 74251895 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880501838880 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4396] ppid=4333 vsize=10823540 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4396/stat : 4396 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251895 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880239719280 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4397] ppid=4333 vsize=10823540 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4397/stat : 4397 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11083304960 23717 33554432000 4194304 4196468 140720479403152 139879999428432 139881432561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4398] ppid=4333 vsize=10823540 memory=1200 CPUtime=0.19 cores=1,3,5,7
/proc/4336/task/4398/stat : 4398 (java) S 4333 4336 31421 0 -1 1077944384 1179 13143 0 0 12 0 5 2 20 0 15 0 74251898 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880468282224 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4399] ppid=4333 vsize=10823540 memory=55 CPUtime=0.16 cores=1,3,5,7
/proc/4336/task/4399/stat : 4399 (java) S 4333 4336 31421 0 -1 1077944384 344 13143 0 0 9 0 5 2 20 0 15 0 74251898 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880467229424 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4400] ppid=4333 vsize=10823540 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/4336/task/4400/stat : 4400 (java) S 4333 4336 31421 0 -1 1077944384 703 13143 0 0 18 0 5 2 20 0 15 0 74251898 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880466176624 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4401] ppid=4333 vsize=10823540 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4401/stat : 4401 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11083304960 23717 33554432000 4194304 4196468 140720479403152 139879965870816 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4402] ppid=4333 vsize=10823540 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4402/stat : 4402 (java) S 4333 4336 31421 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 74251898 11083304960 23717 33554432000 4194304 4196468 140720479403152 139880465124016 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 10823540 KiB
Current children cumulated memory: 94868 KiB

[startup+3.10064 s]
/proc/loadavg: 1.92 1.55 1.47 4/216 4402
/proc/meminfo: memFree=12182204/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10842464 memory=199484 CPUtime=4.4 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 31464 13143 0 0 421 12 5 2 20 0 15 0 74251817 11102683136 49871 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2710616 49871 3492 1 0 2672269 0
[pid=4336/tid=4389] ppid=4333 vsize=10842464 memory=6944656592455350634 CPUtime=2.35 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 21541 13143 0 0 222 6 5 2 20 0 15 0 74251892 11102683136 49871 33554432000 4194304 4196468 140720479403152 139881404376176 139881416586597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10842464 memory=3762535611533635871 CPUtime=0.08 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 72 13143 0 0 1 0 5 2 20 0 15 0 74251893 11102683136 49871 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10842464 memory=7230362507174236502 CPUtime=0.08 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 18 13143 0 0 1 0 5 2 20 0 15 0 74251893 11102683136 49871 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10842464 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 256 13143 0 0 1 0 5 2 20 0 15 0 74251893 11102683136 49871 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10842464 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 28 13143 0 0 0 0 5 2 20 0 15 0 74251893 11102683136 49871 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10842464 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 414 13143 0 0 1 0 5 2 20 0 15 0 74251894 11102683136 49871 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10842464 memory=7 CPUtime=0.07 cores=1,3,5,7

################
# More data... #
################

[startup+8.89188 s]
# the end of solver process 4336 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.4924 s, system=0.292202 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.80075 s]
/proc/loadavg: 2.01 1.57 1.48 3/216 4402
/proc/meminfo: memFree=11923408/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10914144 memory=442836 CPUtime=13.18 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 61659 13143 0 0 1288 23 5 2 20 0 15 0 74251817 11176083456 110709 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2728536 110709 3518 1 0 2690189 0
[pid=4336/tid=4389] ppid=4333 vsize=10914144 memory=4516 CPUtime=5.97 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 38194 13143 0 0 579 11 5 2 20 0 15 0 74251892 11176083456 110709 33554432000 4194304 4196468 140720479403152 139881404376784 139881007577570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10914144 memory=6724 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 315 13143 0 0 3 0 5 2 20 0 15 0 74251893 11176083456 110709 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10914144 memory=8932 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 66 13143 0 0 3 0 5 2 20 0 15 0 74251893 11176083456 110709 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10914144 memory=8964 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 295 13143 0 0 3 0 5 2 20 0 15 0 74251893 11176083456 110709 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10914144 memory=14431090117230 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 58 13143 0 0 3 1 5 2 20 0 15 0 74251893 11176083456 110709 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10914144 memory=10915 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 1223 13143 0 0 3 0 5 2 20 0 15 0 74251894 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10914144 memory=23507 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4395/stat : 4395 (java) S 4333 4336 31421 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880501838944 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4396] ppid=4333 vsize=10914144 memory=175020 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4396/stat : 4396 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880239719296 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4397] ppid=4333 vsize=10914144 memory=8463011436643577608 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4397/stat : 4397 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 110709 33554432000 4194304 4196468 140720479403152 139879999428432 139881432561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4398] ppid=4333 vsize=10914144 memory=1 CPUtime=2.51 cores=1,3,5,7
/proc/4336/task/4398/stat : 4398 (java) S 4333 4336 31421 0 -1 1077944384 4504 13143 0 0 242 2 5 2 20 0 15 0 74251898 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880468282224 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4399] ppid=4333 vsize=10914144 memory=281336195834688 CPUtime=3.12 cores=1,3,5,7
/proc/4336/task/4399/stat : 4399 (java) S 4333 4336 31421 0 -1 1077944384 8494 13143 0 0 303 2 5 2 20 0 15 0 74251898 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880467229424 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4400] ppid=4333 vsize=10914144 memory=159274567213596 CPUtime=1.51 cores=1,3,5,7
/proc/4336/task/4400/stat : 4400 (java) S 4333 4336 31421 0 -1 1077944384 5128 13143 0 0 142 2 5 2 20 0 15 0 74251898 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880466176624 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4401] ppid=4333 vsize=10914144 memory=159274567213597 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4401/stat : 4401 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 110709 33554432000 4194304 4196468 140720479403152 139879965870816 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4402] ppid=4333 vsize=10914144 memory=159274567213598 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4402/stat : 4402 (java) S 4333 4336 31421 0 -1 1077944384 1147 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 110709 33554432000 4194304 4196468 140720479403152 139880465124016 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
Current children cumulated CPU time: 13.18 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 442836 KiB

[startup+7.60076 s]
/proc/loadavg: 2.01 1.57 1.48 3/216 4402
/proc/meminfo: memFree=11855328/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10914144 memory=508528 CPUtime=14.06 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 61747 13143 0 0 1375 24 5 2 20 0 15 0 74251817 11176083456 127132 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2728536 127132 3518 1 0 2690189 0
[pid=4336/tid=4389] ppid=4333 vsize=10914144 memory=20209 CPUtime=6.77 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 38231 13143 0 0 658 12 5 2 20 0 15 0 74251892 11176083456 127132 33554432000 4194304 4196468 140720479403152 139881404375520 139881006974730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10914144 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 320 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 127132 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10914144 memory=6944656592455097440 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 68 13143 0 0 3 0 5 2 20 0 15 0 74251893 11176083456 127132 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10914144 memory=8112282956445269571 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 296 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 127132 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10914144 memory=13044 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 60 13143 0 0 3 1 5 2 20 0 15 0 74251893 11176083456 127132 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10914144 memory=792 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 1247 13143 0 0 3 0 5 2 20 0 15 0 74251894 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10914144 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4395/stat : 4395 (java) S 4333 4336 31421 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880501838944 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4396] ppid=4333 vsize=10914144 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4396/stat : 4396 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880239719296 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4397] ppid=4333 vsize=10914144 memory=8540 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4397/stat : 4397 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 127132 33554432000 4194304 4196468 140720479403152 139879999428432 139881432561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4398] ppid=4333 vsize=10914144 memory=1712 CPUtime=2.54 cores=1,3,5,7
/proc/4336/task/4398/stat : 4398 (java) S 4333 4336 31421 0 -1 1077944384 4511 13143 0 0 245 2 5 2 20 0 15 0 74251898 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880468282224 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4399] ppid=4333 vsize=10914144 memory=5412 CPUtime=3.16 cores=1,3,5,7
/proc/4336/task/4399/stat : 4399 (java) S 4333 4336 31421 0 -1 1077944384 8500 13143 0 0 307 2 5 2 20 0 15 0 74251898 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880467229424 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4400] ppid=4333 vsize=10914144 memory=4612 CPUtime=1.51 cores=1,3,5,7
/proc/4336/task/4400/stat : 4400 (java) S 4333 4336 31421 0 -1 1077944384 5132 13143 0 0 142 2 5 2 20 0 15 0 74251898 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880466176624 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4401] ppid=4333 vsize=10914144 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4401/stat : 4401 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 127132 33554432000 4194304 4196468 140720479403152 139879965870816 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4402] ppid=4333 vsize=10914144 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4402/stat : 4402 (java) S 4333 4336 31421 0 -1 1077944384 1147 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 127132 33554432000 4194304 4196468 140720479403152 139880465124016 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 508528 KiB

[startup+8.40072 s]*
/proc/loadavg: 2.01 1.57 1.48 3/216 4402
/proc/meminfo: memFree=11851916/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10914144 memory=512180 CPUtime=15.2 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 62121 13143 0 0 1489 24 5 2 20 0 15 0 74251817 11176083456 128045 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2728536 128045 3519 1 0 2690189 0
[pid=4336/tid=4389] ppid=4333 vsize=10914144 memory=6935054825532540783 CPUtime=7.57 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 38231 13143 0 0 738 12 5 2 20 0 15 0 74251892 11176083456 128045 33554432000 4194304 4196468 140720479403152 139881404375352 139881007753317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10914144 memory=4126316290023845779 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 321 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 128045 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10914144 memory=-7812193691855986592 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 70 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 128045 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10914144 memory=-6873162000112450758 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 297 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 128045 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 61 13143 0 0 3 1 5 2 20 0 15 0 74251893 11176083456 128045 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 1247 13143 0 0 3 0 5 2 20 0 15 0 74251894 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4395/stat : 4395 (java) S 4333 4336 31421 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880501838944 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4396] ppid=4333 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4396/stat : 4396 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880239719296 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4397] ppid=4333 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4397/stat : 4397 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 128045 33554432000 4194304 4196468 140720479403152 139879999428432 139881432561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4398] ppid=4333 vsize=10914144 memory=140668098026608 CPUtime=2.69 cores=1,3,5,7
/proc/4336/task/4398/stat : 4398 (java) S 4333 4336 31421 0 -1 1077944384 4535 13143 0 0 260 2 5 2 20 0 15 0 74251898 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880468282224 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4399] ppid=4333 vsize=10914144 memory=3472323898181169199 CPUtime=3.34 cores=1,3,5,7
/proc/4336/task/4399/stat : 4399 (java) S 4333 4336 31421 0 -1 1077944384 8840 13143 0 0 325 2 5 2 20 0 15 0 74251898 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880467229424 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4400] ppid=4333 vsize=10914144 memory=3472464566427776688 CPUtime=1.51 cores=1,3,5,7
/proc/4336/task/4400/stat : 4400 (java) S 4333 4336 31421 0 -1 1077944384 5137 13143 0 0 142 2 5 2 20 0 15 0 74251898 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880466176624 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4401] ppid=4333 vsize=10914144 memory=3184097920075968559 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4401/stat : 4401 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 128045 33554432000 4194304 4196468 140720479403152 139879965870816 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4402] ppid=4333 vsize=10914144 memory=3472468964474287788 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4402/stat : 4402 (java) S 4333 4336 31421 0 -1 1077944384 1147 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 128045 33554432000 4194304 4196468 140720479403152 139880465124016 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 512180 KiB

[startup+8.80076 s]
/proc/loadavg: 2.01 1.57 1.48 3/216 4402
/proc/meminfo: memFree=11851916/32770624 swapFree=67108860/67108860
[pid=4336] ppid=4333 vsize=10914144 memory=534752 CPUtime=15.62 cores=1,3,5,7
/proc/4336/stat : 4336 (java) S 4333 4336 31421 0 -1 1077944320 62138 13143 0 0 1531 24 5 2 20 0 15 0 74251817 11176083456 133176 33554432000 4194304 4196468 140720479403152 140720479385696 139881432542967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
/proc/4336/statm: 2728536 133176 3519 1 0 2690189 0
[pid=4336/tid=4389] ppid=4333 vsize=10914144 memory=2600 CPUtime=7.96 cores=1,3,5,7
/proc/4336/task/4389/stat : 4389 (java) R 4333 4336 31421 0 -1 4202560 38242 13143 0 0 777 12 5 2 20 0 15 0 74251892 11176083456 133688 33554432000 4194304 4196468 140720479403152 139881404373544 139881008467424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4390] ppid=4333 vsize=10914144 memory=40020 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4390/stat : 4390 (java) S 4333 4336 31421 0 -1 1077944384 321 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 133688 33554432000 4194304 4196468 140720479403152 139881436785808 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4391] ppid=4333 vsize=10914144 memory=288230600329134386 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4391/stat : 4391 (java) S 4333 4336 31421 0 -1 1077944384 70 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 133688 33554432000 4194304 4196468 140720479403152 139881325059088 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4392] ppid=4333 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4392/stat : 4392 (java) S 4333 4336 31421 0 -1 1077944384 297 13143 0 0 4 0 5 2 20 0 15 0 74251893 11176083456 133688 33554432000 4194304 4196468 140720479403152 139881324006288 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4393] ppid=4333 vsize=10914144 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/4336/task/4393/stat : 4393 (java) S 4333 4336 31421 0 -1 1077944384 61 13143 0 0 3 1 5 2 20 0 15 0 74251893 11176083456 133688 33554432000 4194304 4196468 140720479403152 139881322953488 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4394] ppid=4333 vsize=10914144 memory=6944656592455359580 CPUtime=0.1 cores=1,3,5,7
/proc/4336/task/4394/stat : 4394 (java) S 4333 4336 31421 0 -1 1077944384 1247 13143 0 0 3 0 5 2 20 0 15 0 74251894 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880502892912 139881432554114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4395] ppid=4333 vsize=10914144 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4395/stat : 4395 (java) S 4333 4336 31421 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880501838944 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4396] ppid=4333 vsize=10914144 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4396/stat : 4396 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251895 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880239719296 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4397] ppid=4333 vsize=10914144 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4397/stat : 4397 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 133688 33554432000 4194304 4196468 140720479403152 139879999428432 139881432561563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4398] ppid=4333 vsize=10914144 memory=6944652177228980320 CPUtime=2.7 cores=1,3,5,7
/proc/4336/task/4398/stat : 4398 (java) S 4333 4336 31421 0 -1 1077944384 4537 13143 0 0 261 2 5 2 20 0 15 0 74251898 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880468282224 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4399] ppid=4333 vsize=10914144 memory=6944656575208382560 CPUtime=3.35 cores=1,3,5,7
/proc/4336/task/4399/stat : 4399 (java) S 4333 4336 31421 0 -1 1077944384 8843 13143 0 0 326 2 5 2 20 0 15 0 74251898 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880467229424 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4400] ppid=4333 vsize=10914144 memory=6944656592455097440 CPUtime=1.52 cores=1,3,5,7
/proc/4336/task/4400/stat : 4400 (java) R 4333 4336 31421 0 -1 4202560 5139 13143 0 0 143 2 5 2 20 0 15 0 74251898 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880466176624 139881411500901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4401] ppid=4333 vsize=10914144 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4401/stat : 4401 (java) S 4333 4336 31421 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 133688 33554432000 4194304 4196468 140720479403152 139879965870816 139881432553173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
[pid=4336/tid=4402] ppid=4333 vsize=10914144 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/4336/task/4402/stat : 4402 (java) S 4333 4336 31421 0 -1 1077944384 1147 13143 0 0 0 0 5 2 20 0 15 0 74251898 11176083456 133688 33554432000 4194304 4196468 140720479403152 139880465124016 139881432554114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18669568 140720479410347 140720479413596 140720479413596 140720479416271 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 534752 KiB

Child status: 0
Real time (s): 8.89193
CPU time (s): 15.7846
CPU user time (s): 15.4924
CPU system time (s): 0.292202
CPU usage (%): 177.516
Max. virtual memory (cumulated for all children) (KiB): 10999712
Max. memory (cumulated for all children) (KiB): 534752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4924
system time used= 0.292202
maximum resident set size= 557368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6735
involuntary context switches= 55


# summary of solver processes directly reported to runsolver:
#   pid: 4336
#   total CPU time (s): 15.7846
#   total CPU user time (s): 15.4924
#   total CPU system time (s): 0.292202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076973 second user time and 0.118785 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-26 03:01:26
IDJOB=4295548
IDBENCH=141565
IDSOLVER=2751
FILE ID=node107/4295548-1532566886
RUNJOBID= node107-1532543154-31453
PBS_JOBID= 21021952
Free space on /tmp= 54500 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-04-0017_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295548-1532566886/watcher-4295548-1532566886 -o /tmp/evaluation-result-4295548-1532566886/solver-4295548-1532566886 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1814027914 -superng HOME/instance-4295548-1532566886.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5026d1a6c388113c28cc4e99e58b99c3
RANDOM SEED=1814027914

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12351116 kB
MemAvailable:   31281888 kB
Buffers:          289456 kB
Cached:         18761072 kB
SwapCached:            0 kB
Active:          4917324 kB
Inactive:       14833060 kB
Active(anon):     702960 kB
Inactive(anon):    25048 kB
Active(file):    4214364 kB
Inactive(file): 14808012 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26664 kB
Writeback:             0 kB
AnonPages:        707252 kB
Mapped:            53496 kB
Shmem:             25260 kB
Slab:             364512 kB
SReclaimable:     336856 kB
SUnreclaim:        27656 kB
KernelStack:        3520 kB
PageTables:         6840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1678316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54472 MiB
End job on node107 at 2018-07-26 03:01:35