Trace number 4294478

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
scop order+MapleCOMSPS (2018-06-13)UNSAT 10.5529 3.84831

General information on the benchmark

NameSocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
MD5SUM6202e41c7df8f203e59ab292b28f5059
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.473528
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints2529
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":112}]
Minimum variable degree92
Maximum variable degree93
Distribution of variable degrees[{"degree":92,"count":96},{"degree":93,"count":16}]
Minimum constraint arity4
Maximum constraint arity112
Distribution of constraint arities[{"arity":4,"count":2520},{"arity":16,"count":8},{"arity":112,"count":1}]
Number of extensional constraints0
Number of intensional constraints2520
Distribution of constraint types[{"type":"intension","count":2520},{"type":"lex","count":1},{"type":"cardinality","count":7},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.52	
0.66/0.53	scop order+minisat_release (2018-06-13)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Mon Jul 23 16:47:43 CEST 2018
0.66/0.55	c PID: 10831
0.66/0.55	c IP: 172.20.3.105
0.66/0.55	c HOST: node105.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.45/1.56	c (1,1) Parsing End
3.45/1.57	c (1,1) CSP: 112 int (0 aux), 0 bool (0 aux), 2529 ctr, max domain size 4
3.45/1.57	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.45/1.57	c (1,1) Constraint Name Generate Begin
3.45/1.59	c (1,1) Ctr:HOME/instance-4294478-1532357262.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.45/1.59	c (1,1) Constraint Name Generate End
3.45/1.59	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.45/1.59	c (1,1) CSP to CSPinCNF Begin
4.07/1.77	c (1,1) translated 253 (10%) constraints
4.40/1.83	c (1,1) translated 506 (20%) constraints
4.40/1.86	c (1,1) translated 759 (30%) constraints
4.40/1.89	c (1,1) translated 1012 (40%) constraints
4.69/1.91	c (1,1) translated 1265 (50%) constraints
4.69/1.92	c (1,1) translated 1518 (60%) constraints
4.69/1.94	c (1,1) translated 1771 (70%) constraints
4.69/1.96	c (1,1) translated 2024 (80%) constraints
4.69/1.98	c (1,1) translated 2277 (90%) constraints
5.68/2.24	c (1,1) translated 2529 (100%) constraints
6.38/2.49	c (1,1) STATISTICS1:HOME/instance-4294478-1532357262.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,719,3820,32768,4,4,16,32768:56;4:4640;1:781,4:10079;2:1821;1:1675,4:2679;3:469;2:607;1:65,16:56;2:5421;1:2749,
6.38/2.49	c (1,1) ===========================================
6.38/2.49	c (1,1) Order
6.38/2.49	c (1,1) ===========================================
6.70/2.54	c (2,2) translated 382 (10%) constraints
6.70/2.58	c (2,2) translated 764 (20%) constraints
7.03/2.61	c (2,2) translated 1146 (30%) constraints
7.03/2.65	c (2,2) translated 1528 (40%) constraints
7.03/2.68	c (2,2) translated 1910 (50%) constraints
7.33/2.71	c (2,2) translated 2292 (60%) constraints
7.33/2.77	c (2,2) translated 2674 (70%) constraints
7.69/2.82	c (2,2) translated 3056 (80%) constraints
7.69/2.86	c (2,2) translated 3438 (90%) constraints
7.69/2.89	c (2,2) translated 3820 (100%) constraints
7.69/2.89	c (2,2) CSP to CSPinCNF End
7.69/2.89	c (2,2) CSP: 196 int (84 aux), 1055 bool (1055 aux), 4928 ctr, max domain size 5
7.69/2.90	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.69/2.90	c (2,2) CSPinCNF Propagation Begin
8.33/3.01	c (2,2) 188 values, 1386 unsatisfiable literals, and 1122 valid clauses are removed
8.33/3.01	c (2,2) CSPinCNF Propagation End
8.33/3.02	c (2,2) CSP: 336 int (224 aux), 915 bool (915 aux), 3806 ctr, max domain size 5
8.33/3.02	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.33/3.02	c (2,2) Simplify CSPinCNF Begin
8.65/3.13	c (2,2) Simplify CSPinCNF End
8.65/3.13	c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5
8.65/3.13	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.65/3.13	c (2,2) Calculate Precise Domain Begin
8.65/3.17	c (2,2) 0 values are removed by re-calculation
8.65/3.17	c (2,2) Calculate Precise Domain End
8.65/3.17	c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5
8.65/3.17	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.65/3.17	c (2,2) CSPinCNF to SatSolver Begin
8.90/3.28	c (2,2) 544 (10 %) CSP clauses are encoded (3119 SAT variables, 2067 SAT clauses)
9.23/3.31	c (2,2) 1087 (20 %) CSP clauses are encoded (3119 SAT variables, 3798 SAT clauses)
9.23/3.33	c (2,2) 1631 (30 %) CSP clauses are encoded (3119 SAT variables, 5335 SAT clauses)
9.23/3.35	c (2,2) 2174 (40 %) CSP clauses are encoded (3119 SAT variables, 6889 SAT clauses)
9.23/3.36	c (2,2) 2717 (50 %) CSP clauses are encoded (3119 SAT variables, 7444 SAT clauses)
9.23/3.37	c (2,2) 3261 (60 %) CSP clauses are encoded (3119 SAT variables, 7988 SAT clauses)
9.53/3.40	c (2,2) 3804 (70 %) CSP clauses are encoded (3119 SAT variables, 10435 SAT clauses)
9.53/3.43	c (2,2) 4348 (80 %) CSP clauses are encoded (3119 SAT variables, 12883 SAT clauses)
9.53/3.46	c (2,2) 4891 (90 %) CSP clauses are encoded (3119 SAT variables, 15330 SAT clauses)
9.53/3.48	c (2,2) 5434 (100 %) CSP clauses are encoded (3119 SAT variables, 16661 SAT clauses)
9.53/3.48	c (2,2) CSPinCNF to SatSolver End
9.53/3.48	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
9.84/3.52	c (2,2) STATISTICS2:HOME/instance-4294478-1532357262.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2879,5434,64,5,4,7,64:48;32:96;25:48;4:1760;1:35,5:288;4:4707;2:12385;1:35,4:1941;3:215;2:3069;1:209,7:48;6:96;3:48;2:1795;1:12769,
9.84/3.52	c (2,2) SatSolver.solve Begin
9.84/3.52	c (2,2) 3119 bool, 16664 clause
9.84/3.52	c (2,2) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294478-1532357262.xml-scop-10831.cnf HOME/instance-4294478-1532357262.xml-scop-10831.cnf.out
10.23/3.83	c (3,0) c This is COMiniSatPS.
10.23/3.83	c (3,0) c WARNING: for repeatability, setting FPU to use double precision
10.23/3.83	c (3,0) c ============================[ Problem Statistics ]=============================
10.23/3.83	c (3,0) c |                                                                             |
10.23/3.83	c (3,0) c |  Number of variables:          3119                                         |
10.23/3.83	c (3,0) c |  Number of clauses:           16664                                         |
10.23/3.83	c (3,0) c |  Parse time:                   0.01 s                                       |
10.23/3.83	c (3,0) c |  Eliminated clauses:           0.01 Mb                                      |
10.23/3.83	c (3,0) c Reduced to 2406 vars, 15360 cls (grow=0)
10.23/3.83	c (3,0) c No iterative elimination performed. (vars=2406, c/v ratio=6.4)
10.23/3.83	c (3,0) c |  Simplification time:          0.01 s                                       |
10.23/3.83	c (3,0) c |                                                                             |
10.23/3.83	c (3,0) c ============================[ Search Statistics ]==============================
10.23/3.83	c (3,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.23/3.83	c (3,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.23/3.83	c (3,0) c ===============================================================================
10.23/3.83	c (3,0) c ===============================================================================
10.23/3.83	c (3,0) c restarts              : 17
10.23/3.83	c (3,0) c conflicts             : 8645           (29504 /sec)
10.23/3.83	c (3,0) c decisions             : 14681          (0.00 % random) (50104 /sec)
10.23/3.83	c (3,0) c propagations          : 1088364        (3714439 /sec)
10.23/3.83	c (3,0) c conflict literals     : 176139         (13.57 % deleted)
10.23/3.83	c (3,0) c CPU time              : 0.293009 s
10.23/3.83	c (3,0) 
10.23/3.83	c (3,0) s UNSATISFIABLE
10.23/3.83	c (3,3) SatSolver.solve End
10.23/3.83	c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.23/3.83	c (3,3) Show results Begin
10.23/3.83	s UNSATISFIABLE
10.23/3.83	c (3,3) Show results End
10.23/3.83	c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.23/3.83	c (3,3) 1,1,2,2,2,2,2,3,3,STOP-AFTER(ALL)
10.23/3.83	c END-Prog: Mon Jul 23 16:47:46 CEST 2018

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294478-1532357262/watcher-4294478-1532357262 -o /tmp/evaluation-result-4294478-1532357262/solver-4294478-1532357262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294478-1532357262.xml 

running on 4 cores: 0,2,4,6

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

solver pid=10831, runsolver pid=10828

[startup+0.100092 s]*
/proc/loadavg: 2.21 2.15 2.10 3/220 10846
/proc/meminfo: memFree=14841476/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15011656 memory=73768 CPUtime=0.12 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 6095 0 0 0 10 2 0 0 20 0 15 0 53289419 15371935744 18442 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3752914 18442 2780 1 0 3715374 0
[pid=10831/tid=10833] ppid=10828 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 4187 0 0 0 8 1 0 0 20 0 15 0 53289419 15371935744 18442 33554432000 4194304 4196468 140724099750432 140618046755616 140618056514971 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 18442 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 18442 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 18442 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 18442 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 18442 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 18442 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 18442 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 18442 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) S 10828 10831 2271 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 18508 33554432000 4194304 4196468 140724099750432 140617044809712 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 18508 33554432000 4194304 4196468 140724099750432 140617043757168 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) S 10828 10831 2271 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 18508 33554432000 4194304 4196468 140724099750432 140617042704624 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 18508 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 18508 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73768 KiB

[startup+0.210399 s]*
/proc/loadavg: 2.21 2.15 2.10 4/220 10846
/proc/meminfo: memFree=14827708/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15011656 memory=86860 CPUtime=0.25 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 9618 0 0 0 23 2 0 0 20 0 15 0 53289419 15371935744 21715 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3752914 21715 2886 1 0 3715374 0
[pid=10831/tid=10833] ppid=10828 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 7527 0 0 0 18 2 0 0 20 0 15 0 53289419 15371935744 21715 33554432000 4194304 4196468 140724099750432 140618046777808 140618059031902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 21715 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15011656 memory=288370140354864768 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 21715 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 21715 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 21715 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) S 10828 10831 2271 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 53289426 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617044809712 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) S 10828 10831 2271 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617043757168 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0.03 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) R 10828 10831 2271 0 -1 4202560 293 0 0 0 3 0 0 0 20 0 15 0 53289426 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617042704624 140618054071068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 21715 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 21715 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86860 KiB

