Trace number 4307381

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 229.157 37.9581

General information on the benchmark

NameEternity/
Eternity-07-07_c18.xml
MD5SUMd2370bf20b8fe6e2b2b2b678a676e404
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 benchmark97.7171
Satisfiable
(Un)Satisfiability was proved
Number of variables161
Number of constraints78
Number of domains2
Minimum domain size10
Maximum domain size49
Distribution of domain sizes[{"size":10,"count":112},{"size":49,"count":49}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":6},{"degree":2,"count":154},{"degree":8,"count":1}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":28},{"arity":5,"count":49},{"arity":49,"count":1}]
Number of extensional constraints49
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":28},{"type":"allDifferent","count":1}]
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-10948-serial-file.bin HOME/instance-4307381-1534210514.xml
0.65/0.53	
0.65/0.54	scop both+glucose-syrup (2018-07-31)
0.65/0.54	(Encoding Process)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Aug 14 03:35:14 CEST 2018
0.65/0.56	c PID: 10951
0.65/0.56	c IP: 172.20.3.102
0.65/0.56	c HOST: node102.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.19/1.06	c (0,0) Parsing End
2.19/1.07	c (0,0) CSP: 161 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 49
2.19/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.19/1.07	c (0,0) Constraint Name Generate Begin
2.19/1.07	c (0,0) Ctr:HOME/instance-4307381-1534210514.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.19/1.07	c (0,0) Constraint Name Generate End
2.19/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.19/1.07	c (0,0) CSP to CSPinCNF Begin
7.61/2.58	c (2,2) translated 8 (10%) constraints
9.76/3.35	c (2,2) translated 16 (20%) constraints
11.48/4.08	c (3,3) translated 24 (30%) constraints
12.42/4.78	c (4,4) translated 32 (40%) constraints
13.03/5.37	c (4,4) translated 39 (50%) constraints
13.77/6.05	c (5,5) translated 47 (60%) constraints
14.18/6.40	c (5,5) translated 55 (70%) constraints
14.18/6.40	c (5,5) translated 63 (80%) constraints
14.18/6.40	c (5,5) translated 71 (90%) constraints
14.18/6.40	c (5,5) translated 78 (100%) constraints
15.01/6.80	c (6,6) STATISTICS1:HOME/instance-4307381-1534210514.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13538,83477,49,49,50,2,49:1176,49:7154;10:87864;2:144893;1:14672,50:49;49:2;5:980;4:32340;3:17640;2:32438;1:28,2:1176;1:252259;0:49,
15.01/6.80	c (6,6) ==========================================
15.01/6.80	c (6,6) Both Encoding selects:
15.01/6.81	c (6,6) Order
15.01/6.81	c (6,6) ==========================================
15.81/7.09	c (6,6) translated 8348 (10%) constraints
16.34/7.24	c (6,6) translated 16696 (20%) constraints
16.51/7.36	c (6,6) translated 25044 (30%) constraints
16.61/7.49	c (6,6) translated 33391 (40%) constraints
16.84/7.62	c (7,7) translated 41739 (50%) constraints
16.93/7.75	c (7,7) translated 50087 (60%) constraints
17.04/7.88	c (7,7) translated 58434 (70%) constraints
17.13/8.01	c (7,7) translated 66782 (80%) constraints
17.36/8.13	c (7,7) translated 75130 (90%) constraints
17.49/8.26	c (7,7) translated 83477 (100%) constraints
17.49/8.26	c (7,7) CSP to CSPinCNF End
17.49/8.27	c (7,7) CSP: 161 int (0 aux), 13377 bool (13377 aux), 83505 ctr, max domain size 49
17.49/8.27	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.49/8.27	c (7,7) CSPinCNF Propagation Begin
20.07/9.93	c (9,9) 4653 values, 25765 unsatisfiable literals, and 26757 valid clauses are removed
20.07/9.93	c (9,9) CSPinCNF Propagation End
20.07/9.94	c (9,9) CSP: 4134 int (3973 aux), 9404 bool (9404 aux), 56748 ctr, max domain size 49
20.07/9.94	c (9,9) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.07/9.94	c (9,9) Simplify CSPinCNF Begin
20.62/10.12	c (9,9) Simplify CSPinCNF End
20.62/10.12	c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.62/10.12	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.62/10.12	c (9,9) Calculate Precise Domain Begin
20.62/10.12	c (9,9) 0 values are removed by re-calculation
20.62/10.12	c (9,9) Calculate Precise Domain End
20.62/10.13	c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.62/10.13	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.62/10.13	c (9,9) CSPinCNF to SatSolver Begin
21.88/10.51	c (9,9) 5910 (10 %) CSP clauses are encoded (14184 SAT variables, 69860 SAT clauses)
21.88/10.56	c (10,9) 11820 (20 %) CSP clauses are encoded (14184 SAT variables, 75770 SAT clauses)
22.14/10.60	c (10,10) 17730 (30 %) CSP clauses are encoded (14184 SAT variables, 81680 SAT clauses)
22.14/10.63	c (10,10) 23640 (40 %) CSP clauses are encoded (14184 SAT variables, 87590 SAT clauses)
22.14/10.67	c (10,10) 29550 (50 %) CSP clauses are encoded (14184 SAT variables, 93500 SAT clauses)
22.24/10.71	c (10,10) 35460 (60 %) CSP clauses are encoded (14184 SAT variables, 99410 SAT clauses)
22.24/10.74	c (10,10) 41370 (70 %) CSP clauses are encoded (14184 SAT variables, 105320 SAT clauses)
22.24/10.78	c (10,10) 47280 (80 %) CSP clauses are encoded (14184 SAT variables, 111230 SAT clauses)
22.34/10.82	c (10,10) 53190 (90 %) CSP clauses are encoded (14184 SAT variables, 117140 SAT clauses)
22.34/10.86	c (10,10) 59100 (100 %) CSP clauses are encoded (14184 SAT variables, 123050 SAT clauses)
22.34/10.86	c (10,10) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
22.34/10.86	c (10,10) CSPinCNF to SatSolver End
22.34/10.86	c (10,10) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.78/11.10	c (10,10) STATISTICS2:HOME/instance-4307381-1534210514.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,15890,59100,49,49,49,2,49:600;24:1380;4:372,49:4850;24:2860;10:67501;4:412;2:100851,49:26;25:1;24:20;5:565;4:20287;3:11968;2:26233,2:2352;1:171770,
22.78/11.11	c (10,10) 14184 bool, 123051 clause
22.78/11.11	c (10,10) Export Begin
23.05/11.20	c (10,10) Export to HOME/scop-10948-serial-file.bin
23.05/11.20	c (10,10) Export End
23.05/11.21	c (10,10) Export File Size: 0.03 MB
23.05/11.21	c (10,10) 0,0,7,9,9,9,10,STOP-AFTER(DIMACS)
23.05/11.21	c END-Prog: Tue Aug 14 03:35:25 CEST 2018
23.05/11.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10948-serial-file.bin
23.09/11.72	c (0,0) Read Serial File Begin
23.09/11.72	c (0,0) HOME/scop-10948-serial-file.bin
23.09/11.91	c (0,0) Read Serial File End
23.09/11.91	
23.09/11.91	scop order+glucose-syrup (2018-07-31)
23.09/11.92	(Solving Process)
23.09/11.92	
23.09/11.94	c BEGIN-Prog: Tue Aug 14 03:35:26 CEST 2018
23.09/11.94	c PID: 10990
23.09/11.94	c IP: 172.20.3.102
23.09/11.94	c HOST: node102.alineos.net
23.09/11.95	c (0,0) SatSolver.solve Begin
23.09/11.95	c (0,0) 0 bool, 0 clause
23.09/11.95	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307381-1534210514.xml-scop-10951.cnf
100.96/21.84	c (10,0) c
100.96/21.84	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
100.96/21.84	c (10,0) c
100.96/21.84	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
100.96/21.84	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
100.96/21.84	c (10,0) c ========================================[ Problem Statistics ]===========================================
100.96/21.84	c (10,0) c |                                                                                                       |
100.96/21.84	c (10,0) c |  Number of variables:         14184                                                                   |
100.96/21.85	c (10,0) c |  Number of clauses:          123051                                                                   |
100.96/21.85	c (10,0) c |  Parse time:                   0.04 s                                                                 |
100.96/21.85	c (10,0) c |                                                                                                       |
100.96/21.85	c (10,0) c |  Eliminated clauses:           0.19 Mb                                                                |
100.96/21.85	c (10,0) c |  Simplification time:          0.11 s                                                                 |
100.96/21.85	c (10,0) c |                                                                                                       |
100.96/21.85	c (10,0) c |  Generating clones                                                                                    |
100.96/21.85	c (10,0) c |  all clones generated. Memory =  97.29Mb.                                                             |
100.96/21.85	c (10,0) c ========================================================================================================|
100.96/21.85	c (10,0) c
100.96/21.85	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.96/21.85	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
100.96/21.85	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.96/21.85	c (10,0) c |  0 |    205 |     102754 |      34832 |    46793 |    18604 |     7064 |    47518 |     4820 | 26.072 |
100.96/21.85	c (10,0) c |  1 |    207 |     105487 |      33090 |    47725 |    16852 |     6578 |    47941 |     4609 | 25.994 |
100.96/21.85	c (10,0) c |  2 |    199 |     104788 |      34146 |    46903 |    17934 |     6716 |    47744 |     4713 | 25.374 |
100.96/21.85	c (10,0) c |  3 |    231 |     110091 |      34530 |    46996 |    18299 |     6881 |    47660 |     4754 | 25.987 |
100.96/21.85	c (10,0) c |  4 |    193 |     104383 |      33708 |    47209 |    17480 |     6751 |    47838 |     4708 | 24.894 |
100.96/21.85	c (10,0) c |  5 |    203 |     111024 |      33849 |    47719 |    17606 |     6886 |    47231 |     4596 | 25.021 |
100.96/21.85	c (10,0) c |  6 |    192 |      97594 |      33720 |    46325 |    17507 |     6884 |    47448 |     4694 | 25.515 |
100.96/21.85	c (10,0) c |  7 |    211 |     108457 |      33479 |    47145 |    17236 |     6862 |    47534 |     4686 | 25.494 |
100.96/21.85	c (10,0) c 
100.96/21.85	c (10,0) c synthesis      271356 conflicts   109484638 propagations     7349 conflicts/sec  2965296 propagations/sec
100.96/21.85	c (10,0) c Total Memory so far : 672.00Mb
100.96/21.85	c (10,0) c
100.96/21.85	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.96/21.85	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
100.96/21.85	c (10,0) c |-------------------------------------------------------------------------------------------------------|
100.96/21.85	c (10,0) c |  0 |    372 |     160243 |      63108 |    48359 |    24560 |    11678 |    75322 |     8038 | 26.107 |
100.96/21.85	c (10,0) c |  1 |    393 |     163753 |      60100 |    49650 |    21555 |    10365 |    77037 |     7746 | 26.029 |
100.96/21.85	c (10,0) c |  2 |    389 |     163255 |      62095 |    48521 |    23551 |    11344 |    76225 |     7991 | 25.416 |
100.96/21.85	c (10,0) c |  3 |    428 |     169074 |      62103 |    48742 |    23556 |    10482 |    77094 |     7965 | 26.022 |
100.96/21.85	c (10,0) c |  4 |    370 |     160743 |      60743 |    48897 |    22199 |    10584 |    76942 |     7890 | 24.937 |
100.96/21.85	c (10,0) c |  5 |    373 |     168891 |      61772 |    49552 |    23229 |    10926 |    76598 |     7895 | 25.049 |
100.96/21.85	c (10,0) c |  6 |    338 |     152396 |      61587 |    48091 |    23054 |    11529 |    76037 |     7889 | 25.543 |
100.96/21.85	c (10,0) c |  7 |    388 |     165434 |      61124 |    48968 |    22576 |    10682 |    76815 |     7833 | 25.522 |
100.96/21.85	c (10,0) c 
204.73/34.84	c (23,0) c synthesis      492632 conflicts   202985270 propagations     6426 conflicts/sec  2647836 propagations/sec
204.73/34.84	c (23,0) c Total Memory so far : 672.00Mb
204.73/34.84	c (23,0) c
204.73/34.84	c (23,0) c |-------------------------------------------------------------------------------------------------------|
204.73/34.84	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
204.73/34.84	c (23,0) c |-------------------------------------------------------------------------------------------------------|
204.73/34.84	c (23,0) c |  0 |    524 |     202340 |      85800 |    48828 |    32231 |    14832 |    96947 |    10360 | 26.777 |
204.73/34.85	c (23,0) c |  1 |    528 |     205645 |      82854 |    50115 |    29290 |    13601 |    97527 |    10181 | 26.699 |
204.73/34.85	c (23,0) c |  2 |    534 |     204694 |      84286 |    49024 |    30716 |    14393 |    97633 |    10263 | 26.086 |
204.73/34.85	c (23,0) c |  3 |    551 |     207544 |      83861 |    49197 |    30291 |    13109 |    98913 |    10271 | 26.692 |
204.73/34.85	c (23,0) c |  4 |    508 |     199663 |      82510 |    49388 |    28938 |    13515 |    98508 |    10198 | 25.606 |
204.73/34.85	c (23,0) c |  5 |    519 |     211040 |      84851 |    50043 |    31283 |    14125 |    97881 |    10274 | 25.719 |
204.73/34.85	c (23,0) c |  6 |    498 |     193772 |      84070 |    48614 |    30512 |    14596 |    97405 |    10244 | 26.213 |
204.73/34.85	c (23,0) c |  7 |    517 |     207172 |      84386 |    49499 |    30817 |    13862 |    98028 |    10369 | 26.191 |
204.73/34.85	c (23,0) c 
204.73/34.85	c (23,0) c synthesis      672619 conflicts   286030301 propagations     5773 conflicts/sec  2454984 propagations/sec
204.73/34.85	c (23,0) c Total Memory so far : 672.00Mb
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c Try to adapt solver strategies
204.73/34.86	c (23,0) c 
204.73/34.86	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c Try to adapt solver strategies
204.73/34.86	c (23,0) c 
204.73/34.86	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c Try to adapt solver strategies
204.73/34.86	c (23,0) c 
204.73/34.86	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c |-------------------------------------------------------------------------------------------------------|
204.73/34.86	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
204.73/34.86	c (23,0) c |-------------------------------------------------------------------------------------------------------|
204.73/34.86	c (23,0) c |  0 |    640 |     232118 |     102909 |    49073 |    31728 |    16887 |   110765 |    11999 | 26.784 |
204.73/34.86	c (23,0) c |  1 |    633 |     233998 |      98742 |    50329 |    27564 |    15531 |   111921 |    11737 | 26.699 |
204.73/34.86	c (23,0) c |  2 |    662 |     234797 |     100955 |    49245 |    29769 |    16360 |   111171 |    11840 | 26.093 |
204.73/34.86	c (23,0) c |  3 |    666 |     236108 |      99910 |    49419 |    28730 |    15051 |   112663 |    11898 | 26.699 |
204.73/34.86	c (23,0) c |  4 |    599 |     228473 |      99474 |    49638 |    28310 |    15676 |   112006 |    11825 | 25.613 |
204.73/34.86	c (23,0) c |  5 |    628 |     239474 |     101036 |    50258 |    29867 |    15982 |   111709 |    11810 | 25.726 |
204.73/34.86	c (23,0) c |  6 |    594 |     222202 |     100275 |    48853 |    29102 |    16492 |   111113 |    11684 | 26.220 |
204.73/34.86	c (23,0) c |  7 |    629 |     235035 |     100476 |    49725 |    29304 |    15759 |   111953 |    11961 | 26.199 |
204.73/34.86	c (23,0) c 
204.73/34.86	c (23,0) c synthesis      803778 conflicts   347856823 propagations     5418 conflicts/sec  2344646 propagations/sec
204.73/34.86	c (23,0) c Total Memory so far : 672.00Mb
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c Try to adapt solver strategies
204.73/34.86	c (23,0) c 
204.73/34.86	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c
204.73/34.86	c (23,0) c |-------------------------------------------------------------------------------------------------------|
204.73/34.86	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
204.73/34.86	c (23,0) c |-------------------------------------------------------------------------------------------------------|
204.73/34.86	c (23,0) c |  0 |    712 |     257109 |     118318 |    49245 |    26927 |    18538 |   122094 |    13324 | 26.784 |
204.73/34.86	c (23,0) c |  1 |    718 |     255691 |     111600 |    50467 |    20227 |    17058 |   123623 |    13214 | 26.699 |
204.73/34.86	c (23,0) c |  2 |    750 |     260150 |     116224 |    49460 |    24845 |    18164 |   122480 |    13339 | 26.093 |
204.73/34.86	c (23,0) c |  3 |    756 |     260599 |     114499 |    49583 |    23122 |    16724 |   124008 |    13364 | 26.699 |
228.58/37.83	c (26,0) c |  4 |    697 |     252304 |     113398 |    49786 |    22022 |    17245 |   123580 |    13188 | 25.613 |
228.58/37.83	c (26,0) c |  5 |    694 |     262960 |     115659 |    50420 |    24287 |    17699 |   122991 |    13239 | 25.726 |
228.58/37.83	c (26,0) c |  6 |    661 |     245654 |     114810 |    49018 |    23442 |    18110 |   122185 |    13094 | 26.220 |
228.58/37.83	c (26,0) c |  7 |    690 |     257713 |     114470 |    49877 |    23094 |    17302 |   123432 |    13320 | 26.199 |
228.58/37.83	c (26,0) c 
228.58/37.83	c (26,0) c synthesis      918978 conflicts   403373279 propagations     5100 conflicts/sec  2238454 propagations/sec
228.58/37.83	c (26,0) c Total Memory so far : 672.00Mb
228.58/37.83	c (26,0) c last restart ## conflicts  :  416 22 
228.58/37.83	c (26,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer).
228.58/37.83	c (26,0) c Total Memory so far : 672.00Mb
228.58/37.83	c (26,0) c
228.58/37.83	c (26,0) c real time : 25.8576 s
228.58/37.83	c (26,0) c cpu time  : 204.045 s
228.58/37.83	c (26,0) c
228.58/37.83	c (26,0) c
228.58/37.83	c (26,0) c
228.58/37.83	c (26,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
228.58/37.83	c (26,0) c
228.58/37.83	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.58/37.83	c (26,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
228.58/37.83	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.58/37.83	c (26,0) c | Conflicts     |         1007746 |     129729 |     122758 |     127946 |     125052 |     124073 |     126457 |     126175 |     125556 |
228.58/37.83	c (26,0) c | Decisions     |         2195832 |     275530 |     272865 |     279847 |     277342 |     269763 |     281315 |     263437 |     275733 |
228.58/37.83	c (26,0) c | Propagations  |       446661612 |   57102979 |   53747856 |   56821137 |   55400169 |   54866000 |   56127937 |   56325452 |   56270082 |
228.58/37.83	c (26,0) c | Avg_Trail     |                 |       7203 |       7185 |       7204 |       7140 |       7130 |       7147 |       7175 |       7217 |
228.58/37.83	c (26,0) c | Avg_DL        |                 |         32 |         34 |         34 |         34 |         33 |         34 |         33 |         35 |
228.58/37.83	c (26,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.58/37.83	c (26,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.58/37.83	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.58/37.83	c (26,0) c | Exported      |          149983 |      19625 |      18189 |      19389 |      17822 |      18366 |      18817 |      19329 |      18446 |
228.58/37.83	c (26,0) c | Imported      |         1048581 |     130202 |     131738 |     130511 |     131903 |     131212 |     130886 |     130607 |     131522 |
228.58/37.83	c (26,0) c | Good          |           35344 |       4419 |       4429 |       4430 |       4348 |       4404 |       4386 |       4498 |       4430 |
228.58/37.83	c (26,0) c | Purge         |         1013237 |     125783 |     127309 |     126081 |     127555 |     126808 |     126500 |     126109 |     127092 |
228.58/37.83	c (26,0) c | Promoted      |          113415 |      14282 |      14056 |      14347 |      14234 |      14052 |      14206 |      13990 |      14248 |
228.58/37.83	c (26,0) c | Remove_Imp    |          615358 |      74173 |      79675 |      75675 |      77851 |      78147 |      76307 |      76003 |      77527 |
228.58/37.83	c (26,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.58/37.83	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.58/37.83	c (26,0) c | Unaries       |                 |         27 |         34 |         29 |         36 |         31 |         28 |         16 |         40 |
228.58/37.83	c (26,0) c | Binaries      |                 |        629 |        623 |        622 |        700 |        642 |        660 |        555 |        622 |
228.58/37.83	c (26,0) c | Glues         |                 |       2922 |       2842 |       2749 |       2934 |       2879 |       2936 |       2703 |       2786 |
228.58/37.83	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.58/37.83	c (26,0) c | Orig_Seen     |            40 % |      49367 |      50570 |      49573 |      49678 |      49869 |      50532 |      49135 |      49978 |
228.58/37.83	c (26,0) c | Diff Orig seen|                 | -     1165 |         38 | -      959 | -      854 | -      663 |      X     | -     1397 | -      554 |
228.58/37.83	c (26,0) c | Hamming       |             8 % |       1167 |       1194 |       1127 |       1029 |       1188 |      X     |       1143 |       1104 |
228.58/37.83	c (26,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.58/37.83	c (26,0) 
228.58/37.83	c (26,0) s SATISFIABLE
228.58/37.86	c (26,0) SatSolver.solve End
228.58/37.87	c (26,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
228.58/37.87	c (26,0) Show results Begin
229.00/37.93	s SATISFIABLE
229.00/37.94	v <instantiation>
229.00/37.94	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[0][6] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[1][6] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[2][6] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[3][6] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[4][6] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] id[5][6] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[6][5] id[6][6] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[0][6] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[1][6] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[2][6] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[3][6] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[4][6] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] top[5][6] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[6][5] top[6][6] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[0][6] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[1][6] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[2][6] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[3][6] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[4][6] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] left[5][6] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[6][5] left[6][6] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] bot[6] right[0] right[1] right[2] right[3] right[4] right[5] right[6]</list>
229.00/37.94	v     <values>2 10 12 18 16 13 0 7 32 38 25 35 41 5 15 39 27 26 34 33 17 9 28 24 36 37 31 6 23 43 47 44 48 42 19 4 29 30 45 40 46 14 1 21 20 8 11 22 3 0 0 0 0 0 0 0 1 4 7 4 9 8 1 2 7 5 7 8 5 1 1 5 4 4 6 8 3 3 5 8 8 9 9 1 1 7 6 7 7 6 3 1 6 6 8 5 8 2 0 2 2 2 3 2 2 0 7 8 5 4 6 6 0 9 5 7 4 9 4 0 8 4 5 9 4 6 0 9 9 9 6 9 5 0 5 4 7 6 7 8 0 3 3 1 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
229.00/37.94	v </instantiation>
229.00/37.94	c (26,0) Show results End
229.00/37.94	c (26,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
229.00/37.94	c (26,0) 26,26,STOP-AFTER(ALL)
229.00/37.94	c END-Prog: Tue Aug 14 03:35:52 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 (13967 MiB free)
  memory of node 1: 16384 MiB (13095 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307381-1534210514/watcher-4307381-1534210514 -o /tmp/evaluation-result-4307381-1534210514/solver-4307381-1534210514 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534207988-10611 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307381-1534210514.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
solver pid=10948, runsolver pid=10945
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 8.31 8.36 8.32 2/204 10970
/proc/meminfo: memFree=27620064/32770624 swapFree=67030664/67108860
[pid=10948] ppid=10945 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10948/stat : 10948 (scop.sh) S 10945 10948 10584 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238614530 115843072 348 33554432000 4194304 5098028 140732532788608 140732532785864 139737885581948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30355456 140732532790307 140732532790531 140732532790531 140732532793293 0
/proc/10948/statm: 28282 348 296 221 0 87 0
[pid=10951] ppid=10948 vsize=27313900 memory=107608 CPUtime=0.11 cores=0-7
/proc/10951/stat : 10951 (java) S 10948 10948 10584 0 -1 1077944320 6408 0 0 0 8 3 0 0 20 0 20 0 238614531 27969433600 26902 33554432000 4194304 4196468 140732734636128 140732734618672 139835307753207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
/proc/10951/statm: 6828475 26902 2735 1 0 6790935 0
[pid=10951/tid=10952] ppid=10948 vsize=27313900 memory=-6517102902069810590 CPUtime=0.08 cores=0-7
/proc/10951/task/10952/stat : 10952 (java) R 10948 10948 10584 0 -1 4202560 4505 0 0 0 6 2 0 0 20 0 20 0 238614531 27969433600 26902 33554432000 4194304 4196468 140732734636128 139835279585408 139835291833694 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10953] ppid=10948 vsize=27313900 memory=-9181546050914066336 CPUtime=0 cores=0-7
/proc/10951/task/10953/stat : 10953 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139835311995152 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10954] ppid=10948 vsize=27313900 memory=139865014007424 CPUtime=0 cores=0-7
/proc/10951/task/10954/stat : 10954 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139834729802128 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10955] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10955/stat : 10955 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139834728749584 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10956] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10956/stat : 10956 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139834727697040 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10957] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10957/stat : 10957 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139834726644496 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10958] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10958/stat : 10958 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139834725591952 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10959] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10959/stat : 10959 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26902 33554432000 4194304 4196468 140732734636128 139834724539408 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10960] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10960/stat : 10960 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 26967 33554432000 4194304 4196468 140732734636128 139834723486864 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10961] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10961/stat : 10961 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614535 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833426606064 139835307764354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10962] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10962/stat : 10962 (java) S 10948 10948 10584 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238614535 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833263514528 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10963] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10963/stat : 10963 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614536 27969433600 26967 33554432000 4194304 4196468 140732734636128 139832995079152 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10964] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10964/stat : 10964 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 26967 33554432000 4194304 4196468 140732734636128 139832620570832 139835307771803 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10965] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10965/stat : 10965 (java) S 10948 10948 10584 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833425553904 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10966] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10966/stat : 10966 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833424501360 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10967] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10967/stat : 10967 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833423448816 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10968] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10968/stat : 10968 (java) S 10948 10948 10584 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833422396272 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10969] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10969/stat : 10969 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614539 27969433600 26967 33554432000 4194304 4196468 140732734636128 139832122665184 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10970] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10970/stat : 10970 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614539 27969433600 26967 33554432000 4194304 4196468 140732734636128 139833421343152 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 109000 KiB

