Trace number 4294729

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 4.76434 2.1349

General information on the benchmark

NameHaystacks/
Haystacks-ext-08_c18.xml
MD5SUM86e4590fdf2acf70e62b7e4d974dbe81
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.121685
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints231
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":64}]
Minimum variable degree7
Maximum variable degree8
Distribution of variable degrees[{"degree":7,"count":50},{"degree":8,"count":14}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":231}]
Number of extensional constraints231
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":231}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.53	scop both+minisat_release (2018-06-13)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Mon Jul 23 18:07:17 CEST 2018
0.67/0.55	c PID: 19953
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.42/0.93	c (0,0) Parsing End
1.42/0.94	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 231 ctr, max domain size 8
1.42/0.94	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.94	c (0,0) Constraint Name Generate Begin
1.42/0.94	c (0,0) Ctr:HOME/instance-4294729-1532362036.xml,ExtensionConflict:ExtensionSupport:IntVar
1.42/0.94	c (0,0) Constraint Name Generate End
1.42/0.94	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.94	c (0,0) CSP to CSPinCNF Begin
1.96/1.27	c (0,0) translated 24 (10%) constraints
2.24/1.34	c (0,0) translated 47 (20%) constraints
2.24/1.38	c (0,0) translated 70 (30%) constraints
2.56/1.41	c (0,0) translated 93 (40%) constraints
2.56/1.44	c (0,0) translated 116 (50%) constraints
2.56/1.46	c (0,0) translated 139 (60%) constraints
2.56/1.49	c (0,0) translated 162 (70%) constraints
3.22/1.60	c (1,1) translated 185 (80%) constraints
3.22/1.62	c (1,1) translated 208 (90%) constraints
3.22/1.64	c (1,1) translated 231 (100%) constraints
3.22/1.68	c (1,1) STATISTICS1:HOME/instance-4294729-1532362036.xml,ExtensionConflict:ExtensionSupport:IntVar,120,1960,-1,8,9,1,,8:6818;2:266,9:7;4:1519;3:84;2:350,1:7084;0:7,
3.22/1.68	c (1,1) ===========================================
3.22/1.68	c (1,1) Both Encoding selects:
3.22/1.68	c (1,1) Order
3.22/1.68	c (1,1) ===========================================
3.54/1.70	c (1,1) translated 196 (10%) constraints
3.54/1.72	c (1,1) translated 392 (20%) constraints
3.54/1.73	c (1,1) translated 588 (30%) constraints
3.54/1.74	c (1,1) translated 784 (40%) constraints
3.54/1.75	c (1,1) translated 980 (50%) constraints
3.54/1.76	c (1,1) translated 1176 (60%) constraints
3.54/1.77	c (1,1) translated 1372 (70%) constraints
3.54/1.78	c (1,1) translated 1568 (80%) constraints
3.54/1.79	c (1,1) translated 1764 (90%) constraints
3.87/1.80	c (1,1) translated 1960 (100%) constraints
3.87/1.80	c (1,1) CSP to CSPinCNF End
3.87/1.80	c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.87/1.80	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.87/1.80	c (1,1) CSPinCNF Propagation Begin
3.87/1.85	c (1,1) 0 values, 455 unsatisfiable literals, and 0 valid clauses are removed
3.87/1.85	c (1,1) CSPinCNF Propagation End
3.87/1.86	c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.87/1.86	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.87/1.86	c (1,1) Simplify CSPinCNF Begin
3.87/1.87	c (1,1) Simplify CSPinCNF End
3.87/1.87	c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.87/1.87	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.87/1.87	c (1,1) Calculate Precise Domain Begin
3.87/1.87	c (1,1) 0 values are removed by re-calculation
3.87/1.87	c (1,1) Calculate Precise Domain End
3.87/1.87	c (1,1) CSP: 64 int (0 aux), 56 bool (56 aux), 1960 ctr, max domain size 8
3.87/1.87	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.87/1.87	c (1,1) CSPinCNF to SatSolver Begin
4.21/1.92	c (1,1) 196 (10 %) CSP clauses are encoded (504 SAT variables, 579 SAT clauses)
4.21/1.92	c (1,1) 392 (20 %) CSP clauses are encoded (504 SAT variables, 775 SAT clauses)
4.21/1.92	c (1,1) 588 (30 %) CSP clauses are encoded (504 SAT variables, 971 SAT clauses)
4.21/1.93	c (1,1) 784 (40 %) CSP clauses are encoded (504 SAT variables, 1167 SAT clauses)
4.21/1.93	c (1,1) 980 (50 %) CSP clauses are encoded (504 SAT variables, 1363 SAT clauses)
4.21/1.93	c (1,1) 1176 (60 %) CSP clauses are encoded (504 SAT variables, 1559 SAT clauses)
4.21/1.94	c (1,1) 1372 (70 %) CSP clauses are encoded (504 SAT variables, 1755 SAT clauses)
4.21/1.94	c (1,1) 1568 (80 %) CSP clauses are encoded (504 SAT variables, 1951 SAT clauses)
4.21/1.94	c (1,1) 1764 (90 %) CSP clauses are encoded (504 SAT variables, 2147 SAT clauses)
4.21/1.94	c (1,1) 1960 (100 %) CSP clauses are encoded (504 SAT variables, 2343 SAT clauses)
4.21/1.95	c (1,1) CSPinCNF to SatSolver End
4.21/1.95	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.21/1.97	c (1,1) STATISTICS2:HOME/instance-4294729-1532362036.xml,ExtensionConflict:ExtensionSupport:IntVar,120,1960,-1,8,8,1,,8:6370;2:266,8:7;4:1295;3:84;2:574,1:6636,
4.21/1.97	c (1,1) SatSolver.solve Begin
4.21/1.97	c (1,1) 504 bool, 2344 clause
4.21/1.97	c (1,1) 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-4294729-1532362036.xml-scop-19953.cnf HOME/instance-4294729-1532362036.xml-scop-19953.cnf.out
4.58/2.01	c (1,0) c This is COMiniSatPS.
4.58/2.01	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.58/2.01	c (1,0) c ============================[ Problem Statistics ]=============================
4.58/2.01	c (1,0) c |                                                                             |
4.58/2.01	c (1,0) c |  Number of variables:           504                                         |
4.58/2.01	c (1,0) c |  Number of clauses:            2344                                         |
4.58/2.01	c (1,0) c |  Parse time:                   0.00 s                                       |
4.58/2.01	c (1,0) c |  Eliminated clauses:           0.00 Mb                                      |
4.58/2.01	c (1,0) c Reduced to 441 vars, 2208 cls (grow=0)
4.58/2.01	c (1,0) c No iterative elimination performed. (vars=441, c/v ratio=5.0)
4.58/2.01	c (1,0) c |  Simplification time:          0.00 s                                       |
4.58/2.01	c (1,0) c |                                                                             |
4.58/2.01	c (1,0) c ============================[ Search Statistics ]==============================
4.58/2.01	c (1,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.58/2.01	c (1,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.58/2.01	c (1,0) c ===============================================================================
4.58/2.01	c (1,0) c ===============================================================================
4.58/2.01	c (1,0) c restarts              : 5
4.58/2.01	c (1,0) c conflicts             : 4640           (192140 /sec)
4.58/2.01	c (1,0) c decisions             : 6933           (0.00 % random) (287093 /sec)
4.58/2.01	c (1,0) c propagations          : 47158          (1952793 /sec)
4.58/2.01	c (1,0) c conflict literals     : 35573          (8.08 % deleted)
4.58/2.01	c (1,0) c CPU time              : 0.024149 s
4.58/2.01	c (1,0) 
4.58/2.01	c (1,0) s UNSATISFIABLE
4.58/2.04	c (1,1) SatSolver.solve End
4.58/2.04	c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.58/2.04	c (1,1) Show results Begin
4.58/2.04	s UNSATISFIABLE
4.58/2.04	c (1,1) Show results End
4.58/2.04	c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.58/2.04	c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL)
4.58/2.04	c END-Prog: Mon Jul 23 18:07:18 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 (5802 MiB free)
  memory of node 1: 16384 MiB (8098 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294729-1532362036/watcher-4294729-1532362036 -o /tmp/evaluation-result-4294729-1532362036/solver-4294729-1532362036 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294729-1532362036.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
solver pid=19953, runsolver pid=19950
Current StackSize limit: 8192 KiB


[startup+0.100131 s]*
/proc/loadavg: 2.75 2.45 2.22 4/220 19968
/proc/meminfo: memFree=14176580/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15011656 memory=70224 CPUtime=0.12 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 6757 0 0 0 10 2 0 0 20 0 15 0 53766779 15371935744 17556 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3752914 17556 2780 1 0 3715374 0
[pid=19953/tid=19955] ppid=19950 vsize=15011656 memory=-6295080567673502544 CPUtime=0.09 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 4917 0 0 0 8 1 0 0 20 0 15 0 53766780 15371935744 17622 33554432000 4194304 4196468 140735854115536 139688406709024 139688415180651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 17622 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 17622 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 17622 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 17622 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 17688 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 17688 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 17688 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 17688 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 8919 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 17688 33554432000 4194304 4196468 140735854115536 139687471905520 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 17688 33554432000 4194304 4196468 140735854115536 139687470852976 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0.01 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 8919 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 53766786 15371935744 17688 33554432000 4194304 4196468 140735854115536 139687469799920 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 17688 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 17688 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70224 KiB

[startup+0.210368 s]*
/proc/loadavg: 2.75 2.45 2.22 3/220 19968
/proc/meminfo: memFree=14163144/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15011656 memory=83856 CPUtime=0.26 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 10380 0 0 0 23 3 0 0 20 0 15 0 53766779 15371935744 20964 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3752914 20964 2935 1 0 3715374 0
[pid=19953/tid=19955] ppid=19950 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 8270 0 0 0 18 2 0 0 20 0 15 0 53766780 15371935744 20964 33554432000 4194304 4196468 140735854115536 139688406682528 139688416478016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 20964 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15011656 memory=4051469119970703008 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 20964 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 20964 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 20964 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 20964 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 20964 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 20964 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 20964 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 8919 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 53766786 15371935744 20964 33554432000 4194304 4196468 140735854115536 139687471905520 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) S 19950 19953 8919 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 20964 33554432000 4194304 4196468 140735854115536 139687470852976 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0.03 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) R 19950 19953 8919 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 15 0 53766786 15371935744 20964 33554432000 4194304 4196468 140735854115536 139687469799920 139688427141950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 20964 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 20964 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83856 KiB

[startup+0.31035 s]*
/proc/loadavg: 2.75 2.45 2.22 3/220 19968
/proc/meminfo: memFree=14159340/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15011656 memory=87400 CPUtime=0.43 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 10977 0 0 0 40 3 0 0 20 0 15 0 53766779 15371935744 21850 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3752914 21850 2984 1 0 3715374 0
[pid=19953/tid=19955] ppid=19950 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 8694 0 0 0 27 2 0 0 20 0 15 0 53766780 15371935744 21850 33554432000 4194304 4196468 140735854115536 139688406696272 139688418985310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 21850 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15011656 memory=3906790981941425824 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 21850 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 21850 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15371935744 21850 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 21850 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 21850 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53766783 15371935744 21850 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 21850 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 8919 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 53766786 15371935744 21850 33554432000 4194304 4196468 140735854115536 139687471905520 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) R 19950 19953 8919 0 -1 4202560 161 0 0 0 1 0 0 0 20 0 15 0 53766786 15371935744 21850 33554432000 4194304 4196468 140735854115536 139687470852976 139688415605120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0.07 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 8919 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 53766786 15371935744 21850 33554432000 4194304 4196468 140735854115536 139687469799920 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 21850 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15011656 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766786 15371935744 21850 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87400 KiB

