Trace number 4307483

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-31)SAT 444.653 206.816

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
MD5SUMeed26ff9eb0f4f7c4bd196d19099a77a
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 benchmark14.5487
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints13
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":42}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":42}]
Minimum constraint arity6
Maximum constraint arity7
Distribution of constraint arities[{"arity":6,"count":7},{"arity":7,"count":6}]
Number of extensional constraints13
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":13}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-15287-serial-file.bin HOME/instance-4307483-1534193168.xml
0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 22:46:09 CEST 2018
0.65/0.56	c PID: 15290
0.65/0.56	c IP: 172.20.3.138
0.65/0.56	c HOST: node138.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.65/1.22	c (0,0) Parsing End
2.65/1.22	c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 13 ctr, max domain size 26
2.65/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.65/1.22	c (0,0) Constraint Name Generate Begin
2.65/1.23	c (0,0) Ctr:HOME/instance-4307483-1534193168.xml,ExtensionSupport:IntVar
2.65/1.23	c (0,0) Constraint Name Generate End
2.65/1.23	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.65/1.23	c (0,0) CSP to CSPinCNF Begin
38.19/23.80	c (23,22) translated 2 (10%) constraints
47.69/31.93	c (31,30) translated 3 (20%) constraints
59.90/40.50	c (39,39) translated 4 (30%) constraints
80.61/57.12	c (56,55) translated 6 (40%) constraints
94.36/65.85	c (65,63) translated 7 (50%) constraints
113.31/77.85	c (77,74) translated 8 (60%) constraints
122.52/87.06	c (86,83) translated 10 (70%) constraints
133.43/92.46	c (91,87) translated 11 (80%) constraints
138.04/97.06	c (96,92) translated 12 (90%) constraints
148.69/102.35	c (101,97) translated 13 (100%) constraints
167.48/112.45	c (111,105) STATISTICS1:HOME/instance-4307483-1534193168.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:323;26:177;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989;0:13,
167.48/112.45	c (111,105) ==========================================
167.48/112.45	c (111,105) Both Encoding selects:
167.48/112.45	c (111,105) Order
167.48/112.45	c (111,105) ==========================================
175.59/115.86	c (115,108) translated 204282 (10%) constraints
178.44/118.69	c (118,111) translated 408563 (20%) constraints
181.38/121.50	c (120,114) translated 612844 (30%) constraints
184.26/124.32	c (123,117) translated 817125 (40%) constraints
189.87/127.51	c (126,120) translated 1021406 (50%) constraints
192.77/130.41	c (129,122) translated 1225687 (60%) constraints
195.67/133.31	c (132,125) translated 1429968 (70%) constraints
198.58/136.22	c (135,128) translated 1634249 (80%) constraints
206.19/139.72	c (139,131) translated 1838530 (90%) constraints
209.09/142.63	c (142,134) translated 2042811 (100%) constraints
209.09/142.63	c (142,134) CSP to CSPinCNF End
209.24/142.72	c (142,134) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
209.24/142.72	c (142,134) Heap : 3858 MiB used (max 21173 MiB), NonHeap : 27 MiB used (max 0 MiB)
209.24/142.72	c (142,134) CSPinCNF Propagation Begin
230.81/153.83	c (153,144) 0 values, 13 unsatisfiable literals, and 0 valid clauses are removed
230.81/153.83	c (153,144) CSPinCNF Propagation End
230.92/153.92	c (153,144) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
230.92/153.92	c (153,144) Heap : 6452 MiB used (max 21237 MiB), NonHeap : 28 MiB used (max 0 MiB)
230.92/153.92	c (153,144) Simplify CSPinCNF Begin
234.61/157.56	c (157,148) Simplify CSPinCNF End
234.70/157.64	c (157,148) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
234.70/157.64	c (157,148) Heap : 7920 MiB used (max 21237 MiB), NonHeap : 28 MiB used (max 0 MiB)
234.70/157.64	c (157,148) Calculate Precise Domain Begin
234.70/157.64	c (157,148) 0 values are removed by re-calculation
234.70/157.64	c (157,148) Calculate Precise Domain End
234.81/157.73	c (157,148) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
234.81/157.73	c (157,148) Heap : 7920 MiB used (max 21237 MiB), NonHeap : 28 MiB used (max 0 MiB)
234.81/157.73	c (157,148) CSPinCNF to SatSolver Begin
242.34/159.86	c (159,149) 204282 (10 %) CSP clauses are encoded (187699 SAT variables, 205289 SAT clauses)
243.46/160.96	c (160,150) 408563 (20 %) CSP clauses are encoded (187699 SAT variables, 409570 SAT clauses)
244.57/162.07	c (161,151) 612844 (30 %) CSP clauses are encoded (187699 SAT variables, 613851 SAT clauses)
245.70/163.18	c (162,153) 817125 (40 %) CSP clauses are encoded (187699 SAT variables, 818132 SAT clauses)
254.17/165.22	c (164,154) 1021406 (50 %) CSP clauses are encoded (187699 SAT variables, 1022413 SAT clauses)
255.26/166.36	c (165,155) 1225687 (60 %) CSP clauses are encoded (187699 SAT variables, 1226694 SAT clauses)
256.47/167.50	c (166,156) 1429968 (70 %) CSP clauses are encoded (187699 SAT variables, 1430975 SAT clauses)
257.57/168.65	c (168,157) 1634249 (80 %) CSP clauses are encoded (187699 SAT variables, 1635256 SAT clauses)
258.77/169.80	c (169,158) 1838530 (90 %) CSP clauses are encoded (187699 SAT variables, 1839537 SAT clauses)
259.97/170.97	c (170,159) 2042811 (100 %) CSP clauses are encoded (187699 SAT variables, 2043818 SAT clauses)
259.97/170.97	c (170,159) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
259.97/170.97	c (170,159) CSPinCNF to SatSolver End
259.97/170.97	c (170,159) Heap : 4549 MiB used (max 20025 MiB), NonHeap : 29 MiB used (max 0 MiB)
265.99/176.61	c (176,165) STATISTICS2:HOME/instance-4307483-1534193168.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:310;26:190;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989,
265.99/176.61	c (176,165) 187699 bool, 2043819 clause
265.99/176.61	c (176,165) Export Begin
266.15/176.70	c (176,165) Export to HOME/scop-15287-serial-file.bin
266.15/176.70	c (176,165) Export End
266.15/176.71	c (176,165) Export File Size: 0.01 MB
266.15/176.71	c (176,165) 0,0,142,153,157,157,170,STOP-AFTER(DIMACS)
266.15/176.71	c END-Prog: Mon Aug 13 22:49:05 CEST 2018
266.15/176.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-15287-serial-file.bin
266.78/177.27	c (0,0) Read Serial File Begin
266.78/177.27	c (0,0) HOME/scop-15287-serial-file.bin
267.07/177.44	c (0,0) Read Serial File End
267.07/177.44	
267.07/177.44	scop order+glucose-syrup (2018-07-31)
267.07/177.44	(Solving Process)
267.07/177.44	
267.07/177.47	c BEGIN-Prog: Mon Aug 13 22:49:06 CEST 2018
267.07/177.47	c PID: 15310
267.07/177.47	c IP: 172.20.3.138
267.07/177.47	c HOST: node138.alineos.net
267.07/177.48	c (0,0) SatSolver.solve Begin
267.07/177.48	c (0,0) 0 bool, 0 clause
267.07/177.48	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307483-1534193168.xml-scop-15290.cnf
352.56/195.18	c (18,0) c
352.56/195.18	c (18,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
352.56/195.18	c (18,0) c
352.56/195.18	c (18,0) c WARNING: for repeatability, setting FPU to use double precision
352.56/195.18	c (18,0) c 8 solvers engines and 1 companion as a blackboard created.
352.56/195.18	c (18,0) c ========================================[ Problem Statistics ]===========================================
352.56/195.18	c (18,0) c |                                                                                                       |
352.56/195.18	c (18,0) c |  Number of variables:        187699                                                                   |
352.56/195.18	c (18,0) c |  Number of clauses:         2043819                                                                   |
352.56/195.18	c (18,0) c |  Parse time:                   0.73 s                                                                 |
352.56/195.18	c (18,0) c |                                                                                                       |
352.56/195.18	c (18,0) c |  Eliminated clauses:           1.10 Mb                                                                |
352.56/195.18	c (18,0) c |  Simplification time:          6.20 s                                                                 |
352.56/195.18	c (18,0) c |                                                                                                       |
352.56/195.18	c (18,0) c |  Generating clones                                                                                    |
352.56/195.18	c (18,0) c |  all clones generated. Memory = 1370.06Mb.                                                             |
352.56/195.18	c (18,0) c ========================================================================================================|
352.56/195.18	c (18,0) c
352.56/195.18	c (18,0) c |-------------------------------------------------------------------------------------------------------|
352.56/195.18	c (18,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
352.56/195.18	c (18,0) c |-------------------------------------------------------------------------------------------------------|
352.56/195.18	c (18,0) c |  0 |      4 |      14012 |       1443 |    64159 |     1443 |       90 |      638 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  1 |      4 |      11064 |       1104 |    43455 |     1104 |      103 |      647 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  2 |      3 |      11676 |       1429 |    41005 |     1429 |      103 |      601 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  3 |      3 |       8611 |        874 |    37714 |      874 |       89 |      674 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  4 |      3 |      10095 |       1095 |    47558 |     1095 |       96 |      619 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  5 |      5 |      11134 |       1092 |    35196 |     1092 |      117 |      622 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  6 |      5 |       9927 |        941 |    45052 |      941 |       96 |      695 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  7 |      4 |       9760 |       1017 |    32404 |     1017 |       97 |      679 |        0 |  0.000 |
352.56/195.18	c (18,0) c 
352.56/195.18	c (18,0) c synthesis        8995 conflicts    96322542 propagations      210 conflicts/sec  2248015 propagations/sec
352.56/195.18	c (18,0) c Total Memory so far : 1999.66Mb
352.56/195.18	c (18,0) c
352.56/195.18	c (18,0) c |-------------------------------------------------------------------------------------------------------|
352.56/195.18	c (18,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
352.56/195.18	c (18,0) c |-------------------------------------------------------------------------------------------------------|
352.56/195.18	c (18,0) c |  0 |     10 |      21989 |       3060 |   143653 |     2065 |      178 |     1440 |        2 |  0.000 |
352.56/195.18	c (18,0) c |  1 |     10 |      20715 |       2524 |   141270 |     1538 |      195 |     1335 |        2 |  0.000 |
352.56/195.18	c (18,0) c |  2 |     10 |      21575 |       2977 |   113490 |     1984 |      215 |     1387 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  3 |      7 |      17506 |       2356 |   142059 |     1362 |      184 |     1439 |        2 |  0.000 |
352.56/195.18	c (18,0) c |  4 |      7 |      17238 |       2546 |   107676 |     1547 |      222 |     1098 |        1 |  0.000 |
352.56/195.18	c (18,0) c |  5 |      8 |      16016 |       2351 |    61141 |     1355 |      233 |     1402 |        0 |  0.000 |
352.56/195.18	c (18,0) c |  6 |      8 |      16609 |       2617 |    91045 |     1620 |      217 |      853 |        1 |  0.000 |
352.56/195.18	c (18,0) c |  7 |      8 |      16238 |       2479 |    88624 |     1487 |      204 |     1443 |        1 |  0.000 |
352.56/195.18	c (18,0) c 
443.39/206.58	c (29,0) c synthesis       20910 conflicts   215191446 propagations      254 conflicts/sec  2612008 propagations/sec
443.39/206.58	c (29,0) c Total Memory so far : 2004.23Mb
443.39/206.58	c (29,0) c
443.39/206.58	c (29,0) c |-------------------------------------------------------------------------------------------------------|
443.39/206.58	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
443.39/206.58	c (29,0) c |-------------------------------------------------------------------------------------------------------|
443.39/206.58	c (29,0) c |  0 |     11 |      25261 |       3862 |   157779 |     2867 |      250 |     1473 |        2 |  0.000 |
443.39/206.58	c (29,0) c |  1 |     15 |      26680 |       3609 |   193800 |     2623 |      297 |     1750 |        3 |  0.000 |
443.39/206.58	c (29,0) c |  2 |     12 |      25000 |       3909 |   128688 |     2916 |      281 |     1853 |        0 |  0.000 |
443.39/206.58	c (29,0) c |  3 |      9 |      23673 |       3630 |   191718 |     2636 |      269 |     1498 |        3 |  0.000 |
443.39/206.58	c (29,0) c |  4 |     11 |      23409 |       3718 |   144612 |     2719 |      303 |     1842 |        4 |  0.000 |
443.39/206.58	c (29,0) c |  5 |     12 |      22378 |       3840 |   100167 |     2843 |      332 |     1832 |        1 |  0.000 |
443.39/206.58	c (29,0) c |  6 |     10 |      19499 |       3363 |   112328 |     2366 |      276 |     1900 |        1 |  0.000 |
443.39/206.58	c (29,0) c |  7 |     16 |      24148 |       3974 |   131330 |     2981 |      292 |     1969 |        2 |  0.000 |
443.39/206.58	c (29,0) c 
443.39/206.58	c (29,0) c synthesis       29905 conflicts   310927689 propagations      262 conflicts/sec  2725015 propagations/sec
443.39/206.58	c (29,0) c Total Memory so far : 2006.18Mb
443.39/206.58	c (29,0) c
443.39/206.58	c (29,0) c |-------------------------------------------------------------------------------------------------------|
443.39/206.58	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
443.39/206.58	c (29,0) c |-------------------------------------------------------------------------------------------------------|
443.39/206.58	c (29,0) c |  0 |     11 |      27645 |       4703 |   165655 |     3708 |      331 |     1473 |        2 |  0.000 |
443.39/206.58	c (29,0) c |  1 |     21 |      32371 |       4729 |   226921 |     3743 |      367 |     2488 |        4 |  0.000 |
443.39/206.59	c (29,0) c |  2 |     15 |      28799 |       4832 |   156502 |     3839 |      352 |     2450 |        2 |  0.000 |
443.39/206.59	c (29,0) c |  3 |     11 |      29299 |       4576 |   219405 |     3582 |      365 |     2155 |        4 |  0.000 |
443.39/206.59	c (29,0) c |  4 |     17 |      31689 |       5082 |   176207 |     4083 |      389 |     2594 |        4 |  0.000 |
443.39/206.59	c (29,0) c |  5 |     19 |      28421 |       5154 |   137121 |     4158 |      433 |     2415 |        4 |  0.000 |
443.39/206.59	c (29,0) c |  6 |     18 |      27925 |       4814 |   153100 |     3817 |      338 |     2566 |        6 |  0.000 |
443.39/206.59	c (29,0) c |  7 |     17 |      27665 |       5284 |   142540 |     4292 |      439 |     2145 |        2 |  0.000 |
443.39/206.59	c (29,0) c 
443.39/206.59	c (29,0) c synthesis       39175 conflicts   404969545 propagations      268 conflicts/sec  2775232 propagations/sec
443.39/206.59	c (29,0) c Total Memory so far : 2007.61Mb
443.39/206.59	c (29,0) c last restart ## conflicts  :  491 41 
443.39/206.59	c (29,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer).
443.39/206.59	c (29,0) c Total Memory so far : 2008.64Mb
443.39/206.59	c (29,0) c
443.39/206.59	c (29,0) c real time : 29.0836 s
443.39/206.59	c (29,0) c cpu time  : 172.891 s
443.39/206.59	c (29,0) c
443.39/206.59	c (29,0) c
443.39/206.59	c (29,0) c
443.39/206.59	c (29,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
443.39/206.59	c (29,0) c
443.39/206.59	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.39/206.59	c (29,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
443.39/206.59	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.39/206.59	c (29,0) c | Conflicts     |           47475 |       5456 |       6098 |       5499 |       5205 |       6647 |       6262 |       5929 |       6379 |
443.39/206.59	c (29,0) c | Decisions     |          278599 |      30773 |      39457 |      31062 |      31712 |      42957 |      34675 |      33869 |      34094 |
443.39/206.59	c (29,0) c | Propagations  |       485191836 |   59604140 |   59640759 |   61184764 |   60272734 |   61230223 |   60752428 |   60803252 |   61703536 |
443.39/206.59	c (29,0) c | Avg_Trail     |                 |     103500 |     105489 |     105987 |     102331 |      99500 |      91244 |     105649 |     100019 |
443.39/206.59	c (29,0) c | Avg_DL        |                 |        170 |        138 |        146 |        149 |        122 |        112 |        115 |        141 |
443.39/206.59	c (29,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.39/206.59	c (29,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.39/206.59	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.39/206.59	c (29,0) c | Exported      |            4613 |        468 |        579 |        528 |        485 |        632 |        715 |        514 |        692 |
443.39/206.59	c (29,0) c | Imported      |           29494 |       4004 |       3777 |       2722 |       3773 |       3920 |       3318 |       4086 |       3894 |
443.39/206.59	c (29,0) c | Good          |           14182 |       1826 |       1763 |       1605 |       1796 |       1804 |       1698 |       1848 |       1842 |
443.39/206.59	c (29,0) c | Purge         |           15312 |       2178 |       2014 |       1117 |       1977 |       2116 |       1620 |       2238 |       2052 |
443.39/206.59	c (29,0) c | Promoted      |              62 |          9 |         13 |          3 |          4 |          8 |         10 |         11 |          4 |
443.39/206.59	c (29,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.39/206.59	c (29,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.39/206.59	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.39/206.59	c (29,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.39/206.59	c (29,0) c | Binaries      |                 |        251 |        275 |        250 |        239 |        282 |        300 |        248 |        254 |
443.39/206.59	c (29,0) c | Glues         |                 |        399 |        433 |        396 |        449 |        446 |        463 |        418 |        437 |
443.39/206.59	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.39/206.59	c (29,0) c | Orig_Seen     |             9 % |     177837 |     250454 |     170014 |     246576 |     227462 |     168607 |     182098 |     185873 |
443.39/206.59	c (29,0) c | Diff Orig seen|                 |       9230 |      81847 |       1407 |      77969 |      58855 |      X     |      13491 |      17266 |
443.39/206.59	c (29,0) c | Hamming       |             5 % |       9979 |      12062 |      11355 |      11603 |      10350 |      X     |       9936 |      11649 |
443.39/206.59	c (29,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.39/206.59	c (29,0) 
443.39/206.59	c (29,0) s SATISFIABLE
267.61/206.73	c (29,0) SatSolver.solve End
267.61/206.73	c (29,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
267.61/206.73	c (29,0) Show results Begin
267.61/206.79	s SATISFIABLE
267.61/206.79	v <instantiation>
267.61/206.79	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6]</list>
267.61/206.79	v     <values>4 13 19 17 4 4 18 19 20 17 4 13 13 4 8 18 14 18 15 8 13 0 13 13 0 11 4 18 6 20 4 11 20 12 4 4 18 18 8 18 4 18</values>
267.61/206.79	v </instantiation>
267.61/206.79	c (29,0) Show results End
267.61/206.79	c (29,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
267.61/206.79	c (29,0) 29,29,STOP-AFTER(ALL)
267.61/206.79	c END-Prog: Mon Aug 13 22:49:35 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 (10341 MiB free)
  memory of node 1: 16384 MiB (7296 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307483-1534193168/watcher-4307483-1534193168 -o /tmp/evaluation-result-4307483-1534193168/solver-4307483-1534193168 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534190647-15089 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307483-1534193168.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=15287, runsolver pid=15284


[startup+0.100136 s]*
/proc/loadavg: 7.74 8.23 8.29 2/199 15309
/proc/meminfo: memFree=17964928/32770624 swapFree=67108796/67108860
[pid=15287] ppid=15284 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15287/stat : 15287 (scop.sh) S 15284 15287 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236879997 115843072 349 33554432000 4194304 5098028 140722472376080 140722472373336 140010011648636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27275264 140722472379427 140722472379651 140722472379651 140722472382413 0
/proc/15287/statm: 28282 349 296 221 0 87 0
[pid=15290] ppid=15287 vsize=27313900 memory=110920 CPUtime=0.1 cores=0-7
/proc/15290/stat : 15290 (java) S 15287 15287 15062 0 -1 1077944320 6145 0 0 0 8 2 0 0 20 0 20 0 236879997 27969433600 27730 33554432000 4194304 4196468 140736949824528 140736949807072 140160057466615 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
/proc/15290/statm: 6828475 27730 2739 1 0 6790935 0
[pid=15290/tid=15291] ppid=15287 vsize=27313900 memory=7825455635648911776 CPUtime=0.09 cores=0-7
/proc/15290/task/15291/stat : 15291 (java) R 15287 15287 15062 0 -1 4202560 4323 0 0 0 7 2 0 0 20 0 20 0 236879998 27969433600 27795 33554432000 4194304 4196468 140736949824528 140160029301184 140160041547102 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15292] ppid=15287 vsize=27313900 memory=732370238953180133 CPUtime=0 cores=0-7
/proc/15290/task/15292/stat : 15292 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140160061709200 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15293] ppid=15287 vsize=27313900 memory=140100615726720 CPUtime=0 cores=0-7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159884204816 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15294] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159478348944 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15295] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159477296144 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15296] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159476242832 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15297] ppid=15287 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159475190032 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15298] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159474137744 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15299] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 27795 33554432000 4194304 4196468 140736949824528 140159473084944 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15300] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158176320112 140160057477762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15301] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15287 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158003307808 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15302] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 27795 33554432000 4194304 4196468 140736949824528 140157734872688 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15303] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140157360364112 140160057485211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15304] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15287 15062 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158175266928 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15305] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158174214128 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15306] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15306/stat : 15306 (java) S 15287 15287 15062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158173161840 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15307] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15307/stat : 15307 (java) R 15287 15287 15062 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158172109040 140160036360328 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15308] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15308/stat : 15308 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140156862458720 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15309] ppid=15287 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15290/task/15309/stat : 15309 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 27795 33554432000 4194304 4196468 140736949824528 140158171056944 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 112316 KiB

