Trace number 4293457

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-06-13)UNSAT 18.41 8.87021

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f02_c18.xml
MD5SUM9039ba285abc1aa689fd996e152ad038
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 benchmark18.41
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size42
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.52	scop order+minisat_release (2018-06-13)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Mon Jul 23 13:46:23 CEST 2018
0.67/0.55	c PID: 5789
0.67/0.55	c IP: 172.20.3.105
0.67/0.55	c HOST: node105.alineos.net
0.67/0.55	c (0,0) Parsing Begin
5.32/2.04	c (1,1) Parsing End
5.32/2.05	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 42
5.32/2.05	c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.32/2.06	c (1,1) Constraint Name Generate Begin
5.32/2.08	c (1,1) Ctr:HOME/instance-4293457-1532346382.xml,Dist:Eq:IntVar:Le:Num
5.32/2.08	c (1,1) Constraint Name Generate End
5.32/2.08	c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.32/2.08	c (1,1) CSP to CSPinCNF Begin
6.18/2.35	c (1,1) translated 411 (10%) constraints
6.54/2.43	c (1,1) translated 821 (20%) constraints
6.54/2.48	c (1,1) translated 1231 (30%) constraints
6.86/2.53	c (2,1) translated 1642 (40%) constraints
6.86/2.58	c (2,2) translated 2052 (50%) constraints
7.17/2.62	c (2,2) translated 2462 (60%) constraints
7.17/2.66	c (2,2) translated 2873 (70%) constraints
7.47/2.71	c (2,2) translated 3283 (80%) constraints
7.47/2.74	c (2,2) translated 3693 (90%) constraints
7.79/2.83	c (2,2) translated 4103 (100%) constraints
8.12/2.93	c (2,2) STATISTICS1:HOME/instance-4293457-1532346382.xml,Dist:Eq:IntVar:Le:Num,680,4783,42,42,2,2,42:3314;35:5144;23:24;22:344;6:60,42:9348;35:7956;23:40;22:364;6:64,2:4103;1:680,2:8886,
8.12/2.93	c (2,2) ===========================================
8.12/2.95	c (2,2) Order
8.12/2.95	c (2,2) ===========================================
8.12/2.96	c (2,2) translated 479 (10%) constraints
8.12/2.98	c (2,2) translated 957 (20%) constraints
8.47/3.01	c (2,2) translated 1435 (30%) constraints
8.47/3.03	c (2,2) translated 1914 (40%) constraints
8.47/3.05	c (2,2) translated 2392 (50%) constraints
8.47/3.07	c (2,2) translated 2870 (60%) constraints
8.47/3.09	c (2,2) translated 3349 (70%) constraints
8.77/3.11	c (2,2) translated 3827 (80%) constraints
8.77/3.13	c (2,2) translated 4305 (90%) constraints
8.77/3.15	c (2,2) translated 4783 (100%) constraints
8.77/3.16	c (2,2) CSP to CSPinCNF End
8.77/3.16	c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 42
8.77/3.16	c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.77/3.16	c (2,2) CSPinCNF Propagation Begin
11.35/4.70	c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.35/4.70	c (4,4) CSPinCNF Propagation End
11.35/4.70	c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 42
11.35/4.70	c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.35/4.70	c (4,4) Simplify CSPinCNF Begin
11.93/4.96	c (4,4) Simplify CSPinCNF End
11.93/4.96	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 42
11.93/4.96	c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.93/4.96	c (4,4) Calculate Precise Domain Begin
11.93/4.96	c (4,4) 0 values are removed by re-calculation
11.93/4.96	c (4,4) Calculate Precise Domain End
11.93/4.97	c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 42
11.93/4.97	c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.93/4.97	c (4,4) CSPinCNF to SatSolver Begin
13.22/5.30	c (4,4) 1299 (10 %) CSP clauses are encoded (33386 SAT variables, 54934 SAT clauses)
13.52/5.42	c (4,4) 2598 (20 %) CSP clauses are encoded (33386 SAT variables, 84976 SAT clauses)
13.74/5.51	c (4,4) 3897 (30 %) CSP clauses are encoded (33386 SAT variables, 112980 SAT clauses)
13.92/5.62	c (5,5) 5196 (40 %) CSP clauses are encoded (33386 SAT variables, 143325 SAT clauses)
14.15/5.72	c (5,5) 6495 (50 %) CSP clauses are encoded (33386 SAT variables, 174175 SAT clauses)
14.37/5.83	c (5,5) 7794 (60 %) CSP clauses are encoded (33386 SAT variables, 206000 SAT clauses)
14.55/5.92	c (5,5) 9093 (70 %) CSP clauses are encoded (33386 SAT variables, 237775 SAT clauses)
14.79/6.04	c (5,5) 10392 (80 %) CSP clauses are encoded (33386 SAT variables, 269717 SAT clauses)
14.91/6.13	c (5,5) 11691 (90 %) CSP clauses are encoded (33386 SAT variables, 300743 SAT clauses)
15.13/6.20	c (5,5) 12989 (100 %) CSP clauses are encoded (33386 SAT variables, 329781 SAT clauses)
15.13/6.20	c (5,5) CSPinCNF to SatSolver End
15.13/6.20	c (5,5) Heap : 276 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
15.13/6.28	c (5,5) STATISTICS2:HOME/instance-4293457-1532346382.xml,Dist:Eq:IntVar:Le:Num,8886,12989,42,42,2,2,42:3314;35:5144;23:24;22:344;6:60,42:9348;35:7956;23:40;22:364;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.13/6.28	c (5,5) SatSolver.solve Begin
15.13/6.28	c (5,5) 33386 bool, 329793 clause
15.13/6.28	c (5,5) 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-4293457-1532346382.xml-scop-5789.cnf HOME/instance-4293457-1532346382.xml-scop-5789.cnf.out
18.32/8.84	c (8,0) c This is COMiniSatPS.
18.32/8.84	c (8,0) c WARNING: for repeatability, setting FPU to use double precision
18.32/8.84	c (8,0) c ============================[ Problem Statistics ]=============================
18.32/8.84	c (8,0) c |                                                                             |
18.32/8.84	c (8,0) c |  Number of variables:         33386                                         |
18.32/8.84	c (8,0) c |  Number of clauses:          329793                                         |
18.32/8.84	c (8,0) c |  Parse time:                   0.12 s                                       |
18.32/8.84	c (8,0) c |  Eliminated clauses:           0.08 Mb                                      |
18.32/8.84	c (8,0) c Reduced to 29186 vars, 325510 cls (grow=0)
18.32/8.84	c (8,0) c No iterative elimination performed. (vars=29186, c/v ratio=11.2)
18.32/8.84	c (8,0) c |  Simplification time:          0.36 s                                       |
18.32/8.84	c (8,0) c |                                                                             |
18.32/8.84	c (8,0) c ============================[ Search Statistics ]==============================
18.32/8.84	c (8,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.32/8.84	c (8,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.32/8.84	c (8,0) c ===============================================================================
18.32/8.84	c (8,0) c ===============================================================================
18.32/8.84	c (8,0) c restarts              : 29
18.32/8.84	c (8,0) c conflicts             : 23753          (9422 /sec)
18.32/8.84	c (8,0) c decisions             : 28981          (0.00 % random) (11496 /sec)
18.32/8.84	c (8,0) c propagations          : 5275449        (2092689 /sec)
18.32/8.84	c (8,0) c conflict literals     : 398592         (34.86 % deleted)
18.32/8.84	c (8,0) c CPU time              : 2.52089 s
18.32/8.84	c (8,0) 
18.32/8.84	c (8,0) s UNSATISFIABLE
18.32/8.85	c (8,5) SatSolver.solve End
18.32/8.85	c (8,5) Heap : 389 MiB used (max 10795 MiB), NonHeap : 37 MiB used (max 0 MiB)
18.32/8.85	c (8,5) Show results Begin
18.32/8.85	s UNSATISFIABLE
18.32/8.85	c (8,5) Show results End
18.32/8.85	c (8,5) Heap : 389 MiB used (max 10795 MiB), NonHeap : 37 MiB used (max 0 MiB)
18.32/8.85	c (8,5) 1,1,2,4,4,4,5,8,8,STOP-AFTER(ALL)
18.32/8.85	c END-Prog: Mon Jul 23 13:46:31 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 (4340 MiB free)
  memory of node 1: 16384 MiB (10541 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=5789, runsolver pid=5786

[startup+0.100174 s]*
/proc/loadavg: 2.08 2.03 2.05 3/220 5804
/proc/meminfo: memFree=15178532/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15011656 memory=72380 CPUtime=0.12 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 6289 0 0 0 9 3 0 0 20 0 15 0 52201375 15371935744 18095 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3752914 18095 2780 1 0 3715374 0
[pid=5789/tid=5791] ppid=5786 vsize=15011656 memory=4138984669366555539 CPUtime=0.09 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) R 5786 5789 2271 0 -1 4202560 4573 0 0 0 7 2 0 0 20 0 15 0 52201375 15371935744 18293 33554432000 4194304 4196468 140727043022224 139648282964360 139648291428135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 18293 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 18293 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 18293 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 18359 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201378 15371935744 18359 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52201378 15371935744 18359 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52201379 15371935744 18359 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 18359 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) S 5786 5789 2271 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 18359 33554432000 4194304 4196468 140727043022224 139647280675056 139648311163522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 18359 33554432000 4194304 4196468 140727043022224 139647279622512 139648311163522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) S 5786 5789 2271 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 52201381 15371935744 18359 33554432000 4194304 4196468 140727043022224 139647278569456 139648311163522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 18359 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201382 15371935744 18359 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72380 KiB