[startup+0.700691 s]
/proc/loadavg: 2.75 2.45 2.22 3/220 19968
/proc/meminfo: memFree=14135032/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15020052 memory=125504 CPUtime=1.01 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 18102 0 0 0 96 5 0 0 20 0 15 0 53766779 15380533248 31376 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3755013 31376 3165 1 0 3716398 0
[pid=19953/tid=19955] ppid=19950 vsize=15020052 memory=225896891965783 CPUtime=0.67 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 15337 0 0 0 63 4 0 0 20 0 15 0 53766780 15380533248 31376 33554432000 4194304 4196468 140735854115536 139688406736736 139688427155458 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15380533248 31376 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15380533248 31376 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15380533248 31376 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15380533248 31376 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53766783 15380533248 31376 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53766783 15380533248 31376 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53766783 15380533248 31376 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15380533248 31376 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15020052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 8919 0 -1 1077944384 674 0 0 0 9 0 0 0 20 0 15 0 53766786 15380533248 31376 33554432000 4194304 4196468 140735854115536 139687471905520 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) R 19950 19953 8919 0 -1 4202560 259 0 0 0 6 0 0 0 20 0 15 0 53766786 15380533248 31376 33554432000 4194304 4196468 140735854115536 139687470840656 139688420031120 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) R 19950 19953 8919 0 -1 4202560 471 0 0 0 16 0 0 0 20 0 15 0 53766786 15380533248 31376 33554432000 4194304 4196468 140735854115536 139687469799920 139688434926170 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15380533248 31376 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766786 15380533248 31376 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 125504 KiB