[startup+0.310393 s]*
/proc/loadavg: 2.21 2.15 2.10 3/220 10846
/proc/meminfo: memFree=14824172/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15011656 memory=90332 CPUtime=0.43 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 10146 0 0 0 40 3 0 0 20 0 15 0 53289419 15371935744 22583 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3752914 22583 2985 1 0 3715374 0
[pid=10831/tid=10833] ppid=10828 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 7892 0 0 0 27 2 0 0 20 0 15 0 53289419 15371935744 22583 33554432000 4194304 4196468 140724099750432 140618046755568 140618059031902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 22583 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15011656 memory=288230376152071981 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 22583 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15011656 memory=139764203153024 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289423 15371935744 22583 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 22583 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) R 10828 10831 2271 0 -1 4202560 388 0 0 0 2 0 0 0 20 0 15 0 53289426 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617044809712 140618054128760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) S 10828 10831 2271 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 53289426 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617043757168 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) S 10828 10831 2271 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 53289426 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617042704624 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 22583 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15371935744 22583 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90332 KiB

[startup+0.707813 s]
/proc/loadavg: 2.21 2.15 2.10 3/220 10846
/proc/meminfo: memFree=14799740/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15017928 memory=131240 CPUtime=1.06 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 16941 0 0 0 102 4 0 0 20 0 15 0 53289419 15378358272 32810 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3754482 32810 3137 1 0 3715886 0
[pid=10831/tid=10833] ppid=10828 vsize=15017928 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 14247 0 0 0 64 3 0 0 20 0 15 0 53289419 15378358272 32810 33554432000 4194304 4196468 140724099750432 140618046787680 140617577335812 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15017928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15378358272 32810 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15017928 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15017928 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53289423 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15017928 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53289423 15378358272 32810 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289423 15378358272 32810 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15378358272 32810 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15017928 memory=8384 CPUtime=0.11 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) R 10828 10831 2271 0 -1 4202560 630 0 0 0 11 0 0 0 20 0 15 0 53289426 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617044801664 140618059344721 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15017928 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) R 10828 10831 2271 0 -1 4202560 281 0 0 0 8 0 0 0 20 0 15 0 53289426 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617043743952 140618060975257 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15017928 memory=1424 CPUtime=0.17 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) R 10828 10831 2271 0 -1 1077944384 443 0 0 0 17 0 0 0 20 0 15 0 53289426 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617042700352 140618074961621 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15017928 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15378358272 32810 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15017928 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15378358272 32810 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131240 KiB