[startup+0.210417 s]*
/proc/loadavg: 8.31 8.36 8.32 2/204 10970
/proc/meminfo: memFree=27601804/32770624 swapFree=67030664/67108860
[pid=10948] ppid=10945 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10948/stat : 10948 (scop.sh) S 10945 10948 10584 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238614530 115843072 348 33554432000 4194304 5098028 140732532788608 140732532785864 139737885581948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30355456 140732532790307 140732532790531 140732532790531 140732532793293 0
/proc/10948/statm: 28282 348 296 221 0 87 0
[pid=10951] ppid=10948 vsize=27313900 memory=122808 CPUtime=0.25 cores=0-7
/proc/10951/stat : 10951 (java) S 10948 10948 10584 0 -1 1077944320 10325 0 0 0 21 4 0 0 20 0 20 0 238614531 27969433600 30702 33554432000 4194304 4196468 140732734636128 140732734618672 139835307753207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
/proc/10951/statm: 6828475 30702 2917 1 0 6790935 0
[pid=10951/tid=10952] ppid=10948 vsize=27313900 memory=7022364594140610616 CPUtime=0.2 cores=0-7
/proc/10951/task/10952/stat : 10952 (java) R 10948 10948 10584 0 -1 4202560 8173 0 0 0 17 3 0 0 20 0 20 0 238614531 27969433600 30702 33554432000 4194304 4196468 140732734636128 139835279575744 139835299990334 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10953] ppid=10948 vsize=27313900 memory=288230613314699634 CPUtime=0 cores=0-7
/proc/10951/task/10953/stat : 10953 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139835311995152 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10954] ppid=10948 vsize=27313900 memory=288370241165719168 CPUtime=0 cores=0-7
/proc/10951/task/10954/stat : 10954 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834729802128 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10955] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10955/stat : 10955 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834728749584 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10956] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10956/stat : 10956 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834727697040 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10957] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10957/stat : 10957 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834726644496 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10958] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10958/stat : 10958 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834725591952 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10959] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10959/stat : 10959 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834724539408 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10960] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10960/stat : 10960 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 30702 33554432000 4194304 4196468 140732734636128 139834723486864 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10961] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10961/stat : 10961 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614535 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833426606064 139835307764354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10962] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10962/stat : 10962 (java) S 10948 10948 10584 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238614535 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833263514528 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10963] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10963/stat : 10963 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614536 27969433600 30702 33554432000 4194304 4196468 140732734636128 139832995079152 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10964] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10964/stat : 10964 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 30702 33554432000 4194304 4196468 140732734636128 139832620570832 139835307771803 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10965] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10965/stat : 10965 (java) S 10948 10948 10584 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833425553904 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10966] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10966/stat : 10966 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833424501360 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10967] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10967/stat : 10967 (java) S 10948 10948 10584 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833423448816 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10968] ppid=10948 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/10951/task/10968/stat : 10968 (java) S 10948 10948 10584 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 238614538 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833422396272 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10969] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10969/stat : 10969 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614539 27969433600 30702 33554432000 4194304 4196468 140732734636128 139832122665184 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10970] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10970/stat : 10970 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614539 27969433600 30702 33554432000 4194304 4196468 140732734636128 139833421343152 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 124200 KiB