[startup+1.50072 s]
/proc/loadavg: 2.75 2.45 2.22 3/220 19968
/proc/meminfo: memFree=14108672/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15022100 memory=187120 CPUtime=2.88 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 22274 0 0 0 280 8 0 0 20 0 15 0 53766779 15382630400 46780 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3755525 46780 3202 1 0 3716910 0
[pid=19953/tid=19955] ppid=19950 vsize=15022100 memory=5794836780235445093 CPUtime=1.47 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 16539 0 0 0 142 5 0 0 20 0 15 0 53766780 15382630400 46780 33554432000 4194304 4196468 140735854115536 139688406739248 139687929422732 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15022100 memory=6298673690012636005 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15382630400 46780 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15022100 memory=7517461399944521071 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15382630400 46780 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15022100 memory=7670035225629778773 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15382630400 46780 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15022100 memory=4638778424102571344 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15382630400 46780 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15022100 memory=6155130295329842533 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53766783 15382630400 46780 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15022100 memory=3544677260881257557 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53766783 15382630400 46780 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53766783 15382630400 47292 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15022100 memory=280338689425648 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15382630400 47292 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15022100 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) R 19950 19953 8919 0 -1 4202560 1074 0 0 0 36 0 0 0 20 0 15 0 53766786 15382630400 47292 33554432000 4194304 4196468 140735854115536 139687471893456 139688419810092 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15022100 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) R 19950 19953 8919 0 -1 4202560 774 0 0 0 37 0 0 0 20 0 15 0 53766786 15382630400 47292 33554432000 4194304 4196468 140735854115536 139687470842448 139688414122152 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15022100 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 8919 0 -1 1077944384 2526 0 0 0 64 1 0 0 20 0 15 0 53766786 15382630400 47292 33554432000 4194304 4196468 140735854115536 139687469799920 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15022100 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15382630400 47292 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15022100 memory=1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766786 15382630400 47292 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 187120 KiB

