Trace number 4304470

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGOPT12 9.9767 4.38824

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-03-4-rom_c18.xml
MD5SUM72d3aa8b8ce65786440ef6159c4b95ee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.052137
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints24
Number of domains5
Minimum domain size2
Maximum domain size1359
Distribution of domain sizes[{"size":2,"count":6},{"size":4,"count":42},{"size":27,"count":9},{"size":1359,"count":24}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":30},{"degree":2,"count":42},{"degree":8,"count":9}]
Minimum constraint arity6
Maximum constraint arity7
Distribution of constraint arities[{"arity":6,"count":6},{"arity":7,"count":18}]
Number of extensional constraints24
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":24}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

0.98/0.76	c Concrete v3.9.2.1532736233296 running
9.79/4.34	o 12
9.79/4.37	v <instantiation cost="12">
9.79/4.37	v       <list>
9.79/4.37	v         r[0][0] r[0][1] r[0][2] r[0][3] r[1][0] r[1][1] r[1][2] r[1][3] r[2][0] r[2][1] r[2][2] r[2][3] c[0][0] c[0][1] c[0][2] c[0][3] c[1][0] c[1][1] c[1][2] c[1][3] c[2][0] c[2][1] c[2][2] c[2][3] pr[0][0] pr[0][1] pr[0][2] pr[0][3] pr[1][0] pr[1][1] pr[1][2] pr[1][3] pr[2][0] pr[2][1] pr[2][2] pr[2][3] pc[0][0] pc[0][1] pc[0][2] pc[0][3] pc[1][0] pc[1][1] pc[1][2] pc[1][3] pc[2][0] pc[2][1] pc[2][2] pc[2][3] br[0][0] br[0][1] br[0][2] br[0][3] br[1][0] br[1][1] br[1][2] br[1][3] br[2][0] br[2][1] br[2][2] br[2][3] bc[0][0] bc[0][1] bc[0][2] bc[0][3] bc[1][0] bc[1][1] bc[1][2] bc[1][3] bc[2][0] bc[2][1] bc[2][2] bc[2][3] x[0][0] x[0][1] x[0][2] x[1][0] x[1][1] x[1][2] x[2][0] x[2][1] x[2][2]
9.79/4.37	v       </list>
9.79/4.37	v       <values>
9.79/4.37	v         170 -1 -1 -1 177 -1 -1 -1 454 -1 -1 -1 170 -1 -1 -1 177 -1 -1 -1 454 -1 -1 -1 1 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 1 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 26 2 7 2 8 20 7 20 2
9.79/4.37	v       </values>
9.79/4.37	v     </instantiation>
9.79/4.37	s OPTIMUM FOUND

Verifier Data 

OK	12

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304470-1534095089/watcher-4304470-1534095089 -o /tmp/evaluation-result-4304470-1534095089/solver-4304470-1534095089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534095089-27107 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1041844028 -superng HOME/instance-4304470-1534095089.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=27125, runsolver pid=27122
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 1.08 1.07 1.25 2/188 27178
/proc/meminfo: memFree=13014376/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=10005480 memory=14964 CPUtime=0.09 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 3864 13246 0 0 1 0 5 3 20 0 6 0 227072112 10245611520 3675 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2501370 3741 1664 1 0 2489808 0
[pid=27125/tid=27178] ppid=27122 vsize=10005480 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 1693 13246 0 0 0 0 5 3 20 0 6 0 227072121 10245611520 3741 33554432000 4194304 4196468 140726538587920 139729607975504 139729525661558 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 6 0 227072122 10245611520 3741 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=10005480 memory=140625989068416 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 6 0 227072122 10245611520 3741 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 6 0 227072122 10245611520 3741 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 6 0 227072122 10245611520 3741 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14964 KiB

[startup+0.210138 s]*
/proc/loadavg: 1.08 1.07 1.25 4/201 27191
/proc/meminfo: memFree=12949164/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=10982744 memory=41588 CPUtime=0.25 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 7081 13246 0 0 16 1 5 3 20 0 15 0 227072112 11246329856 10397 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2745686 10397 2981 1 0 2708109 0
[pid=27125/tid=27178] ppid=27122 vsize=10982744 memory=-6007365819731575600 CPUtime=0.19 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 3628 13246 0 0 10 1 5 3 20 0 15 0 227072121 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729607962456 139729617512280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=10982744 memory=140625989068416 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=10982744 memory=140625989068416 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246329856 10397 33554432000 4194304 4196468 140726538587920 139728439469728 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246329856 10397 33554432000 4194304 4196468 140726538587920 139728238142704 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246329856 10397 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) S 27122 27125 19383 0 -1 1077944384 555 13246 0 0 1 0 5 3 20 0 15 0 227072127 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729128171760 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) S 27122 27125 19383 0 -1 1077944384 71 13246 0 0 1 0 5 3 20 0 15 0 227072127 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729127119216 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=10982744 memory=140625989068416 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 601 13246 0 0 3 0 5 3 20 0 15 0 227072127 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246329856 10397 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=10982744 memory=140625989068416 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246329856 10397 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41588 KiB

