Trace number 4296128

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)SAT 21.7884 9.55236

General information on the benchmark

NameEternity/
Eternity-10-04_c18.xml
MD5SUMf6e7bfb75851ce9d6d95540719dd30c6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.108484
Satisfiable
(Un)Satisfiability was proved
Number of variables134
Number of constraints69
Number of domains2
Minimum domain size9
Maximum domain size40
Distribution of domain sizes[{"size":9,"count":94},{"size":40,"count":40}]
Minimum variable degree1
Maximum variable degree11
Distribution of variable degrees[{"degree":1,"count":9},{"degree":2,"count":124},{"degree":11,"count":1}]
Minimum constraint arity1
Maximum constraint arity40
Distribution of constraint arities[{"arity":1,"count":28},{"arity":5,"count":40},{"arity":40,"count":1}]
Number of extensional constraints40
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":40},{"type":"intension","count":28},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.52	
0.66/0.52	scop order+minisat_release (2018-06-13)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Jul 26 14:01:44 CEST 2018
0.66/0.55	c PID: 10176
0.66/0.55	c IP: 172.20.3.150
0.66/0.55	c HOST: node150.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.67/1.00	c (0,0) Parsing End
2.08/1.01	c (0,0) CSP: 134 int (0 aux), 0 bool (0 aux), 69 ctr, max domain size 40
2.08/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.08/1.01	c (0,0) Constraint Name Generate Begin
2.08/1.01	c (0,0) Ctr:HOME/instance-4296128-1532606504.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.08/1.01	c (0,0) Constraint Name Generate End
2.08/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.08/1.01	c (0,0) CSP to CSPinCNF Begin
5.76/2.28	c (1,1) translated 7 (10%) constraints
7.84/2.92	c (2,2) translated 14 (20%) constraints
9.32/3.47	c (2,2) translated 21 (30%) constraints
10.69/3.97	c (3,3) translated 28 (40%) constraints
11.92/4.45	c (3,3) translated 35 (50%) constraints
12.62/4.90	c (4,4) translated 42 (60%) constraints
12.62/4.90	c (4,4) translated 49 (70%) constraints
12.62/4.90	c (4,4) translated 56 (80%) constraints
12.62/4.90	c (4,4) translated 63 (90%) constraints
12.62/4.90	c (4,4) translated 69 (100%) constraints
13.31/5.20	c (4,4) STATISTICS1:HOME/instance-4296128-1532606504.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,9054,55090,40,40,41,2,40:780,40:4760;9:55902;2:95920;1:11086,41:40;40:2;5:720;4:20800;3:12160;2:21340;1:28,2:780;1:166136;0:40,
13.31/5.20	c (4,4) ===========================================
13.31/5.20	c (4,4) Order
13.31/5.20	c (4,4) ===========================================
13.89/5.41	c (4,4) translated 5509 (10%) constraints
14.19/5.53	c (5,4) translated 11018 (20%) constraints
14.40/5.62	c (5,5) translated 16527 (30%) constraints
14.49/5.70	c (5,5) translated 22036 (40%) constraints
14.49/5.78	c (5,5) translated 27545 (50%) constraints
14.60/5.86	c (5,5) translated 33054 (60%) constraints
14.69/5.95	c (5,5) translated 38563 (70%) constraints
14.80/6.03	c (5,5) translated 44072 (80%) constraints
14.91/6.11	c (5,5) translated 49581 (90%) constraints
14.99/6.20	c (5,5) translated 55090 (100%) constraints
14.99/6.20	c (5,5) CSP to CSPinCNF End
14.99/6.21	c (5,5) CSP: 134 int (0 aux), 8920 bool (8920 aux), 55118 ctr, max domain size 40
14.99/6.21	c (5,5) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.99/6.21	c (5,5) CSPinCNF Propagation Begin
17.38/7.30	c (6,6) 3798 values, 20822 unsatisfiable literals, and 21583 valid clauses are removed
17.38/7.30	c (6,6) CSPinCNF Propagation End
17.38/7.31	c (6,6) CSP: 3468 int (3334 aux), 5586 bool (5586 aux), 33535 ctr, max domain size 40
17.38/7.31	c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.38/7.31	c (6,6) Simplify CSPinCNF Begin
17.68/7.45	c (6,6) Simplify CSPinCNF End
17.68/7.45	c (6,6) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.68/7.45	c (6,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.68/7.45	c (6,6) Calculate Precise Domain Begin
17.68/7.45	c (6,6) 0 values are removed by re-calculation
17.68/7.45	c (6,6) Calculate Precise Domain End
17.68/7.45	c (6,6) CSP: 3468 int (3334 aux), 7146 bool (7146 aux), 35095 ctr, max domain size 40
17.68/7.45	c (6,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.68/7.45	c (6,6) CSPinCNF to SatSolver Begin
18.68/7.79	c (7,7) 3510 (10 %) CSP clauses are encoded (8770 SAT variables, 38747 SAT clauses)
18.98/7.83	c (7,7) 7019 (20 %) CSP clauses are encoded (8770 SAT variables, 42256 SAT clauses)
18.98/7.85	c (7,7) 10529 (30 %) CSP clauses are encoded (8770 SAT variables, 45766 SAT clauses)
18.98/7.88	c (7,7) 14038 (40 %) CSP clauses are encoded (8770 SAT variables, 49275 SAT clauses)
19.29/7.90	c (7,7) 17548 (50 %) CSP clauses are encoded (8770 SAT variables, 52785 SAT clauses)
19.29/7.92	c (7,7) 21057 (60 %) CSP clauses are encoded (8770 SAT variables, 56294 SAT clauses)
19.29/7.94	c (7,7) 24567 (70 %) CSP clauses are encoded (8770 SAT variables, 59804 SAT clauses)
19.29/7.97	c (7,7) 28076 (80 %) CSP clauses are encoded (8770 SAT variables, 63313 SAT clauses)
19.29/7.99	c (7,7) 31586 (90 %) CSP clauses are encoded (8770 SAT variables, 66823 SAT clauses)
19.29/8.01	c (7,7) 35095 (100 %) CSP clauses are encoded (8770 SAT variables, 70332 SAT clauses)
19.29/8.01	c (7,7) CSPinCNF to SatSolver End
19.29/8.01	c (7,7) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.03/8.21	c (7,7) STATISTICS2:HOME/instance-4296128-1532606504.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,10614,35095,40,40,40,2,40:240;24:1020;4:300,40:2528;24:2500;9:39252;4:340;2:59167,40:17;24:20;16:1;5:318;4:11190;3:7603;2:15946,2:1560;1:100667,
20.03/8.21	c (7,7) SatSolver.solve Begin
20.03/8.21	c (7,7) 8770 bool, 70333 clause
20.03/8.21	c (7,7) 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-4296128-1532606504.xml-scop-10176.cnf HOME/instance-4296128-1532606504.xml-scop-10176.cnf.out
21.54/9.48	c (8,0) c This is COMiniSatPS.
21.54/9.48	c (8,0) c WARNING: for repeatability, setting FPU to use double precision
21.54/9.48	c (8,0) c ============================[ Problem Statistics ]=============================
21.54/9.48	c (8,0) c |                                                                             |
21.54/9.48	c (8,0) c |  Number of variables:          8770                                         |
21.54/9.48	c (8,0) c |  Number of clauses:           70333                                         |
21.54/9.48	c (8,0) c |  Parse time:                   0.02 s                                       |
21.54/9.48	c (8,0) c |  Eliminated clauses:           0.12 Mb                                      |
21.54/9.49	c (8,0) c Reduced to 5618 vars, 60222 cls (grow=0)
21.54/9.49	c (8,0) c No iterative elimination performed. (vars=5618, c/v ratio=10.7)
21.54/9.49	c (8,0) c |  Simplification time:          0.07 s                                       |
21.54/9.49	c (8,0) c |                                                                             |
21.54/9.49	c (8,0) c ============================[ Search Statistics ]==============================
21.54/9.49	c (8,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.54/9.49	c (8,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.54/9.49	c (8,0) c ===============================================================================
21.54/9.49	c (8,0) c ===============================================================================
21.54/9.49	c (8,0) c restarts              : 92
21.54/9.49	c (8,0) c conflicts             : 13002          (10412 /sec)
21.54/9.49	c (8,0) c decisions             : 41386          (0.00 % random) (33141 /sec)
21.54/9.49	c (8,0) c propagations          : 4923235        (3942458 /sec)
21.54/9.49	c (8,0) c conflict literals     : 551036         (26.15 % deleted)
21.54/9.49	c (8,0) c CPU time              : 1.24877 s
21.54/9.49	c (8,0) 
21.54/9.49	c (8,0) s SATISFIABLE
21.68/9.50	c (8,7) SatSolver.solve End
21.68/9.50	c (8,7) Heap : 238 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.68/9.50	c (8,7) Show results Begin
21.68/9.51	c (8,7) bot[0] = 0
21.68/9.51	c (8,7) bot[1] = 0
21.68/9.51	c (8,7) bot[2] = 0
21.68/9.51	c (8,7) bot[3] = 0
21.68/9.51	c (8,7) id[0][0] = 2
21.68/9.51	c (8,7) id[0][1] = 10
21.68/9.51	c (8,7) id[0][2] = 23
21.68/9.51	c (8,7) id[0][3] = 1
21.68/9.51	c (8,7) id[1][0] = 12
21.68/9.51	c (8,7) id[1][1] = 31
21.68/9.51	c (8,7) id[1][2] = 32
21.68/9.51	c (8,7) id[1][3] = 4
21.68/9.51	c (8,7) id[2][0] = 15
21.68/9.51	c (8,7) id[2][1] = 30
21.68/9.51	c (8,7) id[2][2] = 37
21.68/9.51	c (8,7) id[2][3] = 21
21.68/9.51	c (8,7) id[3][0] = 7
21.68/9.51	c (8,7) id[3][1] = 27
21.68/9.51	c (8,7) id[3][2] = 38
21.68/9.51	c (8,7) id[3][3] = 16
21.68/9.51	c (8,7) id[4][0] = 20
21.68/9.51	c (8,7) id[4][1] = 26
21.68/9.51	c (8,7) id[4][2] = 25
21.68/9.51	c (8,7) id[4][3] = 22
21.68/9.51	c (8,7) id[5][0] = 14
21.68/9.51	c (8,7) id[5][1] = 39
21.68/9.51	c (8,7) id[5][2] = 24
21.68/9.51	c (8,7) id[5][3] = 5
21.68/9.51	c (8,7) id[6][0] = 13
21.68/9.51	c (8,7) id[6][1] = 34
21.68/9.51	c (8,7) id[6][2] = 35
21.68/9.51	c (8,7) id[6][3] = 17
21.68/9.51	c (8,7) id[7][0] = 11
21.68/9.51	c (8,7) id[7][1] = 33
21.68/9.51	c (8,7) id[7][2] = 29
21.68/9.51	c (8,7) id[7][3] = 18
21.68/9.51	c (8,7) id[8][0] = 6
21.68/9.51	c (8,7) id[8][1] = 36
21.68/9.51	c (8,7) id[8][2] = 28
21.68/9.51	c (8,7) id[8][3] = 19
21.68/9.51	c (8,7) id[9][0] = 0
21.68/9.51	c (8,7) id[9][1] = 8
21.68/9.51	c (8,7) id[9][2] = 9
21.68/9.51	c (8,7) id[9][3] = 3
21.68/9.51	c (8,7) left[0][0] = 0
21.68/9.51	c (8,7) left[0][1] = 3
21.68/9.51	c (8,7) left[0][2] = 1
21.68/9.51	c (8,7) left[0][3] = 3
21.68/9.51	c (8,7) left[1][0] = 0
21.68/9.51	c (8,7) left[1][1] = 4
21.68/9.51	c (8,7) left[1][2] = 8
21.68/9.51	c (8,7) left[1][3] = 4
21.68/9.51	c (8,7) left[2][0] = 0
21.68/9.51	c (8,7) left[2][1] = 7
21.68/9.51	c (8,7) left[2][2] = 6
21.68/9.51	c (8,7) left[2][3] = 7
21.68/9.51	c (8,7) left[3][0] = 0
21.68/9.51	c (8,7) left[3][1] = 5
21.68/9.51	c (8,7) left[3][2] = 7
21.68/9.51	c (8,7) left[3][3] = 7
21.68/9.51	c (8,7) left[4][0] = 0
21.68/9.51	c (8,7) left[4][1] = 5
21.68/9.51	c (8,7) left[4][2] = 4
21.68/9.51	c (8,7) left[4][3] = 7
21.68/9.51	c (8,7) left[5][0] = 0
21.68/9.51	c (8,7) left[5][1] = 6
21.68/9.51	c (8,7) left[5][2] = 7
21.68/9.51	c (8,7) left[5][3] = 4
21.68/9.51	c (8,7) left[6][0] = 0
21.68/9.51	c (8,7) left[6][1] = 5
21.68/9.51	c (8,7) left[6][2] = 6
21.68/9.51	c (8,7) left[6][3] = 8
21.68/9.51	c (8,7) left[7][0] = 0
21.68/9.51	c (8,7) left[7][1] = 8
21.68/9.51	c (8,7) left[7][2] = 5
21.68/9.51	c (8,7) left[7][3] = 4
21.68/9.51	c (8,7) left[8][0] = 0
21.68/9.51	c (8,7) left[8][1] = 5
21.68/9.51	c (8,7) left[8][2] = 8
21.68/9.51	c (8,7) left[8][3] = 4
21.68/9.51	c (8,7) left[9][0] = 0
21.68/9.51	c (8,7) left[9][1] = 1
21.68/9.51	c (8,7) left[9][2] = 1
21.68/9.51	c (8,7) left[9][3] = 3
21.68/9.51	c (8,7) right[0] = 0
21.68/9.51	c (8,7) right[1] = 0
21.68/9.51	c (8,7) right[2] = 0
21.68/9.51	c (8,7) right[3] = 0
21.68/9.51	c (8,7) right[4] = 0
21.68/9.51	c (8,7) right[5] = 0
21.68/9.51	c (8,7) right[6] = 0
21.68/9.51	c (8,7) right[7] = 0
21.68/9.51	c (8,7) right[8] = 0
21.68/9.51	c (8,7) right[9] = 0
21.68/9.51	c (8,7) top[0][0] = 0
21.68/9.51	c (8,7) top[0][1] = 0
21.68/9.51	c (8,7) top[0][2] = 0
21.68/9.51	c (8,7) top[0][3] = 0
21.68/9.51	c (8,7) top[1][0] = 2
21.68/9.51	c (8,7) top[1][1] = 7
21.68/9.51	c (8,7) top[1][2] = 8
21.68/9.51	c (8,7) top[1][3] = 2
21.68/9.51	c (8,7) top[2][0] = 2
21.68/9.51	c (8,7) top[2][1] = 6
21.68/9.51	c (8,7) top[2][2] = 8
21.68/9.51	c (8,7) top[2][3] = 1
21.68/9.51	c (8,7) top[3][0] = 1
21.68/9.51	c (8,7) top[3][1] = 4
21.68/9.51	c (8,7) top[3][2] = 5
21.68/9.51	c (8,7) top[3][3] = 3
21.68/9.51	c (8,7) top[4][0] = 3
21.68/9.51	c (8,7) top[4][1] = 4
21.68/9.52	c (8,7) top[4][2] = 6
21.68/9.52	c (8,7) top[4][3] = 2
21.68/9.52	c (8,7) top[5][0] = 2
21.68/9.52	c (8,7) top[5][1] = 8
21.68/9.52	c (8,7) top[5][2] = 4
21.68/9.52	c (8,7) top[5][3] = 3
21.68/9.52	c (8,7) top[6][0] = 2
21.68/9.52	c (8,7) top[6][1] = 8
21.68/9.52	c (8,7) top[6][2] = 5
21.68/9.52	c (8,7) top[6][3] = 1
21.68/9.52	c (8,7) top[7][0] = 1
21.68/9.52	c (8,7) top[7][1] = 5
21.68/9.52	c (8,7) top[7][2] = 5
21.68/9.52	c (8,7) top[7][3] = 2
21.68/9.52	c (8,7) top[8][0] = 1
21.68/9.52	c (8,7) top[8][1] = 6
21.68/9.52	c (8,7) top[8][2] = 7
21.68/9.52	c (8,7) top[8][3] = 3
21.68/9.52	c (8,7) top[9][0] = 2
21.68/9.52	c (8,7) top[9][1] = 6
21.68/9.52	c (8,7) top[9][2] = 6
21.68/9.52	c (8,7) top[9][3] = 3
21.68/9.52	s SATISFIABLE
21.68/9.52	v <instantiation>
21.68/9.52	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[1][0] id[1][1] id[1][2] id[1][3] id[2][0] id[2][1] id[2][2] id[2][3] id[3][0] id[3][1] id[3][2] id[3][3] id[4][0] id[4][1] id[4][2] id[4][3] id[5][0] id[5][1] id[5][2] id[5][3] id[6][0] id[6][1] id[6][2] id[6][3] id[7][0] id[7][1] id[7][2] id[7][3] id[8][0] id[8][1] id[8][2] id[8][3] id[9][0] id[9][1] id[9][2] id[9][3] top[0][0] top[0][1] top[0][2] top[0][3] top[1][0] top[1][1] top[1][2] top[1][3] top[2][0] top[2][1] top[2][2] top[2][3] top[3][0] top[3][1] top[3][2] top[3][3] top[4][0] top[4][1] top[4][2] top[4][3] top[5][0] top[5][1] top[5][2] top[5][3] top[6][0] top[6][1] top[6][2] top[6][3] top[7][0] top[7][1] top[7][2] top[7][3] top[8][0] top[8][1] top[8][2] top[8][3] top[9][0] top[9][1] top[9][2] top[9][3] left[0][0] left[0][1] left[0][2] left[0][3] left[1][0] left[1][1] left[1][2] left[1][3] left[2][0] left[2][1] left[2][2] left[2][3] left[3][0] left[3][1] left[3][2] left[3][3] left[4][0] left[4][1] left[4][2] left[4][3] left[5][0] left[5][1] left[5][2] left[5][3] left[6][0] left[6][1] left[6][2] left[6][3] left[7][0] left[7][1] left[7][2] left[7][3] left[8][0] left[8][1] left[8][2] left[8][3] left[9][0] left[9][1] left[9][2] left[9][3] bot[0] bot[1] bot[2] bot[3] right[0] right[1] right[2] right[3] right[4] right[5] right[6] right[7] right[8] right[9]</list>
21.68/9.52	v     <values>2 10 23 1 12 31 32 4 15 30 37 21 7 27 38 16 20 26 25 22 14 39 24 5 13 34 35 17 11 33 29 18 6 36 28 19 0 8 9 3 0 0 0 0 2 7 8 2 2 6 8 1 1 4 5 3 3 4 6 2 2 8 4 3 2 8 5 1 1 5 5 2 1 6 7 3 2 6 6 3 0 3 1 3 0 4 8 4 0 7 6 7 0 5 7 7 0 5 4 7 0 6 7 4 0 5 6 8 0 8 5 4 0 5 8 4 0 1 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
21.68/9.52	v </instantiation>
21.68/9.52	c (8,7) Show results End
21.68/9.52	c (8,7) Heap : 238 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.68/9.52	c (8,7) 0,0,5,6,6,6,7,8,8,STOP-AFTER(ALL)
21.68/9.52	c END-Prog: Thu Jul 26 14:01:53 CEST 2018

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296128-1532606504/watcher-4296128-1532606504 -o /tmp/evaluation-result-4296128-1532606504/solver-4296128-1532606504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9419 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296128-1532606504.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=10176, runsolver pid=10173
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 2.13 2.14 2.09 3/217 10197
/proc/meminfo: memFree=24254680/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15011656 memory=73096 CPUtime=0.12 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 6964 0 0 0 10 2 0 0 20 0 15 0 78213632 15371935744 18274 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3752914 18274 2780 1 0 3715374 0
[pid=10176/tid=10178] ppid=10173 vsize=15011656 memory=-8556449466809355395 CPUtime=0.09 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 8644 0 -1 4202560 5272 0 0 0 8 1 0 0 20 0 15 0 78213632 15371935744 18472 33554432000 4194304 4196468 140725105110464 140657793995144 140657802458866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 18472 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 18472 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 18538 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 18538 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213635 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213636 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213636 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656085295984 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 18538 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) S 10173 10176 8644 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656859446128 140657822194306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656858393328 140657822194306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) S 10173 10176 8644 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656857340528 140657822194306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 18538 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213639 15371935744 18538 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73096 KiB

[startup+0.210404 s]*
/proc/loadavg: 2.13 2.14 2.09 3/217 10197
/proc/meminfo: memFree=24235012/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15011656 memory=85680 CPUtime=0.26 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 10361 0 0 0 23 3 0 0 20 0 15 0 78213632 15371935744 21420 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3752914 21420 2899 1 0 3715374 0
[pid=10176/tid=10178] ppid=10173 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) S 10173 10176 8644 0 -1 1077944384 8280 0 0 0 18 2 0 0 20 0 15 0 78213632 15371935744 21420 33554432000 4194304 4196468 140725105110464 140657794006768 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15011656 memory=343 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 21420 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15011656 memory=3618554971819423392 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 21420 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 21420 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 21420 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213635 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213636 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213636 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656085295984 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 21420 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) R 10173 10176 8644 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656859446224 140657822193365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) R 10173 10176 8644 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656858384832 140657815288856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0.03 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) S 10173 10176 8644 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 78213638 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656857340528 140657822194306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 21420 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) R 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213639 15371935744 21420 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85680 KiB