[startup+0.310043 s]*
/proc/loadavg: 8.31 8.36 8.32 2/204 10970
/proc/meminfo: memFree=27597988/32770624 swapFree=67030664/67108860
[pid=10948] ppid=10945 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10948/stat : 10948 (scop.sh) S 10945 10948 10584 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238614530 115843072 348 33554432000 4194304 5098028 140732532788608 140732532785864 139737885581948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30355456 140732532790307 140732532790531 140732532790531 140732532793293 0
/proc/10948/statm: 28282 348 296 221 0 87 0
[pid=10951] ppid=10948 vsize=27313900 memory=126624 CPUtime=0.42 cores=0-7
/proc/10951/stat : 10951 (java) S 10948 10948 10584 0 -1 1077944320 10965 0 0 0 38 4 0 0 20 0 20 0 238614531 27969433600 31656 33554432000 4194304 4196468 140732734636128 140732734618672 139835307753207 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
/proc/10951/statm: 6828475 31656 2958 1 0 6790935 0
[pid=10951/tid=10952] ppid=10948 vsize=27313900 memory=0 CPUtime=0.29 cores=0-7
/proc/10951/task/10952/stat : 10952 (java) R 10948 10948 10584 0 -1 4202560 8564 0 0 0 26 3 0 0 20 0 20 0 238614531 27969433600 31656 33554432000 4194304 4196468 140732734636128 139835279548656 139835289316763 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10953] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10953/stat : 10953 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139835311995152 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10954] ppid=10948 vsize=27313900 memory=3540027679013939384 CPUtime=0 cores=0-7
/proc/10951/task/10954/stat : 10954 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834729802128 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10955] ppid=10948 vsize=27313900 memory=3473180417806377013 CPUtime=0 cores=0-7
/proc/10951/task/10955/stat : 10955 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834728749584 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10956] ppid=10948 vsize=27313900 memory=576567874760998942 CPUtime=0 cores=0-7
/proc/10951/task/10956/stat : 10956 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834727697040 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10957] ppid=10948 vsize=27313900 memory=288230613230813503 CPUtime=0 cores=0-7
/proc/10951/task/10957/stat : 10957 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834726644496 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10958] ppid=10948 vsize=27313900 memory=15254835700178353 CPUtime=0 cores=0-7
/proc/10951/task/10958/stat : 10958 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834725591952 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10959] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10959/stat : 10959 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834724539408 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10960] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10960/stat : 10960 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27969433600 31656 33554432000 4194304 4196468 140732734636128 139834723486864 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10961] ppid=10948 vsize=27313900 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/10951/task/10961/stat : 10961 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614535 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833426606064 139835307764354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10962] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10962/stat : 10962 (java) S 10948 10948 10584 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238614535 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833263514528 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10963] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10963/stat : 10963 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614536 27969433600 31656 33554432000 4194304 4196468 140732734636128 139832995079152 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10964] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10964/stat : 10964 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 31656 33554432000 4194304 4196468 140732734636128 139832620570832 139835307771803 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10965] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10965/stat : 10965 (java) S 10948 10948 10584 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 20 0 238614538 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833425553904 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10966] ppid=10948 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/10951/task/10966/stat : 10966 (java) S 10948 10948 10584 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 238614538 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833424501360 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10967] ppid=10948 vsize=27313900 memory=0 CPUtime=0.01 cores=0-7
/proc/10951/task/10967/stat : 10967 (java) S 10948 10948 10584 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 238614538 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833423448816 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10968] ppid=10948 vsize=27313900 memory=0 CPUtime=0.07 cores=0-7
/proc/10951/task/10968/stat : 10968 (java) S 10948 10948 10584 0 -1 1077944384 431 0 0 0 7 0 0 0 20 0 20 0 238614538 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833422396272 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10969] ppid=10948 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10969/stat : 10969 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614539 27969433600 31656 33554432000 4194304 4196468 140732734636128 139832122665184 139835307763413 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10970] ppid=10948 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10951/task/10970/stat : 10970 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614539 27969433600 31656 33554432000 4194304 4196468 140732734636128 139833421343152 139835307764354 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128016 KiB