[startup+0.210145 s]*
/proc/loadavg: 7.74 8.23 8.29 2/199 15309
/proc/meminfo: memFree=17946880/32770624 swapFree=67108796/67108860
[pid=15287] ppid=15284 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15287/stat : 15287 (scop.sh) S 15284 15287 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236879997 115843072 349 33554432000 4194304 5098028 140722472376080 140722472373336 140010011648636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27275264 140722472379427 140722472379651 140722472379651 140722472382413 0
/proc/15287/statm: 28282 349 296 221 0 87 0
[pid=15290] ppid=15287 vsize=27313900 memory=124992 CPUtime=0.24 cores=0-7
/proc/15290/stat : 15290 (java) S 15287 15287 15062 0 -1 1077944320 10003 0 0 0 21 3 0 0 20 0 20 0 236879997 27969433600 31248 33554432000 4194304 4196468 140736949824528 140736949807072 140160057466615 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
/proc/15290/statm: 6828475 31248 2833 1 0 6790935 0
[pid=15290/tid=15291] ppid=15287 vsize=27313900 memory=0 CPUtime=0.2 cores=0-7
/proc/15290/task/15291/stat : 15291 (java) R 15287 15287 15062 0 -1 4202560 7905 0 0 0 17 3 0 0 20 0 20 0 236879998 27969433600 31248 33554432000 4194304 4196468 140736949824528 140160029275360 140160049703742 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15292] ppid=15287 vsize=27313900 memory=280201106745080 CPUtime=0 cores=0-7
/proc/15290/task/15292/stat : 15292 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140160061709200 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15293] ppid=15287 vsize=27313900 memory=140100615726720 CPUtime=0 cores=0-7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159884204816 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15294] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159478348944 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15295] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159477296144 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15296] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159476242832 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15297] ppid=15287 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159475190032 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15298] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159474137744 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15299] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 31248 33554432000 4194304 4196468 140736949824528 140159473084944 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15300] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 31248 33554432000 4194304 4196468 140736949824528 140158176320112 140160057477762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15301] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15287 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 31248 33554432000 4194304 4196468 140736949824528 140158003307808 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15302] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 31248 33554432000 4194304 4196468 140736949824528 140157734872688 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15303] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 31248 33554432000 4194304 4196468 140736949824528 140157360364112 140160057485211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15304] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15287 15062 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 31248 33554432000 4194304 4196468 140736949824528 140158175266928 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15305] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15287 15062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 31313 33554432000 4194304 4196468 140736949824528 140158174214128 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15306] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15306/stat : 15306 (java) S 15287 15287 15062 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 31313 33554432000 4194304 4196468 140736949824528 140158173161840 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15307] ppid=15287 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/15290/task/15307/stat : 15307 (java) S 15287 15287 15062 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 236880005 27969433600 31313 33554432000 4194304 4196468 140736949824528 140158172109040 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15308] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15308/stat : 15308 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 31313 33554432000 4194304 4196468 140736949824528 140156862458720 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15309] ppid=15287 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15290/task/15309/stat : 15309 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 31313 33554432000 4194304 4196468 140736949824528 140158171056944 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126388 KiB

