Trace number 4297023

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+glucose-syrup (2018-07-07)SAT 35.4425 6.41741

General information on the benchmark

NameStripPacking/
StripPacking-T1d_c18.xml
MD5SUM3817c9d1450b0d422eac47c6c3c3f02c
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 benchmark35.4425
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
0.66/0.53	scop order+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Jul 26 21:38:04 CEST 2018
0.66/0.56	c PID: 10647
0.66/0.56	c IP: 172.20.3.135
0.66/0.56	c HOST: node135.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.38/0.98	c (0,0) Parsing End
1.38/0.98	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.38/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.98	c (0,0) Constraint Name Generate Begin
1.38/0.99	c (0,0) Ctr:HOME/instance-4297023-1532633883.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.38/0.99	c (0,0) Constraint Name Generate End
1.38/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.99	c (0,0) CSP to CSPinCNF Begin
1.60/1.07	c (0,0) translated 6 (10%) constraints
1.60/1.07	c (0,0) translated 11 (20%) constraints
1.60/1.08	c (0,0) translated 16 (30%) constraints
1.60/1.08	c (0,0) translated 21 (40%) constraints
1.60/1.09	c (0,0) translated 26 (50%) constraints
1.60/1.09	c (0,0) translated 32 (60%) constraints
1.77/1.19	c (0,0) translated 37 (70%) constraints
1.95/1.24	c (0,0) translated 42 (80%) constraints
1.95/1.28	c (0,0) translated 47 (90%) constraints
2.21/1.32	c (0,0) translated 52 (100%) constraints
2.50/1.47	c (0,0) STATISTICS1:HOME/instance-4297023-1532633883.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,386,196,4,3,386:4;382:8;380:12;374:16;368:20;366:24;362:28;360:32;358:120;314:48;310:52;308:56;286:60;284:64;2:34,196:66;193:66;191:66;190:66;187:66;184:66;183:66;181:66;180:66;179:198;157:66;155:66;154:66;143:66;142:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.50/1.47	c (0,0) ===========================================
2.50/1.47	c (0,0) Order
2.50/1.47	c (0,0) ===========================================
2.50/1.48	c (0,0) translated 43 (10%) constraints
2.50/1.49	c (0,0) translated 85 (20%) constraints
2.50/1.49	c (0,0) translated 128 (30%) constraints
2.50/1.49	c (0,0) translated 170 (40%) constraints
2.85/1.50	c (0,0) translated 213 (50%) constraints
2.85/1.50	c (0,0) translated 255 (60%) constraints
2.85/1.50	c (0,0) translated 298 (70%) constraints
2.85/1.51	c (0,0) translated 340 (80%) constraints
2.85/1.51	c (0,0) translated 383 (90%) constraints
2.85/1.52	c (0,0) translated 425 (100%) constraints
2.85/1.52	c (0,0) CSP to CSPinCNF End
2.85/1.52	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.85/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.52	c (0,0) CSPinCNF Propagation Begin
2.85/1.59	c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.85/1.59	c (1,1) CSPinCNF Propagation End
2.85/1.59	c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.85/1.59	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.59	c (1,1) Simplify CSPinCNF Begin
3.25/1.66	c (1,1) Simplify CSPinCNF End
3.25/1.66	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.25/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.25/1.66	c (1,1) Calculate Precise Domain Begin
3.25/1.66	c (1,1) 0 values are removed by re-calculation
3.25/1.66	c (1,1) Calculate Precise Domain End
3.25/1.66	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.25/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.25/1.66	c (1,1) CSPinCNF to SatSolver Begin
3.65/1.72	c (1,1) 97 (10 %) CSP clauses are encoded (6575 SAT variables, 5974 SAT clauses)
3.65/1.72	c (1,1) 194 (20 %) CSP clauses are encoded (6575 SAT variables, 6071 SAT clauses)
3.65/1.73	c (1,1) 291 (30 %) CSP clauses are encoded (6575 SAT variables, 6168 SAT clauses)
4.05/1.84	c (1,1) 388 (40 %) CSP clauses are encoded (6575 SAT variables, 19444 SAT clauses)
4.47/1.92	c (1,1) 485 (50 %) CSP clauses are encoded (6575 SAT variables, 37320 SAT clauses)
4.47/1.98	c (1,1) 582 (60 %) CSP clauses are encoded (6575 SAT variables, 54693 SAT clauses)
4.78/2.04	c (1,1) 679 (70 %) CSP clauses are encoded (6575 SAT variables, 76753 SAT clauses)
4.78/2.10	c (1,1) 776 (80 %) CSP clauses are encoded (6575 SAT variables, 100575 SAT clauses)
4.94/2.17	c (1,1) 873 (90 %) CSP clauses are encoded (6575 SAT variables, 124845 SAT clauses)
5.05/2.23	c (1,1) 969 (100 %) CSP clauses are encoded (6575 SAT variables, 147608 SAT clauses)
5.05/2.23	c (1,1) CSPinCNF to SatSolver End
5.05/2.23	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.05/2.26	c (1,1) STATISTICS2:HOME/instance-4297023-1532633883.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,386,196,4,3,386:4;382:8;380:12;374:16;368:20;366:24;362:28;360:32;358:120;314:48;310:52;308:56;286:60;284:64;2:34,196:66;193:66;191:66;190:66;187:66;184:66;183:66;181:66;180:66;179:198;157:66;155:66;154:66;143:66;142:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
5.05/2.26	c (1,1) SatSolver.solve Begin
5.05/2.26	c (1,1) 6575 bool, 147783 clause
5.05/2.26	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297023-1532633883.xml-scop-10647.cnf HOME/instance-4297023-1532633883.xml-scop-10647.cnf.out
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c WARNING: for repeatability, setting FPU to use double precision
34.77/6.36	c (5,0) c 8 solvers engines and 1 companion as a blackboard created.
34.77/6.36	c (5,0) c ========================================[ Problem Statistics ]===========================================
34.77/6.36	c (5,0) c |                                                                                                       |
34.77/6.36	c (5,0) c |  Number of variables:          6575                                                                   |
34.77/6.36	c (5,0) c |  Number of clauses:          147783                                                                   |
34.77/6.36	c (5,0) c |  Parse time:                   0.05 s                                                                 |
34.77/6.36	c (5,0) c |                                                                                                       |
34.77/6.36	c (5,0) c |  Eliminated clauses:           0.01 Mb                                                                |
34.77/6.36	c (5,0) c |  Simplification time:          0.25 s                                                                 |
34.77/6.36	c (5,0) c |                                                                                                       |
34.77/6.36	c (5,0) c |  Generating clones                                                                                    |
34.77/6.36	c (5,0) c |  all clones generated. Memory = 108.58Mb.                                                             |
34.77/6.36	c (5,0) c ========================================================================================================|
34.77/6.36	c (5,0) c last restart ## conflicts  :  11 60 
34.77/6.36	c (5,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
34.77/6.36	c (5,0) c Total Memory so far : 699.53Mb
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c real time : 4.08484 s
34.77/6.36	c (5,0) c cpu time  : 29.724 s
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
34.77/6.36	c (5,0) c
34.77/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.77/6.36	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
34.77/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.77/6.36	c (5,0) c | Conflicts     |          173541 |      22050 |      21077 |      20617 |      23482 |      20959 |      23080 |      21291 |      20985 |
34.77/6.36	c (5,0) c | Decisions     |          329210 |      40637 |      41361 |      40502 |      44209 |      39989 |      43595 |      40140 |      38777 |
34.77/6.36	c (5,0) c | Propagations  |        62249287 |    7962626 |    7657515 |    7602098 |    8203720 |    7594924 |    8156313 |    7521571 |    7550520 |
34.77/6.36	c (5,0) c | Avg_Trail     |                 |       3759 |       3801 |       3867 |       3864 |       3770 |       3779 |       3782 |       3876 |
34.77/6.36	c (5,0) c | Avg_DL        |                 |         22 |         23 |         25 |         22 |         22 |         21 |         21 |         24 |
34.77/6.36	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
34.77/6.36	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
34.77/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.77/6.36	c (5,0) c | Exported      |           27348 |       4181 |       3056 |       3159 |       3561 |       3151 |       3723 |       3247 |       3270 |
34.77/6.36	c (5,0) c | Imported      |          189212 |      23074 |      24265 |      24183 |      22835 |      24085 |      23503 |      23400 |      23867 |
34.77/6.36	c (5,0) c | Good          |             182 |         20 |         24 |         25 |         21 |         22 |         24 |         25 |         21 |
34.77/6.36	c (5,0) c | Purge         |          189030 |      23054 |      24241 |      24158 |      22814 |      24063 |      23479 |      23375 |      23846 |
34.77/6.36	c (5,0) c | Promoted      |           11743 |       1471 |       1263 |       1530 |       1458 |       1534 |       1514 |       1650 |       1323 |
34.77/6.36	c (5,0) c | Remove_Imp    |           26433 |        545 |       3710 |       5034 |        990 |       3923 |       1873 |       4699 |       5659 |
34.77/6.36	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
34.77/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.77/6.36	c (5,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
34.77/6.36	c (5,0) c | Binaries      |                 |          6 |          2 |          1 |          5 |          4 |          2 |          1 |          5 |
34.77/6.36	c (5,0) c | Glues         |                 |         64 |         58 |         52 |         64 |         76 |         65 |         60 |         71 |
34.77/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.77/6.36	c (5,0) c | Orig_Seen     |            29 % |      42596 |      43670 |      45257 |      41204 |      42465 |      42612 |      41100 |      43990 |
34.77/6.36	c (5,0) c | Diff Orig seen|                 | -     1074 |      X     |       1587 | -     2466 | -     1205 | -     1058 | -     2570 |        320 |
34.77/6.36	c (5,0) c | Hamming       |            25 % |       1562 |      X     |       1083 |       1836 |       1805 |       2286 |       1765 |       1348 |
34.77/6.36	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
34.77/6.36	c (5,0) 
34.77/6.36	c (5,0) s SATISFIABLE
34.77/6.37	c (5,1) SatSolver.solve End
34.77/6.37	c (5,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.77/6.37	c (5,1) Show results Begin
34.77/6.39	c (5,1) h[0] = 58
34.77/6.39	c (5,1) h[1] = 153
34.77/6.39	c (5,1) h[2] = 142
34.77/6.39	c (5,1) h[3] = 62
34.77/6.39	c (5,1) h[4] = 44
34.77/6.39	c (5,1) h[5] = 18
34.77/6.39	c (5,1) h[6] = 20
34.77/6.39	c (5,1) h[7] = 34
34.77/6.39	c (5,1) h[8] = 11
34.77/6.39	c (5,1) h[9] = 19
34.77/6.39	c (5,1) h[10] = 31
34.77/6.39	c (5,1) h[11] = 14
34.77/6.39	c (5,1) h[12] = 22
34.77/6.39	c (5,1) h[13] = 8
34.77/6.39	c (5,1) h[14] = 17
34.77/6.39	c (5,1) h[15] = 14
34.77/6.39	c (5,1) h[16] = 47
34.77/6.39	c (5,1) r[0] = 0
34.77/6.39	c (5,1) r[1] = 0
34.77/6.39	c (5,1) r[2] = 0
34.77/6.39	c (5,1) r[3] = 0
34.77/6.39	c (5,1) r[4] = 0
34.77/6.39	c (5,1) r[5] = 0
34.77/6.39	c (5,1) r[6] = 0
34.77/6.39	c (5,1) r[7] = 0
34.77/6.39	c (5,1) r[8] = 0
34.77/6.39	c (5,1) r[9] = 0
34.77/6.39	c (5,1) r[10] = 0
34.77/6.39	c (5,1) r[11] = 0
34.77/6.39	c (5,1) r[12] = 0
34.77/6.39	c (5,1) r[13] = 0
34.77/6.39	c (5,1) r[14] = 0
34.77/6.39	c (5,1) r[15] = 0
34.77/6.39	c (5,1) r[16] = 0
34.77/6.39	c (5,1) w[0] = 178
34.77/6.39	c (5,1) w[1] = 22
34.77/6.39	c (5,1) w[2] = 46
34.77/6.39	c (5,1) w[3] = 59
34.77/6.39	c (5,1) w[4] = 73
34.77/6.39	c (5,1) w[5] = 20
34.77/6.40	c (5,1) w[6] = 32
34.77/6.40	c (5,1) w[7] = 21
34.77/6.40	c (5,1) w[8] = 74
34.77/6.40	c (5,1) w[9] = 5
34.77/6.40	c (5,1) w[10] = 22
34.77/6.40	c (5,1) w[11] = 10
34.77/6.40	c (5,1) w[12] = 46
34.77/6.40	c (5,1) w[13] = 28
34.77/6.40	c (5,1) w[14] = 31
34.77/6.40	c (5,1) w[15] = 33
34.77/6.40	c (5,1) w[16] = 154
34.77/6.40	c (5,1) x[0] = 0
34.77/6.40	c (5,1) x[1] = 178
34.77/6.40	c (5,1) x[2] = 0
34.77/6.40	c (5,1) x[3] = 119
34.77/6.40	c (5,1) x[4] = 46
34.77/6.40	c (5,1) x[5] = 99
34.77/6.40	c (5,1) x[6] = 67
34.77/6.40	c (5,1) x[7] = 46
34.77/6.40	c (5,1) x[8] = 104
34.77/6.40	c (5,1) x[9] = 99
34.77/6.40	c (5,1) x[10] = 77
34.77/6.40	c (5,1) x[11] = 67
34.77/6.40	c (5,1) x[12] = 132
34.77/6.40	c (5,1) x[13] = 104
34.77/6.40	c (5,1) x[14] = 46
34.77/6.40	c (5,1) x[15] = 99
34.77/6.40	c (5,1) x[16] = 46
34.77/6.40	c (5,1) y[0] = 142
34.77/6.40	c (5,1) y[1] = 47
34.77/6.40	c (5,1) y[2] = 0
34.77/6.40	c (5,1) y[3] = 80
34.77/6.40	c (5,1) y[4] = 98
34.77/6.40	c (5,1) y[5] = 80
34.77/6.40	c (5,1) y[6] = 47
34.77/6.40	c (5,1) y[7] = 47
34.77/6.40	c (5,1) y[8] = 69
34.77/6.40	c (5,1) y[9] = 61
34.77/6.40	c (5,1) y[10] = 67
34.77/6.40	c (5,1) y[11] = 67
34.77/6.40	c (5,1) y[12] = 47
34.77/6.40	c (5,1) y[13] = 61
34.77/6.40	c (5,1) y[14] = 81
34.77/6.40	c (5,1) y[15] = 47
34.77/6.40	c (5,1) y[16] = 0
34.77/6.40	s SATISFIABLE
34.77/6.40	v <instantiation>
34.77/6.40	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
34.77/6.40	v     <values>0 178 0 119 46 99 67 46 104 99 77 67 132 104 46 99 46 142 47 0 80 98 80 47 47 69 61 67 67 47 61 81 47 0 178 22 46 59 73 20 32 21 74 5 22 10 46 28 31 33 154 58 153 142 62 44 18 20 34 11 19 31 14 22 8 17 14 47 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
34.77/6.40	v </instantiation>
34.77/6.40	c (5,1) Show results End
34.77/6.40	c (5,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
34.77/6.40	c (5,1) 0,0,0,1,1,1,1,5,5,STOP-AFTER(ALL)
34.77/6.40	c END-Prog: Thu Jul 26 21:38:10 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 (9543 MiB free)
  memory of node 1: 16384 MiB (12925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297023-1532633883/watcher-4297023-1532633883 -o /tmp/evaluation-result-4297023-1532633883/solver-4297023-1532633883 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532633883-10630 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297023-1532633883.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=10647, runsolver pid=10644

[startup+0.100156 s]*
/proc/loadavg: 8.90 8.87 8.82 2/203 10667
/proc/meminfo: memFree=22914164/32770624 swapFree=67108860/67108860
[pid=10647] ppid=10644 vsize=27312552 memory=109464 CPUtime=0.11 cores=0-7
/proc/10647/stat : 10647 (java) S 10644 10647 10603 0 -1 1077944320 6354 0 0 0 9 2 0 0 20 0 20 0 80951513 27968053248 27366 33554432000 4194304 4196468 140734827336016 140734827318560 140219292663543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
/proc/10647/statm: 6828138 27366 2754 1 0 6790598 0
[pid=10647/tid=10649] ppid=10644 vsize=27312552 memory=8112278636917072027 CPUtime=0.08 cores=0-7
/proc/10647/task/10649/stat : 10649 (java) R 10644 10647 10603 0 -1 4202560 4479 0 0 0 7 1 0 0 20 0 20 0 80951513 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219264469016 140219276744030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10650] ppid=10644 vsize=27312552 memory=732369768824757221 CPUtime=0 cores=0-7
/proc/10647/task/10650/stat : 10650 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219296905488 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10651] ppid=10644 vsize=27312552 memory=139630487303808 CPUtime=0 cores=0-7
/proc/10647/task/10651/stat : 10651 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219080300944 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10652] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 27366 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10658] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10658/stat : 10658 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951517 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217412466672 140219292674690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10659] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10659/stat : 10659 (java) S 10644 10647 10603 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951518 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217260434336 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10660] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10660/stat : 10660 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951518 27968053248 27366 33554432000 4194304 4196468 140734827336016 140216991998960 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10661] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10661/stat : 10661 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140216617490640 140219292682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10662] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10662/stat : 10662 (java) S 10644 10647 10603 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217411414512 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10663] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10663/stat : 10663 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217410361968 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10664] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10664/stat : 10664 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217409309424 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10665] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10665/stat : 10665 (java) S 10644 10647 10603 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217408256880 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10666] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10666/stat : 10666 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140216119584992 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10667] ppid=10644 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10647/task/10667/stat : 10667 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 27366 33554432000 4194304 4196468 140734827336016 140217407203760 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109464 KiB