[startup+1.50067 s]
/proc/loadavg: 2.21 2.15 2.10 4/220 10846
/proc/meminfo: memFree=14745044/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15022100 memory=235772 CPUtime=3.45 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 20103 0 0 0 337 8 0 0 20 0 15 0 53289419 15382630400 58943 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3755525 58943 3206 1 0 3716910 0
[pid=10831/tid=10833] ppid=10828 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 15122 0 0 0 141 6 0 0 20 0 15 0 53289419 15382630400 58943 33554432000 4194304 4196468 140724099750432 140618046783760 140618074963350 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15382630400 58943 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15382630400 58943 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15382630400 58943 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15382630400 58943 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53289423 15382630400 58943 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0

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

[startup+3.11066 s]
/proc/loadavg: 2.44 2.19 2.12 6/220 10846
/proc/meminfo: memFree=14430792/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15024148 memory=508316 CPUtime=8.65 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 26350 0 0 0 852 13 0 0 20 0 15 0 53289419 15384727552 127079 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3756037 127079 3215 1 0 3717422 0
[pid=10831/tid=10833] ppid=10828 vsize=15024148 memory=17188 CPUtime=3.08 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 15963 0 0 0 298 10 0 0 20 0 15 0 53289419 15384727552 127079 33554432000 4194304 4196468 140724099750432 140618046789560 140617581383747 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15024148 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15384727552 127079 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15024148 memory=6442450945227 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15024148 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15024148 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15024148 memory=289676 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53289423 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15024148 memory=13570392392808141 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53289423 15384727552 127079 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15024148 memory=256308 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289423 15384727552 127079 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15384727552 127079 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15024148 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) R 10828 10831 2271 0 -1 4202560 2953 0 0 0 222 0 0 0 20 0 15 0 53289426 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617044796544 140618068048251 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15024148 memory=0 CPUtime=2.12 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) R 10828 10831 2271 0 -1 4202560 2461 0 0 0 212 0 0 0 20 0 15 0 53289426 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617043745488 140618060076800 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15024148 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) S 10828 10831 2271 0 -1 1077944384 3634 0 0 0 118 0 0 0 20 0 15 0 53289426 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617042704624 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15384727552 127079 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15384727552 127079 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 8.65 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 508316 KiB