[startup+0.700989 s]
/proc/loadavg: 8.31 8.36 8.32 2/204 10970
/proc/meminfo: memFree=27573632/32770624 swapFree=67030664/67108860
[pid=10948] ppid=10945 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10948/stat : 10948 (scop.sh) S 10945 10948 10584 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 238614530 115843072 348 33554432000 4194304 5098028 140732532788608 140732532785864 139737885581948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30355456 140732532790307 140732532790531 140732532790531 140732532793293 0
/proc/10948/statm: 28282 348 296 221 0 87 0
[pid=10951] ppid=10948 vsize=27320172 memory=164348 CPUtime=1 cores=0-7
/proc/10951/stat : 10951 (java) S 10948 10948 10584 0 -1 1077944320 18062 0 0 0 94 6 0 0 20 0 20 0 238614531 27975856128 41087 33554432000 4194304 4196468 140732734636128 140732734618672 139835307753207 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
/proc/10951/statm: 6830043 41087 3137 1 0 6791447 0
[pid=10951/tid=10952] ppid=10948 vsize=27320172 memory=1876 CPUtime=0.67 cores=0-7
/proc/10951/task/10952/stat : 10952 (java) R 10948 10948 10584 0 -1 4202560 14998 0 0 0 63 4 0 0 20 0 20 0 238614531 27975856128 41087 33554432000 4194304 4196468 140732734636128 139835279588960 139834811944071 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10953] ppid=10948 vsize=27320172 memory=1396 CPUtime=0 cores=0-7
/proc/10951/task/10953/stat : 10953 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27975856128 41087 33554432000 4194304 4196468 140732734636128 139835311995152 139835307763413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10954] ppid=10948 vsize=27320172 memory=1684 CPUtime=0 cores=0-7
/proc/10951/task/10954/stat : 10954 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27975856128 41087 33554432000 4194304 4196468 140732734636128 139834729802128 139835307763413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0
[pid=10951/tid=10955] ppid=10948 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/10951/task/10955/stat : 10955 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614533 27975856128 41087 33554432000 4194304 4196468 140732734636128 139834728749584 139835307763413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140732734641129 140732734641453 140732734641453 140732734644175 0

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

