Trace number 4297254

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-07)SAT 75.5003 11.4096

General information on the benchmark

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

Solver Data 

0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Jul 26 21:38:00 CEST 2018
0.66/0.56	c PID: 4521
0.66/0.56	c IP: 172.20.3.148
0.66/0.56	c HOST: node148.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.37/0.97	c (0,0) Parsing End
1.37/0.98	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.37/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.37/0.98	c (0,0) Constraint Name Generate Begin
1.37/0.98	c (0,0) Ctr:HOME/instance-4297254-1532633880.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.37/0.98	c (0,0) Constraint Name Generate End
1.37/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.37/0.98	c (0,0) CSP to CSPinCNF Begin
1.58/1.06	c (0,0) translated 6 (10%) constraints
1.58/1.07	c (0,0) translated 11 (20%) constraints
1.58/1.07	c (0,0) translated 16 (30%) constraints
1.58/1.07	c (0,0) translated 21 (40%) constraints
1.58/1.08	c (0,0) translated 26 (50%) constraints
1.58/1.08	c (0,0) translated 32 (60%) constraints
1.75/1.18	c (0,0) translated 37 (70%) constraints
1.93/1.23	c (0,0) translated 42 (80%) constraints
1.93/1.28	c (0,0) translated 47 (90%) constraints
2.20/1.33	c (0,0) translated 52 (100%) constraints
2.49/1.47	c (0,0) STATISTICS1:HOME/instance-4297254-1532633880.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,384,193,4,3,384:12;372:12;368:16;352:20;344:24;338:28;336:32;326:36;324:40;320:92;318:52;314:56;288:60;266:64;2:34,193:66;192:132;186:66;184:66;176:66;172:66;169:66;168:66;163:66;162:66;160:132;159:66;157:66;144:66;133:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.49/1.47	c (0,0) ===========================================
2.49/1.47	c (0,0) Both Encoding selects:
2.49/1.47	c (0,0) Order
2.49/1.47	c (0,0) ===========================================
2.49/1.48	c (0,0) translated 43 (10%) constraints
2.49/1.49	c (0,0) translated 85 (20%) constraints
2.49/1.49	c (0,0) translated 128 (30%) constraints
2.49/1.49	c (0,0) translated 170 (40%) constraints
2.86/1.50	c (0,0) translated 213 (50%) constraints
2.86/1.50	c (0,0) translated 255 (60%) constraints
2.86/1.50	c (0,0) translated 298 (70%) constraints
2.86/1.51	c (0,0) translated 340 (80%) constraints
2.86/1.52	c (0,0) translated 383 (90%) constraints
2.86/1.52	c (0,0) translated 425 (100%) constraints
2.86/1.52	c (0,0) CSP to CSPinCNF End
2.86/1.52	c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 193
2.86/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.86/1.52	c (0,0) CSPinCNF Propagation Begin
2.86/1.59	c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.86/1.59	c (1,1) CSPinCNF Propagation End
2.86/1.59	c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 193
2.86/1.59	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.86/1.59	c (1,1) Simplify CSPinCNF Begin
3.25/1.66	c (1,1) Simplify CSPinCNF End
3.25/1.66	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 193
3.25/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.25/1.66	c (1,1) Calculate Precise Domain Begin
3.25/1.66	c (1,1) 0 values are removed by re-calculation
3.25/1.66	c (1,1) Calculate Precise Domain End
3.25/1.66	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 193
3.25/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.25/1.66	c (1,1) CSPinCNF to SatSolver Begin
3.61/1.72	c (1,1) 97 (10 %) CSP clauses are encoded (6369 SAT variables, 5768 SAT clauses)
3.61/1.72	c (1,1) 194 (20 %) CSP clauses are encoded (6369 SAT variables, 5865 SAT clauses)
3.61/1.73	c (1,1) 291 (30 %) CSP clauses are encoded (6369 SAT variables, 5962 SAT clauses)
4.00/1.85	c (1,1) 388 (40 %) CSP clauses are encoded (6369 SAT variables, 22562 SAT clauses)
4.43/1.92	c (1,1) 485 (50 %) CSP clauses are encoded (6369 SAT variables, 40664 SAT clauses)
4.43/1.98	c (1,1) 582 (60 %) CSP clauses are encoded (6369 SAT variables, 60756 SAT clauses)
4.71/2.03	c (1,1) 679 (70 %) CSP clauses are encoded (6369 SAT variables, 79476 SAT clauses)
4.71/2.08	c (1,1) 776 (80 %) CSP clauses are encoded (6369 SAT variables, 98031 SAT clauses)
4.84/2.13	c (1,1) 873 (90 %) CSP clauses are encoded (6369 SAT variables, 118105 SAT clauses)
4.84/2.18	c (1,1) 969 (100 %) CSP clauses are encoded (6369 SAT variables, 136176 SAT clauses)
4.84/2.18	c (1,1) CSPinCNF to SatSolver End
4.84/2.18	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.98/2.20	c (1,1) STATISTICS2:HOME/instance-4297254-1532633880.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,384,193,4,3,384:12;372:12;368:16;352:20;344:24;338:28;336:32;326:36;324:40;320:92;318:52;314:56;288:60;266:64;2:34,193:66;192:132;186:66;184:66;176:66;172:66;169:66;168:66;163:66;162:66;160:132;159:66;157:66;144:66;133:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.98/2.20	c (1,1) SatSolver.solve Begin
4.98/2.20	c (1,1) 6369 bool, 136337 clause
4.98/2.20	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297254-1532633880.xml-scop-4521.cnf HOME/instance-4297254-1532633880.xml-scop-4521.cnf.out
69.39/10.62	c (10,0) c
69.39/10.62	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
69.39/10.62	c (10,0) c
69.39/10.62	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
69.39/10.62	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
69.39/10.62	c (10,0) c ========================================[ Problem Statistics ]===========================================
69.39/10.62	c (10,0) c |                                                                                                       |
69.39/10.62	c (10,0) c |  Number of variables:          6369                                                                   |
69.39/10.62	c (10,0) c |  Number of clauses:          136337                                                                   |
69.39/10.62	c (10,0) c |  Parse time:                   0.05 s                                                                 |
69.39/10.62	c (10,0) c |                                                                                                       |
69.39/10.62	c (10,0) c |  Eliminated clauses:           0.02 Mb                                                                |
69.39/10.62	c (10,0) c |  Simplification time:          0.24 s                                                                 |
69.39/10.62	c (10,0) c |                                                                                                       |
69.39/10.62	c (10,0) c |  Generating clones                                                                                    |
69.39/10.62	c (10,0) c |  all clones generated. Memory = 108.36Mb.                                                             |
69.39/10.62	c (10,0) c ========================================================================================================|
69.39/10.62	c (10,0) c
69.39/10.62	c (10,0) c |-------------------------------------------------------------------------------------------------------|
69.39/10.62	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
69.39/10.62	c (10,0) c |-------------------------------------------------------------------------------------------------------|
69.39/10.62	c (10,0) c |  0 |     61 |      45616 |      24660 |    33644 |     8471 |     4477 |    33770 |     1334 |  0.000 |
69.39/10.62	c (10,0) c |  1 |     45 |      44972 |      25204 |    31051 |     9012 |     4415 |    28630 |     1307 |  0.000 |
69.39/10.62	c (10,0) c |  2 |     66 |      47055 |      25680 |    32299 |     9489 |     4538 |    33317 |     1307 |  0.000 |
69.39/10.62	c (10,0) c |  3 |     64 |      50906 |      28005 |    33662 |    11820 |     5561 |    32486 |     1383 |  0.000 |
69.39/10.62	c (10,0) c |  4 |     47 |      44338 |      25805 |    30738 |     9614 |     4570 |    33244 |     1362 |  0.000 |
69.39/10.62	c (10,0) c |  5 |     71 |      50527 |      27314 |    33712 |    11120 |     5098 |    31441 |     1330 |  0.000 |
69.39/10.62	c (10,0) c |  6 |     58 |      48498 |      26847 |    32328 |    10655 |     4921 |    29952 |     1355 |  0.000 |
69.39/10.62	c (10,0) c |  7 |     52 |      46491 |      26432 |    32436 |    10240 |     4723 |    33317 |     1322 |  0.000 |
69.39/10.62	c (10,0) c 
69.39/10.63	c (10,0) c synthesis      209947 conflicts    65544058 propagations     6503 conflicts/sec  2030062 propagations/sec
69.39/10.63	c (10,0) c Total Memory so far : 687.02Mb
69.39/10.63	c (10,0) c
69.39/10.63	c (10,0) c |-------------------------------------------------------------------------------------------------------|
69.39/10.63	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
69.39/10.63	c (10,0) c |-------------------------------------------------------------------------------------------------------|
69.39/10.63	c (10,0) c |  0 |    141 |      83076 |      45527 |    41357 |    19438 |     7818 |    58864 |     3550 |  0.000 |
69.39/10.63	c (10,0) c |  1 |     93 |      81760 |      45965 |    37684 |    19878 |     8111 |    57330 |     3436 |  0.000 |
69.39/10.63	c (10,0) c |  2 |    121 |      83905 |      47066 |    39629 |    20976 |     8177 |    58404 |     3536 |  0.000 |
69.39/10.63	c (10,0) c |  3 |    141 |      87661 |      48502 |    43081 |    22417 |     8897 |    57635 |     3653 |  0.000 |
69.39/10.63	c (10,0) c |  4 |    108 |      82162 |      46742 |    38742 |    20651 |     7958 |    58761 |     3843 |  0.000 |
69.39/10.63	c (10,0) c |  5 |    160 |      88991 |      48041 |    41025 |    21951 |     8409 |    57747 |     3735 |  0.000 |
69.39/10.63	c (10,0) c |  6 |    127 |      86074 |      47697 |    42140 |    21603 |     8409 |    58278 |     3700 |  0.000 |
69.39/10.63	c (10,0) c |  7 |     92 |      83766 |      48134 |    43139 |    22041 |     8984 |    57553 |     3063 |  0.000 |
69.39/10.63	c (10,0) c 
74.99/11.36	c (10,0) c synthesis      377674 conflicts   120194110 propagations     5888 conflicts/sec  1874001 propagations/sec
74.99/11.36	c (10,0) c Total Memory so far : 687.02Mb
74.99/11.36	c (10,0) c last restart ## conflicts  :  361 84 
74.99/11.36	c (10,0) c Thread 7 is 100% pure glucose! First thread to finish! (SAT answer).
74.99/11.36	c (10,0) c Total Memory so far : 687.02Mb
74.99/11.36	c (10,0) c
74.99/11.36	c (10,0) c real time : 9.13932 s
74.99/11.36	c (10,0) c cpu time  : 69.9091 s
74.99/11.36	c (10,0) c
74.99/11.36	c (10,0) c
74.99/11.36	c (10,0) c
74.99/11.36	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
74.99/11.36	c (10,0) c
74.99/11.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.99/11.36	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
74.99/11.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.99/11.36	c (10,0) c | Conflicts     |          402854 |      49061 |      49160 |      50153 |      51535 |      49641 |      51001 |      50845 |      51458 |
74.99/11.36	c (10,0) c | Decisions     |          722064 |      89984 |      87120 |      88972 |      92893 |      87180 |      94167 |      91609 |      90139 |
74.99/11.36	c (10,0) c | Propagations  |       128599486 |   15667798 |   15534574 |   16307948 |   16374955 |   15818560 |   16186700 |   16347883 |   16361068 |
74.99/11.36	c (10,0) c | Avg_Trail     |                 |       2674 |       2615 |       2641 |       2703 |       2602 |       2640 |       2685 |       2689 |
74.99/11.36	c (10,0) c | Avg_DL        |                 |         29 |         29 |         29 |         29 |         27 |         30 |         29 |         30 |
74.99/11.36	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
74.99/11.36	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
74.99/11.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.99/11.36	c (10,0) c | Exported      |           70488 |       8376 |       8570 |       8614 |       9325 |       8397 |       8826 |       8817 |       9563 |
74.99/11.36	c (10,0) c | Imported      |          489226 |      61314 |      61474 |      61840 |      59950 |      61876 |      60987 |      61161 |      60624 |
74.99/11.36	c (10,0) c | Good          |             118 |         15 |         14 |         15 |         14 |         14 |         16 |         15 |         15 |
74.99/11.36	c (10,0) c | Purge         |          489108 |      61299 |      61460 |      61825 |      59936 |      61862 |      60971 |      61146 |      60609 |
74.99/11.36	c (10,0) c | Promoted      |           31525 |       3894 |       3867 |       3940 |       3976 |       4180 |       4109 |       4109 |       3450 |
74.99/11.36	c (10,0) c | Remove_Imp    |          236380 |      27791 |      26336 |      25249 |      35026 |      25926 |      36064 |      24546 |      35442 |
74.99/11.36	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
74.99/11.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.99/11.36	c (10,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
74.99/11.36	c (10,0) c | Binaries      |                 |          1 |          3 |          2 |          3 |          3 |          1 |          2 |          2 |
74.99/11.36	c (10,0) c | Glues         |                 |         24 |         44 |         30 |         31 |         25 |         37 |         33 |         35 |
74.99/11.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.99/11.36	c (10,0) c | Orig_Seen     |            30 % |      43130 |      38185 |      40657 |      43998 |      39342 |      41599 |      42892 |      44547 |
74.99/11.36	c (10,0) c | Diff Orig seen|                 | -     1417 | -     6362 | -     3890 | -      549 | -     5205 | -     2948 | -     1655 |      X     |
74.99/11.36	c (10,0) c | Hamming       |            37 % |       2221 |       2236 |       2405 |       2460 |       2423 |       2553 |       2366 |      X     |
74.99/11.36	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.99/11.36	c (10,0) 
74.99/11.36	c (10,0) s SATISFIABLE
74.99/11.37	c (10,1) SatSolver.solve End
74.99/11.37	c (10,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
74.99/11.37	c (10,1) Show results Begin
74.99/11.39	c (10,1) h[0] = 33
74.99/11.39	c (10,1) h[1] = 64
74.99/11.39	c (10,1) h[2] = 103
74.99/11.39	c (10,1) h[3] = 59
74.99/11.39	c (10,1) h[4] = 44
74.99/11.39	c (10,1) h[5] = 123
74.99/11.39	c (10,1) h[6] = 57
74.99/11.39	c (10,1) h[7] = 32
74.99/11.39	c (10,1) h[8] = 25
74.99/11.39	c (10,1) h[9] = 53
74.99/11.39	c (10,1) h[10] = 15
74.99/11.39	c (10,1) h[11] = 17
74.99/11.39	c (10,1) h[12] = 42
74.99/11.39	c (10,1) h[13] = 9
74.99/11.39	c (10,1) h[14] = 44
74.99/11.39	c (10,1) h[15] = 90
74.99/11.39	c (10,1) h[16] = 66
74.99/11.39	c (10,1) r[0] = 1
74.99/11.39	c (10,1) r[1] = 1
74.99/11.39	c (10,1) r[2] = 1
74.99/11.39	c (10,1) r[3] = 1
74.99/11.39	c (10,1) r[4] = 1
74.99/11.39	c (10,1) r[5] = 1
74.99/11.39	c (10,1) r[6] = 1
74.99/11.39	c (10,1) r[7] = 1
74.99/11.39	c (10,1) r[8] = 1
74.99/11.39	c (10,1) r[9] = 1
74.99/11.39	c (10,1) r[10] = 1
74.99/11.39	c (10,1) r[11] = 1
74.99/11.39	c (10,1) r[12] = 1
74.99/11.39	c (10,1) r[13] = 1
74.99/11.39	c (10,1) r[14] = 1
74.99/11.39	c (10,1) r[15] = 1
74.99/11.39	c (10,1) r[16] = 1
74.99/11.39	c (10,1) w[0] = 132
74.99/11.39	c (10,1) w[1] = 41
74.99/11.39	c (10,1) w[2] = 32
74.99/11.39	c (10,1) w[3] = 9
74.99/11.39	c (10,1) w[4] = 38
74.99/11.39	c (10,1) w[5] = 29
74.99/11.39	c (10,1) w[6] = 62
74.99/11.39	c (10,1) w[7] = 8
74.99/11.39	c (10,1) w[8] = 26
74.99/11.39	c (10,1) w[9] = 39
74.99/11.39	c (10,1) w[10] = 81
74.99/11.39	c (10,1) w[11] = 18
74.99/11.39	c (10,1) w[12] = 63
74.99/11.39	c (10,1) w[13] = 50
74.99/11.39	c (10,1) w[14] = 91
74.99/11.39	c (10,1) w[15] = 68
74.99/11.39	c (10,1) w[16] = 41
74.99/11.39	c (10,1) x[0] = 0
74.99/11.39	c (10,1) x[1] = 29
74.99/11.39	c (10,1) x[2] = 38
74.99/11.39	c (10,1) x[3] = 29
74.99/11.39	c (10,1) x[4] = 0
74.99/11.39	c (10,1) x[5] = 0
74.99/11.39	c (10,1) x[6] = 70
74.99/11.39	c (10,1) x[7] = 192
74.99/11.39	c (10,1) x[8] = 174
74.99/11.39	c (10,1) x[9] = 161
74.99/11.39	c (10,1) x[10] = 111
74.99/11.39	c (10,1) x[11] = 174
74.99/11.39	c (10,1) x[12] = 111
74.99/11.39	c (10,1) x[13] = 111
74.99/11.39	c (10,1) x[14] = 70
74.99/11.39	c (10,1) x[15] = 132
74.99/11.39	c (10,1) x[16] = 70
74.99/11.39	c (10,1) y[0] = 0
74.99/11.39	c (10,1) y[1] = 136
74.99/11.39	c (10,1) y[2] = 33
74.99/11.39	c (10,1) y[3] = 77
74.99/11.39	c (10,1) y[4] = 33
74.99/11.39	c (10,1) y[5] = 77
74.99/11.39	c (10,1) y[6] = 33
74.99/11.39	c (10,1) y[7] = 115
74.99/11.39	c (10,1) y[8] = 90
74.99/11.39	c (10,1) y[9] = 147
74.99/11.39	c (10,1) y[10] = 132
74.99/11.39	c (10,1) y[11] = 115
74.99/11.39	c (10,1) y[12] = 90
74.99/11.39	c (10,1) y[13] = 147
74.99/11.39	c (10,1) y[14] = 156
74.99/11.39	c (10,1) y[15] = 0
74.99/11.39	c (10,1) y[16] = 90
74.99/11.39	s SATISFIABLE
74.99/11.39	v <instantiation>
74.99/11.39	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
74.99/11.39	v     <values>0 29 38 29 0 0 70 192 174 161 111 174 111 111 70 132 70 0 136 33 77 33 77 33 115 90 147 132 115 90 147 156 0 90 132 41 32 9 38 29 62 8 26 39 81 18 63 50 91 68 41 33 64 103 59 44 123 57 32 25 53 15 17 42 9 44 90 66 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
74.99/11.39	v </instantiation>
74.99/11.39	c (10,1) Show results End
74.99/11.39	c (10,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
74.99/11.40	c (10,1) 0,0,0,1,1,1,1,10,10,STOP-AFTER(ALL)
74.99/11.40	c END-Prog: Thu Jul 26 21:38:11 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 (3094 MiB free)
  memory of node 1: 16384 MiB (9586 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297254-1532633880/watcher-4297254-1532633880 -o /tmp/evaluation-result-4297254-1532633880/solver-4297254-1532633880 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532633880-4504 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297254-1532633880.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=4521, runsolver pid=4518
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 8.52 8.74 8.80 2/198 4541
/proc/meminfo: memFree=12892096/32770624 swapFree=67108852/67108860
[pid=4521] ppid=4518 vsize=27312552 memory=107452 CPUtime=0.1 cores=0-7
/proc/4521/stat : 4521 (java) S 4518 4521 4477 0 -1 1077944320 6391 0 0 0 8 2 0 0 20 0 20 0 80951134 27968053248 26863 33554432000 4194304 4196468 140720735550928 140720735533472 140211635863287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
/proc/4521/statm: 6828138 26863 2747 1 0 6790598 0
[pid=4521/tid=4523] ppid=4518 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4521/task/4523/stat : 4523 (java) R 4518 4521 4477 0 -1 4202560 4492 0 0 0 7 1 0 0 20 0 20 0 80951134 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211607667488 140211616138617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4524] ppid=4518 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27312552 memory=139693782824576 CPUtime=0 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26863 33554432000 4194304 4196468 140720735550928 140211053898384 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4530] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4530/stat : 4530 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26928 33554432000 4194304 4196468 140720735550928 140211052845328 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4531] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4531/stat : 4531 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 26928 33554432000 4194304 4196468 140720735550928 140211051792784 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4532] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4532/stat : 4532 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951138 27968053248 26928 33554432000 4194304 4196468 140720735550928 140210762373872 140211635874434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4533] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4533/stat : 4533 (java) S 4518 4521 4477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951139 27968053248 26928 33554432000 4194304 4196468 140720735550928 140209542915744 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4534] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4534/stat : 4534 (java) S 4518 4521 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80951139 27968053248 26928 33554432000 4194304 4196468 140720735550928 140209408693488 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4535] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4535/stat : 4535 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 26928 33554432000 4194304 4196468 140720735550928 140209034189264 140211635881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4536] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4536/stat : 4536 (java) S 4518 4521 4477 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 26928 33554432000 4194304 4196468 140720735550928 140210761320688 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4537] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4537/stat : 4537 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 26928 33554432000 4194304 4196468 140720735550928 140210760268144 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4538] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4538/stat : 4538 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 26928 33554432000 4194304 4196468 140720735550928 140210759215088 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4539] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4539/stat : 4539 (java) S 4518 4521 4477 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 26928 33554432000 4194304 4196468 140720735550928 140210758162544 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4540] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4540/stat : 4540 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 26928 33554432000 4194304 4196468 140720735550928 140208536284128 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4541] ppid=4518 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/4521/task/4541/stat : 4541 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 26928 33554432000 4194304 4196468 140720735550928 140210757110960 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107452 KiB