[startup+3.84826 s]
# the end of solver process 10831 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.3802 s, system=0.172734 s

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

[startup+3.20126 s]
/proc/loadavg: 2.44 2.19 2.12 6/220 10846
/proc/meminfo: memFree=14430792/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15026264 memory=518128 CPUtime=8.9 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 26740 0 0 0 877 13 0 0 20 0 15 0 53289419 15386894336 129532 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3756566 129532 3226 1 0 3717422 0
[pid=10831/tid=10833] ppid=10828 vsize=15026264 memory=6791534058613427641 CPUtime=3.16 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) R 10828 10831 2271 0 -1 4202560 16282 0 0 0 306 10 0 0 20 0 15 0 53289419 15386894336 129532 33554432000 4194304 4196468 140724099750432 140618046789824 140617583785799 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15026264 memory=10400 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15386894336 129532 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15026264 memory=644 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15026264 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289421 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15026264 memory=960 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53289421 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15026264 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53289423 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15026264 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53289423 15386894336 129532 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15026264 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289423 15386894336 129532 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15026264 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15386894336 129532 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15026264 memory=2240 CPUtime=2.3 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) R 10828 10831 2271 0 -1 4202560 2962 0 0 0 230 0 0 0 20 0 15 0 53289426 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617044788880 140618054197214 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15026264 memory=0 CPUtime=2.18 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) R 10828 10831 2271 0 -1 4202560 2487 0 0 0 218 0 0 0 20 0 15 0 53289426 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617043747440 140618060965724 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15026264 memory=0 CPUtime=1.21 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) R 10828 10831 2271 0 -1 1077944384 3669 0 0 0 121 0 0 0 20 0 15 0 53289426 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617042704624 140618074962562 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15026264 memory=139764074728376 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53289426 15386894336 129532 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15026264 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53289426 15386894336 129532 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 518128 KiB

