Trace number 4294477

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 both+MapleCOMSPS (2018-06-13)UNSAT 10.3785 3.81878

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.67/0.52	
0.67/0.52	scop both+minisat_release (2018-06-13)
0.67/0.52	
0.80/0.63	c BEGIN-Prog: Mon Jul 23 17:29:53 CEST 2018
0.80/0.63	c PID: 17571
0.80/0.63	c IP: 172.20.3.102
0.80/0.63	c HOST: node102.alineos.net
0.80/0.63	c (0,0) Parsing Begin
3.52/1.54	c (1,1) Parsing End
3.52/1.55	c (1,1) CSP: 112 int (0 aux), 0 bool (0 aux), 2529 ctr, max domain size 4
3.52/1.55	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.52/1.55	c (1,1) Constraint Name Generate Begin
3.52/1.57	c (1,1) Ctr:HOME/instance-4294477-1532359793.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.52/1.57	c (1,1) Constraint Name Generate End
3.52/1.57	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.52/1.57	c (1,1) CSP to CSPinCNF Begin
4.15/1.75	c (1,1) translated 253 (10%) constraints
4.38/1.81	c (1,1) translated 506 (20%) constraints
4.38/1.84	c (1,1) translated 759 (30%) constraints
4.38/1.86	c (1,1) translated 1012 (40%) constraints
4.38/1.88	c (1,1) translated 1265 (50%) constraints
4.38/1.90	c (1,1) translated 1518 (60%) constraints
4.67/1.92	c (1,1) translated 1771 (70%) constraints
4.67/1.94	c (1,1) translated 2024 (80%) constraints
4.67/1.95	c (1,1) translated 2277 (90%) constraints
5.69/2.23	c (1,1) translated 2529 (100%) constraints
6.36/2.49	c (1,1) STATISTICS1:HOME/instance-4294477-1532359793.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.36/2.49	c (1,1) ===========================================
6.36/2.49	c (1,1) Both Encoding selects:
6.36/2.49	c (1,1) Order
6.36/2.50	c (1,1) ===========================================
6.68/2.53	c (2,1) translated 382 (10%) constraints
6.68/2.57	c (2,2) translated 764 (20%) constraints
6.68/2.60	c (2,2) translated 1146 (30%) constraints
7.00/2.62	c (2,2) translated 1528 (40%) constraints
7.00/2.65	c (2,2) translated 1910 (50%) constraints
7.00/2.68	c (2,2) translated 2292 (60%) constraints
7.31/2.74	c (2,2) translated 2674 (70%) constraints
7.31/2.79	c (2,2) translated 3056 (80%) constraints
7.64/2.84	c (2,2) translated 3438 (90%) constraints
7.64/2.87	c (2,2) translated 3820 (100%) constraints
7.64/2.87	c (2,2) CSP to CSPinCNF End
7.64/2.87	c (2,2) CSP: 196 int (84 aux), 1055 bool (1055 aux), 4928 ctr, max domain size 5
7.64/2.87	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.64/2.87	c (2,2) CSPinCNF Propagation Begin
7.97/2.97	c (2,2) 188 values, 1386 unsatisfiable literals, and 1122 valid clauses are removed
7.97/2.97	c (2,2) CSPinCNF Propagation End
7.97/2.97	c (2,2) CSP: 336 int (224 aux), 915 bool (915 aux), 3806 ctr, max domain size 5
7.97/2.97	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.97/2.97	c (2,2) Simplify CSPinCNF Begin
8.33/3.09	c (2,2) Simplify CSPinCNF End
8.33/3.09	c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5
8.33/3.09	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.33/3.09	c (2,2) Calculate Precise Domain Begin
8.63/3.13	c (2,2) 0 values are removed by re-calculation
8.63/3.13	c (2,2) Calculate Precise Domain End
8.63/3.14	c (2,2) CSP: 336 int (224 aux), 2543 bool (2543 aux), 5434 ctr, max domain size 5
8.63/3.14	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.63/3.14	c (2,2) CSPinCNF to SatSolver Begin
8.86/3.24	c (2,2) 544 (10 %) CSP clauses are encoded (3119 SAT variables, 2067 SAT clauses)
8.86/3.27	c (2,2) 1087 (20 %) CSP clauses are encoded (3119 SAT variables, 3798 SAT clauses)
8.86/3.29	c (2,2) 1631 (30 %) CSP clauses are encoded (3119 SAT variables, 5335 SAT clauses)
9.23/3.32	c (2,2) 2174 (40 %) CSP clauses are encoded (3119 SAT variables, 6889 SAT clauses)
9.23/3.33	c (2,2) 2717 (50 %) CSP clauses are encoded (3119 SAT variables, 7444 SAT clauses)
9.23/3.34	c (2,2) 3261 (60 %) CSP clauses are encoded (3119 SAT variables, 7988 SAT clauses)
9.23/3.37	c (2,2) 3804 (70 %) CSP clauses are encoded (3119 SAT variables, 10435 SAT clauses)
9.50/3.40	c (2,2) 4348 (80 %) CSP clauses are encoded (3119 SAT variables, 12883 SAT clauses)
9.50/3.43	c (2,2) 4891 (90 %) CSP clauses are encoded (3119 SAT variables, 15330 SAT clauses)
9.50/3.45	c (2,2) 5434 (100 %) CSP clauses are encoded (3119 SAT variables, 16661 SAT clauses)
9.50/3.45	c (2,2) CSPinCNF to SatSolver End
9.50/3.45	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
9.50/3.49	c (2,2) STATISTICS2:HOME/instance-4294477-1532359793.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.50/3.49	c (2,2) SatSolver.solve Begin
9.50/3.49	c (2,2) 3119 bool, 16664 clause
9.50/3.50	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-4294477-1532359793.xml-scop-17571.cnf HOME/instance-4294477-1532359793.xml-scop-17571.cnf.out
10.06/3.80	c (3,0) c This is COMiniSatPS.
10.06/3.80	c (3,0) c WARNING: for repeatability, setting FPU to use double precision
10.06/3.80	c (3,0) c ============================[ Problem Statistics ]=============================
10.06/3.80	c (3,0) c |                                                                             |
10.06/3.80	c (3,0) c |  Number of variables:          3119                                         |
10.06/3.80	c (3,0) c |  Number of clauses:           16664                                         |
10.06/3.80	c (3,0) c |  Parse time:                   0.01 s                                       |
10.06/3.80	c (3,0) c |  Eliminated clauses:           0.01 Mb                                      |
10.06/3.80	c (3,0) c Reduced to 2406 vars, 15360 cls (grow=0)
10.06/3.80	c (3,0) c No iterative elimination performed. (vars=2406, c/v ratio=6.4)
10.06/3.80	c (3,0) c |  Simplification time:          0.01 s                                       |
10.06/3.80	c (3,0) c |                                                                             |
10.06/3.80	c (3,0) c ============================[ Search Statistics ]==============================
10.06/3.80	c (3,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.06/3.80	c (3,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.06/3.80	c (3,0) c ===============================================================================
10.06/3.80	c (3,0) c ===============================================================================
10.06/3.80	c (3,0) c restarts              : 17
10.06/3.80	c (3,0) c conflicts             : 8645           (30119 /sec)
10.06/3.80	c (3,0) c decisions             : 14681          (0.00 % random) (51148 /sec)
10.06/3.80	c (3,0) c propagations          : 1088364        (3791813 /sec)
10.06/3.80	c (3,0) c conflict literals     : 176139         (13.57 % deleted)
10.06/3.80	c (3,0) c CPU time              : 0.28703 s
10.06/3.80	c (3,0) 
10.06/3.80	c (3,0) s UNSATISFIABLE
10.06/3.80	c (3,3) SatSolver.solve End
10.06/3.80	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.06/3.80	c (3,3) Show results Begin
10.06/3.80	s UNSATISFIABLE
10.06/3.80	c (3,3) Show results End
10.06/3.80	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
10.06/3.81	c (3,3) 1,1,2,2,2,2,2,3,3,STOP-AFTER(ALL)
10.06/3.81	c END-Prog: Mon Jul 23 17:29:57 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 (3934 MiB free)
  memory of node 1: 16384 MiB (10504 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294477-1532359793/watcher-4294477-1532359793 -o /tmp/evaluation-result-4294477-1532359793/solver-4294477-1532359793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294477-1532359793.xml 

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

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

solver pid=17571, runsolver pid=17568

[startup+0.101976 s]*
/proc/loadavg: 2.22 2.14 2.10 3/220 17586
/proc/meminfo: memFree=14725500/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15011656 memory=71568 CPUtime=0.11 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 6695 0 0 0 9 2 0 0 20 0 15 0 53542454 15371935744 17892 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3752914 17892 2755 1 0 3715374 0
[pid=17571/tid=17573] ppid=17568 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 4932 0 0 0 7 2 0 0 20 0 15 0 53542454 15371935744 18090 33554432000 4194304 4196468 140736527233632 139686693451480 139686701917938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 18090 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 18090 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 18090 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 18090 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542457 15371935744 18090 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542458 15371935744 18156 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542458 15371935744 18156 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 18156 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) S 17568 17571 8919 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 18156 33554432000 4194304 4196468 140736527233632 139685087136240 139686721653378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 18156 33554432000 4194304 4196468 140736527233632 139685086083696 139686721653378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0.01 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) S 17568 17571 8919 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 53542460 15371935744 18156 33554432000 4194304 4196468 140736527233632 139685085031152 139686721653378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542461 15371935744 18156 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542461 15371935744 18156 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71568 KiB

[startup+0.21076 s]*
/proc/loadavg: 2.22 2.14 2.10 3/220 17586
/proc/meminfo: memFree=14712472/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15011656 memory=84656 CPUtime=0.25 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 10118 0 0 0 22 3 0 0 20 0 15 0 53542454 15371935744 21164 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3752914 21164 2874 1 0 3715374 0
[pid=17571/tid=17573] ppid=17568 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 7995 0 0 0 17 3 0 0 20 0 15 0 53542454 15371935744 21164 33554432000 4194304 4196468 140736527233632 139686693461616 139686721654166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 21164 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15011656 memory=288370127639897728 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 21164 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 21164 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 21164 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542457 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542458 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542458 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 21164 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) R 17568 17571 8919 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685087136240 139686721653378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) R 17568 17571 8919 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685086083696 139686706033929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0.03 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) R 17568 17571 8919 0 -1 4202560 284 0 0 0 3 0 0 0 20 0 15 0 53542460 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685085031152 139686700599974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542461 15371935744 21164 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542461 15371935744 21164 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84656 KiB