[startup+0.209667 s]*
/proc/loadavg: 8.52 8.74 8.80 2/198 4541
/proc/meminfo: memFree=12875600/32770624 swapFree=67108852/67108860
[pid=4521] ppid=4518 vsize=27312552 memory=122096 CPUtime=0.24 cores=0-7
/proc/4521/stat : 4521 (java) S 4518 4521 4477 0 -1 1077944320 10250 0 0 0 21 3 0 0 20 0 20 0 80951134 27968053248 30524 33554432000 4194304 4196468 140720735550928 140720735533472 140211635863287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
/proc/4521/statm: 6828138 30524 2936 1 0 6790598 0
[pid=4521/tid=4523] ppid=4518 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/4521/task/4523/stat : 4523 (java) R 4518 4521 4477 0 -1 4202560 8130 0 0 0 17 2 0 0 20 0 20 0 80951134 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211607653952 140211617257021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4524] ppid=4518 vsize=27312552 memory=9326 CPUtime=0 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27312552 memory=139693782829242 CPUtime=0 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211053898384 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4530] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4530/stat : 4530 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211052845328 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4531] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4531/stat : 4531 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 30524 33554432000 4194304 4196468 140720735550928 140211051792784 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4532] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4532/stat : 4532 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951138 27968053248 30524 33554432000 4194304 4196468 140720735550928 140210762373872 140211635874434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4533] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4533/stat : 4533 (java) S 4518 4521 4477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951139 27968053248 30524 33554432000 4194304 4196468 140720735550928 140209542915744 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4534] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4534/stat : 4534 (java) S 4518 4521 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80951139 27968053248 30524 33554432000 4194304 4196468 140720735550928 140209408693488 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4535] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4535/stat : 4535 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 30524 33554432000 4194304 4196468 140720735550928 140209034189264 140211635881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4536] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4536/stat : 4536 (java) S 4518 4521 4477 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 30524 33554432000 4194304 4196468 140720735550928 140210761320688 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4537] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4537/stat : 4537 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 30524 33554432000 4194304 4196468 140720735550928 140210760268144 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4538] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4538/stat : 4538 (java) S 4518 4521 4477 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 30524 33554432000 4194304 4196468 140720735550928 140210759215088 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4539] ppid=4518 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/4521/task/4539/stat : 4539 (java) S 4518 4521 4477 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 20 0 80951142 27968053248 30524 33554432000 4194304 4196468 140720735550928 140210758162544 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4540] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4540/stat : 4540 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 30524 33554432000 4194304 4196468 140720735550928 140208536284128 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4541] ppid=4518 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/4521/task/4541/stat : 4541 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 30524 33554432000 4194304 4196468 140720735550928 140210757110960 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 122096 KiB