[startup+0.210219 s]*
/proc/loadavg: 8.90 8.87 8.82 2/203 10667
/proc/meminfo: memFree=22895652/32770624 swapFree=67108860/67108860
[pid=10647] ppid=10644 vsize=27312552 memory=123872 CPUtime=0.24 cores=0-7
/proc/10647/stat : 10647 (java) S 10644 10647 10603 0 -1 1077944320 10224 0 0 0 21 3 0 0 20 0 20 0 80951513 27968053248 30968 33554432000 4194304 4196468 140734827336016 140734827318560 140219292663543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
/proc/10647/statm: 6828138 30968 2907 1 0 6790598 0
[pid=10647/tid=10649] ppid=10644 vsize=27312552 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/10647/task/10649/stat : 10649 (java) R 10644 10647 10603 0 -1 4202560 8125 0 0 0 17 3 0 0 20 0 20 0 80951513 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219264454208 140219292685469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10650] ppid=10644 vsize=27312552 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/10647/task/10650/stat : 10650 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219296905488 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10651] ppid=10644 vsize=27312552 memory=139630487772601 CPUtime=0 cores=0-7
/proc/10647/task/10651/stat : 10651 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219080300944 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10652] ppid=10644 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 30968 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10658] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10658/stat : 10658 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951517 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217412466672 140219292674690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10659] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10659/stat : 10659 (java) S 10644 10647 10603 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951518 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217260434336 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10660] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10660/stat : 10660 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951518 27968053248 30968 33554432000 4194304 4196468 140734827336016 140216991998960 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10661] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10661/stat : 10661 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140216617490640 140219292682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10662] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10662/stat : 10662 (java) S 10644 10647 10603 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217411414512 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10663] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10663/stat : 10663 (java) S 10644 10647 10603 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217410361968 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10664] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10664/stat : 10664 (java) R 10644 10647 10603 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217409309424 140219292674690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10665] ppid=10644 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/10647/task/10665/stat : 10665 (java) S 10644 10647 10603 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217408256880 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10666] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10666/stat : 10666 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140216119584992 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10667] ppid=10644 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10647/task/10667/stat : 10667 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 30968 33554432000 4194304 4196468 140734827336016 140217407203760 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123872 KiB