[startup+0.310786 s]*
/proc/loadavg: 2.22 2.14 2.10 3/220 17586
/proc/meminfo: memFree=14709184/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15011656 memory=88124 CPUtime=0.43 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 10631 0 0 0 39 4 0 0 20 0 15 0 53542454 15371935744 22031 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3752914 22031 2968 1 0 3715374 0
[pid=17571/tid=17573] ppid=17568 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 8370 0 0 0 26 3 0 0 20 0 15 0 53542454 15371935744 22031 33554432000 4194304 4196468 140736527233632 139686693469856 139686705722718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 22031 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15011656 memory=288370127639897728 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 22031 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 22031 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15371935744 22031 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542457 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542458 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542458 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15371935744 22031 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) R 17568 17571 8919 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 53542460 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685087136240 139686721653378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) R 17568 17571 8919 0 -1 4202560 155 0 0 0 3 0 0 0 20 0 15 0 53542460 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685086083696 139686701884659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0.07 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) R 17568 17571 8919 0 -1 4202560 304 0 0 0 7 0 0 0 20 0 15 0 53542460 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685085025744 139686721663578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542461 15371935744 22031 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15011656 memory=139751488185984 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542461 15371935744 22031 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88124 KiB

[startup+0.70398 s]
/proc/loadavg: 2.22 2.14 2.10 3/220 17586
/proc/meminfo: memFree=14684752/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15017928 memory=129456 CPUtime=1.06 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 17582 0 0 0 100 6 0 0 20 0 15 0 53542454 15378358272 32364 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3754482 32364 3139 1 0 3715886 0
[pid=17571/tid=17573] ppid=17568 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 14740 0 0 0 62 5 0 0 20 0 15 0 53542454 15378358272 32364 33554432000 4194304 4196468 140736527233632 139686693480240 139686705722718 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15378358272 32364 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15378358272 32364 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15378358272 32364 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15017928 memory=215248325859337 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15378358272 32364 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15017928 memory=287128 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53542457 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542458 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542458 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15378358272 32364 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15017928 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) R 17568 17571 8919 0 -1 4202560 718 0 0 0 10 0 0 0 20 0 15 0 53542460 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685087123024 139686701359367 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15017928 memory=-3472574513799858009 CPUtime=0.08 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) R 17568 17571 8919 0 -1 4202560 277 0 0 0 8 0 0 0 20 0 15 0 53542460 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685086076328 139686703172744 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15017928 memory=6944656592387989600 CPUtime=0.18 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) R 17568 17571 8919 0 -1 4202560 487 0 0 0 18 0 0 0 20 0 15 0 53542460 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685085028960 139686701566371 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542461 15378358272 32364 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542461 15378358272 32364 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129456 KiB