[startup+0.310193 s]*
/proc/loadavg: 7.74 8.23 8.29 2/199 15309
/proc/meminfo: memFree=17942848/32770624 swapFree=67108796/67108860
[pid=15287] ppid=15284 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15287/stat : 15287 (scop.sh) S 15284 15287 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236879997 115843072 349 33554432000 4194304 5098028 140722472376080 140722472373336 140010011648636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27275264 140722472379427 140722472379651 140722472379651 140722472382413 0
/proc/15287/statm: 28282 349 296 221 0 87 0
[pid=15290] ppid=15287 vsize=27313900 memory=129552 CPUtime=0.42 cores=0-7
/proc/15290/stat : 15290 (java) S 15287 15287 15062 0 -1 1077944320 10632 0 0 0 38 4 0 0 20 0 20 0 236879997 27969433600 32388 33554432000 4194304 4196468 140736949824528 140736949807072 140160057466615 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
/proc/15290/statm: 6828475 32388 2966 1 0 6790935 0
[pid=15290/tid=15291] ppid=15287 vsize=27313900 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15290/task/15291/stat : 15291 (java) R 15287 15287 15062 0 -1 4202560 8346 0 0 0 27 3 0 0 20 0 20 0 236879998 27969433600 32388 33554432000 4194304 4196468 140736949824528 140160029262064 140160057488541 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15292] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15292/stat : 15292 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140160061709200 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15293] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159884204816 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15294] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159478348944 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15295] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159477296144 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15296] ppid=15287 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159476242832 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15297] ppid=15287 vsize=27313900 memory=140100491113391 CPUtime=0 cores=0-7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159475190032 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15298] ppid=15287 vsize=27313900 memory=140100491115696 CPUtime=0 cores=0-7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159474137744 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15299] ppid=15287 vsize=27313900 memory=140100491118000 CPUtime=0 cores=0-7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27969433600 32388 33554432000 4194304 4196468 140736949824528 140159473084944 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15300] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158176320112 140160057477762 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15301] ppid=15287 vsize=27313900 memory=280200982242960 CPUtime=0 cores=0-7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15287 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158003307808 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15302] ppid=15287 vsize=27313900 memory=280200982249872 CPUtime=0 cores=0-7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880002 27969433600 32388 33554432000 4194304 4196468 140736949824528 140157734872688 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15303] ppid=15287 vsize=27313900 memory=280200982191152 CPUtime=0 cores=0-7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140157360364112 140160057485211 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15304] ppid=15287 vsize=27313900 memory=280200982263696 CPUtime=0.01 cores=0-7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15287 15062 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158175266928 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15305] ppid=15287 vsize=27313900 memory=280200982270608 CPUtime=0.01 cores=0-7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15287 15062 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158174214128 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15306] ppid=15287 vsize=27313900 memory=280200982268304 CPUtime=0 cores=0-7
/proc/15290/task/15306/stat : 15306 (java) S 15287 15287 15062 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158173161840 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15307] ppid=15287 vsize=27313900 memory=280200982284464 CPUtime=0.07 cores=0-7
/proc/15290/task/15307/stat : 15307 (java) S 15287 15287 15062 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158172109040 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15308] ppid=15287 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15308/stat : 15308 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140156862458720 140160057476821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15309] ppid=15287 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/15290/task/15309/stat : 15309 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880005 27969433600 32388 33554432000 4194304 4196468 140736949824528 140158171056944 140160057477762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 130948 KiB