/proc/10990/task/11002/stat : 11002 (java) S 10948 10948 10584 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 238615658 8615837696 29507 33554432000 4194304 4196468 140721598797888 140298999026800 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11003] ppid=10948 vsize=8413904 memory=13252 CPUtime=0 cores=0-7
/proc/10990/task/11003/stat : 11003 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140298624522320 140300724635547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11004] ppid=10948 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7
/proc/10990/task/11004/stat : 11004 (java) S 10948 10948 10584 0 -1 1077944384 185 0 0 0 6 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300018440816 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11005] ppid=10948 vsize=8413904 memory=279729744765504 CPUtime=0.05 cores=0-7
/proc/10990/task/11005/stat : 11005 (java) S 10948 10948 10584 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300017388016 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11006] ppid=10948 vsize=8413904 memory=139864873001152 CPUtime=0.03 cores=0-7
/proc/10990/task/11006/stat : 11006 (java) S 10948 10948 10584 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300016335728 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11007] ppid=10948 vsize=8413904 memory=22084 CPUtime=0.22 cores=0-7
/proc/10990/task/11007/stat : 11007 (java) S 10948 10948 10584 0 -1 1077944384 819 0 0 0 22 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300015282928 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11008] ppid=10948 vsize=8413904 memory=31265 CPUtime=0 cores=0-7
/proc/10990/task/11008/stat : 11008 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140298126616928 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11009] ppid=10948 vsize=8413904 memory=4420 CPUtime=0.01 cores=0-7
/proc/10990/task/11009/stat : 11009 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 238615661 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300014229808 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11011] ppid=10948 vsize=8413904 memory=6628 CPUtime=0 cores=0-7
/proc/10990/task/11011/stat : 11011 (java) S 10948 10948 10584 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 238615728 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300006421824 140300724641561 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11013] ppid=10948 vsize=8413904 memory=8836 CPUtime=0 cores=0-7
/proc/10990/task/11013/stat : 11013 (java) S 10948 10948 10584 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 238615728 8615837696 29507 33554432000 4194304 4196468 140721598797888 140297455517616 140300724638877 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11014] ppid=10948 vsize=8413904 memory=8900 CPUtime=0 cores=0-7
/proc/10990/task/11014/stat : 11014 (java) S 10948 10948 10584 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 238615728 8615837696 29507 33554432000 4194304 4196468 140721598797888 140297723952944 140300724638877 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11015] ppid=10948 vsize=8413904 memory=11904 CPUtime=0 cores=0-7
/proc/10990/task/11015/stat : 11015 (java) S 10948 10948 10584 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 238615730 8615837696 29507 33554432000 4194304 4196468 140721598797888 140297187090208 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
Current children cumulated CPU time: 226.98 s
Current children cumulated vsize: 9215160 KiB
Current children cumulated memory: 398788 KiB