[startup+0.310384 s]*
/proc/loadavg: 1.08 1.07 1.25 3/201 27191
/proc/meminfo: memFree=12927864/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=10983192 memory=53396 CPUtime=0.38 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 9853 13246 0 0 28 2 5 3 20 0 15 0 227072112 11246788608 13349 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2745798 13349 3100 1 0 2708109 0
[pid=27125/tid=27178] ppid=27122 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 6388 13246 0 0 18 1 5 3 20 0 15 0 227072121 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729607950752 139729621304382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=10983192 memory=7811609454999659621 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=10983192 memory=5859291143841275968 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=10983192 memory=7649540005822678210 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246788608 13349 33554432000 4194304 4196468 140726538587920 139728439469728 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246788608 13349 33554432000 4194304 4196468 140726538587920 139728238142704 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246788608 13349 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) S 27122 27125 19383 0 -1 1077944384 555 13246 0 0 1 0 5 3 20 0 15 0 227072127 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729128171760 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) S 27122 27125 19383 0 -1 1077944384 72 13246 0 0 1 0 5 3 20 0 15 0 227072127 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729127119216 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 612 13246 0 0 5 0 5 3 20 0 15 0 227072127 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246788608 13349 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246788608 13349 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53396 KiB

[startup+0.700767 s]
/proc/loadavg: 1.08 1.07 1.25 3/201 27191
/proc/meminfo: memFree=12904732/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=10983192 memory=88496 CPUtime=0.98 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 16748 13246 0 0 86 4 5 3 20 0 15 0 227072112 11246788608 22124 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2745798 22124 3247 1 0 2708109 0
[pid=27125/tid=27178] ppid=27122 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 12211 13246 0 0 55 3 5 3 20 0 15 0 227072121 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729607966624 139729616414046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=10983192 memory=2276 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=10983192 memory=14889 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=10983192 memory=16101468159629783 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=10983192 memory=6368461852977287248 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072122 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=10983192 memory=5865491479076426066 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 5 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=10983192 memory=4346044353833085232 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246788608 22124 33554432000 4194304 4196468 140726538587920 139728439469728 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=10983192 memory=4713745541279610410 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11246788608 22124 33554432000 4194304 4196468 140726538587920 139728238142704 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=10983192 memory=1329904169539632281 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246788608 22124 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=10983192 memory=-7522837415797432224 CPUtime=0.15 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) S 27122 27125 19383 0 -1 1077944384 934 13246 0 0 7 0 5 3 20 0 15 0 227072127 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729128171760 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=10983192 memory=6944665225511868275 CPUtime=0.17 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) S 27122 27125 19383 0 -1 1077944384 676 13246 0 0 9 0 5 3 20 0 15 0 227072127 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729127119216 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=10983192 memory=8475934422144423578 CPUtime=0.21 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 698 13246 0 0 13 0 5 3 20 0 15 0 227072127 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=10983192 memory=-6873162000112450758 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246788608 22124 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072127 11246788608 22124 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88496 KiB