[startup+0.310471 s]*
/proc/loadavg: 2.13 2.14 2.09 3/217 10197
/proc/meminfo: memFree=24228436/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15011656 memory=89752 CPUtime=0.43 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 10970 0 0 0 39 4 0 0 20 0 15 0 78213632 15371935744 22438 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3752914 22438 2999 1 0 3715374 0
[pid=10176/tid=10178] ppid=10173 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 8644 0 -1 4202560 8709 0 0 0 27 3 0 0 20 0 15 0 78213632 15371935744 22438 33554432000 4194304 4196468 140725105110464 140657793987312 140657806226789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15011656 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 22438 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15011656 memory=3906222398017713824 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 22438 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 22438 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213634 15371935744 22438 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213635 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213636 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213636 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656085295984 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 22438 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) R 10173 10176 8644 0 -1 4202560 430 0 0 0 1 0 0 0 20 0 15 0 78213638 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656859446128 140657806085354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) R 10173 10176 8644 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 15 0 78213638 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656858393328 140657822194306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0.07 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) R 10173 10176 8644 0 -1 4202560 332 0 0 0 7 0 0 0 20 0 15 0 78213638 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656857340528 140657807879030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15371935744 22438 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15011656 memory=140063153403520 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213639 15371935744 22438 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89752 KiB