[startup+0.700965 s]
/proc/loadavg: 7.74 8.23 8.29 2/199 15309
/proc/meminfo: memFree=17918648/32770624 swapFree=67108796/67108860
[pid=15287] ppid=15284 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15287/stat : 15287 (scop.sh) S 15284 15287 15062 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236879997 115843072 349 33554432000 4194304 5098028 140722472376080 140722472373336 140010011648636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27275264 140722472379427 140722472379651 140722472379651 140722472382413 0
/proc/15287/statm: 28282 349 296 221 0 87 0
[pid=15290] ppid=15287 vsize=27320172 memory=168564 CPUtime=0.99 cores=0-7
/proc/15290/stat : 15290 (java) S 15287 15287 15062 0 -1 1077944320 17612 0 0 0 94 5 0 0 20 0 20 0 236879997 27975856128 42141 33554432000 4194304 4196468 140736949824528 140736949807072 140160057466615 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
/proc/15290/statm: 6830043 42141 3128 1 0 6791447 0
[pid=15290/tid=15291] ppid=15287 vsize=27320172 memory=280200982579328 CPUtime=0.67 cores=0-7
/proc/15290/task/15291/stat : 15291 (java) R 15287 15287 15062 0 -1 4202560 14842 0 0 0 63 4 0 0 20 0 20 0 236879998 27975856128 42141 33554432000 4194304 4196468 140736949824528 140160029296688 140160057478550 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15292] ppid=15287 vsize=27320172 memory=5085241279643 CPUtime=0 cores=0-7
/proc/15290/task/15292/stat : 15292 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27975856128 42141 33554432000 4194304 4196468 140736949824528 140160061709200 140160057476821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15293] ppid=15287 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27975856128 42141 33554432000 4194304 4196468 140736949824528 140159884204816 140160057476821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0
[pid=15290/tid=15294] ppid=15287 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236880000 27975856128 42141 33554432000 4194304 4196468 140736949824528 140159478348944 140160057476821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37818368 140736949826537 140736949826861 140736949826861 140736949829583 0

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