[startup+1.50852 s]
/proc/loadavg: 1.08 1.07 1.25 3/199 27191
/proc/meminfo: memFree=12847932/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=10998092 memory=187024 CPUtime=2.48 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 23922 13246 0 0 229 11 5 3 20 0 15 0 227072112 11262046208 46756 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2749523 46756 3476 1 0 2711181 0
[pid=27125/tid=27178] ppid=27122 vsize=10998092 memory=5790086053191909267 CPUtime=1.43 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 17555 13246 0 0 129 6 5 3 20 0 15 0 227072121 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729607945896 139729615729270 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 26 13246 0 0 1 0 5 3 20 0 15 0 227072122 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=10998092 memory=3560 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 17 13246 0 0 0 0 5 3 20 0 15 0 227072122 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 59 13246 0 0 1 0 5 3 20 0 15 0 227072122 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=10998092 memory=140625886513968 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 194 13246 0 0 1 0 5 3 20 0 15 0 227072122 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 55 13246 0 0 1 0 5 3 20 0 15 0 227072124 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=10998092 memory=6154820267226784105 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 14 13246 0 0 0 0 5 3 20 0 15 0 227072124 11262046208 46756 33554432000 4194304 4196468 140726538587920 139728439469792 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=10998092 memory=5792825811789107809 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11262046208 46756 33554432000 4194304 4196468 140726538587920 139728238142720 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=10998092 memory=346175945 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11262046208 46756 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=10998092 memory=140625886554375 CPUtime=0.33 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) S 27122 27125 19383 0 -1 1077944384 1308 13246 0 0 25 0 5 3 20 0 15 0 227072127 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729128171760 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=10998092 memory=281251773079040 CPUtime=0.4 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) S 27122 27125 19383 0 -1 1077944384 1145 13246 0 0 32 0 5 3 20 0 15 0 227072127 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729127119216 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=10998092 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 1344 13246 0 0 35 1 5 3 20 0 15 0 227072127 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11262046208 46756 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=10998092 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 227072127 11262046208 46756 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10998092 KiB

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

[startup+4.38819 s]
# the end of solver process 27125 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.72299 s, system=0.253711 s

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

[startup+3.20156 s]
/proc/loadavg: 1.32 1.12 1.27 8/219 27267
/proc/meminfo: memFree=12198280/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=11006304 memory=321928 CPUtime=6.67 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 40896 13246 0 0 642 17 5 3 20 0 15 0 227072112 11270455296 80482 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2751576 80482 3497 1 0 2713229 0
[pid=27125/tid=27178] ppid=27122 vsize=11006304 memory=0 CPUtime=3.09 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 26493 13246 0 0 292 9 5 3 20 0 15 0 227072121 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729607966224 139729203096359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=11006304 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 39 13246 0 0 2 0 5 3 20 0 15 0 227072122 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=11006304 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 25 13246 0 0 1 0 5 3 20 0 15 0 227072122 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=11006304 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 60 13246 0 0 1 0 5 3 20 0 15 0 227072122 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=11006304 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 194 13246 0 0 1 0 5 3 20 0 15 0 227072122 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=11006304 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 85 13246 0 0 1 0 5 3 20 0 15 0 227072124 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 14 13246 0 0 0 0 5 3 20 0 15 0 227072124 11270455296 80482 33554432000 4194304 4196468 140726538587920 139728439469792 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=11006304 memory=8812 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11270455296 80482 33554432000 4194304 4196468 140726538587920 139728238142720 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=11006304 memory=4576 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11270455296 80482 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=11006304 memory=15868 CPUtime=1.39 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) R 27122 27125 19383 0 -1 4202560 5210 13246 0 0 130 1 5 3 20 0 15 0 227072127 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729128156592 139729622167182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=11006304 memory=4012 CPUtime=1.2 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) R 27122 27125 19383 0 -1 4202560 3717 13246 0 0 112 0 5 3 20 0 15 0 227072127 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729127105760 139729615831839 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=11006304 memory=35320 CPUtime=1.05 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 2844 13246 0 0 96 1 5 3 20 0 15 0 227072127 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=11006304 memory=18220 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11270455296 80482 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=11006304 memory=1788 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 12 13246 0 0 0 0 5 3 20 0 15 0 227072127 11270455296 80482 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 6.67 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 321928 KiB