[startup+0.309392 s]*
/proc/loadavg: 8.52 8.74 8.80 2/198 4541
/proc/meminfo: memFree=12872808/32770624 swapFree=67108852/67108860
[pid=4521] ppid=4518 vsize=27312552 memory=125568 CPUtime=0.41 cores=0-7
/proc/4521/stat : 4521 (java) S 4518 4521 4477 0 -1 1077944320 10795 0 0 0 37 4 0 0 20 0 20 0 80951134 27968053248 31392 33554432000 4194304 4196468 140720735550928 140720735533472 140211635863287 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
/proc/4521/statm: 6828138 31392 2979 1 0 6790598 0
[pid=4521/tid=4523] ppid=4518 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4521/task/4523/stat : 4523 (java) R 4518 4521 4477 0 -1 4202560 8506 0 0 0 26 3 0 0 20 0 20 0 80951134 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211607667440 140211617426843 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4524] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=27312552 memory=139693677179823 CPUtime=0 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211053898384 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4530] ppid=4518 vsize=27312552 memory=139693677182128 CPUtime=0 cores=0-7
/proc/4521/task/4530/stat : 4530 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211052845328 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4531] ppid=4518 vsize=27312552 memory=139693677184432 CPUtime=0 cores=0-7
/proc/4521/task/4531/stat : 4531 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27968053248 31392 33554432000 4194304 4196468 140720735550928 140211051792784 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4532] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4532/stat : 4532 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951138 27968053248 31392 33554432000 4194304 4196468 140720735550928 140210762373872 140211635874434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4533] ppid=4518 vsize=27312552 memory=279387354375824 CPUtime=0 cores=0-7
/proc/4521/task/4533/stat : 4533 (java) S 4518 4521 4477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951139 27968053248 31392 33554432000 4194304 4196468 140720735550928 140209542915744 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4534] ppid=4518 vsize=27312552 memory=279387354382736 CPUtime=0 cores=0-7
/proc/4521/task/4534/stat : 4534 (java) S 4518 4521 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80951139 27968053248 31392 33554432000 4194304 4196468 140720735550928 140209408693488 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4535] ppid=4518 vsize=27312552 memory=279387354324016 CPUtime=0 cores=0-7
/proc/4521/task/4535/stat : 4535 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 31392 33554432000 4194304 4196468 140720735550928 140209034189264 140211635881883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4536] ppid=4518 vsize=27312552 memory=279387354396560 CPUtime=0.01 cores=0-7
/proc/4521/task/4536/stat : 4536 (java) S 4518 4521 4477 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 80951141 27968053248 31392 33554432000 4194304 4196468 140720735550928 140210761320688 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4537] ppid=4518 vsize=27312552 memory=279387354403472 CPUtime=0 cores=0-7
/proc/4521/task/4537/stat : 4537 (java) S 4518 4521 4477 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 80951141 27968053248 31392 33554432000 4194304 4196468 140720735550928 140210760268144 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4538] ppid=4518 vsize=27312552 memory=279387354401168 CPUtime=0.01 cores=0-7
/proc/4521/task/4538/stat : 4538 (java) S 4518 4521 4477 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 80951142 27968053248 31392 33554432000 4194304 4196468 140720735550928 140210759215088 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4539] ppid=4518 vsize=27312552 memory=279387354417776 CPUtime=0.07 cores=0-7
/proc/4521/task/4539/stat : 4539 (java) S 4518 4521 4477 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 20 0 80951142 27968053248 31392 33554432000 4194304 4196468 140720735550928 140210758162544 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4540] ppid=4518 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4540/stat : 4540 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 31392 33554432000 4194304 4196468 140720735550928 140208536284128 140211635873493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4541] ppid=4518 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/4521/task/4541/stat : 4541 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951142 27968053248 31392 33554432000 4194304 4196468 140720735550928 140210757110960 140211635874434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125568 KiB