/proc/15310/task/15322/stat : 15322 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897678 8615837696 29792 33554432000 4194304 4196468 140730671628768 139937483580528 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15323] ppid=15287 vsize=8413904 memory=804 CPUtime=0 cores=0-7
/proc/15310/task/15323/stat : 15323 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139937109071952 139939323180955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15324] ppid=15287 vsize=8413904 memory=4096 CPUtime=0.02 cores=0-7
/proc/15310/task/15324/stat : 15324 (java) S 15287 15287 15062 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938548902512 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15325] ppid=15287 vsize=8413904 memory=1800 CPUtime=0.07 cores=0-7
/proc/15310/task/15325/stat : 15325 (java) S 15287 15287 15062 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938547849712 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15326] ppid=15287 vsize=8413904 memory=920 CPUtime=0.06 cores=0-7
/proc/15310/task/15326/stat : 15326 (java) S 15287 15287 15062 0 -1 1077944384 190 0 0 0 6 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938546797424 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15327] ppid=15287 vsize=8413904 memory=4140 CPUtime=0.18 cores=0-7
/proc/15310/task/15327/stat : 15327 (java) S 15287 15287 15062 0 -1 1077944384 560 0 0 0 18 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938545744624 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15328] ppid=15287 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/15310/task/15328/stat : 15328 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139936611166560 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15329] ppid=15287 vsize=8413904 memory=3684 CPUtime=0.01 cores=0-7
/proc/15310/task/15329/stat : 15329 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 236897682 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938544691504 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15331] ppid=15287 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/15310/task/15331/stat : 15331 (java) S 15287 15287 15062 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236897747 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938625058112 139939323186969 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15333] ppid=15287 vsize=8413904 memory=119168 CPUtime=0 cores=0-7
/proc/15310/task/15333/stat : 15333 (java) S 15287 15287 15062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 236897748 8615837696 29792 33554432000 4194304 4196468 140730671628768 139935940067216 139939323184285 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15334] ppid=15287 vsize=8413904 memory=1580412 CPUtime=0 cores=0-7
/proc/15310/task/15334/stat : 15334 (java) S 15287 15287 15062 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 236897748 8615837696 29792 33554432000 4194304 4196468 140730671628768 139936208502544 139939323184285 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15335] ppid=15287 vsize=8413904 memory=8039887049847963811 CPUtime=0 cores=0-7
/proc/15310/task/15335/stat : 15335 (java) S 15287 15287 15062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236897750 8615837696 29792 33554432000 4194304 4196468 140730671628768 139935671639840 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
Current children cumulated CPU time: 436.22 s
Current children cumulated vsize: 10583616 KiB
Current children cumulated memory: 1701564 KiB