[startup+2.13485 s]
# the end of solver process 19953 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.64855 s, system=0.115783 s

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

[startup+1.60083 s]
/proc/loadavg: 2.75 2.45 2.22 3/220 19968
/proc/meminfo: memFree=14108672/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15024148 memory=196588 CPUtime=3.22 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 23143 0 0 0 314 8 0 0 20 0 15 0 53766779 15384727552 49147 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3756037 49147 3203 1 0 3717422 0
[pid=19953/tid=19955] ppid=19950 vsize=15024148 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 16686 0 0 0 152 5 0 0 20 0 15 0 53766780 15384727552 49147 33554432000 4194304 4196468 140735854115536 139688406738256 139688434916758 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15384727552 49147 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15024148 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15384727552 49147 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766781 15384727552 49147 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15024148 memory=12081 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53766781 15384727552 49147 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53766783 15384727552 49147 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15024148 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53766783 15384727552 49147 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53766783 15384727552 49147 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15024148 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15384727552 49147 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15024148 memory=6656426216303648864 CPUtime=0.46 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) R 19950 19953 8919 0 -1 4202560 1565 0 0 0 46 0 0 0 20 0 15 0 53766786 15384727552 49147 33554432000 4194304 4196468 140735854115536 139687471886536 139688412500976 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15024148 memory=-3195349257566499689 CPUtime=0.46 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) R 19950 19953 8919 0 -1 4202560 909 0 0 0 46 0 0 0 20 0 15 0 53766786 15384727552 49147 33554432000 4194304 4196468 140735854115536 139687470842448 139688418315714 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15024148 memory=280338689568320 CPUtime=0.69 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) R 19950 19953 8919 0 -1 1077944384 2622 0 0 0 68 1 0 0 20 0 15 0 53766786 15384727552 49147 33554432000 4194304 4196468 140735854115536 139687469799920 139688434915970 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15024148 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53766786 15384727552 49147 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53766786 15384727552 49147 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 196588 KiB