[startup+0.70949 s]
/proc/loadavg: 2.13 2.14 2.09 4/217 10197
/proc/meminfo: memFree=24178216/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15020052 memory=129932 CPUtime=1.03 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 18237 0 0 0 97 6 0 0 20 0 15 0 78213632 15380533248 32483 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3755013 32483 3160 1 0 3716398 0
[pid=10176/tid=10178] ppid=10173 vsize=15020052 memory=183824466066220 CPUtime=0.68 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 8644 0 -1 4202560 15470 0 0 0 63 5 0 0 20 0 15 0 78213632 15380533248 32483 33554432000 4194304 4196468 140725105110464 140657794017680 140657806263646 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15020052 memory=462675 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15380533248 32483 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213634 15380533248 32483 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15380533248 32483 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213634 15380533248 32483 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78213635 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78213636 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213636 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656085295984 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15380533248 32483 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) R 10173 10176 8644 0 -1 4202560 683 0 0 0 8 0 0 0 20 0 15 0 78213638 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656859434224 140657805651130 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) R 10173 10176 8644 0 -1 4202560 239 0 0 0 7 0 0 0 20 0 15 0 78213638 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656858383440 140657803362232 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) S 10173 10176 8644 0 -1 1077944384 504 0 0 0 16 0 0 0 20 0 15 0 78213638 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656857340528 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213638 15380533248 32483 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15020052 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213639 15380533248 32483 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129932 KiB

