Trace number 4402504

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.12.3UNSAT 8.88669 3.94021

General information on the benchmark

NameSchurrLemma/SchurrLemma-mod-s1/
SchurrLemma-mod-100-9.xml
MD5SUM4f03c112a8f6a228f13fa4574ba8a054
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 benchmark8.76786
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints2450
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":100}]
Minimum variable degree49
Maximum variable degree98
Distribution of variable degrees[{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2450}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":2450}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.55	c Concrete v3.12.3.1568965526260 running
8.47/3.76	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 (281 MiB free)
  memory of node 1: 16384 MiB (3322 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402504-1568973655/watcher-4402504-1568973655 -o /tmp/evaluation-result-4402504-1568973655/solver-4402504-1568973655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402504-1568973655.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
solver pid=24709, runsolver pid=24706
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 1.67 1.49 1.39 3/217 24766
/proc/meminfo: memFree=3682104/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 4509 13289 0 0 1 0 5 2 20 0 6 0 473619751 10212057088 4270 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2493178 4270 1935 1 0 2481616 0
[pid=24709/tid=24762] ppid=24706 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) R 24706 24709 22219 0 -1 4202560 2329 13289 0 0 1 0 5 2 20 0 6 0 473619760 10212057088 4270 33554432000 4194304 4196468 140735675881248 139707647328848 139707660615024 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 6 0 473619761 10212057088 4270 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=9972712 memory=3545097868146038432 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 6 0 473619761 10212057088 4270 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 6 0 473619761 10212057088 4270 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 6 0 473619761 10212057088 4270 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.20996 s]*
/proc/loadavg: 1.67 1.49 1.39 3/226 24775
/proc/meminfo: memFree=3661100/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10820196 memory=44432 CPUtime=0.26 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 7540 13289 0 0 18 1 5 2 20 0 15 0 473619751 11079880704 11108 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2705049 11108 3291 1 0 2667149 0
[pid=24709/tid=24762] ppid=24706 vsize=10820196 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) R 24706 24709 22219 0 -1 4202560 4033 13289 0 0 11 1 5 2 20 0 15 0 473619760 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707647303120 139707659572574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10820196 memory=3545097868146038432 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619762 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707134278384 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 33 13289 0 0 0 0 5 2 20 0 15 0 473619762 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707133224608 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619763 11079880704 11108 33554432000 4194304 4196468 140735675881248 139707031741680 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619765 11079880704 11108 33554432000 4194304 4196468 140735675881248 139706427763152 139707675510683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) R 24706 24709 22219 0 -1 4202560 606 13289 0 0 1 0 5 2 20 0 15 0 473619765 11079880704 11108 33554432000 4194304 4196468 140735675881248 139706998184176 139707675513434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) S 24706 24709 22219 0 -1 1077944384 46 13289 0 0 0 0 5 2 20 0 15 0 473619765 11079880704 11108 33554432000 4194304 4196468 140735675881248 139706997131632 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10820196 memory=140223213393536 CPUtime=0.1 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 610 13289 0 0 3 0 5 2 20 0 15 0 473619765 11079880704 11108 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11079880704 11108 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24775] ppid=24706 vsize=10820196 memory=140223213393536 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24775/stat : 24775 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619766 11079880704 11108 33554432000 4194304 4196468 140735675881248 139706995026992 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44432 KiB