[startup+206.402 s]
/proc/loadavg: 3.56 5.22 7.04 9/212 15343
/proc/meminfo: memFree=16324628/32770624 swapFree=67108796/67108860
[pid=15287] ppid=15284 vsize=113128 memory=1472 CPUtime=266.23 cores=0-7
/proc/15287/stat : 15287 (scop.sh) S 15284 15287 15062 0 -1 4202496 590 122333 0 0 0 0 24571 2052 20 0 1 0 236879997 115843072 368 33554432000 4194304 5098028 140722472376080 140722472372824 140010011648636 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27275264 140722472379427 140722472379651 140722472379651 140722472382413 0
/proc/15287/statm: 28282 368 311 221 0 87 0
[pid=15310] ppid=15287 vsize=8413904 memory=119168 CPUtime=1.15 cores=0-7
/proc/15310/stat : 15310 (java) S 15287 15287 15062 0 -1 1077944320 18018 0 0 0 108 7 0 0 20 0 24 0 236897674 8615837696 29792 33554432000 4194304 4196468 140730671628768 140730671611312 139939323162359 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
/proc/15310/statm: 2103476 29792 3145 1 0 2064875 0
[pid=15330] ppid=15310 vsize=2056848 memory=1581356 CPUtime=175.22 cores=0-7
/proc/15330/stat : 15330 (glucose-syrup) S 15310 15287 15062 0 -1 1077944320 1274388 0 0 0 17144 378 0 0 20 0 9 0 236897747 2106212352 395339 33554432000 4194304 4373367 140726523400304 140726523398848 140341006310018 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
/proc/15330/statm: 514212 395339 387 44 0 509900 0
[pid=15330/tid=15336] ppid=15310 vsize=2056848 memory=1581032 CPUtime=21.02 cores=0-7
/proc/15330/task/15336/stat : 15336 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 126844 0 0 0 2070 32 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340975410056 4272344 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15337] ppid=15310 vsize=2056848 memory=0 CPUtime=20.98 cores=0-7
/proc/15330/task/15337/stat : 15337 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 121636 0 0 0 2066 32 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340194311368 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15338] ppid=15310 vsize=2056848 memory=280200982592928 CPUtime=20.98 cores=0-7
/proc/15330/task/15338/stat : 15338 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 134903 0 0 0 2067 31 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340185918344 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15339] ppid=15310 vsize=2056848 memory=280200982756480 CPUtime=20.87 cores=0-7
/proc/15330/task/15339/stat : 15339 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 123702 0 0 0 2033 54 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340177525960 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15340] ppid=15310 vsize=2056848 memory=280200982756672 CPUtime=20.96 cores=0-7
/proc/15330/task/15340/stat : 15340 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 128657 0 0 0 2047 49 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340169133256 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15341] ppid=15310 vsize=2056848 memory=280200982756864 CPUtime=20.98 cores=0-7
/proc/15330/task/15341/stat : 15341 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 134855 0 0 0 2063 35 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340160740184 4252341 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15342] ppid=15310 vsize=2056848 memory=280200982756900 CPUtime=20.7 cores=0-7
/proc/15330/task/15342/stat : 15342 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 128868 0 0 0 2020 50 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340152347528 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15330/tid=15343] ppid=15310 vsize=2056848 memory=8039887049847963811 CPUtime=20.93 cores=0-7
/proc/15330/task/15343/stat : 15343 (glucose-syrup) R 15310 15287 15062 0 -1 4202560 123867 0 0 0 2041 52 0 0 20 0 9 0 236898520 2106212352 395339 33554432000 4194304 4373367 140726523400304 140340143954728 4271685 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 15560704 140726523405392 140726523405524 140726523405524 140726523408327 0
[pid=15310/tid=15311] ppid=15287 vsize=8413904 memory=6944656592455097440 CPUtime=0.74 cores=0-7
/proc/15310/task/15311/stat : 15311 (java) S 15287 15287 15062 0 -1 1077944384 15058 0 0 0 70 4 0 0 20 0 24 0 236897675 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939295002512 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15312] ppid=15287 vsize=8413904 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/15310/task/15312/stat : 15312 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939327404432 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15313] ppid=15287 vsize=8413904 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/15310/task/15313/stat : 15313 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939127572752 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15314] ppid=15287 vsize=8413904 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/15310/task/15314/stat : 15314 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939126520464 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15315] ppid=15287 vsize=8413904 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/15310/task/15315/stat : 15315 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939125467664 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15316] ppid=15287 vsize=8413904 memory=8039887049847963811 CPUtime=0 cores=0-7
/proc/15310/task/15316/stat : 15316 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939124415376 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15317] ppid=15287 vsize=8413904 memory=2180 CPUtime=0 cores=0-7
/proc/15310/task/15317/stat : 15317 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939123362576 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15318] ppid=15287 vsize=8413904 memory=3980 CPUtime=0 cores=0-7
/proc/15310/task/15318/stat : 15318 (java) S 15287 15287 15062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939122310288 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15319] ppid=15287 vsize=8413904 memory=888 CPUtime=0 cores=0-7
/proc/15310/task/15319/stat : 15319 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236897676 8615837696 29792 33554432000 4194304 4196468 140730671628768 139939121257488 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15320] ppid=15287 vsize=8413904 memory=1532 CPUtime=0 cores=0-7
/proc/15310/task/15320/stat : 15320 (java) S 15287 15287 15062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236897678 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938549954672 139939323173506 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15321] ppid=15287 vsize=8413904 memory=1904 CPUtime=0 cores=0-7
/proc/15310/task/15321/stat : 15321 (java) S 15287 15287 15062 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236897678 8615837696 29792 33554432000 4194304 4196468 140730671628768 139937752015648 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15322] ppid=15287 vsize=8413904 memory=7524 CPUtime=0 cores=0-7
/proc/15310/task/15322/stat : 15322 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897678 8615837696 29792 33554432000 4194304 4196468 140730671628768 139937483580528 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15323] ppid=15287 vsize=8413904 memory=1592 CPUtime=0 cores=0-7
/proc/15310/task/15323/stat : 15323 (java) S 15287 15287 15062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139937109071952 139939323180955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15324] ppid=15287 vsize=8413904 memory=3804 CPUtime=0.02 cores=0-7
/proc/15310/task/15324/stat : 15324 (java) S 15287 15287 15062 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938548902512 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15325] ppid=15287 vsize=8413904 memory=3164 CPUtime=0.07 cores=0-7
/proc/15310/task/15325/stat : 15325 (java) S 15287 15287 15062 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938547849712 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15326] ppid=15287 vsize=8413904 memory=1244 CPUtime=0.06 cores=0-7
/proc/15310/task/15326/stat : 15326 (java) S 15287 15287 15062 0 -1 1077944384 190 0 0 0 6 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938546797424 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15327] ppid=15287 vsize=8413904 memory=1060 CPUtime=0.18 cores=0-7
/proc/15310/task/15327/stat : 15327 (java) S 15287 15287 15062 0 -1 1077944384 560 0 0 0 18 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938545744624 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15328] ppid=15287 vsize=8413904 memory=1776 CPUtime=0 cores=0-7
/proc/15310/task/15328/stat : 15328 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236897681 8615837696 29792 33554432000 4194304 4196468 140730671628768 139936611166560 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15329] ppid=15287 vsize=8413904 memory=5728 CPUtime=0.01 cores=0-7
/proc/15310/task/15329/stat : 15329 (java) S 15287 15287 15062 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 236897682 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938544691504 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15331] ppid=15287 vsize=8413904 memory=14772 CPUtime=0 cores=0-7
/proc/15310/task/15331/stat : 15331 (java) S 15287 15287 15062 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236897747 8615837696 29792 33554432000 4194304 4196468 140730671628768 139938625058112 139939323186969 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15333] ppid=15287 vsize=8413904 memory=40284 CPUtime=0 cores=0-7
/proc/15310/task/15333/stat : 15333 (java) S 15287 15287 15062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 236897748 8615837696 29792 33554432000 4194304 4196468 140730671628768 139935940067216 139939323184285 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15334] ppid=15287 vsize=8413904 memory=15140 CPUtime=0 cores=0-7
/proc/15310/task/15334/stat : 15334 (java) S 15287 15287 15062 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 236897748 8615837696 29792 33554432000 4194304 4196468 140730671628768 139936208502544 139939323184285 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15335] ppid=15287 vsize=8413904 memory=1580580 CPUtime=0 cores=0-7
/proc/15310/task/15335/stat : 15335 (java) S 15287 15287 15062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 236897750 8615837696 29792 33554432000 4194304 4196468 140730671628768 139935671639840 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
Current children cumulated CPU time: 442.6 s
Current children cumulated vsize: 10583880 KiB
Current children cumulated memory: 1701996 KiB