[startup+1.50348 s]
/proc/loadavg: 2.13 2.14 2.09 10/217 10197
/proc/meminfo: memFree=24044868/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15024148 memory=187304 CPUtime=3.48 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 23753 0 0 0 338 10 0 0 20 0 15 0 78213632 15384727552 46826 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3756037 46826 3203 1 0 3717422 0
[pid=10176/tid=10178] ppid=10173 vsize=15024148 memory=10799 CPUtime=1.48 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) R 10173 10176 8644 0 -1 4202560 16686 0 0 0 141 7 0 0 20 0 15 0 78213632 15384727552 46826 33554432000 4194304 4196468 140725105110464 140657794014288 140657803832172 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15384727552 46826 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78213634 15384727552 46826 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78213634 15384727552 46826 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15024148 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78213634 15384727552 46826 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78213635 15384727552 46826 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0

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

[pid=10176/tid=10190] ppid=10173 vsize=15683912 memory=7306649918199124304 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78213636 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15683912 memory=56 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213636 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656085296000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15683912 memory=920 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15683912 memory=3848 CPUtime=5.44 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) S 10173 10176 8644 0 -1 1077944384 7141 0 0 0 542 2 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656859446128 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15683912 memory=4104 CPUtime=5.08 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) S 10173 10176 8644 0 -1 1077944384 4789 0 0 0 507 1 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656858393328 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15683912 memory=2688 CPUtime=1.39 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) S 10173 10176 8644 0 -1 1077944384 5587 0 0 0 137 2 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656857340528 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15683912 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15683912 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213639 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 20.38 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 2892572 KiB