[startup+0.210556 s]*
/proc/loadavg: 2.08 2.03 2.05 3/220 5804
/proc/meminfo: memFree=15165076/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15011656 memory=84648 CPUtime=0.25 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 9606 0 0 0 22 3 0 0 20 0 15 0 52201375 15371935744 21162 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3752914 21162 2914 1 0 3715374 0
[pid=5789/tid=5791] ppid=5786 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) R 5786 5789 2271 0 -1 4202560 7486 0 0 0 17 3 0 0 20 0 15 0 52201375 15371935744 21162 33554432000 4194304 4196468 140727043022224 139648282978288 139648296523307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 21162 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15011656 memory=139762311598426 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 21162 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 21162 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 21162 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201378 15371935744 21162 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52201378 15371935744 21162 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52201379 15371935744 21162 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 21162 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) R 5786 5789 2271 0 -1 4202560 316 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 21162 33554432000 4194304 4196468 140727043022224 139647280675056 139648296051986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) R 5786 5789 2271 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 21162 33554432000 4194304 4196468 140727043022224 139647279622512 139648294709120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0.03 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) R 5786 5789 2271 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 15 0 52201381 15371935744 21162 33554432000 4194304 4196468 140727043022224 139647278569456 139648311163522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 21162 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) R 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201382 15371935744 21162 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84648 KiB