[startup+0.309497 s]*
/proc/loadavg: 8.90 8.87 8.82 2/203 10667
/proc/meminfo: memFree=22892736/32770624 swapFree=67108860/67108860
[pid=10647] ppid=10644 vsize=27312552 memory=127604 CPUtime=0.42 cores=0-7
/proc/10647/stat : 10647 (java) S 10644 10647 10603 0 -1 1077944320 10785 0 0 0 38 4 0 0 20 0 20 0 80951513 27968053248 31901 33554432000 4194304 4196468 140734827336016 140734827318560 140219292663543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
/proc/10647/statm: 6828138 31901 2973 1 0 6790598 0
[pid=10647/tid=10649] ppid=10644 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10647/task/10649/stat : 10649 (java) R 10644 10647 10603 0 -1 4202560 8505 0 0 0 26 3 0 0 20 0 20 0 80951513 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219264467696 140219274228496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10650] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10650/stat : 10650 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219296905488 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10651] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10651/stat : 10651 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219080300944 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10652] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27312552 memory=139630326412207 CPUtime=0 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27312552 memory=139630326414512 CPUtime=0 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27312552 memory=139630326416816 CPUtime=0 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27968053248 31901 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10658] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10658/stat : 10658 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951517 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217412466672 140219292674690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10659] ppid=10644 vsize=27312552 memory=279260652840592 CPUtime=0 cores=0-7
/proc/10647/task/10659/stat : 10659 (java) S 10644 10647 10603 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951518 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217260434336 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10660] ppid=10644 vsize=27312552 memory=279260652847504 CPUtime=0 cores=0-7
/proc/10647/task/10660/stat : 10660 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951518 27968053248 31901 33554432000 4194304 4196468 140734827336016 140216991998960 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10661] ppid=10644 vsize=27312552 memory=279260652788784 CPUtime=0 cores=0-7
/proc/10647/task/10661/stat : 10661 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140216617490640 140219292682139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10662] ppid=10644 vsize=27312552 memory=279260652861328 CPUtime=0.01 cores=0-7
/proc/10647/task/10662/stat : 10662 (java) S 10644 10647 10603 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217411414512 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10663] ppid=10644 vsize=27312552 memory=279260652868240 CPUtime=0.01 cores=0-7
/proc/10647/task/10663/stat : 10663 (java) S 10644 10647 10603 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217410361968 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10664] ppid=10644 vsize=27312552 memory=279260652865936 CPUtime=0.01 cores=0-7
/proc/10647/task/10664/stat : 10664 (java) S 10644 10647 10603 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217409309424 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10665] ppid=10644 vsize=27312552 memory=279260652882496 CPUtime=0.07 cores=0-7
/proc/10647/task/10665/stat : 10665 (java) S 10644 10647 10603 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217408256880 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10666] ppid=10644 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10666/stat : 10666 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140216119584992 140219292673749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10667] ppid=10644 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/10647/task/10667/stat : 10667 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951521 27968053248 31901 33554432000 4194304 4196468 140734827336016 140217407203760 140219292674690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127604 KiB

