Trace number 4296073

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-06-13)SAT 21.9061 10.242

General information on the benchmark

NameEternity/
Eternity-06-06_c18.xml
MD5SUM4056656ba438a73a4a2b41323b2858a8
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.138801
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints61
Number of domains2
Minimum domain size9
Maximum domain size36
Distribution of domain sizes[{"size":9,"count":84},{"size":36,"count":36}]
Minimum variable degree1
Maximum variable degree7
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":114},{"degree":7,"count":1}]
Minimum constraint arity1
Maximum constraint arity36
Distribution of constraint arities[{"arity":1,"count":24},{"arity":5,"count":36},{"arity":36,"count":1}]
Number of extensional constraints36
Number of intensional constraints24
Distribution of constraint types[{"type":"extension","count":36},{"type":"intension","count":24},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.52	scop both+minisat_release (2018-06-13)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Thu Jul 26 11:37:50 CEST 2018
0.67/0.55	c PID: 4432
0.67/0.55	c IP: 172.20.3.134
0.67/0.55	c HOST: node134.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.64/0.98	c (0,0) Parsing End
1.64/0.98	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 61 ctr, max domain size 36
1.64/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/0.99	c (0,0) Constraint Name Generate Begin
1.64/0.99	c (0,0) Ctr:HOME/instance-4296073-1532597869.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
1.64/0.99	c (0,0) Constraint Name Generate End
1.64/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/0.99	c (0,0) CSP to CSPinCNF Begin
5.79/2.23	c (1,1) translated 7 (10%) constraints
7.27/2.77	c (2,2) translated 13 (20%) constraints
8.78/3.22	c (2,2) translated 19 (30%) constraints
9.98/3.64	c (3,3) translated 25 (40%) constraints
11.04/4.04	c (3,3) translated 31 (50%) constraints
11.77/4.41	c (3,3) translated 37 (60%) constraints
11.77/4.47	c (3,3) translated 43 (70%) constraints
11.77/4.47	c (3,3) translated 49 (80%) constraints
11.77/4.47	c (3,3) translated 55 (90%) constraints
11.77/4.47	c (3,3) translated 61 (100%) constraints
12.42/4.74	c (4,4) STATISTICS1:HOME/instance-4296073-1532597869.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,7752,46160,36,36,37,2,36:630,36:3852;9:46260;2:80352;1:9276,37:36;36:2;5:648;4:16992;3:10224;2:18234;1:24,2:630;1:138504;0:36,
12.42/4.74	c (4,4) ===========================================
12.42/4.74	c (4,4) Both Encoding selects:
12.42/4.74	c (4,4) Order
12.42/4.74	c (4,4) ===========================================
12.94/4.93	c (4,4) translated 4616 (10%) constraints
13.28/5.05	c (4,4) translated 9232 (20%) constraints
13.58/5.13	c (4,4) translated 13848 (30%) constraints
13.67/5.21	c (4,4) translated 18464 (40%) constraints
13.67/5.28	c (4,4) translated 23080 (50%) constraints
13.78/5.35	c (4,4) translated 27696 (60%) constraints
13.87/5.43	c (4,4) translated 32312 (70%) constraints
13.98/5.51	c (4,4) translated 36928 (80%) constraints
13.98/5.58	c (5,5) translated 41544 (90%) constraints
14.08/5.66	c (5,5) translated 46160 (100%) constraints
14.08/5.66	c (5,5) CSP to CSPinCNF End
14.08/5.67	c (5,5) CSP: 120 int (0 aux), 7632 bool (7632 aux), 46184 ctr, max domain size 36
14.08/5.67	c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.08/5.67	c (5,5) CSPinCNF Propagation Begin
16.26/6.57	c (6,6) 2871 values, 15850 unsatisfiable literals, and 16280 valid clauses are removed
16.26/6.57	c (6,6) CSPinCNF Propagation End
16.26/6.57	c (6,6) CSP: 2607 int (2487 aux), 5145 bool (5145 aux), 29904 ctr, max domain size 36
16.26/6.57	c (6,6) Heap : 1915 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.26/6.57	c (6,6) Simplify CSPinCNF Begin
16.51/6.69	c (6,6) Simplify CSPinCNF End
16.51/6.69	c (6,6) CSP: 2607 int (2487 aux), 6405 bool (6405 aux), 31164 ctr, max domain size 36
16.51/6.69	c (6,6) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.51/6.69	c (6,6) Calculate Precise Domain Begin
16.51/6.69	c (6,6) 0 values are removed by re-calculation
16.51/6.69	c (6,6) Calculate Precise Domain End
16.78/6.70	c (6,6) CSP: 2607 int (2487 aux), 6405 bool (6405 aux), 31164 ctr, max domain size 36
16.78/6.70	c (6,6) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.78/6.70	c (6,6) CSPinCNF to SatSolver Begin
17.45/6.99	c (6,6) 3117 (10 %) CSP clauses are encoded (7761 SAT variables, 27868 SAT clauses)
17.77/7.03	c (6,6) 6233 (20 %) CSP clauses are encoded (7761 SAT variables, 30984 SAT clauses)
17.77/7.06	c (6,6) 9350 (30 %) CSP clauses are encoded (7761 SAT variables, 34101 SAT clauses)
17.77/7.09	c (6,6) 12466 (40 %) CSP clauses are encoded (7761 SAT variables, 37217 SAT clauses)
18.08/7.11	c (6,6) 15582 (50 %) CSP clauses are encoded (7761 SAT variables, 40333 SAT clauses)
18.08/7.13	c (6,6) 18699 (60 %) CSP clauses are encoded (7761 SAT variables, 43450 SAT clauses)
18.08/7.15	c (6,6) 21815 (70 %) CSP clauses are encoded (7761 SAT variables, 46566 SAT clauses)
18.08/7.17	c (6,6) 24932 (80 %) CSP clauses are encoded (7761 SAT variables, 49683 SAT clauses)
18.08/7.19	c (6,6) 28048 (90 %) CSP clauses are encoded (7761 SAT variables, 52799 SAT clauses)
18.24/7.21	c (6,6) 31164 (100 %) CSP clauses are encoded (7761 SAT variables, 55915 SAT clauses)
18.24/7.21	c (6,6) CSPinCNF to SatSolver End
18.24/7.21	c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.53/7.39	c (6,6) STATISTICS2:HOME/instance-4296073-1532597869.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,9012,31164,36,36,36,2,36:240;20:752;4:268,36:2272;20:1744;9:34553;4:308;2:53106,36:17;20:16;16:1;5:336;4:9956;3:6595;2:14243,2:1260;1:89463,
18.53/7.39	c (6,6) SatSolver.solve Begin
18.53/7.39	c (6,6) 7761 bool, 55916 clause
18.53/7.39	c (6,6) 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-4296073-1532597869.xml-scop-4432.cnf HOME/instance-4296073-1532597869.xml-scop-4432.cnf.out
21.69/10.18	c (9,0) c This is COMiniSatPS.
21.69/10.18	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
21.69/10.18	c (9,0) c ============================[ Problem Statistics ]=============================
21.69/10.18	c (9,0) c |                                                                             |
21.69/10.18	c (9,0) c |  Number of variables:          7761                                         |
21.69/10.18	c (9,0) c |  Number of clauses:           55916                                         |
21.69/10.18	c (9,0) c |  Parse time:                   0.02 s                                       |
21.69/10.18	c (9,0) c |  Eliminated clauses:           0.11 Mb                                      |
21.69/10.18	c (9,0) c Reduced to 4771 vars, 45698 cls (grow=0)
21.69/10.18	c (9,0) c No iterative elimination performed. (vars=4771, c/v ratio=9.6)
21.69/10.18	c (9,0) c |  Simplification time:          0.06 s                                       |
21.69/10.18	c (9,0) c |                                                                             |
21.69/10.18	c (9,0) c ============================[ Search Statistics ]==============================
21.69/10.18	c (9,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.69/10.18	c (9,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.69/10.18	c (9,0) c ===============================================================================
21.69/10.18	c (9,0) c ===============================================================================
21.69/10.18	c (9,0) c restarts              : 80
21.69/10.18	c (9,0) c conflicts             : 23312          (8424 /sec)
21.69/10.18	c (9,0) c decisions             : 53171          (0.00 % random) (19213 /sec)
21.69/10.18	c (9,0) c propagations          : 8629125        (3118042 /sec)
21.69/10.18	c (9,0) c conflict literals     : 1439450        (38.52 % deleted)
21.69/10.18	c (9,0) c CPU time              : 2.76748 s
21.69/10.18	c (9,0) 
21.69/10.18	c (9,0) s SATISFIABLE
21.69/10.20	c (9,6) SatSolver.solve End
21.69/10.20	c (9,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.69/10.20	c (9,6) Show results Begin
21.82/10.21	c (9,6) bot[0] = 0
21.82/10.21	c (9,6) bot[1] = 0
21.82/10.21	c (9,6) bot[2] = 0
21.82/10.21	c (9,6) bot[3] = 0
21.82/10.21	c (9,6) bot[4] = 0
21.82/10.21	c (9,6) bot[5] = 0
21.82/10.21	c (9,6) id[0][0] = 3
21.82/10.21	c (9,6) id[0][1] = 11
21.82/10.21	c (9,6) id[0][2] = 19
21.82/10.21	c (9,6) id[0][3] = 8
21.82/10.21	c (9,6) id[0][4] = 4
21.82/10.21	c (9,6) id[0][5] = 0
21.82/10.21	c (9,6) id[1][0] = 18
21.82/10.21	c (9,6) id[1][1] = 30
21.82/10.21	c (9,6) id[1][2] = 31
21.82/10.21	c (9,6) id[1][3] = 34
21.82/10.21	c (9,6) id[1][4] = 32
21.82/10.21	c (9,6) id[1][5] = 16
21.82/10.21	c (9,6) id[2][0] = 7
21.82/10.21	c (9,6) id[2][1] = 22
21.82/10.21	c (9,6) id[2][2] = 29
21.82/10.21	c (9,6) id[2][3] = 28
21.82/10.21	c (9,6) id[2][4] = 27
21.82/10.21	c (9,6) id[2][5] = 13
21.82/10.21	c (9,6) id[3][0] = 10
21.82/10.21	c (9,6) id[3][1] = 21
21.82/10.21	c (9,6) id[3][2] = 26
21.82/10.21	c (9,6) id[3][3] = 24
21.82/10.21	c (9,6) id[3][4] = 25
21.82/10.21	c (9,6) id[3][5] = 5
21.82/10.21	c (9,6) id[4][0] = 6
21.82/10.21	c (9,6) id[4][1] = 35
21.82/10.21	c (9,6) id[4][2] = 33
21.82/10.21	c (9,6) id[4][3] = 23
21.82/10.21	c (9,6) id[4][4] = 20
21.82/10.21	c (9,6) id[4][5] = 9
21.82/10.21	c (9,6) id[5][0] = 1
21.82/10.21	c (9,6) id[5][1] = 17
21.82/10.21	c (9,6) id[5][2] = 12
21.82/10.21	c (9,6) id[5][3] = 15
21.82/10.21	c (9,6) id[5][4] = 14
21.82/10.21	c (9,6) id[5][5] = 2
21.82/10.21	c (9,6) left[0][0] = 0
21.82/10.21	c (9,6) left[0][1] = 2
21.82/10.21	c (9,6) left[0][2] = 2
21.82/10.21	c (9,6) left[0][3] = 3
21.82/10.21	c (9,6) left[0][4] = 1
21.82/10.21	c (9,6) left[0][5] = 1
21.82/10.21	c (9,6) left[1][0] = 0
21.82/10.21	c (9,6) left[1][1] = 7
21.82/10.21	c (9,6) left[1][2] = 4
21.82/10.21	c (9,6) left[1][3] = 7
21.82/10.21	c (9,6) left[1][4] = 5
21.82/10.21	c (9,6) left[1][5] = 5
21.82/10.21	c (9,6) left[2][0] = 0
21.82/10.21	c (9,6) left[2][1] = 8
21.82/10.21	c (9,6) left[2][2] = 4
21.82/10.21	c (9,6) left[2][3] = 5
21.82/10.21	c (9,6) left[2][4] = 4
21.82/10.21	c (9,6) left[2][5] = 7
21.82/10.21	c (9,6) left[3][0] = 0
21.82/10.21	c (9,6) left[3][1] = 5
21.82/10.21	c (9,6) left[3][2] = 4
21.82/10.21	c (9,6) left[3][3] = 7
21.82/10.21	c (9,6) left[3][4] = 4
21.82/10.21	c (9,6) left[3][5] = 6
21.82/10.21	c (9,6) left[4][0] = 0
21.82/10.21	c (9,6) left[4][1] = 8
21.82/10.21	c (9,6) left[4][2] = 8
21.82/10.21	c (9,6) left[4][3] = 6
21.82/10.21	c (9,6) left[4][4] = 7
21.82/10.21	c (9,6) left[4][5] = 4
21.82/10.21	c (9,6) left[5][0] = 0
21.82/10.21	c (9,6) left[5][1] = 3
21.82/10.21	c (9,6) left[5][2] = 2
21.82/10.21	c (9,6) left[5][3] = 3
21.82/10.21	c (9,6) left[5][4] = 3
21.82/10.21	c (9,6) left[5][5] = 2
21.82/10.21	c (9,6) right[0] = 0
21.82/10.21	c (9,6) right[1] = 0
21.82/10.21	c (9,6) right[2] = 0
21.82/10.21	c (9,6) right[3] = 0
21.82/10.21	c (9,6) right[4] = 0
21.82/10.21	c (9,6) right[5] = 0
21.82/10.21	c (9,6) top[0][0] = 0
21.82/10.21	c (9,6) top[0][1] = 0
21.82/10.21	c (9,6) top[0][2] = 0
21.82/10.21	c (9,6) top[0][3] = 0
21.82/10.21	c (9,6) top[0][4] = 0
21.82/10.21	c (9,6) top[0][5] = 0
21.82/10.21	c (9,6) top[1][0] = 3
21.82/10.21	c (9,6) top[1][1] = 6
21.82/10.21	c (9,6) top[1][2] = 8
21.82/10.21	c (9,6) top[1][3] = 8
21.82/10.21	c (9,6) top[1][4] = 6
21.82/10.21	c (9,6) top[1][5] = 1
21.82/10.21	c (9,6) top[2][0] = 1
21.82/10.21	c (9,6) top[2][1] = 8
21.82/10.21	c (9,6) top[2][2] = 8
21.82/10.21	c (9,6) top[2][3] = 6
21.82/10.21	c (9,6) top[2][4] = 7
21.82/10.21	c (9,6) top[2][5] = 3
21.82/10.21	c (9,6) top[3][0] = 2
21.82/10.21	c (9,6) top[3][1] = 5
21.82/10.21	c (9,6) top[3][2] = 7
21.82/10.21	c (9,6) top[3][3] = 8
21.82/10.21	c (9,6) top[3][4] = 7
21.82/10.21	c (9,6) top[3][5] = 2
21.82/10.21	c (9,6) top[4][0] = 1
21.82/10.21	c (9,6) top[4][1] = 5
21.82/10.21	c (9,6) top[4][2] = 5
21.82/10.21	c (9,6) top[4][3] = 6
21.82/10.21	c (9,6) top[4][4] = 5
21.82/10.21	c (9,6) top[4][5] = 1
21.82/10.21	c (9,6) top[5][0] = 1
21.82/10.21	c (9,6) top[5][1] = 6
21.82/10.21	c (9,6) top[5][2] = 6
21.82/10.21	c (9,6) top[5][3] = 4
21.82/10.21	c (9,6) top[5][4] = 4
21.82/10.21	c (9,6) top[5][5] = 2
21.82/10.21	s SATISFIABLE
21.82/10.21	v <instantiation>
21.82/10.21	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] right[0] right[1] right[2] right[3] right[4] right[5]</list>
21.82/10.21	v     <values>3 11 19 8 4 0 18 30 31 34 32 16 7 22 29 28 27 13 10 21 26 24 25 5 6 35 33 23 20 9 1 17 12 15 14 2 0 0 0 0 0 0 3 6 8 8 6 1 1 8 8 6 7 3 2 5 7 8 7 2 1 5 5 6 5 1 1 6 6 4 4 2 0 2 2 3 1 1 0 7 4 7 5 5 0 8 4 5 4 7 0 5 4 7 4 6 0 8 8 6 7 4 0 3 2 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0</values>
21.82/10.21	v </instantiation>
21.82/10.21	c (9,6) Show results End
21.82/10.21	c (9,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.82/10.21	c (9,6) 0,0,5,6,6,6,6,9,9,STOP-AFTER(ALL)
21.82/10.21	c END-Prog: Thu Jul 26 11:38:00 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 (9131 MiB free)
  memory of node 1: 16384 MiB (10099 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296073-1532597869/watcher-4296073-1532597869 -o /tmp/evaluation-result-4296073-1532597869/solver-4296073-1532597869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532597865-4306 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296073-1532597869.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=4432, runsolver pid=4429

[startup+0.100093 s]*
/proc/loadavg: 1.18 1.07 1.34 4/219 4447
/proc/meminfo: memFree=19587620/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15011656 memory=72496 CPUtime=0.12 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 6359 0 0 0 10 2 0 0 20 0 15 0 77350134 15371935744 18124 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3752914 18124 2754 1 0 3715374 0
[pid=4432/tid=4434] ppid=4429 vsize=15011656 memory=-8535551062166041792 CPUtime=0.09 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) R 4429 4432 4275 0 -1 4202560 4717 0 0 0 8 1 0 0 20 0 15 0 77350134 15371935744 18388 33554432000 4194304 4196468 140732536662736 140398711337352 140398719801181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15011656 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 18388 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 18388 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 18388 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 18388 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350137 15371935744 18388 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77350138 15371935744 18388 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350138 15371935744 18454 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 18454 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) S 4429 4432 4275 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 18454 33554432000 4194304 4196468 140732536662736 140398078028656 140398739536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 18454 33554432000 4194304 4196468 140732536662736 140398076975856 140398739536514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) S 4429 4432 4275 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 18454 33554432000 4194304 4196468 140732536662736 140398075923056 140398739536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 18454 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 18454 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72496 KiB

[startup+0.210592 s]*
/proc/loadavg: 1.18 1.07 1.34 3/219 4447
/proc/meminfo: memFree=19522592/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15011656 memory=85852 CPUtime=0.26 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 9869 0 0 0 23 3 0 0 20 0 15 0 77350134 15371935744 21463 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3752914 21463 2888 1 0 3715374 0
[pid=4432/tid=4434] ppid=4429 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) R 4429 4432 4275 0 -1 4202560 7784 0 0 0 18 2 0 0 20 0 15 0 77350134 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398711350576 140398723865511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15011656 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15011656 memory=288370792710178432 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350137 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77350138 15371935744 21463 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350138 15371935744 21463 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 21463 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) R 4429 4432 4275 0 -1 4202560 425 0 0 0 1 0 0 0 20 0 15 0 77350141 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398078028656 140398739537302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) R 4429 4432 4275 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398076975856 140398739536514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0.03 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) R 4429 4432 4275 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 15 0 77350141 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398075923056 140398717891040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 21463 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 21463 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85852 KiB