[startup+0.310602 s]*
/proc/loadavg: 2.08 2.03 2.05 3/220 5804
/proc/meminfo: memFree=15161788/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15011656 memory=88384 CPUtime=0.43 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 10144 0 0 0 39 4 0 0 20 0 15 0 52201375 15371935744 22096 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3752914 22096 3025 1 0 3715374 0
[pid=5789/tid=5791] ppid=5786 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) R 5786 5789 2271 0 -1 4202560 7860 0 0 0 27 3 0 0 20 0 15 0 52201375 15371935744 22096 33554432000 4194304 4196468 140727043022224 139648282956528 139648295232862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 22096 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 22096 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 22096 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201377 15371935744 22096 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201378 15371935744 22096 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52201378 15371935744 22096 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15011656 memory=139762311583360 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52201379 15371935744 22096 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 22096 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) R 5786 5789 2271 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 52201381 15371935744 22096 33554432000 4194304 4196468 140727043022224 139647280675056 139648311163522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) R 5786 5789 2271 0 -1 4202560 216 0 0 0 2 0 0 0 20 0 15 0 52201381 15371935744 22096 33554432000 4194304 4196468 140727043022224 139647279622512 139648288480384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) R 5786 5789 2271 0 -1 4202560 320 0 0 0 7 0 0 0 20 0 15 0 52201381 15371935744 22096 33554432000 4194304 4196468 140727043022224 139647278569456 139648289812052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15371935744 22096 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201382 15371935744 22096 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88384 KiB