[startup+3.6007 s]
/proc/loadavg: 2.44 2.19 2.12 6/220 10846
/proc/meminfo: memFree=14430792/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15683912 memory=625096 CPUtime=10.15 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 28552 0 0 0 999 16 0 0 20 0 19 0 53289419 16060325888 156274 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3920978 156274 3230 1 0 3881834 0
[pid=10831/tid=10833] ppid=10828 vsize=15683912 memory=796 CPUtime=3.55 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) S 10828 10831 2271 0 -1 1077944384 16736 0 0 0 343 12 0 0 20 0 19 0 53289419 16060325888 156274 33554432000 4194304 4196468 140724099750432 140618046790656 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15683912 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 156274 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15683912 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15683912 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15683912 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15683912 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53289423 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15683912 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53289423 16060325888 156274 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15683912 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289423 16060325888 156274 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15683912 memory=279528149046848 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53289426 16060325888 156274 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15683912 memory=6944652177228980272 CPUtime=2.69 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) R 10828 10831 2271 0 -1 4202560 3052 0 0 0 268 1 0 0 20 0 19 0 53289426 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617044794224 140618060981360 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15683912 memory=6296428457103282531 CPUtime=2.56 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) R 10828 10831 2271 0 -1 4202560 3508 0 0 0 255 1 0 0 20 0 19 0 53289426 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617043743200 140618058338101 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15683912 memory=279528148836992 CPUtime=1.32 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) S 10828 10831 2271 0 -1 1077944384 3864 0 0 0 131 1 0 0 20 0 19 0 53289426 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617042704624 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15683912 memory=7684433391216329530 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53289426 16060325888 156274 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15683912 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289426 16060325888 156274 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 10.15 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 625096 KiB