[startup+0.310532 s]*
/proc/loadavg: 1.18 1.07 1.34 3/219 4447
/proc/meminfo: memFree=19474372/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15011656 memory=89528 CPUtime=0.43 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 10468 0 0 0 40 3 0 0 20 0 15 0 77350134 15371935744 22382 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3752914 22382 2982 1 0 3715374 0
[pid=4432/tid=4434] ppid=4429 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) R 4429 4432 4275 0 -1 4202560 8206 0 0 0 27 2 0 0 20 0 15 0 77350134 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398711354608 140398739537302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15011656 memory=4294980952 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15011656 memory=288370792710178432 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350136 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350137 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77350138 15371935744 22382 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350138 15371935744 22382 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 22382 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) R 4429 4432 4275 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 77350141 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398078028656 140398739536514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) R 4429 4432 4275 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 15 0 77350141 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398076975856 140398721069637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0.07 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) R 4429 4432 4275 0 -1 4202560 314 0 0 0 7 0 0 0 20 0 15 0 77350141 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398075923056 140398718254348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 22382 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15011656 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) R 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350141 15371935744 22382 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89528 KiB

[startup+0.700734 s]
/proc/loadavg: 1.18 1.07 1.34 3/219 4447
/proc/meminfo: memFree=19357336/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15020052 memory=129996 CPUtime=1.02 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 17710 0 0 0 97 5 0 0 20 0 15 0 77350134 15380533248 32499 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3755013 32499 3175 1 0 3716398 0
[pid=4432/tid=4434] ppid=4429 vsize=15020052 memory=1236 CPUtime=0.68 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) R 4429 4432 4275 0 -1 4202560 14952 0 0 0 64 4 0 0 20 0 15 0 77350134 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398711351648 140398739547293 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15020052 memory=13560 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15020052 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15020052 memory=644 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15020052 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350136 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15020052 memory=956 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77350137 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15020052 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77350138 15380533248 32499 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15020052 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350138 15380533248 32499 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15020052 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15380533248 32499 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15020052 memory=7733916894068367465 CPUtime=0.07 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) S 4429 4432 4275 0 -1 1077944384 627 0 0 0 7 0 0 0 20 0 15 0 77350141 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398078028656 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15020052 memory=6154282490091891024 CPUtime=0.08 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) S 4429 4432 4275 0 -1 1077944384 334 0 0 0 8 0 0 0 20 0 15 0 77350141 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398076975856 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) R 4429 4432 4275 0 -1 4202560 459 0 0 0 16 0 0 0 20 0 15 0 77350141 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398075923056 140398732622203 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77350141 15380533248 32499 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15020052 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350141 15380533248 32499 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129996 KiB