[startup+0.700815 s]
/proc/loadavg: 8.90 8.87 8.82 2/203 10667
/proc/meminfo: memFree=22868552/32770624 swapFree=67108860/67108860
[pid=10647] ppid=10644 vsize=27320948 memory=165512 CPUtime=0.99 cores=0-7
/proc/10647/stat : 10647 (java) S 10644 10647 10603 0 -1 1077944320 17900 0 0 0 93 6 0 0 20 0 20 0 80951513 27976650752 41378 33554432000 4194304 4196468 140734827336016 140734827318560 140219292663543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
/proc/10647/statm: 6830237 41378 3169 1 0 6791622 0
[pid=10647/tid=10649] ppid=10644 vsize=27320948 memory=5864601922277036649 CPUtime=0.67 cores=0-7
/proc/10647/task/10649/stat : 10649 (java) R 10644 10647 10603 0 -1 4202560 15126 0 0 0 62 5 0 0 20 0 20 0 80951513 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219264494848 140219278032259 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10650] ppid=10644 vsize=27320948 memory=45810121200468 CPUtime=0 cores=0-7
/proc/10647/task/10650/stat : 10650 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219296905488 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10651] ppid=10644 vsize=27320948 memory=139630326425040 CPUtime=0 cores=0-7
/proc/10647/task/10651/stat : 10651 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219080300944 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10652] ppid=10644 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27320948 memory=2353 CPUtime=0 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27320948 memory=1728 CPUtime=0 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951516 27976650752 41378 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10658] ppid=10644 vsize=27320948 memory=792 CPUtime=0 cores=0-7
/proc/10647/task/10658/stat : 10658 (java) S 10644 10647 10603 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80951517 27976650752 41378 33554432000 4194304 4196468 140734827336016 140217412466672 140219292674690 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0

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