[startup+0.700725 s]
/proc/loadavg: 8.52 8.74 8.80 2/198 4541
/proc/meminfo: memFree=12848444/32770624 swapFree=67108852/67108860
[pid=4521] ppid=4518 vsize=27320948 memory=163300 CPUtime=0.99 cores=0-7
/proc/4521/stat : 4521 (java) S 4518 4521 4477 0 -1 1077944320 17950 0 0 0 93 6 0 0 20 0 20 0 80951134 27976650752 40825 33554432000 4194304 4196468 140720735550928 140720735533472 140211635863287 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
/proc/4521/statm: 6830237 40825 3151 1 0 6791622 0
[pid=4521/tid=4523] ppid=4518 vsize=27320948 memory=0 CPUtime=0.66 cores=0-7
/proc/4521/task/4523/stat : 4523 (java) R 4518 4521 4477 0 -1 4202560 15178 0 0 0 62 4 0 0 20 0 20 0 80951134 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211607695200 140211628100414 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4524] ppid=4518 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27320948 memory=5372 CPUtime=0 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27320948 memory=1440 CPUtime=0 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=27320948 memory=4612 CPUtime=0 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211053898384 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4530] ppid=4518 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/4521/task/4530/stat : 4530 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211052845328 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4531] ppid=4518 vsize=27320948 memory=15876 CPUtime=0 cores=0-7
/proc/4521/task/4531/stat : 4531 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951137 27976650752 40825 33554432000 4194304 4196468 140720735550928 140211051792784 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4532] ppid=4518 vsize=27320948 memory=4044 CPUtime=0 cores=0-7
/proc/4521/task/4532/stat : 4532 (java) S 4518 4521 4477 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80951138 27976650752 40825 33554432000 4194304 4196468 140720735550928 140210762373872 140211635874434 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0

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