[startup+4.00169 s]*
/proc/loadavg: 1.32 1.12 1.27 6/219 27267
/proc/meminfo: memFree=11901396/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=11012448 memory=337304 CPUtime=9.07 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 55242 13246 0 0 880 19 5 3 20 0 15 0 227072112 11276746752 84326 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2753112 84326 3512 1 0 2714765 0
[pid=27125/tid=27178] ppid=27122 vsize=11012448 memory=6791534058613427641 CPUtime=3.86 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 32287 13246 0 0 367 11 5 3 20 0 15 0 227072121 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729607968384 139729194528199 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=11012448 memory=8329294824090543255 CPUtime=0.12 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 93 13246 0 0 4 0 5 3 20 0 15 0 227072122 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=11012448 memory=-7518891959079781826 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 298 13246 0 0 3 0 5 3 20 0 15 0 227072122 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=11012448 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 84 13246 0 0 3 0 5 3 20 0 15 0 227072122 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=11012448 memory=2192 CPUtime=0.1 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 209 13246 0 0 2 0 5 3 20 0 15 0 227072122 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=11012448 memory=7528 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 5177 13246 0 0 3 0 5 3 20 0 15 0 227072124 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=11012448 memory=828 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 14 13246 0 0 0 0 5 3 20 0 15 0 227072124 11276746752 84326 33554432000 4194304 4196468 140726538587920 139728439469792 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=11012448 memory=1796 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11276746752 84326 33554432000 4194304 4196468 140726538587920 139728238142720 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=11012448 memory=912 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 84326 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=11012448 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) R 27122 27125 19383 0 -1 4202560 5843 13246 0 0 195 1 5 3 20 0 15 0 227072127 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729128163088 139729621262313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=11012448 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) R 27122 27125 19383 0 -1 4202560 4960 13246 0 0 175 1 5 3 20 0 15 0 227072127 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729127119216 139729620527600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=11012448 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 4062 13246 0 0 122 2 5 3 20 0 15 0 227072127 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=11012448 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 84326 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=11012448 memory=7084813469699035216 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 12 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 84326 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 337304 KiB