/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27984808 memory=5524 CPUtime=0 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27984808 memory=56 CPUtime=0 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27984808 memory=14869 CPUtime=0 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27984808 memory=426384 CPUtime=0 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10658] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10658/stat : 10658 (java) S 10644 10647 10603 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 80951517 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217412466672 140219292674690 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10659] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10659/stat : 10659 (java) S 10644 10647 10603 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80951518 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217260434336 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10660] ppid=10644 vsize=27984808 memory=7161099858688894804 CPUtime=0 cores=0-7
/proc/10647/task/10660/stat : 10660 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951518 28656443392 149914 33554432000 4194304 4196468 140734827336016 140216991998960 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10661] ppid=10644 vsize=27984808 memory=6155684487728093035 CPUtime=0 cores=0-7
/proc/10647/task/10661/stat : 10661 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140216617490640 140219292682139 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10662] ppid=10644 vsize=27984808 memory=7737297866135726437 CPUtime=0.63 cores=0-7
/proc/10647/task/10662/stat : 10662 (java) S 10644 10647 10603 0 -1 1077944384 1139 0 0 0 62 1 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217411414512 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10663] ppid=10644 vsize=27984808 memory=4639074098508484688 CPUtime=0.72 cores=0-7
/proc/10647/task/10663/stat : 10663 (java) S 10644 10647 10603 0 -1 1077944384 883 0 0 0 72 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217410361968 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10664] ppid=10644 vsize=27984808 memory=7666085771155624553 CPUtime=0.64 cores=0-7
/proc/10647/task/10664/stat : 10664 (java) S 10644 10647 10603 0 -1 1077944384 856 0 0 0 63 1 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217409309424 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10665] ppid=10644 vsize=27984808 memory=56 CPUtime=0.93 cores=0-7
/proc/10647/task/10665/stat : 10665 (java) S 10644 10647 10603 0 -1 1077944384 3044 0 0 0 92 1 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217408256880 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10666] ppid=10644 vsize=27984808 memory=1414355462422710185 CPUtime=0 cores=0-7
/proc/10647/task/10666/stat : 10666 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140216119584992 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10667] ppid=10644 vsize=27984808 memory=7163085602627414378 CPUtime=0 cores=0-7
/proc/10647/task/10667/stat : 10667 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217407203760 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10669] ppid=10644 vsize=27984808 memory=6935652554312077392 CPUtime=0 cores=0-7
/proc/10647/task/10669/stat : 10669 (java) S 10644 10647 10603 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80951741 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219072607424 140219292688153 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10671] ppid=10644 vsize=27984808 memory=7883377877598097766 CPUtime=0 cores=0-7
/proc/10647/task/10671/stat : 10671 (java) S 10644 10647 10603 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 80951741 28656443392 149914 33554432000 4194304 4196468 140734827336016 140215448485552 140219292685469 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10672] ppid=10644 vsize=27984808 memory=7157462704442337624 CPUtime=0 cores=0-7
/proc/10647/task/10672/stat : 10672 (java) S 10644 10647 10603 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80951741 28656443392 149914 33554432000 4194304 4196468 140734827336016 140215716921136 140219292685469 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10673] ppid=10644 vsize=27984808 memory=7306059471694882644 CPUtime=0 cores=0-7
/proc/10647/task/10673/stat : 10673 (java) S 10644 10647 10603 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80951743 28656443392 149914 33554432000 4194304 4196468 140734827336016 140215180058272 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
Current children cumulated CPU time: 9.34 s
Current children cumulated vsize: 28693368 KiB
Current children cumulated memory: 714256 KiB