[startup+0.31049 s]*
/proc/loadavg: 1.67 1.49 1.39 4/226 24775
/proc/meminfo: memFree=3648948/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10820196 memory=52632 CPUtime=0.4 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 10903 13289 0 0 30 3 5 2 20 0 15 0 473619751 11079880704 13158 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2705049 13158 3317 1 0 2667149 0
[pid=24709/tid=24762] ppid=24706 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) R 24706 24709 22219 0 -1 4202560 7378 13289 0 0 19 2 5 2 20 0 15 0 473619760 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707647308352 139707659572574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619761 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10820196 memory=140223213393535 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619762 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707134278384 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 33 13289 0 0 0 0 5 2 20 0 15 0 473619762 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707133224608 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619763 11079880704 13223 33554432000 4194304 4196468 140735675881248 139707031741680 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619765 11079880704 13223 33554432000 4194304 4196468 140735675881248 139706427763152 139707675510683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) S 24706 24709 22219 0 -1 1077944384 609 13289 0 0 2 0 5 2 20 0 15 0 473619765 11079880704 13223 33554432000 4194304 4196468 140735675881248 139706998184176 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) S 24706 24709 22219 0 -1 1077944384 46 13289 0 0 1 0 5 2 20 0 15 0 473619765 11079880704 13223 33554432000 4194304 4196468 140735675881248 139706997131632 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10820196 memory=140223213393536 CPUtime=0.12 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 618 13289 0 0 5 0 5 2 20 0 15 0 473619765 11079880704 13223 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11079880704 13223 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24775] ppid=24706 vsize=10820196 memory=140223213393536 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24775/stat : 24775 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619766 11079880704 13223 33554432000 4194304 4196468 140735675881248 139706995026992 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52632 KiB

[startup+0.700653 s]
/proc/loadavg: 1.67 1.49 1.39 3/226 24775
/proc/meminfo: memFree=3633800/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10824364 memory=85700 CPUtime=1.15 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 15148 13289 0 0 104 4 5 2 20 0 15 0 473619751 11084148736 21425 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2706091 21425 3509 1 0 2668173 0
[pid=24709/tid=24762] ppid=24706 vsize=10824364 memory=7810487918915055718 CPUtime=0.66 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) D 24706 24709 22219 0 -1 1077944384 10539 13289 0 0 56 3 5 2 20 0 15 0 473619760 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707647319248 139707675515965 0 4 0 16800975 18446744072101744164 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10824364 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10824364 memory=1128 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10824364 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619761 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619761 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 5 13289 0 0 0 0 5 2 20 0 15 0 473619762 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707134278384 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 33 13289 0 0 0 0 5 2 20 0 15 0 473619762 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707133224608 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619763 11084148736 21425 33554432000 4194304 4196468 140735675881248 139707031741680 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619765 11084148736 21425 33554432000 4194304 4196468 140735675881248 139706427763152 139707675510683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) S 24706 24709 22219 0 -1 1077944384 1025 13289 0 0 13 0 5 2 20 0 15 0 473619765 11084148736 21425 33554432000 4194304 4196468 140735675881248 139706998184176 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10824364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) R 24706 24709 22219 0 -1 4202560 516 13289 0 0 15 0 5 2 20 0 15 0 473619765 11084148736 21425 33554432000 4194304 4196468 140735675881248 139706997121744 139707654737935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 812 13289 0 0 17 0 5 2 20 0 15 0 473619765 11084148736 21425 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11084148736 21425 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24775] ppid=24706 vsize=10824364 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24775/stat : 24775 (java) S 24706 24709 22219 0 -1 1077944384 1 13289 0 0 0 0 5 2 20 0 15 0 473619766 11084148736 21425 33554432000 4194304 4196468 140735675881248 139706995026992 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85700 KiB