/proc/4542/task/4550/stat : 4550 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 12804 0 0 0 776 4 0 0 20 0 9 0 80951391 720392192 62101 33554432000 4194304 4373367 140729823293232 140597866695592 4272316 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4551] ppid=4521 vsize=703508 memory=7311574725202085683 CPUtime=7.81 cores=0-7
/proc/4542/task/4551/stat : 4551 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13721 0 0 0 779 2 0 0 20 0 9 0 80951391 720392192 62101 33554432000 4194304 4373367 140729823293232 140597858303344 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4552] ppid=4521 vsize=703508 memory=3473030939858425872 CPUtime=7.63 cores=0-7
/proc/4542/task/4552/stat : 4552 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13211 0 0 0 760 3 0 0 20 0 9 0 80951391 720392192 62101 33554432000 4194304 4373367 140729823293232 140597849910640 4258958 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4553] ppid=4521 vsize=703508 memory=7441044405085919280 CPUtime=7.8 cores=0-7
/proc/4542/task/4553/stat : 4553 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13295 0 0 0 779 1 0 0 20 0 9 0 80951391 720392192 62101 33554432000 4194304 4373367 140729823293232 140597841517936 4291711 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4554] ppid=4521 vsize=703508 memory=7949106738048654675 CPUtime=7.8 cores=0-7
/proc/4542/task/4554/stat : 4554 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 12213 0 0 0 777 3 0 0 20 0 9 0 80951391 720392192 62101 33554432000 4194304 4373367 140729823293232 140597833125232 4257368 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4555] ppid=4521 vsize=703508 memory=3756177105254336608 CPUtime=7.8 cores=0-7
/proc/4542/task/4555/stat : 4555 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13154 0 0 0 778 2 0 0 20 0 9 0 80951391 720392192 62101 33554432000 4194304 4373367 140729823293232 140597824732304 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4521/tid=4523] ppid=4518 vsize=27984808 memory=3473594920604680678 CPUtime=2.23 cores=0-7
/proc/4521/task/4523/stat : 4523 (java) S 4518 4521 4477 0 -1 1077944384 17431 0 0 0 212 11 0 0 20 0 24 0 80951134 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211607702528 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4524] ppid=4518 vsize=27984808 memory=3976875550243767301 CPUtime=0 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27984808 memory=3473594920604680742 CPUtime=0 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27984808 memory=279387354749808 CPUtime=0 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27984808 memory=15255930832947754 CPUtime=0 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211053898384 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4530] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4530/stat : 4530 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211052845328 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4531] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4531/stat : 4531 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142598 33554432000 4194304 4196468 140720735550928 140211051792784 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4532] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4532/stat : 4532 (java) S 4518 4521 4477 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 80951138 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210762373872 140211635874434 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4533] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4533/stat : 4533 (java) S 4518 4521 4477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80951139 28656443392 142598 33554432000 4194304 4196468 140720735550928 140209542915744 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4534] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4534/stat : 4534 (java) S 4518 4521 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80951139 28656443392 142598 33554432000 4194304 4196468 140720735550928 140209408693488 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4535] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4535/stat : 4535 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951141 28656443392 142598 33554432000 4194304 4196468 140720735550928 140209034189264 140211635881883 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4536] ppid=4518 vsize=27984808 memory=0 CPUtime=0.52 cores=0-7
/proc/4521/task/4536/stat : 4536 (java) S 4518 4521 4477 0 -1 1077944384 1082 0 0 0 51 1 0 0 20 0 24 0 80951141 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210761320688 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4537] ppid=4518 vsize=27984808 memory=0 CPUtime=0.69 cores=0-7
/proc/4521/task/4537/stat : 4537 (java) S 4518 4521 4477 0 -1 1077944384 692 0 0 0 69 0 0 0 20 0 24 0 80951141 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210760268144 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4538] ppid=4518 vsize=27984808 memory=0 CPUtime=0.67 cores=0-7
/proc/4521/task/4538/stat : 4538 (java) S 4518 4521 4477 0 -1 1077944384 975 0 0 0 66 1 0 0 20 0 24 0 80951142 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210759215088 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4539] ppid=4518 vsize=27984808 memory=0 CPUtime=0.94 cores=0-7
/proc/4521/task/4539/stat : 4539 (java) S 4518 4521 4477 0 -1 1077944384 3027 0 0 0 93 1 0 0 20 0 24 0 80951142 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210758162544 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4540] ppid=4518 vsize=27984808 memory=100 CPUtime=0 cores=0-7
/proc/4521/task/4540/stat : 4540 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951142 28656443392 142598 33554432000 4194304 4196468 140720735550928 140208536284128 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4541] ppid=4518 vsize=27984808 memory=8475934422144292502 CPUtime=0 cores=0-7
/proc/4521/task/4541/stat : 4541 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951142 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210757110960 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4543] ppid=4518 vsize=27984808 memory=8475934422797934688 CPUtime=0 cores=0-7
/proc/4521/task/4543/stat : 4543 (java) S 4518 4521 4477 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80951356 28656443392 142598 33554432000 4194304 4196468 140720735550928 140210751731136 140211635887897 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4545] ppid=4518 vsize=27984808 memory=-6876588461455810464 CPUtime=0 cores=0-7
/proc/4521/task/4545/stat : 4545 (java) S 4518 4521 4477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80951357 28656443392 142598 33554432000 4194304 4196468 140720735550928 140207865183664 140211635885213 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4546] ppid=4518 vsize=27984808 memory=8303054830060986464 CPUtime=0 cores=0-7
/proc/4521/task/4546/stat : 4546 (java) S 4518 4521 4477 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 80951357 28656443392 142598 33554432000 4194304 4196468 140720735550928 140208133619248 140211635885213 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4547] ppid=4518 vsize=27984808 memory=-7595754389018297760 CPUtime=0 cores=0-7
/proc/4521/task/4547/stat : 4547 (java) S 4518 4521 4477 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 80951359 28656443392 142598 33554432000 4194304 4196468 140720735550928 140207596755872 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
Current children cumulated CPU time: 67.8 s
Current children cumulated vsize: 28688316 KiB
Current children cumulated memory: 818796 KiB