[startup+4.20158 s]
/proc/loadavg: 1.32 1.12 1.27 6/219 27267
/proc/meminfo: memFree=11901396/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=11012448 memory=348540 CPUtime=9.45 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 66240 13246 0 0 917 20 5 3 20 0 15 0 227072112 11276746752 87135 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2753112 87135 3517 1 0 2714765 0
[pid=27125/tid=27178] ppid=27122 vsize=11012448 memory=301741382115277122 CPUtime=4.05 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 4202560 43153 13246 0 0 385 12 5 3 20 0 15 0 227072121 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729607801088 139729207352711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=11012448 memory=3689073928208396288 CPUtime=0.12 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 93 13246 0 0 4 0 5 3 20 0 15 0 227072122 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=11012448 memory=8305311027921445216 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 298 13246 0 0 3 0 5 3 20 0 15 0 227072122 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=11012448 memory=-7606742951091920751 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 84 13246 0 0 3 0 5 3 20 0 15 0 227072122 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=11012448 memory=4206468019014099040 CPUtime=0.1 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 209 13246 0 0 2 0 5 3 20 0 15 0 227072122 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=11012448 memory=7976406965554101975 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 5177 13246 0 0 3 0 5 3 20 0 15 0 227072124 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=11012448 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 14 13246 0 0 0 0 5 3 20 0 15 0 227072124 11276746752 87135 33554432000 4194304 4196468 140726538587920 139728439469792 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=11012448 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11276746752 87135 33554432000 4194304 4196468 140726538587920 139728238142720 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=11012448 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 87135 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=11012448 memory=6655300316396806240 CPUtime=2.1 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) R 27122 27125 19383 0 -1 4202560 5869 13246 0 0 201 1 5 3 20 0 15 0 227072127 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729128163088 139729615363136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=11012448 memory=6872598998417432672 CPUtime=1.93 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) R 27122 27125 19383 0 -1 4202560 4988 13246 0 0 184 1 5 3 20 0 15 0 227072127 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729127109008 139729619639126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=11012448 memory=4206733009971080613 CPUtime=1.36 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) S 27122 27125 19383 0 -1 1077944384 4139 13246 0 0 126 2 5 3 20 0 15 0 227072127 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729126066160 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=11012448 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 87135 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=11012448 memory=7090745425494306408 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 87135 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 9.45 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 348540 KiB

[startup+4.30758 s]
/proc/loadavg: 1.32 1.12 1.27 6/219 27267
/proc/meminfo: memFree=11901396/32770624 swapFree=67108860/67108860
[pid=27125] ppid=27122 vsize=11012448 memory=349788 CPUtime=9.79 cores=1,3,5,7
/proc/27125/stat : 27125 (java) S 27122 27125 19383 0 -1 1077944320 66544 13246 0 0 951 20 5 3 20 0 15 0 227072112 11276746752 87447 33554432000 4194304 4196468 140726538587920 140726538570464 139729636138743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
/proc/27125/statm: 2753112 87447 3518 1 0 2714765 0
[pid=27125/tid=27178] ppid=27122 vsize=11012448 memory=56 CPUtime=4.16 cores=1,3,5,7
/proc/27125/task/27178/stat : 27178 (java) R 27122 27125 19383 0 -1 1077944384 43267 13246 0 0 396 12 5 3 20 0 15 0 227072121 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729607972816 139729636148949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27179] ppid=27122 vsize=11012448 memory=337920 CPUtime=0.12 cores=1,3,5,7
/proc/27125/task/27179/stat : 27179 (java) S 27122 27125 19383 0 -1 1077944384 93 13246 0 0 4 0 5 3 20 0 15 0 227072122 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729640380944 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27180] ppid=27122 vsize=11012448 memory=62 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27180/stat : 27180 (java) S 27122 27125 19383 0 -1 1077944384 298 13246 0 0 3 0 5 3 20 0 15 0 227072122 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729521646224 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27181] ppid=27122 vsize=11012448 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27181/stat : 27181 (java) S 27122 27125 19383 0 -1 1077944384 84 13246 0 0 3 0 5 3 20 0 15 0 227072122 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729520593168 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27182] ppid=27122 vsize=11012448 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27125/task/27182/stat : 27182 (java) S 27122 27125 19383 0 -1 1077944384 209 13246 0 0 2 0 5 3 20 0 15 0 227072122 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729519540624 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27183] ppid=27122 vsize=11012448 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/27125/task/27183/stat : 27183 (java) S 27122 27125 19383 0 -1 1077944384 5177 13246 0 0 3 0 5 3 20 0 15 0 227072124 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729129224944 139729636149890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27184] ppid=27122 vsize=11012448 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27184/stat : 27184 (java) S 27122 27125 19383 0 -1 1077944384 14 13246 0 0 0 0 5 3 20 0 15 0 227072124 11276746752 87447 33554432000 4194304 4196468 140726538587920 139728439469792 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27185] ppid=27122 vsize=11012448 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27185/stat : 27185 (java) S 27122 27125 19383 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 227072124 11276746752 87447 33554432000 4194304 4196468 140726538587920 139728238142720 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27186] ppid=27122 vsize=11012448 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27186/stat : 27186 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 87447 33554432000 4194304 4196468 140726538587920 139727930743248 139729636157339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27187] ppid=27122 vsize=11012448 memory=331912 CPUtime=2.2 cores=1,3,5,7
/proc/27125/task/27187/stat : 27187 (java) R 27122 27125 19383 0 -1 4202560 5879 13246 0 0 211 1 5 3 20 0 15 0 227072127 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729128163712 139729615384591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27188] ppid=27122 vsize=11012448 memory=8 CPUtime=2.01 cores=1,3,5,7
/proc/27125/task/27188/stat : 27188 (java) R 27122 27125 19383 0 -1 4202560 5038 13246 0 0 192 1 5 3 20 0 15 0 227072127 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729127112240 139729636150678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27189] ppid=27122 vsize=11012448 memory=8 CPUtime=1.42 cores=1,3,5,7
/proc/27125/task/27189/stat : 27189 (java) R 27122 27125 19383 0 -1 4202560 4271 13246 0 0 132 2 5 3 20 0 15 0 227072127 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729126066048 139729616451711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27190] ppid=27122 vsize=11012448 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27190/stat : 27190 (java) S 27122 27125 19383 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 87447 33554432000 4194304 4196468 140726538587920 139727499946336 139729636148949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
[pid=27125/tid=27191] ppid=27122 vsize=11012448 memory=4637164475387183459 CPUtime=0.08 cores=1,3,5,7
/proc/27125/task/27191/stat : 27191 (java) S 27122 27125 19383 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 227072127 11276746752 87447 33554432000 4194304 4196468 140726538587920 139729125014576 139729636149890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140726538594915 140726538597724 140726538597724 140726538600399 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 349788 KiB