[startup+2.00183 s]*
/proc/loadavg: 2.75 2.45 2.22 5/224 19973
/proc/meminfo: memFree=13960492/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15681864 memory=285720 CPUtime=4.56 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 24997 0 0 0 446 10 0 0 20 0 18 0 53766779 16058228736 71365 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3920466 71365 3220 1 0 3881322 0
[pid=19969] ppid=19953 vsize=19456 memory=2396 CPUtime=0.02 cores=0,2,4,6
/proc/19969/stat : 19969 (minisat_release) R 19953 19953 8919 0 -1 4202496 678 0 0 0 2 0 0 0 20 0 1 0 53766978 19922944 599 33554432000 4194304 4308513 140735830383472 140735830380616 4289173 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 40267776 140735830389423 140735830389934 140735830389934 140735830392773 0
/proc/19969/statm: 4864 599 344 28 0 1104 0
[pid=19953/tid=19955] ppid=19950 vsize=15681864 memory=-7824251494390847586 CPUtime=1.96 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) R 19950 19953 8919 0 -1 4202560 17272 0 0 0 190 6 0 0 20 0 18 0 53766780 16058228736 71430 33554432000 4194304 4196468 140735854115536 139688406711744 139687922636940 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 53766781 16058228736 71430 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 53766781 16058228736 71430 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15681864 memory=140169344712823 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 53766781 16058228736 71430 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15681864 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 53766781 16058228736 71430 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15681864 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 53766783 16058228736 71430 33554432000 4194304 4196468 140735854115536 139687472957680 139688434915970 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15681864 memory=3546919173833905513 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 53766783 16058228736 71430 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 53766783 16058228736 71430 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19963] ppid=19950 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19963/stat : 19963 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 53766786 16058228736 71430 33554432000 4194304 4196468 140735854115536 139686323247056 139688434923419 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15681864 memory=1 CPUtime=0.85 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 8919 0 -1 1077944384 1912 0 0 0 85 0 0 0 20 0 18 0 53766786 16058228736 71430 33554432000 4194304 4196468 140735854115536 139687471905520 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15681864 memory=140169500784256 CPUtime=0.87 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) R 19950 19953 8919 0 -1 4202560 1592 0 0 0 87 0 0 0 20 0 18 0 53766786 16058228736 71430 33554432000 4194304 4196468 140735854115536 139687470839000 139688416452401 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15681864 memory=-1 CPUtime=0.82 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 8919 0 -1 1077944384 2840 0 0 0 81 1 0 0 20 0 18 0 53766786 16058228736 71430 33554432000 4194304 4196468 140735854115536 139687469799920 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15681864 memory=140169500784256 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 53766786 16058228736 71430 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19968] ppid=19950 vsize=15681864 memory=67 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19968/stat : 19968 (java) S 19950 19953 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 53766786 16058228736 71430 33554432000 4194304 4196468 140735854115536 139687468747312 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19970] ppid=19950 vsize=15681864 memory=140169500791616 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 18 0 53766978 16058228736 71430 33554432000 4194304 4196468 140735854115536 139687452812608 139688434929433 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19972] ppid=19950 vsize=15681864 memory=67 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19972/stat : 19972 (java) S 19950 19953 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 53766978 16058228736 71430 33554432000 4194304 4196468 140735854115536 139685288459568 139688434926749 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19973] ppid=19950 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19953/task/19973/stat : 19973 (java) S 19950 19953 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 53766978 16058228736 71430 33554432000 4194304 4196468 140735854115536 139685020024752 139688434926749 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 15701320 KiB
Current children cumulated memory: 288116 KiB