[startup+1.50102 s]
/proc/loadavg: 2.22 2.14 2.10 5/220 17586
/proc/meminfo: memFree=14629080/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15022100 memory=238320 CPUtime=3.52 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 20764 0 0 0 343 9 0 0 20 0 15 0 53542454 15382630400 59580 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3755525 59580 3204 1 0 3716910 0
[pid=17571/tid=17573] ppid=17568 vsize=15022100 memory=126 CPUtime=1.47 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 15588 0 0 0 140 7 0 0 20 0 15 0 53542454 15382630400 59580 33554432000 4194304 4196468 140736527233632 139686693475344 139686183753292 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15382630400 59580 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15382630400 59580 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15382630400 59580 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15382630400 59580 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53542457 15382630400 59580 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0

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

[startup+3.11073 s]
/proc/loadavg: 2.37 2.17 2.11 5/220 17586
/proc/meminfo: memFree=14319976/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15024148 memory=502100 CPUtime=8.63 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 25919 0 0 0 848 15 0 0 20 0 15 0 53542454 15384727552 125525 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3756037 125525 3214 1 0 3717422 0
[pid=17571/tid=17573] ppid=17568 vsize=15024148 memory=445528 CPUtime=3.05 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 16518 0 0 0 295 10 0 0 20 0 15 0 53542454 15384727552 125525 33554432000 4194304 4196468 140736527233632 139686693449384 139686721663578 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15024148 memory=321460 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15384727552 125525 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15384727552 125525 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15024148 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15384727552 125525 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15024148 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15384727552 125525 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15024148 memory=283996 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53542457 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542458 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542458 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15384727552 125525 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15024148 memory=279502781433952 CPUtime=2.14 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) R 17568 17571 8919 0 -1 4202560 2480 0 0 0 214 0 0 0 20 0 15 0 53542460 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685087123024 139686721663578 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15024148 memory=279502781475376 CPUtime=2.19 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) R 17568 17571 8919 0 -1 4202560 1862 0 0 0 218 1 0 0 20 0 15 0 53542460 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685086071312 139686721663578 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15024148 memory=288230574492221466 CPUtime=1.2 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) S 17568 17571 8919 0 -1 1077944384 3697 0 0 0 119 1 0 0 20 0 15 0 53542460 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685085031152 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542461 15384727552 125525 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542461 15384727552 125525 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 502100 KiB