[startup+1.501 s]
/proc/loadavg: 1.18 1.07 1.34 5/219 4447
/proc/meminfo: memFree=19088696/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15024148 memory=189920 CPUtime=3.55 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 23760 0 0 0 346 9 0 0 20 0 15 0 77350134 15384727552 47480 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3756037 47480 3201 1 0 3717422 0
[pid=4432/tid=4434] ppid=4429 vsize=15024148 memory=170196 CPUtime=1.47 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) R 4429 4432 4275 0 -1 4202560 16161 0 0 0 142 5 0 0 20 0 15 0 77350134 15384727552 47480 33554432000 4194304 4196468 140732536662736 140398711353760 140398210268860 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15024148 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15384727552 47480 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15384727552 47480 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77350136 15384727552 47480 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77350136 15384727552 47480 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77350137 15384727552 47480 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0

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

[pid=4432/tid=4444] ppid=4429 vsize=15683912 memory=0 CPUtime=5 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) S 4429 4432 4275 0 -1 1077944384 5386 0 0 0 499 1 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398076975856 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15683912 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) S 4429 4432 4275 0 -1 1077944384 4801 0 0 0 137 3 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398075923056 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15683912 memory=-4546129931942301728 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4449] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4449/stat : 4449 (java) S 4429 4432 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77350875 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398521746624 140398739549977 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4451] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4451/stat : 4451 (java) S 4429 4432 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77350875 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395702893744 140398739547293 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4452] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4452/stat : 4452 (java) S 4429 4432 4275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77350876 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395434459184 140398739547293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4453] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4453/stat : 4453 (java) S 4429 4432 4275 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 77350878 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395971337888 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 19.59 s
Current children cumulated vsize: 15711628 KiB
Current children cumulated memory: 2386644 KiB