[startup+11.2019 s]
/proc/loadavg: 7.92 8.60 8.75 9/211 4555
/proc/meminfo: memFree=12172756/32770624 swapFree=67108852/67108860
[pid=4521] ppid=4518 vsize=27984808 memory=570416 CPUtime=5.11 cores=0-7
/proc/4521/stat : 4521 (java) S 4518 4521 4477 0 -1 1077944320 24639 0 0 0 494 17 0 0 20 0 24 0 80951134 28656443392 142604 33554432000 4194304 4196468 140720735550928 140720735533472 140211635863287 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
/proc/4521/statm: 6996202 142604 3224 1 0 6957058 0
[pid=4542] ppid=4521 vsize=703508 memory=254392 CPUtime=69.07 cores=0-7
/proc/4542/stat : 4542 (glucose-syrup) S 4521 4521 4477 0 -1 1077944320 126865 0 0 0 6875 32 0 0 20 0 9 0 80951356 720392192 63598 33554432000 4194304 4373367 140729823293232 140729823291776 140597904280194 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
/proc/4542/statm: 175877 63598 383 44 0 171565 0
[pid=4542/tid=4548] ppid=4521 vsize=703508 memory=279387354495600 CPUtime=8.61 cores=0-7
/proc/4542/task/4548/stat : 4548 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 12614 0 0 0 857 4 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597883481360 4271597 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4549] ppid=4521 vsize=703508 memory=21594961348842 CPUtime=8.61 cores=0-7
/proc/4542/task/4549/stat : 4549 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 14080 0 0 0 857 4 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597875088656 4259443 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4550] ppid=4521 vsize=703508 memory=0 CPUtime=8.61 cores=0-7
/proc/4542/task/4550/stat : 4550 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13167 0 0 0 856 5 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597866695952 4259404 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4551] ppid=4521 vsize=703508 memory=0 CPUtime=8.61 cores=0-7
/proc/4542/task/4551/stat : 4551 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13935 0 0 0 859 2 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597858303344 4271619 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4552] ppid=4521 vsize=703508 memory=0 CPUtime=8.41 cores=0-7
/proc/4542/task/4552/stat : 4552 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13439 0 0 0 838 3 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597849910416 4272140 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4553] ppid=4521 vsize=703508 memory=0 CPUtime=8.61 cores=0-7
/proc/4542/task/4553/stat : 4553 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13586 0 0 0 859 2 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597841517712 4258908 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4554] ppid=4521 vsize=703508 memory=0 CPUtime=8.61 cores=0-7
/proc/4542/task/4554/stat : 4554 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 12474 0 0 0 857 4 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597833125136 4271619 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4542/tid=4555] ppid=4521 vsize=703508 memory=132 CPUtime=8.61 cores=0-7
/proc/4542/task/4555/stat : 4555 (glucose-syrup) R 4521 4521 4477 0 -1 4202560 13389 0 0 0 858 3 0 0 20 0 9 0 80951391 720392192 63598 33554432000 4194304 4373367 140729823293232 140597824732528 4272344 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 20779008 140729823294385 140729823294636 140729823294636 140729823297479 0
[pid=4521/tid=4523] ppid=4518 vsize=27984808 memory=9229 CPUtime=2.23 cores=0-7
/proc/4521/task/4523/stat : 4523 (java) S 4518 4521 4477 0 -1 1077944384 17431 0 0 0 212 11 0 0 20 0 24 0 80951134 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211607702528 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4524] ppid=4518 vsize=27984808 memory=18615 CPUtime=0 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27984808 memory=279387354502832 CPUtime=0 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27984808 memory=2110044284478612 CPUtime=0 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27984808 memory=139693677096345 CPUtime=0 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) S 4518 4521 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211053898384 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4530] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4530/stat : 4530 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211052845328 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4531] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4531/stat : 4531 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951137 28656443392 142604 33554432000 4194304 4196468 140720735550928 140211051792784 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4532] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4532/stat : 4532 (java) S 4518 4521 4477 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 80951138 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210762373872 140211635874434 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4533] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4533/stat : 4533 (java) S 4518 4521 4477 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80951139 28656443392 142604 33554432000 4194304 4196468 140720735550928 140209542915744 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4534] ppid=4518 vsize=27984808 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/4521/task/4534/stat : 4534 (java) S 4518 4521 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80951139 28656443392 142604 33554432000 4194304 4196468 140720735550928 140209408693488 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4535] ppid=4518 vsize=27984808 memory=4012 CPUtime=0 cores=0-7
/proc/4521/task/4535/stat : 4535 (java) S 4518 4521 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951141 28656443392 142604 33554432000 4194304 4196468 140720735550928 140209034189264 140211635881883 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4536] ppid=4518 vsize=27984808 memory=23936 CPUtime=0.52 cores=0-7
/proc/4521/task/4536/stat : 4536 (java) S 4518 4521 4477 0 -1 1077944384 1082 0 0 0 51 1 0 0 20 0 24 0 80951141 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210761320688 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4537] ppid=4518 vsize=27984808 memory=2416 CPUtime=0.69 cores=0-7
/proc/4521/task/4537/stat : 4537 (java) S 4518 4521 4477 0 -1 1077944384 692 0 0 0 69 0 0 0 20 0 24 0 80951141 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210760268144 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4538] ppid=4518 vsize=27984808 memory=1300 CPUtime=0.67 cores=0-7
/proc/4521/task/4538/stat : 4538 (java) S 4518 4521 4477 0 -1 1077944384 978 0 0 0 66 1 0 0 20 0 24 0 80951142 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210759215088 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4539] ppid=4518 vsize=27984808 memory=1732 CPUtime=0.94 cores=0-7
/proc/4521/task/4539/stat : 4539 (java) S 4518 4521 4477 0 -1 1077944384 3029 0 0 0 93 1 0 0 20 0 24 0 80951142 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210758162544 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4540] ppid=4518 vsize=27984808 memory=1716 CPUtime=0 cores=0-7
/proc/4521/task/4540/stat : 4540 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951142 28656443392 142604 33554432000 4194304 4196468 140720735550928 140208536284128 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4541] ppid=4518 vsize=27984808 memory=796 CPUtime=0 cores=0-7
/proc/4521/task/4541/stat : 4541 (java) S 4518 4521 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951142 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210757110960 140211635874434 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4543] ppid=4518 vsize=27984808 memory=11008 CPUtime=0 cores=0-7
/proc/4521/task/4543/stat : 4543 (java) S 4518 4521 4477 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80951356 28656443392 142604 33554432000 4194304 4196468 140720735550928 140210751731136 140211635887897 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4545] ppid=4518 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/4521/task/4545/stat : 4545 (java) S 4518 4521 4477 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 80951357 28656443392 142604 33554432000 4194304 4196468 140720735550928 140207865183664 140211635885213 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4546] ppid=4518 vsize=27984808 memory=23936 CPUtime=0 cores=0-7
/proc/4521/task/4546/stat : 4546 (java) S 4518 4521 4477 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 80951357 28656443392 142604 33554432000 4194304 4196468 140720735550928 140208133619248 140211635885213 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4547] ppid=4518 vsize=27984808 memory=2416 CPUtime=0 cores=0-7
/proc/4521/task/4547/stat : 4547 (java) S 4518 4521 4477 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 80951359 28656443392 142604 33554432000 4194304 4196468 140720735550928 140207596755872 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
Current children cumulated CPU time: 74.18 s
Current children cumulated vsize: 28688316 KiB
Current children cumulated memory: 824808 KiB