[startup+206.801 s]
/proc/loadavg: 3.56 5.22 7.04 9/212 15343
/proc/meminfo: memFree=16324628/32770624 swapFree=67108796/67108860
[pid=15287] ppid=15284 vsize=113128 memory=1472 CPUtime=266.23 cores=0-7
/proc/15287/stat : 15287 (scop.sh) S 15284 15287 15062 0 -1 4202496 590 122333 0 0 0 0 24571 2052 20 0 1 0 236879997 115843072 368 33554432000 4194304 5098028 140722472376080 140722472372824 140010011648636 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 27275264 140722472379427 140722472379651 140722472379651 140722472382413 0
/proc/15287/statm: 28282 368 311 221 0 87 0
[pid=15310] ppid=15287 vsize=8282828 memory=165572 CPUtime=178.38 cores=0-7
/proc/15310/stat : 15310 (java) S 15287 15287 15062 0 -1 1077944320 19362 1275232 0 0 150 9 17293 386 20 0 22 0 236897674 8481615872 41393 33554432000 4194304 4196468 140730671628768 140730671611312 139939323162359 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
/proc/15310/statm: 2070707 41393 3170 1 0 2032106 0
[pid=15310/tid=15311] ppid=15287 vsize=8282828 memory=1472 CPUtime=177.6 cores=0-7
/proc/15310/task/15311/stat : 15311 (java) R 15287 15287 15062 0 -1 4202560 15275 1275232 0 0 76 5 17293 386 20 0 22 0 236897675 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939294999056 139939315847991 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15312] ppid=15287 vsize=8282828 memory=119168 CPUtime=176.79 cores=0-7
/proc/15310/task/15312/stat : 15312 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939327404432 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15313] ppid=15287 vsize=8282828 memory=-4075877051373423744 CPUtime=176.79 cores=0-7
/proc/15310/task/15313/stat : 15313 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939127572752 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15314] ppid=15287 vsize=8282828 memory=932 CPUtime=176.79 cores=0-7
/proc/15310/task/15314/stat : 15314 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939126520464 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15315] ppid=15287 vsize=8282828 memory=1472 CPUtime=176.79 cores=0-7
/proc/15310/task/15315/stat : 15315 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939125467664 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15316] ppid=15287 vsize=8282828 memory=119168 CPUtime=176.79 cores=0-7
/proc/15310/task/15316/stat : 15316 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939124415376 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15317] ppid=15287 vsize=8282828 memory=-4075877051373423744 CPUtime=176.79 cores=0-7
/proc/15310/task/15317/stat : 15317 (java) S 15287 15287 15062 0 -1 1077944384 2 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939123362576 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15318] ppid=15287 vsize=8282828 memory=3804 CPUtime=176.79 cores=0-7
/proc/15310/task/15318/stat : 15318 (java) S 15287 15287 15062 0 -1 1077944384 2 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939122310288 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15319] ppid=15287 vsize=8282828 memory=3164 CPUtime=176.79 cores=0-7
/proc/15310/task/15319/stat : 15319 (java) S 15287 15287 15062 0 -1 1077944384 3 1275232 0 0 0 0 17293 386 20 0 22 0 236897676 8481615872 41393 33554432000 4194304 4196468 140730671628768 139939121257488 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15320] ppid=15287 vsize=8282828 memory=1244 CPUtime=176.79 cores=0-7
/proc/15310/task/15320/stat : 15320 (java) S 15287 15287 15062 0 -1 1077944384 5 1275232 0 0 0 0 17293 386 20 0 22 0 236897678 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938549954672 139939323173506 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15321] ppid=15287 vsize=8282828 memory=1060 CPUtime=176.79 cores=0-7
/proc/15310/task/15321/stat : 15321 (java) S 15287 15287 15062 0 -1 1077944384 13 1275232 0 0 0 0 17293 386 20 0 22 0 236897678 8481615872 41393 33554432000 4194304 4196468 140730671628768 139937752015648 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15322] ppid=15287 vsize=8282828 memory=1776 CPUtime=176.79 cores=0-7
/proc/15310/task/15322/stat : 15322 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897678 8481615872 41393 33554432000 4194304 4196468 140730671628768 139937483580528 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15323] ppid=15287 vsize=8282828 memory=5728 CPUtime=176.79 cores=0-7
/proc/15310/task/15323/stat : 15323 (java) S 15287 15287 15062 0 -1 1077944384 1 1275232 0 0 0 0 17293 386 20 0 22 0 236897681 8481615872 41393 33554432000 4194304 4196468 140730671628768 139937109071952 139939323180955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15324] ppid=15287 vsize=8282828 memory=1472 CPUtime=176.87 cores=0-7
/proc/15310/task/15324/stat : 15324 (java) S 15287 15287 15062 0 -1 1077944384 416 1275232 0 0 8 0 17293 386 20 0 22 0 236897681 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938548902512 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15325] ppid=15287 vsize=8282828 memory=119168 CPUtime=176.9 cores=0-7
/proc/15310/task/15325/stat : 15325 (java) S 15287 15287 15062 0 -1 1077944384 459 1275232 0 0 11 0 17293 386 20 0 22 0 236897681 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938547849712 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15326] ppid=15287 vsize=8282828 memory=1581224 CPUtime=176.91 cores=0-7
/proc/15310/task/15326/stat : 15326 (java) S 15287 15287 15062 0 -1 1077944384 547 1275232 0 0 12 0 17293 386 20 0 22 0 236897681 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938546797424 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15327] ppid=15287 vsize=8282828 memory=302648487784441487 CPUtime=177.05 cores=0-7
/proc/15310/task/15327/stat : 15327 (java) S 15287 15287 15062 0 -1 1077944384 1195 1275232 0 0 25 1 17293 386 20 0 22 0 236897681 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938545744624 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15328] ppid=15287 vsize=8282828 memory=7223880786990092368 CPUtime=176.79 cores=0-7
/proc/15310/task/15328/stat : 15328 (java) S 15287 15287 15062 0 -1 1077944384 3 1275232 0 0 0 0 17293 386 20 0 22 0 236897681 8481615872 41393 33554432000 4194304 4196468 140730671628768 139936611166560 139939323172565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15329] ppid=15287 vsize=8282828 memory=40 CPUtime=176.8 cores=0-7
/proc/15310/task/15329/stat : 15329 (java) S 15287 15287 15062 0 -1 1077944384 3 1275232 0 0 1 0 17293 386 20 0 22 0 236897682 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938544691504 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15331] ppid=15287 vsize=8282828 memory=0 CPUtime=176.79 cores=0-7
/proc/15310/task/15331/stat : 15331 (java) S 15287 15287 15062 0 -1 1077944384 24 1275232 0 0 0 0 17293 386 20 0 22 0 236897747 8481615872 41393 33554432000 4194304 4196468 140730671628768 139938625057296 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
[pid=15310/tid=15335] ppid=15287 vsize=8282828 memory=140100492430176 CPUtime=176.79 cores=0-7
/proc/15310/task/15335/stat : 15335 (java) S 15287 15287 15062 0 -1 1077944384 10 1275232 0 0 0 0 17293 386 20 0 22 0 236897750 8481615872 41393 33554432000 4194304 4196468 140730671628768 139935671641648 139939323173506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9191424 140730671633585 140730671633709 140730671633709 140730671636431 0
Current children cumulated CPU time: 444.61 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 167044 KiB