[startup+9.60074 s]
/proc/loadavg: 1.60 1.17 1.37 3/224 4453
/proc/meminfo: memFree=15366636/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15683912 memory=2375412 CPUtime=19 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 37188 0 0 0 1855 45 0 0 20 0 19 0 77350134 16060325888 593853 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3920978 593853 3231 1 0 3881834 0
[pid=4448] ppid=4432 vsize=32096 memory=15748 CPUtime=2.18 cores=0,2,4,6
/proc/4448/stat : 4448 (minisat_release) R 4432 4432 4275 0 -1 4202496 5026 0 0 0 218 0 0 0 20 0 1 0 77350875 32866304 3937 33554432000 4194304 4308513 140722393948256 140722393945160 4276089 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 41742336 140722393952945 140722393953454 140722393953454 140722393956293 0
/proc/4448/statm: 8024 3937 348 28 0 4264 0
[pid=4432/tid=4434] ppid=4429 vsize=15683912 memory=-5059952977386882957 CPUtime=7.42 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) S 4429 4432 4275 0 -1 1077944384 18201 0 0 0 703 39 0 0 20 0 19 0 77350134 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398711364608 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15683912 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15683912 memory=7636 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15683912 memory=840 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15683912 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77350137 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15683912 memory=1651 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77350138 16060325888 593853 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15683912 memory=657 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350138 16060325888 593853 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15683912 memory=2228912 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15683912 memory=0 CPUtime=5.16 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) S 4429 4432 4275 0 -1 1077944384 7407 0 0 0 514 2 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398078028656 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15683912 memory=2375412 CPUtime=5 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) S 4429 4432 4275 0 -1 1077944384 5386 0 0 0 499 1 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398076975856 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15683912 memory=11496 CPUtime=1.4 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) S 4429 4432 4275 0 -1 1077944384 4801 0 0 0 137 3 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398075923056 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15683912 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15683912 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4449] ppid=4429 vsize=15683912 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4449/stat : 4449 (java) S 4429 4432 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77350875 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398521746624 140398739549977 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4451] ppid=4429 vsize=15683912 memory=13560 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4451/stat : 4451 (java) S 4429 4432 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77350875 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395702893744 140398739547293 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4452] ppid=4429 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4452/stat : 4452 (java) S 4429 4432 4275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77350876 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395434459184 140398739547293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4453] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4453/stat : 4453 (java) S 4429 4432 4275 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 77350878 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395971337888 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 21.18 s
Current children cumulated vsize: 15716008 KiB
Current children cumulated memory: 2391160 KiB