[startup+0.711363 s]
/proc/loadavg: 2.08 2.03 2.05 3/220 5804
/proc/meminfo: memFree=15137728/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15017928 memory=129724 CPUtime=1.08 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 17113 0 0 0 102 6 0 0 20 0 15 0 52201375 15378358272 32431 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3754482 32431 3155 1 0 3715886 0
[pid=5789/tid=5791] ppid=5786 vsize=15017928 memory=796 CPUtime=0.68 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) R 5786 5789 2271 0 -1 4202560 14241 0 0 0 63 5 0 0 20 0 15 0 52201375 15378358272 32431 33554432000 4194304 4196468 140727043022224 139648282989808 139648311174301 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15378358272 32431 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15378358272 32431 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15017928 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15378358272 32431 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15017928 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201377 15378358272 32431 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15017928 memory=279524390774560 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52201378 15378358272 32431 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52201378 15378358272 32431 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52201379 15378358272 32431 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15378358272 32431 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15017928 memory=8380 CPUtime=0.1 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) R 5786 5789 2271 0 -1 4202560 630 0 0 0 10 0 0 0 20 0 15 0 52201381 15378358272 32431 33554432000 4194304 4196468 140727043022224 139647280675056 139648292328528 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15017928 memory=7307210974946176466 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) R 5786 5789 2271 0 -1 4202560 353 0 0 0 8 0 0 0 20 0 15 0 52201381 15378358272 32431 33554432000 4194304 4196468 140727043022224 139647279615144 139648290371714 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15017928 memory=7302135314614015847 CPUtime=0.19 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) R 5786 5789 2271 0 -1 4202560 530 0 0 0 19 0 0 0 20 0 15 0 52201381 15378358272 32431 33554432000 4194304 4196468 140727043022224 139647278565408 139648304249084 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52201381 15378358272 32431 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15017928 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201382 15378358272 32431 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129724 KiB

[startup+1.50832 s]
/proc/loadavg: 2.24 2.06 2.06 6/220 5804
/proc/meminfo: memFree=14917056/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15022100 memory=399528 CPUtime=3.76 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 21221 0 0 0 364 12 0 0 20 0 15 0 52201375 15382630400 99882 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3755525 99882 3200 1 0 3716910 0
[pid=5789/tid=5791] ppid=5786 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) R 5786 5789 2271 0 -1 4202560 15501 0 0 0 138 9 0 0 20 0 15 0 52201375 15382630400 99882 33554432000 4194304 4196468 140727043022224 139648282989632 139648290229920 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15382630400 99882 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15382630400 99882 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52201377 15382630400 99882 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52201377 15382630400 99882 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52201378 15382630400 99882 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0

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

/proc/5789/task/5800/stat : 5800 (java) R 5786 5789 2271 0 -1 4202560 4371 0 0 0 380 1 0 0 20 0 19 0 52201381 16060325888 759428 33554432000 4194304 4196468 140727043022224 139647280657344 139648294620483 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15683912 memory=1232 CPUtime=4.05 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) R 5786 5789 2271 0 -1 4202560 4581 0 0 0 403 2 0 0 20 0 19 0 52201381 16060325888 759428 33554432000 4194304 4196468 140727043022224 139647279607720 139648294548584 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15683912 memory=2344 CPUtime=1.42 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) S 5786 5789 2271 0 -1 1077944384 3847 0 0 0 141 1 0 0 20 0 19 0 52201381 16060325888 759428 33554432000 4194304 4196468 140727043022224 139647278569456 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759428 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15683912 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52201382 16060325888 759428 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 15.71 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 3037712 KiB