[startup+11.4013 s]
/proc/loadavg: 7.92 8.60 8.75 9/211 4555
/proc/meminfo: memFree=12172756/32770624 swapFree=67108852/67108860
[pid=4521] ppid=4518 vsize=27722656 memory=573180 CPUtime=75.48 cores=0-7
/proc/4521/stat : 4521 (java) S 4518 4521 4477 0 -1 1077944320 24833 128269 0 0 506 17 6991 34 20 0 20 0 80951134 28387999744 143313 33554432000 4194304 4196468 140720735550928 140720735533472 140211635863287 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
/proc/4521/statm: 6930664 143281 3230 1 0 6891520 0
[pid=4521/tid=4524] ppid=4518 vsize=27589524 memory=0 CPUtime=70.25 cores=0-7
/proc/4521/task/4524/stat : 4524 (java) S 4518 4521 4477 0 -1 1077944384 1 128269 0 0 0 0 6991 34 20 0 19 0 80951137 28251672576 143287 33554432000 4194304 4196468 140720735550928 140211640106000 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4525] ppid=4518 vsize=27589524 memory=0 CPUtime=70.25 cores=0-7
/proc/4521/task/4525/stat : 4525 (java) S 4518 4521 4477 0 -1 1077944384 2 128269 0 0 0 0 6991 34 20 0 19 0 80951137 28251672576 143287 33554432000 4194304 4196468 140720735550928 140211423501456 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4526] ppid=4518 vsize=27589524 memory=0 CPUtime=70.25 cores=0-7
/proc/4521/task/4526/stat : 4526 (java) S 4518 4521 4477 0 -1 1077944384 1 128269 0 0 0 0 6991 34 20 0 19 0 80951137 28251672576 143287 33554432000 4194304 4196468 140720735550928 140211057056528 140211635873493 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4527] ppid=4518 vsize=27589524 memory=0 CPUtime=70.25 cores=0-7
/proc/4521/task/4527/stat : 4527 (java) R 4518 4521 4477 0 -1 1077944384 1 128269 0 0 0 0 6991 34 20 0 19 0 80951137 28251672576 143291 33554432000 4194304 4196468 140720735550928 140211056003984 140211635873493 256 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4528] ppid=4518 vsize=27589524 memory=0 CPUtime=70.25 cores=0-7
/proc/4521/task/4528/stat : 4528 (java) R 4518 4521 4477 0 -1 1077944384 2 128269 0 0 0 0 6991 34 20 0 19 0 80951137 28251672576 143301 33554432000 4194304 4196468 140720735550928 140211054950928 140211635873493 256 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27410432 140720735556570 140720735556869 140720735556869 140720735559631 0
[pid=4521/tid=4529] ppid=4518 vsize=0 memory=0 CPUtime=70.25 cores=0-7
/proc/4521/task/4529/stat : 4529 (java) R 4518 4521 4477 0 -1 4195396 2 128269 0 0 0 0 6991 34 20 0 12 0 80951137 0 0 33554432000 0 0 0 0 0 0 4 0 25189583 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=4521/tid=4543] ppid=4518 vsize=0 memory=5450909908396308010 CPUtime=70.25 cores=0-7
/proc/4521/task/4543/stat : 4543 (java) R 4518 4521 4477 0 -1 4203588 24 128269 0 0 0 0 6991 34 20 0 2 0 80951356 0 0 33554432000 0 0 0 0 0 0 4 0 25189583 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 75.48 s
Current children cumulated vsize: 27722656 KiB
Current children cumulated memory: 573180 KiB