[startup+10.0007 s]*
/proc/loadavg: 1.60 1.17 1.37 3/224 4453
/proc/meminfo: memFree=15366448/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15683912 memory=2375412 CPUtime=19 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 37188 0 0 0 1855 45 0 0 20 0 19 0 77350134 16060325888 593853 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3920978 593853 3231 1 0 3881834 0
[pid=4448] ppid=4432 vsize=30468 memory=14520 CPUtime=2.59 cores=0,2,4,6
/proc/4448/stat : 4448 (minisat_release) R 4432 4432 4275 0 -1 4202496 5308 0 0 0 259 0 0 0 20 0 1 0 77350875 31199232 3630 33554432000 4194304 4308513 140722393948256 140722393945160 4276465 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 41742336 140722393952945 140722393953454 140722393953454 140722393956293 0
/proc/4448/statm: 7617 3630 348 28 0 3857 0
[pid=4432/tid=4434] ppid=4429 vsize=15683912 memory=3054156605267020675 CPUtime=7.42 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) S 4429 4432 4275 0 -1 1077944384 18201 0 0 0 703 39 0 0 20 0 19 0 77350134 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398711364608 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15683912 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15683912 memory=16137676029 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15683912 memory=3760963006103991968 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77350136 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15683912 memory=3761693372405855796 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77350137 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15683912 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77350138 16060325888 593853 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15683912 memory=-3761991693426146123 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350138 16060325888 593853 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15683912 memory=3472328295574037100 CPUtime=5.16 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) S 4429 4432 4275 0 -1 1077944384 7407 0 0 0 514 2 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398078028656 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15683912 memory=3472468712719038128 CPUtime=5 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) S 4429 4432 4275 0 -1 1077944384 5386 0 0 0 499 1 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398076975856 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15683912 memory=3472323898181169199 CPUtime=1.4 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) S 4429 4432 4275 0 -1 1077944384 4801 0 0 0 137 3 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398075923056 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15683912 memory=3471342812879304368 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15683912 memory=3472328296227679279 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77350141 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4449] ppid=4429 vsize=15683912 memory=140416558466688 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4449/stat : 4449 (java) S 4429 4432 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77350875 16060325888 593853 33554432000 4194304 4196468 140732536662736 140398521746624 140398739549977 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4451] ppid=4429 vsize=15683912 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4451/stat : 4451 (java) S 4429 4432 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 77350875 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395702893744 140398739547293 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4452] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4452/stat : 4452 (java) S 4429 4432 4275 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 77350876 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395434459184 140398739547293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4453] ppid=4429 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4432/task/4453/stat : 4453 (java) S 4429 4432 4275 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 77350878 16060325888 593853 33554432000 4194304 4196468 140732536662736 140395971337888 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 21.59 s
Current children cumulated vsize: 15714380 KiB
Current children cumulated memory: 2389932 KiB