[startup+1.50076 s]
/proc/loadavg: 1.67 1.49 1.39 6/226 24775
/proc/meminfo: memFree=3585656/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10834680 memory=191860 CPUtime=2.92 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 24743 13289 0 0 276 9 5 2 20 0 15 0 473619751 11094712320 47965 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2708670 47965 3587 1 0 2670733 0
[pid=24709/tid=24762] ppid=24706 vsize=10834680 memory=-7097481891625773097 CPUtime=1.42 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) R 24706 24709 22219 0 -1 4202560 15565 13289 0 0 129 6 5 2 20 0 15 0 473619760 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707647316496 139707675514013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 281 13289 0 0 1 0 5 2 20 0 15 0 473619761 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 47 13289 0 0 1 0 5 2 20 0 15 0 473619761 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 33 13289 0 0 1 0 5 2 20 0 15 0 473619761 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10834680 memory=-6237260532469557610 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 114 13289 0 0 1 0 5 2 20 0 15 0 473619761 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 1319 13289 0 0 1 0 5 2 20 0 15 0 473619762 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707134278384 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10834680 memory=280446198055872 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 34 13289 0 0 0 0 5 2 20 0 15 0 473619762 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707133224672 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10834680 memory=176404 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619763 11094712320 47965 33554432000 4194304 4196468 140735675881248 139707031741696 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10834680 memory=212755500024190 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619765 11094712320 47965 33554432000 4194304 4196468 140735675881248 139706427763152 139707675510683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10834680 memory=280446197838944 CPUtime=0.52 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) S 24706 24709 22219 0 -1 1077944384 1846 13289 0 0 45 0 5 2 20 0 15 0 473619765 11094712320 47965 33554432000 4194304 4196468 140735675881248 139706998184176 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10834680 memory=280446197841184 CPUtime=0.55 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) S 24706 24709 22219 0 -1 1077944384 1562 13289 0 0 48 0 5 2 20 0 15 0 473619765 11094712320 47965 33554432000 4194304 4196468 140735675881248 139706997131632 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10834680 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 1726 13289 0 0 43 0 5 2 20 0 15 0 473619765 11094712320 47965 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11094712320 47965 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24775] ppid=24706 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24775/stat : 24775 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11094712320 47965 33554432000 4194304 4196468 140735675881248 139706995026992 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10834680 KiB

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

Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 276944 KiB

[startup+3.94015 s]
# the end of solver process 24709 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.68573 s, system=0.200959 s

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

[startup+3.20138 s]
/proc/loadavg: 1.67 1.49 1.39 5/226 24775
/proc/meminfo: memFree=3429820/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10842892 memory=278036 CPUtime=6.98 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 36887 13289 0 0 677 14 5 2 20 0 15 0 473619751 11103121408 69509 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2710723 69509 3611 1 0 2672781 0
[pid=24709/tid=24762] ppid=24706 vsize=10842892 memory=7302700429465901416 CPUtime=3.1 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) R 24706 24709 22219 0 -1 4202560 21253 13289 0 0 295 8 5 2 20 0 15 0 473619760 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707647315240 139707675514013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10842892 memory=7373916858537504097 CPUtime=0.09 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 293 13289 0 0 2 0 5 2 20 0 15 0 473619761 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10842892 memory=7084813469732589648 CPUtime=0.09 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 87 13289 0 0 2 0 5 2 20 0 15 0 473619761 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10842892 memory=7091029039482628203 CPUtime=0.08 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 127 13289 0 0 1 0 5 2 20 0 15 0 473619761 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10842892 memory=3624 CPUtime=0.09 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 123 13289 0 0 2 0 5 2 20 0 15 0 473619761 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10842892 memory=42972 CPUtime=0.09 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 1849 13289 0 0 2 0 5 2 20 0 15 0 473619762 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707134278384 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10842892 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 39 13289 0 0 0 0 5 2 20 0 15 0 473619762 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707133224672 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10842892 memory=2024 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 4 13289 0 0 0 0 5 2 20 0 15 0 473619763 11103121408 69509 33554432000 4194304 4196468 140735675881248 139707031741696 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10842892 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619765 11103121408 69509 33554432000 4194304 4196468 140735675881248 139706427763152 139707675510683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10842892 memory=1128 CPUtime=1.35 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) R 24706 24709 22219 0 -1 4202560 3106 13289 0 0 128 0 5 2 20 0 15 0 473619765 11103121408 69509 33554432000 4194304 4196468 140735675881248 139706998170744 139707660385889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10842892 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) R 24706 24709 22219 0 -1 4202560 2895 13289 0 0 129 1 5 2 20 0 15 0 473619765 11103121408 69509 33554432000 4194304 4196468 140735675881248 139706997117656 139707657013353 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10842892 memory=15620 CPUtime=1.19 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 4891 13289 0 0 111 1 5 2 20 0 15 0 473619765 11103121408 69509 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10842892 memory=-5628408999910123566 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11103121408 69509 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24775] ppid=24706 vsize=10842892 memory=-2023959437020729679 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24775/stat : 24775 (java) S 24706 24709 22219 0 -1 1077944384 9 13289 0 0 0 0 5 2 20 0 15 0 473619766 11103121408 69509 33554432000 4194304 4196468 140735675881248 139706995026992 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 6.98 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 278036 KiB