[startup+9.20081 s]
/proc/loadavg: 2.44 2.20 2.11 3/222 10203
/proc/meminfo: memFree=18758412/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15683912 memory=2892572 CPUtime=20.38 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 38122 0 0 0 1980 58 0 0 20 0 19 0 78213632 16060325888 723143 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3920978 723143 3236 1 0 3881834 0
[pid=10198] ppid=10176 vsize=28880 memory=11288 CPUtime=0.96 cores=0,2,4,6
/proc/10198/stat : 10198 (minisat_release) R 10176 10176 8644 0 -1 4202496 3748 0 0 0 96 0 0 0 20 0 1 0 78214455 29573120 2822 33554432000 4194304 4308513 140732510371184 140732510368808 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 33513472 140732510376623 140732510377134 140732510377134 140732510379973 0
/proc/10198/statm: 7220 2822 352 28 0 3460 0
[pid=10176/tid=10178] ppid=10173 vsize=15683912 memory=117125 CPUtime=8.24 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) S 10173 10176 8644 0 -1 1077944384 19017 0 0 0 776 48 0 0 20 0 19 0 78213632 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657794022400 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15683912 memory=117521 CPUtime=0.04 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 31 0 0 0 4 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15683912 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15683912 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 56 0 0 0 5 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 11 0 0 0 2 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 78213635 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78213636 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213636 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656085296000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15683912 memory=0 CPUtime=5.44 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) S 10173 10176 8644 0 -1 1077944384 7141 0 0 0 542 2 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656859446128 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15683912 memory=0 CPUtime=5.08 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) S 10173 10176 8644 0 -1 1077944384 4789 0 0 0 507 1 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656858393328 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15683912 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) S 10173 10176 8644 0 -1 1077944384 5587 0 0 0 137 2 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656857340528 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15683912 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213639 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10199] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10199/stat : 10199 (java) S 10173 10176 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78214455 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656837924032 140657822207769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10201] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10201/stat : 10201 (java) S 10173 10176 8644 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 78214462 16060325888 723143 33554432000 4194304 4196468 140725105110464 140654675995824 140657822205085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10202] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10202/stat : 10202 (java) S 10173 10176 8644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 78214462 16060325888 723143 33554432000 4194304 4196468 140725105110464 140654541774896 140657822205085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10203] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10203/stat : 10203 (java) S 10173 10176 8644 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 78214464 16060325888 723143 33554432000 4194304 4196468 140725105110464 140654810226336 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 21.34 s
Current children cumulated vsize: 15712792 KiB
Current children cumulated memory: 2903860 KiB