[startup+10.2028 s]
/proc/loadavg: 1.60 1.17 1.37 3/224 4453
/proc/meminfo: memFree=15366448/32770624 swapFree=67108860/67108860
[pid=4432] ppid=4429 vsize=15552836 memory=2371432 CPUtime=21.82 cores=0,2,4,6
/proc/4432/stat : 4432 (java) S 4429 4432 4275 0 -1 1077944320 37296 5373 0 0 1859 45 277 1 20 0 17 0 77350134 15926104064 592858 33554432000 4194304 4196468 140732536662736 140732536645280 140398739525367 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
/proc/4432/statm: 3888209 592858 3233 1 0 3849065 0
[pid=4432/tid=4434] ppid=4429 vsize=15552836 memory=18476949311667 CPUtime=10.2 cores=0,2,4,6
/proc/4432/task/4434/stat : 4434 (java) R 4429 4432 4275 0 -1 4202560 18205 5373 0 0 703 39 277 1 20 0 17 0 77350134 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398711357232 140398723568997 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4435] ppid=4429 vsize=15552836 memory=18498424148147 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4435/stat : 4435 (java) S 4429 4432 4275 0 -1 1077944384 1 5373 0 0 0 0 277 1 20 0 17 0 77350136 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398743768208 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4436] ppid=4429 vsize=15552836 memory=0 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4436/stat : 4436 (java) S 4429 4432 4275 0 -1 1077944384 1 5373 0 0 0 0 277 1 20 0 17 0 77350136 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398534851600 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4437] ppid=4429 vsize=15552836 memory=280832879956560 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4437/stat : 4437 (java) S 4429 4432 4275 0 -1 1077944384 1 5373 0 0 0 0 277 1 20 0 17 0 77350136 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398533798800 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4438] ppid=4429 vsize=15552836 memory=51092 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4438/stat : 4438 (java) S 4429 4432 4275 0 -1 1077944384 2 5373 0 0 0 0 277 1 20 0 17 0 77350136 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398532746000 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4439] ppid=4429 vsize=15552836 memory=2244 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4439/stat : 4439 (java) S 4429 4432 4275 0 -1 1077944384 6 5373 0 0 0 0 277 1 20 0 17 0 77350137 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398079080816 140398739536514 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4440] ppid=4429 vsize=15552836 memory=140416440153888 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4440/stat : 4440 (java) S 4429 4432 4275 0 -1 1077944384 13 5373 0 0 0 0 277 1 20 0 17 0 77350138 15926104064 592858 33554432000 4194304 4196468 140732536662736 140397347071008 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4441] ppid=4429 vsize=15552836 memory=140416440158464 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4441/stat : 4441 (java) S 4429 4432 4275 0 -1 1077944384 1 5373 0 0 0 0 277 1 20 0 17 0 77350138 15926104064 592858 33554432000 4194304 4196468 140732536662736 140397112189808 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4442] ppid=4429 vsize=15552836 memory=288230574492221466 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4442/stat : 4442 (java) S 4429 4432 4275 0 -1 1077944384 3 5373 0 0 0 0 277 1 20 0 17 0 77350141 15926104064 592858 33554432000 4194304 4196468 140732536662736 140396737681232 140398739543963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4443] ppid=4429 vsize=15552836 memory=297237795305685307 CPUtime=7.95 cores=0,2,4,6
/proc/4432/task/4443/stat : 4443 (java) R 4429 4432 4275 0 -1 4202560 7429 5373 0 0 515 2 277 1 20 0 17 0 77350141 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398078014496 140398718860704 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4444] ppid=4429 vsize=15552836 memory=15257064687536258 CPUtime=7.79 cores=0,2,4,6
/proc/4432/task/4444/stat : 4444 (java) R 4429 4432 4275 0 -1 4202560 5391 5373 0 0 500 1 277 1 20 0 17 0 77350141 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398076962400 140398720717655 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4445] ppid=4429 vsize=15552836 memory=55 CPUtime=4.19 cores=0,2,4,6
/proc/4432/task/4445/stat : 4445 (java) R 4429 4432 4275 0 -1 4202560 4806 5373 0 0 138 3 277 1 20 0 17 0 77350141 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398075923056 140398739546714 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4446] ppid=4429 vsize=15552836 memory=0 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4446/stat : 4446 (java) S 4429 4432 4275 0 -1 1077944384 3 5373 0 0 0 0 277 1 20 0 17 0 77350141 15926104064 592858 33554432000 4194304 4196468 140732536662736 140396239776480 140398739535573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4447] ppid=4429 vsize=15552836 memory=7014751519667409509 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4447/stat : 4447 (java) S 4429 4432 4275 0 -1 1077944384 1 5373 0 0 0 0 277 1 20 0 17 0 77350141 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398074870448 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4449] ppid=4429 vsize=15552836 memory=7885353605134772587 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4449/stat : 4449 (java) S 4429 4432 4275 0 -1 1077944384 30 5373 0 0 0 0 277 1 20 0 17 0 77350875 15926104064 592858 33554432000 4194304 4196468 140732536662736 140398521745808 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
[pid=4432/tid=4453] ppid=4429 vsize=15552836 memory=7451882141470058352 CPUtime=2.78 cores=0,2,4,6
/proc/4432/task/4453/stat : 4453 (java) S 4429 4432 4275 0 -1 1077944384 45 5373 0 0 0 0 277 1 20 0 17 0 77350878 15926104064 592858 33554432000 4194304 4196468 140732536662736 140395971339696 140398739536514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140732536669172 140732536669449 140732536669449 140732536672207 0
Current children cumulated CPU time: 21.82 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 2371432 KiB