[startup+3.60138 s]
/proc/loadavg: 1.67 1.49 1.39 5/226 24775
/proc/meminfo: memFree=3429820/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10847000 memory=292132 CPUtime=8.11 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 42353 13289 0 0 789 15 5 2 20 0 15 0 473619751 11107328000 73033 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2711750 73033 3616 1 0 2673805 0
[pid=24709/tid=24762] ppid=24706 vsize=10847000 memory=4627847325640712595 CPUtime=3.45 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) R 24706 24709 22219 0 -1 4202560 23609 13289 0 0 330 8 5 2 20 0 15 0 473619760 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707647321872 139707659572574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10847000 memory=-6655329338230357951 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 314 13289 0 0 4 0 5 2 20 0 15 0 473619761 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10847000 memory=-2915664509493171614 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 119 13289 0 0 4 0 5 2 20 0 15 0 473619761 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10847000 memory=7892391828772250251 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 152 13289 0 0 4 0 5 2 20 0 15 0 473619761 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10847000 memory=8514701219880863137 CPUtime=0.1 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 123 13289 0 0 3 0 5 2 20 0 15 0 473619761 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10847000 memory=7898630517783623187 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 3046 13289 0 0 4 0 5 2 20 0 15 0 473619762 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707134278384 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10847000 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 39 13289 0 0 0 0 5 2 20 0 15 0 473619762 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707133224672 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10847000 memory=-7387007932599496084 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 4 13289 0 0 0 0 5 2 20 0 15 0 473619763 11107328000 73033 33554432000 4194304 4196468 140735675881248 139707031741696 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10847000 memory=-7596047906428975488 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 2 13289 0 0 0 0 5 2 20 0 15 0 473619765 11107328000 73033 33554432000 4194304 4196468 140735675881248 139706427763152 139707675510683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10847000 memory=7512686531106080878 CPUtime=1.64 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) R 24706 24709 22219 0 -1 4202560 4270 13289 0 0 157 0 5 2 20 0 15 0 473619765 11107328000 73033 33554432000 4194304 4196468 140735675881248 139706998164264 139707658903048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10847000 memory=-7737621075815351712 CPUtime=1.66 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) R 24706 24709 22219 0 -1 4202560 3193 13289 0 0 158 1 5 2 20 0 15 0 473619765 11107328000 73033 33554432000 4194304 4196468 140735675881248 139706997131928 139707668591787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10847000 memory=280446197825776 CPUtime=1.28 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 5268 13289 0 0 120 1 5 2 20 0 15 0 473619765 11107328000 73033 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10847000 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 15 0 473619766 11107328000 73033 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24775] ppid=24706 vsize=10847000 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24775/stat : 24775 (java) S 24706 24709 22219 0 -1 1077944384 9 13289 0 0 0 0 5 2 20 0 15 0 473619766 11107328000 73033 33554432000 4194304 4196468 140735675881248 139706995026992 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 8.11 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 292132 KiB