[startup+9.40077 s]
/proc/loadavg: 2.44 2.20 2.11 3/222 10203
/proc/meminfo: memFree=18758412/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15683912 memory=2892572 CPUtime=20.38 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 38122 0 0 0 1980 58 0 0 20 0 19 0 78213632 16060325888 723143 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3920978 723143 3236 1 0 3881834 0
[pid=10198] ppid=10176 vsize=28880 memory=11552 CPUtime=1.16 cores=0,2,4,6
/proc/10198/stat : 10198 (minisat_release) R 10176 10176 8644 0 -1 4202496 3840 0 0 0 116 0 0 0 20 0 1 0 78214455 29573120 2888 33554432000 4194304 4308513 140732510371184 140732510368088 4289173 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 33513472 140732510376623 140732510377134 140732510377134 140732510379973 0
/proc/10198/statm: 7220 2888 352 28 0 3460 0
[pid=10176/tid=10178] ppid=10173 vsize=15683912 memory=23540 CPUtime=8.24 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) S 10173 10176 8644 0 -1 1077944384 19017 0 0 0 776 48 0 0 20 0 19 0 78213632 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657794022400 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15683912 memory=1292 CPUtime=0.04 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 31 0 0 0 4 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15683912 memory=140063153403520 CPUtime=0.03 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15683912 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 56 0 0 0 5 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15683912 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 11 0 0 0 2 0 0 0 20 0 19 0 78213634 16060325888 723143 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) S 10173 10176 8644 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 78213635 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78213636 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213636 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656085296000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15683912 memory=0 CPUtime=5.44 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) S 10173 10176 8644 0 -1 1077944384 7141 0 0 0 542 2 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656859446128 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15683912 memory=0 CPUtime=5.08 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) S 10173 10176 8644 0 -1 1077944384 4789 0 0 0 507 1 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656858393328 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15683912 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) S 10173 10176 8644 0 -1 1077944384 5587 0 0 0 137 2 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656857340528 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213638 16060325888 723143 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78213639 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10199] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10199/stat : 10199 (java) S 10173 10176 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78214455 16060325888 723143 33554432000 4194304 4196468 140725105110464 140656837924032 140657822207769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10201] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10201/stat : 10201 (java) S 10173 10176 8644 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 78214462 16060325888 723143 33554432000 4194304 4196468 140725105110464 140654675995824 140657822205085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10202] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10202/stat : 10202 (java) S 10173 10176 8644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 78214462 16060325888 723143 33554432000 4194304 4196468 140725105110464 140654541774896 140657822205085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10203] ppid=10173 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10176/task/10203/stat : 10203 (java) S 10173 10176 8644 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 78214464 16060325888 723143 33554432000 4194304 4196468 140725105110464 140654810226336 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 21.54 s
Current children cumulated vsize: 15712792 KiB
Current children cumulated memory: 2904124 KiB