[startup+8.00075 s]*
/proc/loadavg: 2.30 2.08 2.07 4/225 5810
/proc/meminfo: memFree=12159976/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15683912 memory=3038400 CPUtime=15.83 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 32712 0 0 0 1527 56 0 0 20 0 19 0 52201375 16060325888 759600 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3920978 759600 3241 1 0 3881834 0
[pid=5805] ppid=5789 vsize=56680 memory=39440 CPUtime=1.7 cores=0,2,4,6
/proc/5805/stat : 5805 (minisat_release) R 5789 5789 2271 0 -1 4202496 10441 0 0 0 168 2 0 0 20 0 1 0 52202005 58040320 9860 33554432000 4194304 4308513 140729078990752 140729078988376 4275783 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34848768 140729078993585 140729078994094 140729078994094 140729078996933 0
/proc/5805/statm: 14170 9860 334 28 0 10410 0
[pid=5789/tid=5791] ppid=5786 vsize=15683912 memory=-8966811386056651867 CPUtime=6.28 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) S 5786 5789 2271 0 -1 1077944384 17962 0 0 0 580 48 0 0 20 0 19 0 52201375 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648282991616 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15683912 memory=3472328128895609921 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15683912 memory=279524390469872 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15683912 memory=8389772264424737328 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15683912 memory=3471342158632421040 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15683912 memory=3471202396320837679 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 52201378 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52201378 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15683912 memory=7014751519600300643 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52201379 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15683912 memory=139762530781155 CPUtime=3.88 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) S 5786 5789 2271 0 -1 1077944384 4500 0 0 0 387 1 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647280675056 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15683912 memory=139762530781157 CPUtime=4.1 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) S 5786 5789 2271 0 -1 1077944384 4608 0 0 0 408 2 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647279622512 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15683912 memory=139762530781195 CPUtime=1.42 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) S 5786 5789 2271 0 -1 1077944384 3847 0 0 0 141 1 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647278569456 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15683912 memory=148601573476363 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15683912 memory=149859998894303 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52201382 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5806] ppid=5786 vsize=15683912 memory=149512106543327 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5806/stat : 5806 (java) S 5786 5789 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647372261184 139648311176985 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5808] ppid=5786 vsize=15683912 memory=149623775693023 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5808/stat : 5808 (java) S 5786 5789 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645358686000 139648311174301 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5809] ppid=5786 vsize=15683912 memory=149628070660319 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5809/stat : 5809 (java) S 5786 5789 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645090250160 139648311174301 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5810] ppid=5786 vsize=15683912 memory=149628070660319 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5810/stat : 5810 (java) S 5786 5789 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 52202008 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645627129120 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 15740592 KiB
Current children cumulated memory: 3077840 KiB