Child status: 0
Real time (s): 206.816
CPU time (s): 444.653
CPU user time (s): 420.155
CPU system time (s): 24.4984
CPU usage (%): 214.999
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 11664668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 420.155
system time used= 24.4984
maximum resident set size= 11663432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1417552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240325
involuntary context switches= 2423


# summary of solver processes directly reported to runsolver:
#   pid: 15287
#   total CPU time (s): 444.653
#   total CPU user time (s): 420.155
#   total CPU system time (s): 24.4984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77449 second user time and 1.96296 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-13 22:46:08
IDJOB=4307483
IDBENCH=141440
IDSOLVER=2789
FILE ID=node138/4307483-1534193168
RUNJOBID= node138-1534190647-15089
PBS_JOBID= 21037990
Free space on /tmp= 24692 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-06-07_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307483-1534193168/watcher-4307483-1534193168 -o /tmp/evaluation-result-4307483-1534193168/solver-4307483-1534193168 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534190647-15089 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307483-1534193168.xml

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

MD5SUM BENCH= eed26ff9eb0f4f7c4bd196d19099a77a
RANDOM SEED=1186274729

node138.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.71
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.71
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.71
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.71
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:        18061368 kB
MemAvailable:   31896912 kB
Buffers:          204372 kB
Cached:         13705672 kB
SwapCached:           12 kB
Active:          6732340 kB
Inactive:        7236836 kB
Active(anon):       3128 kB
Inactive(anon):   108396 kB
Active(file):    6729212 kB
Inactive(file):  7128440 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              9776 kB
Writeback:             0 kB
AnonPages:         66484 kB
Mapped:            51904 kB
Shmem:             49740 kB
Slab:             434064 kB
SReclaimable:     406352 kB
SUnreclaim:        27712 kB
KernelStack:        3152 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 24684 MiB
End job on node138 at 2018-08-13 22:49:35