Child status: 0
Real time (s): 4.38824
CPU time (s): 9.9767
CPU user time (s): 9.72299
CPU system time (s): 0.253711
CPU usage (%): 227.351
Max. virtual memory (cumulated for all children) (KiB): 11012448
Max. memory (cumulated for all children) (KiB): 349788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.72299
system time used= 0.253711
maximum resident set size= 352732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6062
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 27125
#   total CPU time (s): 9.9767
#   total CPU user time (s): 9.72299
#   total CPU system time (s): 0.253711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04387 second user time and 0.090104 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-12 19:31:29
IDJOB=4304470
IDBENCH=141309
IDSOLVER=2781
FILE ID=node135/4304470-1534095089
RUNJOBID= node135-1534095089-27107
PBS_JOBID= 21036983
Free space on /tmp= 42772 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-03-4-rom_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304470-1534095089/watcher-4304470-1534095089 -o /tmp/evaluation-result-4304470-1534095089/solver-4304470-1534095089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534095089-27107 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1041844028 -superng HOME/instance-4304470-1534095089.xml

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

MD5SUM BENCH= 72d3aa8b8ce65786440ef6159c4b95ee
RANDOM SEED=1041844028

node135.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.50
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.50
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.50
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.50
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:        13027536 kB
MemAvailable:   31897388 kB
Buffers:          251936 kB
Cached:         18640696 kB
SwapCached:            0 kB
Active:          8702644 kB
Inactive:       10251428 kB
Active(anon):       9436 kB
Inactive(anon):   104876 kB
Active(file):    8693208 kB
Inactive(file): 10146552 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             38760 kB
Writeback:             0 kB
AnonPages:        103480 kB
Mapped:            62088 kB
Shmem:             49824 kB
Slab:             486784 kB
SReclaimable:     458552 kB
SUnreclaim:        28232 kB
KernelStack:        3344 kB
PageTables:         5396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42632 MiB
End job on node135 at 2018-08-12 19:31:34