[startup+8.40086 s]
/proc/loadavg: 2.30 2.08 2.07 4/225 5810
/proc/meminfo: memFree=12159976/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15683912 memory=3038400 CPUtime=15.83 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 32712 0 0 0 1527 56 0 0 20 0 19 0 52201375 16060325888 759600 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3920978 759600 3241 1 0 3881834 0
[pid=5805] ppid=5789 vsize=56680 memory=39516 CPUtime=2.09 cores=0,2,4,6
/proc/5805/stat : 5805 (minisat_release) R 5789 5789 2271 0 -1 4202496 12875 0 0 0 207 2 0 0 20 0 1 0 52202005 58040320 9879 33554432000 4194304 4308513 140729078990752 140729078988376 4276064 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34848768 140729078993585 140729078994094 140729078994094 140729078996933 0
/proc/5805/statm: 14170 9879 353 28 0 10410 0
[pid=5789/tid=5791] ppid=5786 vsize=15683912 memory=4616 CPUtime=6.28 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) S 5786 5789 2271 0 -1 1077944384 17962 0 0 0 580 48 0 0 20 0 19 0 52201375 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648282991616 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15683912 memory=1424 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15683912 memory=15868 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15683912 memory=4052 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15683912 memory=18448 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15683912 memory=10256 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 52201378 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15683912 memory=644 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52201378 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15683912 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52201379 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15683912 memory=960 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15683912 memory=1232 CPUtime=3.88 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) S 5786 5789 2271 0 -1 1077944384 4500 0 0 0 387 1 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647280675056 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15683912 memory=33 CPUtime=4.1 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) S 5786 5789 2271 0 -1 1077944384 4608 0 0 0 408 2 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647279622512 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15683912 memory=7084820200048181348 CPUtime=1.42 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) S 5786 5789 2271 0 -1 1077944384 3847 0 0 0 141 1 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647278569456 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15683912 memory=8099255969085935701 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15683912 memory=279524390971424 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52201382 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5806] ppid=5786 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5806/stat : 5806 (java) S 5786 5789 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647372261184 139648311176985 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5808] ppid=5786 vsize=15683912 memory=3617128634482303667 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5808/stat : 5808 (java) S 5786 5789 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645358686000 139648311174301 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5809] ppid=5786 vsize=15683912 memory=8171313558828896340 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5809/stat : 5809 (java) S 5786 5789 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645090250160 139648311174301 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5810] ppid=5786 vsize=15683912 memory=6003386682276735337 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5810/stat : 5810 (java) S 5786 5789 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 52202008 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645627129120 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 17.92 s
Current children cumulated vsize: 15740592 KiB
Current children cumulated memory: 3077916 KiB