[startup+6.30204 s]
/proc/loadavg: 8.51 8.79 8.79 10/216 10681
/proc/meminfo: memFree=22250132/32770624 swapFree=67108860/67108860
[pid=10647] ppid=10644 vsize=27984808 memory=599656 CPUtime=5.27 cores=0-7
/proc/10647/stat : 10647 (java) S 10644 10647 10603 0 -1 1077944320 24753 0 0 0 508 19 0 0 20 0 24 0 80951513 28656443392 149914 33554432000 4194304 4196468 140734827336016 140734827318560 140219292663543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
/proc/10647/statm: 6996202 149914 3224 1 0 6957058 0
[pid=10668] ppid=10647 vsize=716316 memory=172984 CPUtime=29.5 cores=0-7
/proc/10668/stat : 10668 (glucose-syrup) S 10647 10647 10603 0 -1 1077944320 74844 0 0 0 2924 26 0 0 20 0 9 0 80951741 733507584 43246 33554432000 4194304 4373367 140736322653296 140736322651840 139678326827650 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
/proc/10668/statm: 179079 43246 381 44 0 174767 0
[pid=10668/tid=10674] ppid=10647 vsize=716316 memory=7518875487961179233 CPUtime=3.65 cores=0-7
/proc/10668/task/10674/stat : 10674 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 6001 0 0 0 363 2 0 0 20 0 9 0 80951776 733507584 43312 33554432000 4194304 4373367 140736322653296 139678305467160 4296070 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10675] ppid=10647 vsize=716316 memory=0 CPUtime=3.56 cores=0-7
/proc/10668/task/10675/stat : 10675 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 7670 0 0 0 355 1 0 0 20 0 9 0 80951776 733507584 43312 33554432000 4194304 4373367 140736322653296 139678297075056 4258811 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10676] ppid=10647 vsize=716316 memory=14691894236022726 CPUtime=3.64 cores=0-7
/proc/10668/task/10676/stat : 10676 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 6277 0 0 0 362 2 0 0 20 0 9 0 80951776 733507584 43312 33554432000 4194304 4373367 140736322653296 139678288681960 4230900 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10677] ppid=10647 vsize=716316 memory=0 CPUtime=3.64 cores=0-7
/proc/10668/task/10677/stat : 10677 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 6436 0 0 0 361 3 0 0 20 0 9 0 80951776 733507584 43312 33554432000 4194304 4373367 140736322653296 139678280289552 139678312189173 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10678] ppid=10647 vsize=716316 memory=158872 CPUtime=3.64 cores=0-7
/proc/10668/task/10678/stat : 10678 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 6780 0 0 0 361 3 0 0 20 0 9 0 80951776 733507584 43312 33554432000 4194304 4373367 140736322653296 139678271896848 4271928 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10679] ppid=10647 vsize=716316 memory=64 CPUtime=3.65 cores=0-7
/proc/10668/task/10679/stat : 10679 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 7498 0 0 0 364 1 0 0 20 0 9 0 80951776 733507584 43312 33554432000 4194304 4373367 140736322653296 139678263504144 4291385 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10680] ppid=10647 vsize=716316 memory=65 CPUtime=3.65 cores=0-7
/proc/10668/task/10680/stat : 10680 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 6939 0 0 0 361 4 0 0 20 0 9 0 80951776 733507584 43378 33554432000 4194304 4373367 140736322653296 139678255111048 4258958 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10668/tid=10681] ppid=10647 vsize=716316 memory=65 CPUtime=3.64 cores=0-7
/proc/10668/task/10681/stat : 10681 (glucose-syrup) R 10647 10647 10603 0 -1 4202560 7229 0 0 0 361 3 0 0 20 0 9 0 80951776 733507584 43378 33554432000 4194304 4373367 140736322653296 139678174932112 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 26062848 140736322659247 140736322659500 140736322659500 140736322662343 0
[pid=10647/tid=10649] ppid=10644 vsize=27984808 memory=64 CPUtime=2.28 cores=0-7
/proc/10647/task/10649/stat : 10649 (java) S 10644 10647 10603 0 -1 1077944384 17431 0 0 0 214 14 0 0 20 0 24 0 80951513 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219264502784 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10650] ppid=10644 vsize=27984808 memory=279260652720256 CPUtime=0 cores=0-7
/proc/10647/task/10650/stat : 10650 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219296905488 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10651] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10651/stat : 10651 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219080300944 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10652] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27984808 memory=279260653681984 CPUtime=0 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27984808 memory=28737394908 CPUtime=0 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27984808 memory=-7094132109863559211 CPUtime=0 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951516 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10658] ppid=10644 vsize=27984808 memory=279260653549808 CPUtime=0 cores=0-7
/proc/10647/task/10658/stat : 10658 (java) S 10644 10647 10603 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80951517 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217412466672 140219292674690 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10659] ppid=10644 vsize=27984808 memory=4639622853611769936 CPUtime=0 cores=0-7
/proc/10647/task/10659/stat : 10659 (java) S 10644 10647 10603 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80951518 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217260434336 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10660] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10660/stat : 10660 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951518 28656443392 149914 33554432000 4194304 4196468 140734827336016 140216991998960 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10661] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10661/stat : 10661 (java) S 10644 10647 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140216617490640 140219292682139 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10662] ppid=10644 vsize=27984808 memory=0 CPUtime=0.63 cores=0-7
/proc/10647/task/10662/stat : 10662 (java) S 10644 10647 10603 0 -1 1077944384 1139 0 0 0 62 1 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217411414512 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10663] ppid=10644 vsize=27984808 memory=0 CPUtime=0.72 cores=0-7
/proc/10647/task/10663/stat : 10663 (java) S 10644 10647 10603 0 -1 1077944384 883 0 0 0 72 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217410361968 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10664] ppid=10644 vsize=27984808 memory=0 CPUtime=0.64 cores=0-7
/proc/10647/task/10664/stat : 10664 (java) S 10644 10647 10603 0 -1 1077944384 856 0 0 0 63 1 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217409309424 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10665] ppid=10644 vsize=27984808 memory=0 CPUtime=0.93 cores=0-7
/proc/10647/task/10665/stat : 10665 (java) S 10644 10647 10603 0 -1 1077944384 3044 0 0 0 92 1 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217408256880 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10666] ppid=10644 vsize=27984808 memory=599656 CPUtime=0 cores=0-7
/proc/10647/task/10666/stat : 10666 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140216119584992 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10667] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10667/stat : 10667 (java) S 10644 10647 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951521 28656443392 149914 33554432000 4194304 4196468 140734827336016 140217407203760 140219292674690 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10669] ppid=10644 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/10647/task/10669/stat : 10669 (java) S 10644 10647 10603 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80951741 28656443392 149914 33554432000 4194304 4196468 140734827336016 140219072607424 140219292688153 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10671] ppid=10644 vsize=27984808 memory=6226598563232174439 CPUtime=0 cores=0-7
/proc/10647/task/10671/stat : 10671 (java) S 10644 10647 10603 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 80951741 28656443392 149914 33554432000 4194304 4196468 140734827336016 140215448485552 140219292685469 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10672] ppid=10644 vsize=27984808 memory=7301857172715104592 CPUtime=0 cores=0-7
/proc/10647/task/10672/stat : 10672 (java) S 10644 10647 10603 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80951741 28656443392 149914 33554432000 4194304 4196468 140734827336016 140215716921136 140219292685469 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10673] ppid=10644 vsize=27984808 memory=599656 CPUtime=0 cores=0-7
/proc/10647/task/10673/stat : 10673 (java) S 10644 10647 10603 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80951743 28656443392 149914 33554432000 4194304 4196468 140734827336016 140215180058272 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
Current children cumulated CPU time: 34.77 s
Current children cumulated vsize: 28701124 KiB
Current children cumulated memory: 772640 KiB