[startup+2.11054 s]
/proc/loadavg: 2.75 2.45 2.22 5/224 19973
/proc/meminfo: memFree=13960492/32770624 swapFree=67108860/67108860
[pid=19953] ppid=19950 vsize=15418684 memory=291080 CPUtime=4.73 cores=0,2,4,6
/proc/19953/stat : 19953 (java) S 19950 19953 8919 0 -1 1077944320 25861 688 0 0 461 10 2 0 20 0 15 0 53766779 15788732416 72770 33554432000 4194304 4196468 140735854115536 140735854098080 139688434904823 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
/proc/19953/statm: 3854671 72770 3223 1 0 3815527 0
[pid=19953/tid=19955] ppid=19950 vsize=15418684 memory=1 CPUtime=2.01 cores=0,2,4,6
/proc/19953/task/19955/stat : 19955 (java) S 19950 19953 8919 0 -1 1077944384 17362 688 0 0 193 6 2 0 20 0 15 0 53766780 15788732416 72770 33554432000 4194304 4196468 140735854115536 139688406748304 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19956] ppid=19950 vsize=15418684 memory=280338689439520 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19956/stat : 19956 (java) S 19950 19953 8919 0 -1 1077944384 2 688 0 0 0 0 2 0 20 0 15 0 53766781 15788732416 72770 33554432000 4194304 4196468 140735854115536 139688439147536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19957] ppid=19950 vsize=15418684 memory=225850855300069 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19957/stat : 19957 (java) S 19950 19953 8919 0 -1 1077944384 1 688 0 0 0 0 2 0 20 0 15 0 53766781 15788732416 72770 33554432000 4194304 4196468 140735854115536 139688253303952 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19958] ppid=19950 vsize=15418684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19958/stat : 19958 (java) S 19950 19953 8919 0 -1 1077944384 2 688 0 0 0 0 2 0 20 0 15 0 53766781 15788732416 72770 33554432000 4194304 4196468 140735854115536 139688252250896 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19959] ppid=19950 vsize=15418684 memory=140169344747168 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19959/stat : 19959 (java) S 19950 19953 8919 0 -1 1077944384 1 688 0 0 0 0 2 0 20 0 15 0 53766781 15788732416 72770 33554432000 4194304 4196468 140735854115536 139688251198352 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19960] ppid=19950 vsize=15418684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19960/stat : 19960 (java) S 19950 19953 8919 0 -1 1077944384 5 688 0 0 0 0 2 0 20 0 15 0 53766783 15788732416 72770 33554432000 4194304 4196468 140735854115536 139687472957888 139688434915970 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19961] ppid=19950 vsize=15418684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19961/stat : 19961 (java) S 19950 19953 8919 0 -1 1077944384 13 688 0 0 0 0 2 0 20 0 15 0 53766783 15788732416 72770 33554432000 4194304 4196468 140735854115536 139686831973536 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19962] ppid=19950 vsize=15418684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19962/stat : 19962 (java) S 19950 19953 8919 0 -1 1077944384 21 688 0 0 0 0 2 0 20 0 15 0 53766783 15788732416 72770 33554432000 4194304 4196468 140735854115536 139686697751280 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19964] ppid=19950 vsize=15418684 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/19953/task/19964/stat : 19964 (java) S 19950 19953 8919 0 -1 1077944384 1913 688 0 0 86 0 2 0 20 0 15 0 53766786 15788732416 72770 33554432000 4194304 4196468 140735854115536 139687471890576 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19965] ppid=19950 vsize=15418684 memory=2209 CPUtime=0.99 cores=0,2,4,6
/proc/19953/task/19965/stat : 19965 (java) R 19950 19953 8919 0 -1 4202560 1612 688 0 0 97 0 2 0 20 0 15 0 53766786 15788732416 72770 33554432000 4194304 4196468 140735854115536 139687470839000 139688416426223 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19966] ppid=19950 vsize=15418684 memory=26660 CPUtime=0.85 cores=0,2,4,6
/proc/19953/task/19966/stat : 19966 (java) S 19950 19953 8919 0 -1 1077944384 2850 688 0 0 82 1 2 0 20 0 15 0 53766786 15788732416 72770 33554432000 4194304 4196468 140735854115536 139687469799920 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19967] ppid=19950 vsize=15418684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19967/stat : 19967 (java) S 19950 19953 8919 0 -1 1077944384 3 688 0 0 0 0 2 0 20 0 15 0 53766786 15788732416 72770 33554432000 4194304 4196468 140735854115536 139685825342304 139688434915029 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
[pid=19953/tid=19970] ppid=19950 vsize=15418684 memory=288230621803970871 CPUtime=0.02 cores=0,2,4,6
/proc/19953/task/19970/stat : 19970 (java) S 19950 19953 8919 0 -1 1077944384 27 688 0 0 0 0 2 0 20 0 15 0 53766978 15788732416 72770 33554432000 4194304 4196468 140735854115536 139687452811792 139688434915970 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7733248 140735854117876 140735854118153 140735854118153 140735854120911 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 15418684 KiB
Current children cumulated memory: 291080 KiB