[startup+3.8007 s]
/proc/loadavg: 1.67 1.49 1.39 5/226 24775
/proc/meminfo: memFree=3429820/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10945308 memory=299208 CPUtime=8.72 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 44066 13289 0 0 850 15 5 2 20 0 14 0 473619751 11207995392 74802 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2736327 74802 3618 1 0 2698382 0
[pid=24709/tid=24762] ppid=24706 vsize=10945308 memory=0 CPUtime=3.63 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) S 24706 24709 22219 0 -1 1077944384 23895 13289 0 0 347 9 5 2 20 0 14 0 473619760 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707647335568 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10945308 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 314 13289 0 0 4 0 5 2 20 0 14 0 473619761 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10945308 memory=280446198098752 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 119 13289 0 0 4 0 5 2 20 0 14 0 473619761 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10945308 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 152 13289 0 0 4 0 5 2 20 0 14 0 473619761 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10945308 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 123 13289 0 0 3 0 5 2 20 0 14 0 473619761 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10945308 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 3046 13289 0 0 4 0 5 2 20 0 14 0 473619762 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707134278592 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10945308 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 39 13289 0 0 0 0 5 2 20 0 14 0 473619762 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707133224672 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10945308 memory=3055200184358551657 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 4 13289 0 0 0 0 5 2 20 0 14 0 473619763 11207995392 74802 33554432000 4194304 4196468 140735675881248 139707031741696 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10945308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 14 0 473619765 11207995392 74802 33554432000 4194304 4196468 140735675881248 139706427762800 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10945308 memory=280446197912304 CPUtime=1.84 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) R 24706 24709 22219 0 -1 4202560 4937 13289 0 0 177 0 5 2 20 0 14 0 473619765 11207995392 74802 33554432000 4194304 4196468 140735675881248 139706998164264 139707657035794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10945308 memory=-6739178820818791275 CPUtime=1.83 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) S 24706 24709 22219 0 -1 1077944384 3680 13289 0 0 175 1 5 2 20 0 14 0 473619765 11207995392 74802 33554432000 4194304 4196468 140735675881248 139706997116144 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10945308 memory=8257237230706253920 CPUtime=1.36 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 5527 13289 0 0 128 1 5 2 20 0 14 0 473619765 11207995392 74802 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10945308 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 14 0 473619766 11207995392 74802 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 10945308 KiB
Current children cumulated memory: 299208 KiB

[startup+3.90076 s]
/proc/loadavg: 1.67 1.49 1.39 5/226 24775
/proc/meminfo: memFree=3429820/32770624 swapFree=66998020/67108860
[pid=24709] ppid=24706 vsize=10947736 memory=311352 CPUtime=8.83 cores=1,3,5,7
/proc/24709/stat : 24709 (java) S 24706 24709 22219 0 -1 1077944320 47114 13289 0 0 860 16 5 2 20 0 14 0 473619751 11210481664 77838 33554432000 4194304 4196468 140735675881248 140735675863792 139707675492087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
/proc/24709/statm: 2736934 77838 3618 1 0 2698989 0
[pid=24709/tid=24762] ppid=24706 vsize=10947736 memory=280446198038176 CPUtime=3.63 cores=1,3,5,7
/proc/24709/task/24762/stat : 24762 (java) S 24706 24709 22219 0 -1 1077944384 23895 13289 0 0 347 9 5 2 20 0 14 0 473619760 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707647335568 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24763] ppid=24706 vsize=10947736 memory=7680491646469814841 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24763/stat : 24763 (java) S 24706 24709 22219 0 -1 1077944384 314 13289 0 0 4 0 5 2 20 0 14 0 473619761 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707679734288 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24764] ppid=24706 vsize=10947736 memory=-2023959437020729679 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24764/stat : 24764 (java) S 24706 24709 22219 0 -1 1077944384 119 13289 0 0 4 0 5 2 20 0 14 0 473619761 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707578624656 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24765] ppid=24706 vsize=10947736 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24765/stat : 24765 (java) S 24706 24709 22219 0 -1 1077944384 152 13289 0 0 4 0 5 2 20 0 14 0 473619761 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707577571600 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24766] ppid=24706 vsize=10947736 memory=3 CPUtime=0.1 cores=1,3,5,7
/proc/24709/task/24766/stat : 24766 (java) S 24706 24709 22219 0 -1 1077944384 123 13289 0 0 3 0 5 2 20 0 14 0 473619761 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707576519056 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24767] ppid=24706 vsize=10947736 memory=348 CPUtime=0.11 cores=1,3,5,7
/proc/24709/task/24767/stat : 24767 (java) S 24706 24709 22219 0 -1 1077944384 3046 13289 0 0 4 0 5 2 20 0 14 0 473619762 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707134278592 139707675503234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24768] ppid=24706 vsize=10947736 memory=163 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24768/stat : 24768 (java) S 24706 24709 22219 0 -1 1077944384 39 13289 0 0 0 0 5 2 20 0 14 0 473619762 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707133224672 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24769] ppid=24706 vsize=10947736 memory=1431 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24769/stat : 24769 (java) S 24706 24709 22219 0 -1 1077944384 4 13289 0 0 0 0 5 2 20 0 14 0 473619763 11210481664 77838 33554432000 4194304 4196468 140735675881248 139707031741696 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24770] ppid=24706 vsize=10947736 memory=281192 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24770/stat : 24770 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 14 0 473619765 11210481664 77838 33554432000 4194304 4196468 140735675881248 139706427762800 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24771] ppid=24706 vsize=10947736 memory=176404 CPUtime=1.94 cores=1,3,5,7
/proc/24709/task/24771/stat : 24771 (java) R 24706 24709 22219 0 -1 4202560 7985 13289 0 0 186 1 5 2 20 0 14 0 473619765 11210481664 77838 33554432000 4194304 4196468 140735675881248 139706998164264 139707657013269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24772] ppid=24706 vsize=10947736 memory=212755500024190 CPUtime=1.83 cores=1,3,5,7
/proc/24709/task/24772/stat : 24772 (java) S 24706 24709 22219 0 -1 1077944384 3680 13289 0 0 175 1 5 2 20 0 14 0 473619765 11210481664 77838 33554432000 4194304 4196468 140735675881248 139706997116144 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24773] ppid=24706 vsize=10947736 memory=280446197838944 CPUtime=1.36 cores=1,3,5,7
/proc/24709/task/24773/stat : 24773 (java) S 24706 24709 22219 0 -1 1077944384 5527 13289 0 0 128 1 5 2 20 0 14 0 473619765 11210481664 77838 33554432000 4194304 4196468 140735675881248 139706996078576 139707675503234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
[pid=24709/tid=24774] ppid=24706 vsize=10947736 memory=280446197841184 CPUtime=0.07 cores=1,3,5,7
/proc/24709/task/24774/stat : 24774 (java) S 24706 24709 22219 0 -1 1077944384 3 13289 0 0 0 0 5 2 20 0 14 0 473619766 11210481664 77838 33554432000 4194304 4196468 140735675881248 139705958000992 139707675502293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7540736 140735675890415 140735675892933 140735675892933 140735675895759 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 10947736 KiB
Current children cumulated memory: 311352 KiB