[startup+6.41737 s]
# the end of solver process 10647 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=34.9482 s, system=0.494319 s

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

[startup+6.40475 s]
/proc/loadavg: 8.51 8.79 8.79 10/216 10681
/proc/meminfo: memFree=22250132/32770624 swapFree=67108860/67108860
[pid=10647] ppid=10644 vsize=27722656 memory=604408 CPUtime=35.41 cores=0-7
/proc/10647/stat : 10647 (java) S 10644 10647 10603 0 -1 1077944320 24935 75321 0 0 522 20 2972 27 20 0 21 0 80951513 28387999744 151096 33554432000 4194304 4196468 140734827336016 140734827318560 140219292663543 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
/proc/10647/statm: 6930664 151096 3225 1 0 6891520 0
[pid=10647/tid=10649] ppid=10644 vsize=27722656 memory=5524 CPUtime=32.3 cores=0-7
/proc/10647/task/10649/stat : 10649 (java) R 10644 10647 10603 0 -1 4202560 17490 75321 0 0 217 14 2972 27 20 0 20 0 80951513 28387999744 151102 33554432000 4194304 4196468 140734827336016 140219264507024 140219292677834 0 0 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10650] ppid=10644 vsize=27722656 memory=6791534058613427641 CPUtime=29.99 cores=0-7
/proc/10647/task/10650/stat : 10650 (java) S 10644 10647 10603 0 -1 1077944384 1 75321 0 0 0 0 2972 27 20 0 20 0 80951516 28387999744 151102 33554432000 4194304 4196468 140734827336016 140219296905488 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10651] ppid=10644 vsize=27722656 memory=-7531822216213012384 CPUtime=29.99 cores=0-7
/proc/10647/task/10651/stat : 10651 (java) S 10644 10647 10603 0 -1 1077944384 1 75321 0 0 0 0 2972 27 20 0 20 0 80951516 28387999744 151070 33554432000 4194304 4196468 140734827336016 140219080300944 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10652] ppid=10644 vsize=27722656 memory=6944656592455360608 CPUtime=29.99 cores=0-7
/proc/10647/task/10652/stat : 10652 (java) S 10644 10647 10603 0 -1 1077944384 1 75321 0 0 0 0 2972 27 20 0 19 0 80951516 28387999744 151070 33554432000 4194304 4196468 140734827336016 140219079248400 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10653] ppid=10644 vsize=27722656 memory=-7522837583129502606 CPUtime=29.99 cores=0-7
/proc/10647/task/10653/stat : 10653 (java) S 10644 10647 10603 0 -1 1077944384 3 75321 0 0 0 0 2972 27 20 0 19 0 80951516 28387999744 151070 33554432000 4194304 4196468 140734827336016 140219078195856 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10654] ppid=10644 vsize=27720600 memory=6944613755445342871 CPUtime=29.99 cores=0-7
/proc/10647/task/10654/stat : 10654 (java) S 10644 10647 10603 0 -1 1077944384 1 75321 0 0 0 0 2972 27 20 0 19 0 80951516 28385894400 151075 33554432000 4194304 4196468 140734827336016 140219077143312 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10655] ppid=10644 vsize=27589524 memory=6944656425123290226 CPUtime=29.99 cores=0-7
/proc/10647/task/10655/stat : 10655 (java) S 10644 10647 10603 0 -1 1077944384 2 75321 0 0 0 0 2972 27 20 0 19 0 80951516 28251672576 151075 33554432000 4194304 4196468 140734827336016 140219076090768 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10656] ppid=10644 vsize=27589524 memory=-5345911753256963030 CPUtime=29.99 cores=0-7
/proc/10647/task/10656/stat : 10656 (java) S 10644 10647 10603 0 -1 1077944384 2 75321 0 0 0 0 2972 27 20 0 19 0 80951516 28251672576 151075 33554432000 4194304 4196468 140734827336016 140219075038224 140219292673749 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10657] ppid=10644 vsize=27589524 memory=8992725908130199082 CPUtime=29.99 cores=0-7
/proc/10647/task/10657/stat : 10657 (java) R 10644 10647 10603 0 -1 1077944384 1 75321 0 0 0 0 2972 27 20 0 19 0 80951516 28251672576 151079 33554432000 4194304 4196468 140734827336016 140219073985680 140219292673749 256 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10659] ppid=10644 vsize=27589524 memory=-8540663193526752614 CPUtime=29.99 cores=0-7
/proc/10647/task/10659/stat : 10659 (java) R 10644 10647 10603 0 -1 1077944384 13 75321 0 0 0 0 2972 27 20 0 17 0 80951518 28251672576 151093 33554432000 4194304 4196468 140734827336016 140217260434336 140219292673749 256 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10661] ppid=10644 vsize=27589524 memory=6947768210496508522 CPUtime=29.99 cores=0-7
/proc/10647/task/10661/stat : 10661 (java) R 10644 10647 10603 0 -1 4195396 2 75321 0 0 0 0 2972 27 20 0 12 0 80951521 28251672576 151123 33554432000 4194304 4196468 140734827336016 140216617490288 140219292673749 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
[pid=10647/tid=10662] ppid=10644 vsize=27589524 memory=7800344859672537426 CPUtime=30.65 cores=0-7
/proc/10647/task/10662/stat : 10662 (java) R 10644 10647 10603 0 -1 4203588 1154 75321 0 0 65 1 2972 27 20 0 5 0 80951521 28251672576 151157 33554432000 4194304 4196468 140734827336016 140217411414512 140219292674690 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21843968 140734827340761 140734827341061 140734827341061 140734827343823 0
Current children cumulated CPU time: 35.41 s
Current children cumulated vsize: 27722656 KiB
Current children cumulated memory: 604408 KiB