Child status: 0
Real time (s): 2.1349
CPU time (s): 4.76434
CPU user time (s): 4.64855
CPU system time (s): 0.115783
CPU usage (%): 223.164
Max. virtual memory (cumulated for all children) (KiB): 15701320
Max. memory (cumulated for all children) (KiB): 291080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.64855
system time used= 0.115783
maximum resident set size= 291492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3408
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 19953
#   total CPU time (s): 4.76434
#   total CPU user time (s): 4.64855
#   total CPU system time (s): 0.115783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040076 second user time and 0.064989 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-23 18:07:16
IDJOB=4294729
IDBENCH=141415
IDSOLVER=2755
FILE ID=node102/4294729-1532362036
RUNJOBID= node102-1532330044-8950
PBS_JOBID= 21019000
Free space on /tmp= 53236 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-08_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-4294729-1532362036/watcher-4294729-1532362036 -o /tmp/evaluation-result-4294729-1532362036/solver-4294729-1532362036 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294729-1532362036.xml

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

MD5SUM BENCH= 86e4590fdf2acf70e62b7e4d974dbe81
RANDOM SEED=1640888816

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:        14234568 kB
MemAvailable:   29476548 kB
Buffers:          260628 kB
Cached:         15068580 kB
SwapCached:            0 kB
Active:          4010684 kB
Inactive:       13831956 kB
Active(anon):    2516396 kB
Inactive(anon):    16888 kB
Active(file):    1494288 kB
Inactive(file): 13815068 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7916 kB
Writeback:             0 kB
AnonPages:       2628020 kB
Mapped:            49044 kB
Shmem:             17036 kB
Slab:             389128 kB
SReclaimable:     361084 kB
SUnreclaim:        28044 kB
KernelStack:        3968 kB
PageTables:        10868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13525164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2449408 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 18:07:18