[startup+37.8021 s]
/proc/loadavg: 7.25 8.04 8.22 9/214 11023
/proc/meminfo: memFree=27332840/32770624 swapFree=67030664/67108860
[pid=10948] ppid=10945 vsize=113128 memory=1468 CPUtime=23.09 cores=0-7
/proc/10948/stat : 10948 (scop.sh) S 10945 10948 10584 0 -1 4202496 589 40294 0 0 0 0 2227 82 20 0 1 0 238614530 115843072 367 33554432000 4194304 5098028 140732532788608 140732532785352 139737885581948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30355456 140732532790307 140732532790531 140732532790531 140732532793293 0
/proc/10948/statm: 28282 367 311 221 0 87 0
[pid=10990] ppid=10948 vsize=8413904 memory=118028 CPUtime=1.19 cores=0-7
/proc/10990/stat : 10990 (java) S 10948 10948 10584 0 -1 1077944320 18815 0 0 0 112 7 0 0 20 0 24 0 238615654 8615837696 29507 33554432000 4194304 4196468 140721598797888 140721598780432 140300724616951 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
/proc/10990/statm: 2103476 29507 3150 1 0 2064875 0
[pid=11010] ppid=10990 vsize=688128 memory=279292 CPUtime=204.3 cores=0-7
/proc/11010/stat : 11010 (glucose-syrup) S 10990 10948 10584 0 -1 1077944320 201182 0 0 0 20381 49 0 0 20 0 9 0 238615728 704643072 69823 33554432000 4194304 4373367 140733742915936 140733742914480 140167519758978 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
/proc/11010/statm: 172032 69823 389 44 0 167720 0
[pid=11010/tid=11016] ppid=10990 vsize=688128 memory=1156 CPUtime=25.59 cores=0-7
/proc/11010/task/11016/stat : 11016 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 21699 0 0 0 2554 5 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167495232784 4259019 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11017] ppid=10990 vsize=688128 memory=1572 CPUtime=25.01 cores=0-7
/proc/11010/task/11017/stat : 11017 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 24296 0 0 0 2495 6 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167486840176 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11018] ppid=10990 vsize=688128 memory=1996 CPUtime=25.58 cores=0-7
/proc/11010/task/11018/stat : 11018 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 22487 0 0 0 2552 6 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167478447472 4272272 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11019] ppid=10990 vsize=688128 memory=2428 CPUtime=25.58 cores=0-7
/proc/11010/task/11019/stat : 11019 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 25069 0 0 0 2552 6 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167470054768 4272316 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11020] ppid=10990 vsize=688128 memory=832 CPUtime=25.57 cores=0-7
/proc/11010/task/11020/stat : 11020 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 21323 0 0 0 2550 7 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167461662064 4271897 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11021] ppid=10990 vsize=688128 memory=1440 CPUtime=25.57 cores=0-7
/proc/11010/task/11021/stat : 11021 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 23753 0 0 0 2553 4 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167453269264 4296037 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11022] ppid=10990 vsize=688128 memory=1836 CPUtime=25.58 cores=0-7
/proc/11010/task/11022/stat : 11022 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 22701 0 0 0 2553 5 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167444876656 4271904 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=11010/tid=11023] ppid=10990 vsize=688128 memory=7532 CPUtime=25.56 cores=0-7
/proc/11010/task/11023/stat : 11023 (glucose-syrup) R 10990 10948 10584 0 -1 4202560 22457 0 0 0 2551 5 0 0 20 0 9 0 238615749 704643072 69823 33554432000 4194304 4373367 140733742915936 140167436483952 4271597 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 20119552 140733742920784 140733742920916 140733742920916 140733742923719 0
[pid=10990/tid=10991] ppid=10948 vsize=8413904 memory=792 CPUtime=0.76 cores=0-7
/proc/10990/task/10991/stat : 10991 (java) S 10948 10948 10584 0 -1 1077944384 15551 0 0 0 71 5 0 0 20 0 24 0 238615654 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300696457104 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10992] ppid=10948 vsize=8413904 memory=1692 CPUtime=0 cores=0-7
/proc/10990/task/10992/stat : 10992 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300728859024 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10993] ppid=10948 vsize=8413904 memory=916 CPUtime=0 cores=0-7
/proc/10990/task/10993/stat : 10993 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300209781008 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10994] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/10994/stat : 10994 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300208728720 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10995] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/10995/stat : 10995 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300207675920 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10996] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/10996/stat : 10996 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300206623632 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10997] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/10997/stat : 10997 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300205570832 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10998] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/10998/stat : 10998 (java) S 10948 10948 10584 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300204518544 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10999] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/10999/stat : 10999 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615656 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300203465744 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11000] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11000/stat : 11000 (java) S 10948 10948 10584 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 238615657 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300019492976 140300724628098 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11001] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11001/stat : 11001 (java) S 10948 10948 10584 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 238615658 8615837696 29507 33554432000 4194304 4196468 140721598797888 140299133248288 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11002] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11002/stat : 11002 (java) S 10948 10948 10584 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 238615658 8615837696 29507 33554432000 4194304 4196468 140721598797888 140298999026800 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11003] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11003/stat : 11003 (java) S 10948 10948 10584 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140298624522320 140300724635547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11004] ppid=10948 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7
/proc/10990/task/11004/stat : 11004 (java) S 10948 10948 10584 0 -1 1077944384 185 0 0 0 6 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300018440816 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11005] ppid=10948 vsize=8413904 memory=0 CPUtime=0.05 cores=0-7
/proc/10990/task/11005/stat : 11005 (java) S 10948 10948 10584 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300017388016 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11006] ppid=10948 vsize=8413904 memory=0 CPUtime=0.03 cores=0-7
/proc/10990/task/11006/stat : 11006 (java) S 10948 10948 10584 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300016335728 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11007] ppid=10948 vsize=8413904 memory=0 CPUtime=0.22 cores=0-7
/proc/10990/task/11007/stat : 11007 (java) S 10948 10948 10584 0 -1 1077944384 819 0 0 0 22 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300015282928 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11008] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11008/stat : 11008 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615660 8615837696 29507 33554432000 4194304 4196468 140721598797888 140298126616928 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11009] ppid=10948 vsize=8413904 memory=0 CPUtime=0.01 cores=0-7
/proc/10990/task/11009/stat : 11009 (java) S 10948 10948 10584 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 238615661 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300014229808 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11011] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11011/stat : 11011 (java) S 10948 10948 10584 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 238615728 8615837696 29507 33554432000 4194304 4196468 140721598797888 140300006421824 140300724641561 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11013] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11013/stat : 11013 (java) S 10948 10948 10584 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 238615728 8615837696 29507 33554432000 4194304 4196468 140721598797888 140297455517616 140300724638877 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11014] ppid=10948 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/10990/task/11014/stat : 11014 (java) S 10948 10948 10584 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 238615728 8615837696 29507 33554432000 4194304 4196468 140721598797888 140297723952944 140300724638877 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11015] ppid=10948 vsize=8413904 memory=4140 CPUtime=0 cores=0-7
/proc/10990/task/11015/stat : 11015 (java) S 10948 10948 10584 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 238615730 8615837696 29507 33554432000 4194304 4196468 140721598797888 140297187090208 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
Current children cumulated CPU time: 228.58 s
Current children cumulated vsize: 9215160 KiB
Current children cumulated memory: 398788 KiB