Child status: 0
Real time (s): 11.4096
CPU time (s): 75.5003
CPU user time (s): 74.9718
CPU system time (s): 0.528542
CPU usage (%): 661.727
Max. virtual memory (cumulated for all children) (KiB): 28768788
Max. memory (cumulated for all children) (KiB): 846656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.9718
system time used= 0.528542
maximum resident set size= 573688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12075
involuntary context switches= 771


# summary of solver processes directly reported to runsolver:
#   pid: 4521
#   total CPU time (s): 75.5003
#   total CPU user time (s): 74.9718
#   total CPU system time (s): 0.528542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117818 second user time and 0.183885 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-26 21:38:00
IDJOB=4297254
IDBENCH=141129
IDSOLVER=2759
FILE ID=node148/4297254-1532633880
RUNJOBID= node148-1532633880-4504
PBS_JOBID= 21022175
Free space on /tmp= 43264 MiB

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

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

MD5SUM BENCH= 4209eb75c1d6f17ff2fcaefe706080c2
RANDOM SEED=1770652230

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12987300 kB
MemAvailable:   31931372 kB
Buffers:          232612 kB
Cached:         18645676 kB
SwapCached:            8 kB
Active:          2459296 kB
Inactive:       16469132 kB
Active(anon):       3920 kB
Inactive(anon):    74276 kB
Active(file):    2455376 kB
Inactive(file): 16394856 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              8232 kB
Writeback:            32 kB
AnonPages:         57140 kB
Mapped:            41108 kB
Shmem:             25216 kB
Slab:             550148 kB
SReclaimable:     522300 kB
SUnreclaim:        27848 kB
KernelStack:        3200 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 43256 MiB
End job on node148 at 2018-07-26 21:38:11