[startup+8.80086 s]
/proc/loadavg: 2.30 2.08 2.07 4/225 5810
/proc/meminfo: memFree=12159976/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=15683912 memory=3038400 CPUtime=15.83 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 2271 0 -1 1077944320 32712 0 0 0 1527 56 0 0 20 0 19 0 52201375 16060325888 759600 33554432000 4194304 4196468 140727043022224 140727043004768 139648311152375 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
/proc/5789/statm: 3920978 759600 3241 1 0 3881834 0
[pid=5805] ppid=5789 vsize=56680 memory=39516 CPUtime=2.49 cores=0,2,4,6
/proc/5805/stat : 5805 (minisat_release) R 5789 5789 2271 0 -1 4202496 13917 0 0 0 247 2 0 0 20 0 1 0 52202005 58040320 9879 33554432000 4194304 4308513 140729078990752 140729078988376 4276436 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34848768 140729078993585 140729078994094 140729078994094 140729078996933 0
/proc/5805/statm: 14170 9879 353 28 0 10410 0
[pid=5789/tid=5791] ppid=5786 vsize=15683912 memory=-5059952977386882957 CPUtime=6.28 cores=0,2,4,6
/proc/5789/task/5791/stat : 5791 (java) S 5786 5789 2271 0 -1 1077944384 17962 0 0 0 580 48 0 0 20 0 19 0 52201375 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648282991616 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5792] ppid=5786 vsize=15683912 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5792/stat : 5792 (java) S 5786 5789 2271 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648315394576 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5793] ppid=5786 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5793/stat : 5793 (java) S 5786 5789 2271 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648114170512 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5794] ppid=5786 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5794/stat : 5794 (java) S 5786 5789 2271 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648113117456 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5795] ppid=5786 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5789/task/5795/stat : 5795 (java) S 5786 5789 2271 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 19 0 52201377 16060325888 759600 33554432000 4194304 4196468 140727043022224 139648112064912 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5796] ppid=5786 vsize=15683912 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5789/task/5796/stat : 5796 (java) S 5786 5789 2271 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 52201378 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647281728240 139648311163522 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5797] ppid=5786 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5797/stat : 5797 (java) S 5786 5789 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52201378 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646902199968 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5798] ppid=5786 vsize=15683912 memory=279524390844112 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5798/stat : 5798 (java) S 5786 5789 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52201379 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646767977712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5799] ppid=5786 vsize=15683912 memory=279524390844176 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5799/stat : 5799 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139646393473488 139648311170971 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5800] ppid=5786 vsize=15683912 memory=279524390844240 CPUtime=3.88 cores=0,2,4,6
/proc/5789/task/5800/stat : 5800 (java) S 5786 5789 2271 0 -1 1077944384 4500 0 0 0 387 1 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647280675056 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5801] ppid=5786 vsize=15683912 memory=279524390844304 CPUtime=4.1 cores=0,2,4,6
/proc/5789/task/5801/stat : 5801 (java) S 5786 5789 2271 0 -1 1077944384 4608 0 0 0 408 2 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647279622512 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5802] ppid=5786 vsize=15683912 memory=279524390844368 CPUtime=1.42 cores=0,2,4,6
/proc/5789/task/5802/stat : 5802 (java) S 5786 5789 2271 0 -1 1077944384 3847 0 0 0 141 1 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647278569456 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5803] ppid=5786 vsize=15683912 memory=279524390844432 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5803/stat : 5803 (java) S 5786 5789 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52201381 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645895567712 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5804] ppid=5786 vsize=15683912 memory=279524390844496 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5804/stat : 5804 (java) S 5786 5789 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52201382 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647277517872 139648311163522 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5806] ppid=5786 vsize=15683912 memory=1583 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5806/stat : 5806 (java) S 5786 5789 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139647372261184 139648311176985 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5808] ppid=5786 vsize=15683912 memory=189 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5808/stat : 5808 (java) S 5786 5789 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645358686000 139648311174301 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5809] ppid=5786 vsize=15683912 memory=628 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5809/stat : 5809 (java) S 5786 5789 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52202005 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645090250160 139648311174301 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
[pid=5789/tid=5810] ppid=5786 vsize=15683912 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5789/task/5810/stat : 5810 (java) S 5786 5789 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 52202008 16060325888 759600 33554432000 4194304 4196468 140727043022224 139645627129120 139648311162581 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33202176 140727043023859 140727043024137 140727043024137 140727043026895 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 15740592 KiB
Current children cumulated memory: 3077916 KiB

Child status: 0
Real time (s): 8.87021
CPU time (s): 18.41
CPU user time (s): 17.8063
CPU system time (s): 0.603678
CPU usage (%): 207.548
Max. virtual memory (cumulated for all children) (KiB): 15740592
Max. memory (cumulated for all children) (KiB): 3077916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8063
system time used= 0.603678
maximum resident set size= 3038400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4155
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 5789
#   total CPU time (s): 18.41
#   total CPU user time (s): 17.8063
#   total CPU system time (s): 0.603678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.07757 second user time and 0.128041 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 13:46:22
IDJOB=4293457
IDBENCH=141177
IDSOLVER=2756
FILE ID=node105/4293457-1532346382
RUNJOBID= node105-1532330128-2302
PBS_JOBID= 21019001
Free space on /tmp= 44840 MiB

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

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

MD5SUM BENCH= 9039ba285abc1aa689fd996e152ad038
RANDOM SEED=1334406047

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15239388 kB
MemAvailable:   30883112 kB
Buffers:          195596 kB
Cached:         15423192 kB
SwapCached:            0 kB
Active:          2465352 kB
Inactive:       14261456 kB
Active(anon):    1060900 kB
Inactive(anon):    67172 kB
Active(file):    1404452 kB
Inactive(file): 14194284 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8184 kB
Writeback:             0 kB
AnonPages:       1074844 kB
Mapped:            49144 kB
Shmem:             17036 kB
Slab:             500944 kB
SReclaimable:     473448 kB
SUnreclaim:        27496 kB
KernelStack:        3648 kB
PageTables:         7408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13488460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    907264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44832 MiB
End job on node105 at 2018-07-23 13:46:31