[startup+37.9014 s]
/proc/loadavg: 7.25 8.04 8.22 9/214 11023
/proc/meminfo: memFree=27332840/32770624 swapFree=67030664/67108860
[pid=10948] ppid=10945 vsize=113128 memory=1468 CPUtime=23.09 cores=0-7
/proc/10948/stat : 10948 (scop.sh) S 10945 10948 10584 0 -1 4202496 589 40294 0 0 0 0 2227 82 20 0 1 0 238614530 115843072 367 33554432000 4194304 5098028 140732532788608 140732532785352 139737885581948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30355456 140732532790307 140732532790531 140732532790531 140732532793293 0
/proc/10948/statm: 28282 367 311 221 0 87 0
[pid=10990] ppid=10948 vsize=8282828 memory=123580 CPUtime=205.91 cores=0-7
/proc/10990/stat : 10990 (java) S 10948 10948 10584 0 -1 1077944320 19737 201314 0 0 130 7 20404 50 20 0 22 0 238615654 8481615872 30895 33554432000 4194304 4196468 140721598797888 140721598780432 140300724616951 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
/proc/10990/statm: 2070707 30895 3161 1 0 2032106 0
[pid=10990/tid=10991] ppid=10948 vsize=8282828 memory=1468 CPUtime=205.33 cores=0-7
/proc/10990/task/10991/stat : 10991 (java) R 10948 10948 10584 0 -1 4202560 15669 201314 0 0 74 5 20404 50 20 0 22 0 238615654 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300696451824 140300724628886 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10992] ppid=10948 vsize=8282828 memory=1468 CPUtime=204.54 cores=0-7
/proc/10990/task/10992/stat : 10992 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300728859024 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10993] ppid=10948 vsize=8282828 memory=117248 CPUtime=204.54 cores=0-7
/proc/10990/task/10993/stat : 10993 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300209781008 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10994] ppid=10948 vsize=8282828 memory=0 CPUtime=204.54 cores=0-7
/proc/10990/task/10994/stat : 10994 (java) S 10948 10948 10584 0 -1 1077944384 3 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300208728720 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10995] ppid=10948 vsize=8282828 memory=0 CPUtime=204.54 cores=0-7
/proc/10990/task/10995/stat : 10995 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300207675920 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10996] ppid=10948 vsize=8282828 memory=0 CPUtime=204.54 cores=0-7
/proc/10990/task/10996/stat : 10996 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300206623632 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10997] ppid=10948 vsize=8282828 memory=0 CPUtime=204.54 cores=0-7
/proc/10990/task/10997/stat : 10997 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300205570832 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10998] ppid=10948 vsize=8282828 memory=9164 CPUtime=204.54 cores=0-7
/proc/10990/task/10998/stat : 10998 (java) S 10948 10948 10584 0 -1 1077944384 2 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300204518544 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=10999] ppid=10948 vsize=8282828 memory=21520 CPUtime=204.54 cores=0-7
/proc/10990/task/10999/stat : 10999 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615656 8481615872 30895 33554432000 4194304 4196468 140721598797888 140300203465744 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11000] ppid=10948 vsize=8282828 memory=776 CPUtime=204.54 cores=0-7
/proc/10990/task/11000/stat : 11000 (java) S 10948 10948 10584 0 -1 1077944384 5 201314 0 0 0 0 20404 50 20 0 22 0 238615657 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300019492976 140300724628098 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11001] ppid=10948 vsize=8282828 memory=1876 CPUtime=204.54 cores=0-7
/proc/10990/task/11001/stat : 11001 (java) S 10948 10948 10584 0 -1 1077944384 13 201314 0 0 0 0 20404 50 20 0 22 0 238615658 8481615872 30920 33554432000 4194304 4196468 140721598797888 140299133248288 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11002] ppid=10948 vsize=8282828 memory=1396 CPUtime=204.54 cores=0-7
/proc/10990/task/11002/stat : 11002 (java) S 10948 10948 10584 0 -1 1077944384 21 201314 0 0 0 0 20404 50 20 0 22 0 238615658 8481615872 30920 33554432000 4194304 4196468 140721598797888 140298999026800 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11003] ppid=10948 vsize=8282828 memory=118028 CPUtime=204.54 cores=0-7
/proc/10990/task/11003/stat : 11003 (java) S 10948 10948 10584 0 -1 1077944384 1 201314 0 0 0 0 20404 50 20 0 22 0 238615660 8481615872 30920 33554432000 4194304 4196468 140721598797888 140298624522320 140300724635547 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11004] ppid=10948 vsize=8282828 memory=1468 CPUtime=204.62 cores=0-7
/proc/10990/task/11004/stat : 11004 (java) S 10948 10948 10584 0 -1 1077944384 196 201314 0 0 8 0 20404 50 20 0 22 0 238615660 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300018440816 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11005] ppid=10948 vsize=8282828 memory=117248 CPUtime=204.62 cores=0-7
/proc/10990/task/11005/stat : 11005 (java) R 10948 10948 10584 0 -1 4202560 576 201314 0 0 8 0 20404 50 20 0 22 0 238615660 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300017367808 140300724638298 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11006] ppid=10948 vsize=8282828 memory=283268 CPUtime=204.61 cores=0-7
/proc/10990/task/11006/stat : 11006 (java) S 10948 10948 10584 0 -1 1077944384 709 201314 0 0 7 0 20404 50 20 0 22 0 238615660 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300016335728 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11007] ppid=10948 vsize=8282828 memory=1468 CPUtime=204.79 cores=0-7
/proc/10990/task/11007/stat : 11007 (java) R 10948 10948 10584 0 -1 4202560 1121 201314 0 0 25 0 20404 50 20 0 22 0 238615660 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300015282928 140300724630838 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11008] ppid=10948 vsize=8282828 memory=117248 CPUtime=204.54 cores=0-7
/proc/10990/task/11008/stat : 11008 (java) S 10948 10948 10584 0 -1 1077944384 3 201314 0 0 0 0 20404 50 20 0 22 0 238615660 8481615872 30920 33554432000 4194304 4196468 140721598797888 140298126616928 140300724627157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11009] ppid=10948 vsize=8282828 memory=932 CPUtime=204.55 cores=0-7
/proc/10990/task/11009/stat : 11009 (java) S 10948 10948 10584 0 -1 1077944384 3 201314 0 0 0 1 20404 50 20 0 22 0 238615661 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300014229808 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11011] ppid=10948 vsize=8282828 memory=1156 CPUtime=204.54 cores=0-7
/proc/10990/task/11011/stat : 11011 (java) S 10948 10948 10584 0 -1 1077944384 25 201314 0 0 0 0 20404 50 20 0 22 0 238615728 8481615872 30920 33554432000 4194304 4196468 140721598797888 140300006421008 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
[pid=10990/tid=11015] ppid=10948 vsize=8282828 memory=62760 CPUtime=204.54 cores=0-7
/proc/10990/task/11015/stat : 11015 (java) S 10948 10948 10584 0 -1 1077944384 9 201314 0 0 0 0 20404 50 20 0 22 0 238615730 8481615872 30920 33554432000 4194304 4196468 140721598797888 140297187092016 140300724628098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30007296 140721598805169 140721598805293 140721598805293 140721598808015 0
Current children cumulated CPU time: 229 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 125048 KiB