[startup+3.80065 s]
/proc/loadavg: 2.44 2.19 2.12 6/220 10846
/proc/meminfo: memFree=14430792/32770624 swapFree=67108860/67108860
[pid=10831] ppid=10828 vsize=15683912 memory=621460 CPUtime=10.23 cores=0,2,4,6
/proc/10831/stat : 10831 (java) S 10828 10831 2271 0 -1 1077944320 28600 0 0 0 1007 16 0 0 20 0 19 0 53289419 16060325888 155365 33554432000 4194304 4196468 140724099750432 140724099732976 140618074951415 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
/proc/10831/statm: 3920978 155365 3230 1 0 3881834 0
[pid=10831/tid=10833] ppid=10828 vsize=15683912 memory=6655300316396806240 CPUtime=3.55 cores=0,2,4,6
/proc/10831/task/10833/stat : 10833 (java) S 10828 10831 2271 0 -1 1077944384 16736 0 0 0 343 12 0 0 20 0 19 0 53289419 16060325888 155365 33554432000 4194304 4196468 140724099750432 140618046790656 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10834] ppid=10828 vsize=15683912 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10834/stat : 10834 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 155365 33554432000 4194304 4196468 140724099750432 140618079193360 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10835] ppid=10828 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10835/stat : 10835 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617901689232 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10836] ppid=10828 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10836/stat : 10836 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617534794256 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10837] ppid=10828 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10837/stat : 10837 (java) S 10828 10831 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53289421 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617533741712 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10838] ppid=10828 vsize=15683912 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10838/stat : 10838 (java) S 10828 10831 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53289423 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617045862896 140618074962562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10839] ppid=10828 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10839/stat : 10839 (java) S 10828 10831 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53289423 16060325888 155365 33554432000 4194304 4196468 140724099750432 140616692393376 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10840] ppid=10828 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10840/stat : 10840 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289423 16060325888 155365 33554432000 4194304 4196468 140724099750432 140616423958000 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10841] ppid=10828 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10841/stat : 10841 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53289426 16060325888 155365 33554432000 4194304 4196468 140724099750432 140616049449680 140618074970011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10842] ppid=10828 vsize=15683912 memory=6943526294502006880 CPUtime=2.73 cores=0,2,4,6
/proc/10831/task/10842/stat : 10842 (java) S 10828 10831 2271 0 -1 1077944384 3063 0 0 0 272 1 0 0 20 0 19 0 53289426 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617044809712 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10843] ppid=10828 vsize=15683912 memory=0 CPUtime=2.6 cores=0,2,4,6
/proc/10831/task/10843/stat : 10843 (java) S 10828 10831 2271 0 -1 1077944384 3545 0 0 0 259 1 0 0 20 0 19 0 53289426 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617043757168 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10844] ppid=10828 vsize=15683912 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/10831/task/10844/stat : 10844 (java) S 10828 10831 2271 0 -1 1077944384 3864 0 0 0 131 1 0 0 20 0 19 0 53289426 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617042704624 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10845] ppid=10828 vsize=15683912 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10845/stat : 10845 (java) S 10828 10831 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53289426 16060325888 155365 33554432000 4194304 4196468 140724099750432 140615551543904 140618074961621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
[pid=10831/tid=10846] ppid=10828 vsize=15683912 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/10831/task/10846/stat : 10846 (java) S 10828 10831 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53289426 16060325888 155365 33554432000 4194304 4196468 140724099750432 140617041652528 140618074962562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140724099752947 140724099753225 140724099753225 140724099755983 0
Current children cumulated CPU time: 10.23 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 621460 KiB

Child status: 0
Real time (s): 3.84831
CPU time (s): 10.5529
CPU user time (s): 10.3802
CPU system time (s): 0.172734
CPU usage (%): 274.222
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 625096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3802
system time used= 0.172734
maximum resident set size= 625368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3851
involuntary context switches= 43


# summary of solver processes directly reported to runsolver:
#   pid: 10831
#   total CPU time (s): 10.5529
#   total CPU user time (s): 10.3802
#   total CPU system time (s): 0.172734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047604 second user time and 0.079564 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 16:47:42
IDJOB=4294478
IDBENCH=141387
IDSOLVER=2756
FILE ID=node105/4294478-1532357262
RUNJOBID= node105-1532330128-2302
PBS_JOBID= 21019001
Free space on /tmp= 44844 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-7-cp_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -order -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294478-1532357262/watcher-4294478-1532357262 -o /tmp/evaluation-result-4294478-1532357262/solver-4294478-1532357262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294478-1532357262.xml

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

MD5SUM BENCH= 6202e41c7df8f203e59ab292b28f5059
RANDOM SEED=1172440950

node105.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.32
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.32
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.32
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.32
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:        14903264 kB
MemAvailable:   30552940 kB
Buffers:          199660 kB
Cached:         15423216 kB
SwapCached:            0 kB
Active:          2798508 kB
Inactive:       14265064 kB
Active(anon):    1392828 kB
Inactive(anon):    67172 kB
Active(file):    1405680 kB
Inactive(file): 14197892 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7944 kB
Writeback:            28 kB
AnonPages:       1539196 kB
Mapped:            49480 kB
Shmem:             17036 kB
Slab:             502264 kB
SReclaimable:     474564 kB
SUnreclaim:        27700 kB
KernelStack:        3872 kB
PageTables:         8300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13467264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44836 MiB
End job on node105 at 2018-07-23 16:47:46