[startup+3.81874 s]
# the end of solver process 17571 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.1843 s, system=0.194242 s

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

[startup+3.20102 s]
/proc/loadavg: 2.37 2.17 2.11 5/220 17586
/proc/meminfo: memFree=14319976/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15026264 memory=509784 CPUtime=8.86 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 26344 0 0 0 871 15 0 0 20 0 15 0 53542454 15386894336 127446 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3756566 127446 3226 1 0 3717422 0
[pid=17571/tid=17573] ppid=17568 vsize=15026264 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) R 17568 17571 8919 0 -1 4202560 16790 0 0 0 304 11 0 0 20 0 15 0 53542454 15386894336 127446 33554432000 4194304 4196468 140736527233632 139686693478080 139686721654166 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15026264 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15386894336 127446 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15386894336 127446 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542456 15386894336 127446 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53542456 15386894336 127446 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53542457 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53542458 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53542458 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542460 15386894336 127446 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15026264 memory=0 CPUtime=2.2 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) R 17568 17571 8919 0 -1 4202560 2495 0 0 0 219 1 0 0 20 0 15 0 53542460 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685087120160 139686703554735 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15026264 memory=4140 CPUtime=2.23 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) R 17568 17571 8919 0 -1 1077944384 1890 0 0 0 222 1 0 0 20 0 15 0 53542460 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685086083696 139686721653378 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15026264 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) R 17568 17571 8919 0 -1 4202560 3807 0 0 0 124 1 0 0 20 0 15 0 53542460 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685085029112 139686721656113 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15026264 memory=148 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53542461 15386894336 127446 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15026264 memory=303711745523056951 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53542461 15386894336 127446 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 509784 KiB