Child status: 0
Real time (s): 3.94021
CPU time (s): 8.88669
CPU user time (s): 8.68573
CPU system time (s): 0.200959
CPU usage (%): 225.538
Max. virtual memory (cumulated for all children) (KiB): 10947736
Max. memory (cumulated for all children) (KiB): 311352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.68573
system time used= 0.200959
maximum resident set size= 313132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5626
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 24709
#   total CPU time (s): 8.88669
#   total CPU user time (s): 8.68573
#   total CPU system time (s): 0.200959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045171 second user time and 0.077121 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-20 10:59:34
IDJOB=4402504
IDBENCH=126890
IDSOLVER=2861
FILE ID=node106/4402504-1568973655
RUNJOBID= node106-1568963957-22251
PBS_JOBID= 21704632
Free space on /tmp= 23248 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-100-9.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402504-1568973655/watcher-4402504-1568973655 -o /tmp/evaluation-result-4402504-1568973655/solver-4402504-1568973655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402504-1568973655.xml

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

MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054
RANDOM SEED=2142651045

node106.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.79
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.79
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.79
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.79
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:         3690364 kB
MemAvailable:   30851864 kB
Buffers:           86456 kB
Cached:         27035420 kB
SwapCached:         3908 kB
Active:         14574008 kB
Inactive:       13558688 kB
Active(anon):    1017028 kB
Inactive(anon):    36068 kB
Active(file):   13556980 kB
Inactive(file): 13522620 kB
Unevictable:      109408 kB
Mlocked:          109408 kB
SwapTotal:      67108860 kB
SwapFree:       66998020 kB
Dirty:             35448 kB
Writeback:             0 kB
AnonPages:       1123180 kB
Mapped:            61740 kB
Shmem:             33784 kB
Slab:             539228 kB
SReclaimable:     510360 kB
SUnreclaim:        28868 kB
KernelStack:        3968 kB
PageTables:         8108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2241016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1034240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23212 MiB
End job on node106 at 2019-09-20 10:59:39