[startup+9.50095 s]
/proc/loadavg: 2.44 2.20 2.11 3/222 10203
/proc/meminfo: memFree=18758412/32770624 swapFree=67108860/67108860
[pid=10176] ppid=10173 vsize=15552836 memory=2894676 CPUtime=21.68 cores=0,2,4,6
/proc/10176/stat : 10176 (java) S 10173 10176 8644 0 -1 1077944320 38140 3881 0 0 1983 59 125 1 20 0 17 0 78213632 15926104064 723669 33554432000 4194304 4196468 140725105110464 140725105093008 140657822183159 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
/proc/10176/statm: 3888209 723669 3236 1 0 3849065 0
[pid=10176/tid=10178] ppid=10173 vsize=15552836 memory=2892572 CPUtime=9.5 cores=0,2,4,6
/proc/10176/task/10178/stat : 10178 (java) S 10173 10176 8644 0 -1 1077944384 19017 3881 0 0 776 48 125 1 20 0 17 0 78213632 15926104064 723669 33554432000 4194304 4196468 140725105110464 140657794022400 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10185] ppid=10173 vsize=15552836 memory=303430223234596890 CPUtime=1.3 cores=0,2,4,6
/proc/10176/task/10185/stat : 10185 (java) S 10173 10176 8644 0 -1 1077944384 31 3881 0 0 4 0 125 1 20 0 17 0 78213634 15926104064 723669 33554432000 4194304 4196468 140725105110464 140657826426000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10186] ppid=10173 vsize=15552836 memory=288230583166042426 CPUtime=1.29 cores=0,2,4,6
/proc/10176/task/10186/stat : 10186 (java) S 10173 10176 8644 0 -1 1077944384 49 3881 0 0 3 0 125 1 20 0 17 0 78213634 15926104064 723669 33554432000 4194304 4196468 140725105110464 140657640582160 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10187] ppid=10173 vsize=15552836 memory=13573716680378929 CPUtime=1.31 cores=0,2,4,6
/proc/10176/task/10187/stat : 10187 (java) S 10173 10176 8644 0 -1 1077944384 56 3881 0 0 5 0 125 1 20 0 17 0 78213634 15926104064 723669 33554432000 4194304 4196468 140725105110464 140657639529360 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10188] ppid=10173 vsize=15552836 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/10176/task/10188/stat : 10188 (java) S 10173 10176 8644 0 -1 1077944384 11 3881 0 0 2 0 125 1 20 0 17 0 78213634 15926104064 723669 33554432000 4194304 4196468 140725105110464 140657638476560 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10189] ppid=10173 vsize=15552836 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10189/stat : 10189 (java) R 10173 10176 8644 0 -1 1077944384 24 3881 0 0 0 0 125 1 20 0 17 0 78213635 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656860498288 140657822194306 0 0 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10190] ppid=10173 vsize=15552836 memory=6226324755090330196 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10190/stat : 10190 (java) S 10173 10176 8644 0 -1 1077944384 14 3881 0 0 0 0 125 1 20 0 17 0 78213636 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656353731616 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10191] ppid=10173 vsize=15552836 memory=56 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10191/stat : 10191 (java) S 10173 10176 8644 0 -1 1077944384 3 3881 0 0 0 0 125 1 20 0 17 0 78213636 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656085296000 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10192] ppid=10173 vsize=15552836 memory=280126088544496 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10192/stat : 10192 (java) S 10173 10176 8644 0 -1 1077944384 3 3881 0 0 0 0 125 1 20 0 17 0 78213638 15926104064 723669 33554432000 4194304 4196468 140725105110464 140655710787408 140657822201755 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10193] ppid=10173 vsize=15552836 memory=114156 CPUtime=6.7 cores=0,2,4,6
/proc/10176/task/10193/stat : 10193 (java) R 10173 10176 8644 0 -1 4202560 7142 3881 0 0 542 2 125 1 20 0 17 0 78213638 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656859437408 140657822204506 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10194] ppid=10173 vsize=15552836 memory=280126089361504 CPUtime=6.35 cores=0,2,4,6
/proc/10176/task/10194/stat : 10194 (java) R 10173 10176 8644 0 -1 4202560 4793 3881 0 0 508 1 125 1 20 0 17 0 78213638 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656858383008 140657802876423 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10195] ppid=10173 vsize=15552836 memory=7450481453682676066 CPUtime=2.65 cores=0,2,4,6
/proc/10176/task/10195/stat : 10195 (java) R 10173 10176 8644 0 -1 4202560 5589 3881 0 0 137 2 125 1 20 0 17 0 78213638 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656857340528 140657806263646 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10196] ppid=10173 vsize=15552836 memory=7373067026243348074 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10196/stat : 10196 (java) S 10173 10176 8644 0 -1 1077944384 3 3881 0 0 0 0 125 1 20 0 17 0 78213638 15926104064 723669 33554432000 4194304 4196468 140725105110464 140655212882656 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10197] ppid=10173 vsize=15552836 memory=6791534058613427641 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10197/stat : 10197 (java) S 10173 10176 8644 0 -1 1077944384 3 3881 0 0 0 0 125 1 20 0 17 0 78213639 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656856287920 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10199] ppid=10173 vsize=15552836 memory=4 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10199/stat : 10199 (java) S 10173 10176 8644 0 -1 1077944384 25 3881 0 0 0 0 125 1 20 0 17 0 78214455 15926104064 723669 33554432000 4194304 4196468 140725105110464 140656837923216 140657822194306 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
[pid=10176/tid=10203] ppid=10173 vsize=15552836 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/10176/task/10203/stat : 10203 (java) S 10173 10176 8644 0 -1 1077944384 26 3881 0 0 0 0 125 1 20 0 17 0 78214464 15926104064 723669 33554432000 4194304 4196468 140725105110464 140654810216944 140657822193365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14438400 140725105112051 140725105112329 140725105112329 140725105115087 0
Current children cumulated CPU time: 21.68 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 2894676 KiB