[startup+3.60102 s]
/proc/loadavg: 2.37 2.17 2.11 5/220 17586
/proc/meminfo: memFree=14319976/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15683912 memory=608736 CPUtime=10.05 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 27631 0 0 0 988 17 0 0 20 0 19 0 53542454 16060325888 152184 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3920978 152184 3230 1 0 3881834 0
[pid=17571/tid=17573] ppid=17568 vsize=15683912 memory=54417 CPUtime=3.5 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) S 17568 17571 8919 0 -1 1077944384 17202 0 0 0 338 12 0 0 20 0 19 0 53542454 16060325888 152184 33554432000 4194304 4196468 140736527233632 139686693481472 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15683912 memory=52209 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 152184 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15683912 memory=50001 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 152184 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15683912 memory=3832621772632682979 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 152184 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15683912 memory=3762257422205380161 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 152184 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15683912 memory=3472873653726661025 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53542457 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15683912 memory=41169 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53542458 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15683912 memory=38961 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53542458 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15683912 memory=38961 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53542460 16060325888 152184 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15683912 memory=34545 CPUtime=2.55 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) S 17568 17571 8919 0 -1 1077944384 2695 0 0 0 254 1 0 0 20 0 19 0 53542460 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685087136240 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15683912 memory=32337 CPUtime=2.62 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) R 17568 17571 8919 0 -1 4202560 2373 0 0 0 261 1 0 0 20 0 19 0 53542460 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685086070160 139686706563548 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15683912 memory=30139 CPUtime=1.33 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) S 17568 17571 8919 0 -1 1077944384 3944 0 0 0 132 1 0 0 20 0 19 0 53542460 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685085031152 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15683912 memory=27921 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53542461 16060325888 152184 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15683912 memory=7521983798963323877 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53542461 16060325888 152184 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 608736 KiB