Child status: 0
Real time (s): 37.9581
CPU time (s): 229.157
CPU user time (s): 227.726
CPU system time (s): 1.4309
CPU usage (%): 603.71
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 4389048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.726
system time used= 1.4309
maximum resident set size= 4390788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13303
involuntary context switches= 3011


# summary of solver processes directly reported to runsolver:
#   pid: 10948
#   total CPU time (s): 229.157
#   total CPU user time (s): 227.726
#   total CPU system time (s): 1.4309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.382964 second user time and 0.473009 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-14 03:35:14
IDJOB=4307381
IDBENCH=141663
IDSOLVER=2789
FILE ID=node102/4307381-1534210514
RUNJOBID= node102-1534207988-10611
PBS_JOBID= 21038022
Free space on /tmp= 38732 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-07-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-4307381-1534210514/watcher-4307381-1534210514 -o /tmp/evaluation-result-4307381-1534210514/solver-4307381-1534210514 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1534207988-10611 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307381-1534210514.xml

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

MD5SUM BENCH= d2370bf20b8fe6e2b2b2b678a676e404
RANDOM SEED=1468454842

node102.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.51
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.51
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.51
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.51
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:        27713268 kB
MemAvailable:   31871040 kB
Buffers:          188952 kB
Cached:          4215528 kB
SwapCached:        51240 kB
Active:          1878720 kB
Inactive:        2611440 kB
Active(anon):       9988 kB
Inactive(anon):   126920 kB
Active(file):    1868732 kB
Inactive(file):  2484520 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030664 kB
Dirty:              9576 kB
Writeback:            28 kB
AnonPages:         41668 kB
Mapped:            52180 kB
Shmem:             49020 kB
Slab:             261032 kB
SReclaimable:     232980 kB
SUnreclaim:        28052 kB
KernelStack:        3264 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38724 MiB
End job on node102 at 2018-08-14 03:35:52