Child status: 0
Real time (s): 10.242
CPU time (s): 21.9061
CPU user time (s): 21.4233
CPU system time (s): 0.482737
CPU usage (%): 213.885
Max. virtual memory (cumulated for all children) (KiB): 15716008
Max. memory (cumulated for all children) (KiB): 2391160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.4233
system time used= 0.482737
maximum resident set size= 2375412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4591
involuntary context switches= 60


# summary of solver processes directly reported to runsolver:
#   pid: 4432
#   total CPU time (s): 21.9061
#   total CPU user time (s): 21.4233
#   total CPU system time (s): 0.482737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081084 second user time and 0.155013 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-26 11:37:49
IDJOB=4296073
IDBENCH=141649
IDSOLVER=2755
FILE ID=node134/4296073-1532597869
RUNJOBID= node134-1532597865-4306
PBS_JOBID= 21021975
Free space on /tmp= 55552 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Eternity/Eternity-06-06_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296073-1532597869/watcher-4296073-1532597869 -o /tmp/evaluation-result-4296073-1532597869/solver-4296073-1532597869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532597865-4306 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296073-1532597869.xml

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

MD5SUM BENCH= 4056656ba438a73a4a2b41323b2858a8
RANDOM SEED=1019771046

node134.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.68
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.68
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.68
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.68
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:        19703536 kB
MemAvailable:   30777872 kB
Buffers:          222312 kB
Cached:         11112816 kB
SwapCached:            0 kB
Active:          3309316 kB
Inactive:        9257180 kB
Active(anon):    1183168 kB
Inactive(anon):    76428 kB
Active(file):    2126148 kB
Inactive(file):  9180752 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7648 kB
Writeback:             0 kB
AnonPages:       1155212 kB
Mapped:            52512 kB
Shmem:             25248 kB
Slab:             194616 kB
SReclaimable:     166540 kB
SUnreclaim:        28076 kB
KernelStack:        3952 kB
PageTables:         7592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13018940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1019904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55544 MiB
End job on node134 at 2018-07-26 11:38:00