Child status: 0
Real time (s): 9.55236
CPU time (s): 21.7884
CPU user time (s): 21.1627
CPU system time (s): 0.625674
CPU usage (%): 228.094
Max. virtual memory (cumulated for all children) (KiB): 15712792
Max. memory (cumulated for all children) (KiB): 2904124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1627
system time used= 0.625674
maximum resident set size= 2895780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5136
involuntary context switches= 88


# summary of solver processes directly reported to runsolver:
#   pid: 10176
#   total CPU time (s): 21.7884
#   total CPU user time (s): 21.1627
#   total CPU system time (s): 0.625674

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085142 second user time and 0.133527 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-26 14:01:44
IDJOB=4296128
IDBENCH=141655
IDSOLVER=2756
FILE ID=node150/4296128-1532606504
RUNJOBID= node150-1532605409-9419
PBS_JOBID= 21021976
Free space on /tmp= 53092 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Eternity/Eternity-10-04_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-4296128-1532606504/watcher-4296128-1532606504 -o /tmp/evaluation-result-4296128-1532606504/solver-4296128-1532606504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9419 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296128-1532606504.xml

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

MD5SUM BENCH= f6e7bfb75851ce9d6d95540719dd30c6
RANDOM SEED=2075397870

node150.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.76
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.76
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.76
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.76
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:        24340956 kB
MemAvailable:   31886384 kB
Buffers:          202404 kB
Cached:          7534984 kB
SwapCached:            0 kB
Active:          2198288 kB
Inactive:        5638132 kB
Active(anon):      50836 kB
Inactive(anon):    75228 kB
Active(file):    2147452 kB
Inactive(file):  5562904 kB
Unevictable:        7744 kB
Mlocked:            7744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             16684 kB
Writeback:             0 kB
AnonPages:         64404 kB
Mapped:            47672 kB
Shmem:             25224 kB
Slab:             292336 kB
SReclaimable:     263532 kB
SUnreclaim:        28804 kB
KernelStack:        3664 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   12469648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53084 MiB
End job on node150 at 2018-07-26 14:01:53