Child status: 0
Real time (s): 6.41741
CPU time (s): 35.4425
CPU user time (s): 34.9482
CPU system time (s): 0.494319
CPU usage (%): 552.286
Max. virtual memory (cumulated for all children) (KiB): 28746212
Max. memory (cumulated for all children) (KiB): 798424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.9482
system time used= 0.494319
maximum resident set size= 604632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12104
involuntary context switches= 340


# summary of solver processes directly reported to runsolver:
#   pid: 10647
#   total CPU time (s): 35.4425
#   total CPU user time (s): 34.9482
#   total CPU system time (s): 0.494319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073825 second user time and 0.12051 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-26 21:38:03
IDJOB=4297023
IDBENCH=141131
IDSOLVER=2758
FILE ID=node135/4297023-1532633883
RUNJOBID= node135-1532633883-10630
PBS_JOBID= 21022179
Free space on /tmp= 48368 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/StripPacking/StripPacking-T1d_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297023-1532633883/watcher-4297023-1532633883 -o /tmp/evaluation-result-4297023-1532633883/solver-4297023-1532633883 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532633883-10630 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297023-1532633883.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3817c9d1450b0d422eac47c6c3c3f02c
RANDOM SEED=858587368

node135.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.50
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.50
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.50
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.50
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:        23009552 kB
MemAvailable:   31925888 kB
Buffers:          211288 kB
Cached:          8885576 kB
SwapCached:            0 kB
Active:          2563408 kB
Inactive:        6587384 kB
Active(anon):       3744 kB
Inactive(anon):    78320 kB
Active(file):    2559664 kB
Inactive(file):  6509064 kB
Unevictable:        7220 kB
Mlocked:            7220 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8460 kB
Writeback:             0 kB
AnonPages:         60232 kB
Mapped:            40340 kB
Shmem:             25248 kB
Slab:             304668 kB
SReclaimable:     276068 kB
SUnreclaim:        28600 kB
KernelStack:        3168 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48360 MiB
End job on node135 at 2018-07-26 21:38:10