[startup+3.80068 s]
/proc/loadavg: 2.37 2.17 2.11 5/220 17586
/proc/meminfo: memFree=14319976/32770624 swapFree=67108860/67108860
[pid=17571] ppid=17568 vsize=15683912 memory=605236 CPUtime=10.06 cores=1,3,5,7
/proc/17571/stat : 17571 (java) S 17568 17571 8919 0 -1 1077944320 27666 0 0 0 989 17 0 0 20 0 19 0 53542454 16060325888 151309 33554432000 4194304 4196468 140736527233632 140736527216176 139686721642231 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
/proc/17571/statm: 3920978 151309 3230 1 0 3881834 0
[pid=17571/tid=17573] ppid=17568 vsize=15683912 memory=7900611722800716256 CPUtime=3.5 cores=1,3,5,7
/proc/17571/task/17573/stat : 17573 (java) S 17568 17571 8919 0 -1 1077944384 17202 0 0 0 338 12 0 0 20 0 19 0 53542454 16060325888 151309 33554432000 4194304 4196468 140736527233632 139686693481472 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17574] ppid=17568 vsize=15683912 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17574/stat : 17574 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 151309 33554432000 4194304 4196468 140736527233632 139686725884688 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17575] ppid=17568 vsize=15683912 memory=-9174445032661854264 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17575/stat : 17575 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 151309 33554432000 4194304 4196468 140736527233632 139686501587856 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17576] ppid=17568 vsize=15683912 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17576/stat : 17576 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 151309 33554432000 4194304 4196468 140736527233632 139686500535312 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17577] ppid=17568 vsize=15683912 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17577/stat : 17577 (java) S 17568 17571 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53542456 16060325888 151309 33554432000 4194304 4196468 140736527233632 139686499482768 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17578] ppid=17568 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17578/stat : 17578 (java) S 17568 17571 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53542457 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685759379440 139686721653378 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17579] ppid=17568 vsize=15683912 memory=-2892745056951626097 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17579/stat : 17579 (java) S 17568 17571 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53542458 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685355578272 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17580] ppid=17568 vsize=15683912 memory=8171313558828896344 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17580/stat : 17580 (java) S 17568 17571 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53542458 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685221356528 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17581] ppid=17568 vsize=15683912 memory=6223407613083 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17581/stat : 17581 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53542460 16060325888 151309 33554432000 4194304 4196468 140736527233632 139684846852304 139686721660827 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17582] ppid=17568 vsize=15683912 memory=297237821058711863 CPUtime=2.55 cores=1,3,5,7
/proc/17571/task/17582/stat : 17582 (java) S 17568 17571 8919 0 -1 1077944384 2695 0 0 0 254 1 0 0 20 0 19 0 53542460 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685087136240 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17583] ppid=17568 vsize=15683912 memory=16105853321218399 CPUtime=2.64 cores=1,3,5,7
/proc/17571/task/17583/stat : 17583 (java) S 17568 17571 8919 0 -1 1077944384 2408 0 0 0 263 1 0 0 20 0 19 0 53542460 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685086083696 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17584] ppid=17568 vsize=15683912 memory=7232890293113415765 CPUtime=1.33 cores=1,3,5,7
/proc/17571/task/17584/stat : 17584 (java) S 17568 17571 8919 0 -1 1077944384 3944 0 0 0 132 1 0 0 20 0 19 0 53542460 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685085031152 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17585] ppid=17568 vsize=15683912 memory=4639930699739322728 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17585/stat : 17585 (java) S 17568 17571 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53542461 16060325888 151309 33554432000 4194304 4196468 140736527233632 139684348947552 139686721652437 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
[pid=17571/tid=17586] ppid=17568 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17571/task/17586/stat : 17586 (java) S 17568 17571 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53542461 16060325888 151309 33554432000 4194304 4196468 140736527233632 139685083978032 139686721653378 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140736527242228 140736527242505 140736527242505 140736527245263 0
Current children cumulated CPU time: 10.06 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 605236 KiB

Child status: 0
Real time (s): 3.81878
CPU time (s): 10.3785
CPU user time (s): 10.1843
CPU system time (s): 0.194242
CPU usage (%): 271.776
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 608736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1843
system time used= 0.194242
maximum resident set size= 608772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3879
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 17571
#   total CPU time (s): 10.3785
#   total CPU user time (s): 10.1843
#   total CPU system time (s): 0.194242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049267 second user time and 0.080714 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-23 17:29:53
IDJOB=4294477
IDBENCH=141387
IDSOLVER=2755
FILE ID=node102/4294477-1532359793
RUNJOBID= node102-1532330044-8951
PBS_JOBID= 21019000
Free space on /tmp= 53236 MiB

SOLVER NAME= scop both+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 -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294477-1532359793/watcher-4294477-1532359793 -o /tmp/evaluation-result-4294477-1532359793/solver-4294477-1532359793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294477-1532359793.xml

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

MD5SUM BENCH= 6202e41c7df8f203e59ab292b28f5059
RANDOM SEED=57987783

node102.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.51
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.51
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.51
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.51
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:        14786192 kB
MemAvailable:   30024640 kB
Buffers:          259892 kB
Cached:         15065576 kB
SwapCached:            0 kB
Active:          3461704 kB
Inactive:       13830460 kB
Active(anon):    1969144 kB
Inactive(anon):    16888 kB
Active(file):    1492560 kB
Inactive(file): 13813572 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7696 kB
Writeback:             0 kB
AnonPages:       1986760 kB
Mapped:            49432 kB
Shmem:             17036 kB
Slab:             388784 kB
SReclaimable:     360776 kB
SUnreclaim:        28008 kB
KernelStack:        3872 kB
PageTables:         8708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13471644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1808384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 53228 MiB
End job on node102 at 2018-07-23 17:29:57