Trace number 4388233

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
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 24.9156 17.9431

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-12.xml
MD5SUM5dc18f9bddc2dfff84e0f90fec56ce3b
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 benchmark24.9156
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size520
Maximum domain size616
Distribution of domain sizes[{"size":520,"count":2},{"size":521,"count":4},{"size":522,"count":2},{"size":523,"count":4},{"size":525,"count":4},{"size":527,"count":4},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":6},{"size":532,"count":2},{"size":534,"count":2},{"size":535,"count":2},{"size":536,"count":2},{"size":537,"count":2},{"size":541,"count":2},{"size":542,"count":4},{"size":543,"count":2},{"size":545,"count":4},{"size":547,"count":2},{"size":550,"count":2},{"size":551,"count":2},{"size":552,"count":2},{"size":553,"count":2},{"size":554,"count":2},"...",{"size":582,"count":6}, {"size":585,"count":4}, {"size":586,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":4}, {"size":590,"count":2}, {"size":592,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":599,"count":2}, {"size":600,"count":6}, {"size":601,"count":2}, {"size":602,"count":2}, {"size":603,"count":2}, {"size":604,"count":6}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":608,"count":4}, {"size":609,"count":2}, {"size":612,"count":4}, {"size":614,"count":6}, {"size":615,"count":4}, {"size":616,"count":4}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-18683-serial-file.bin HOME/instance-4388233-1568296814.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 15:59:36 CEST 2019
0.66/0.55	c PID: 18686
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.56	c (0,0) Parsing Begin
4.12/1.61	c (1,1) Parsing End
4.12/1.62	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
4.12/1.62	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.12/1.62	c (1,1) Constraint Name Generate Begin
4.12/1.65	c (1,1) Ctr:HOME/instance-4388233-1568296814.xml,Add:Le:Ne:Num:Or:Var
4.12/1.65	c (1,1) Constraint Name Generate End
4.12/1.65	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.12/1.65	c (1,1) CSP to CSPinCNF Begin
4.78/1.87	c (1,1) translated 280 (10%) constraints
5.36/2.01	c (1,1) translated 560 (20%) constraints
5.36/2.01	c (1,1) translated 840 (30%) constraints
5.36/2.01	c (1,1) translated 1120 (40%) constraints
5.36/2.01	c (1,1) translated 1400 (50%) constraints
5.36/2.04	c (1,1) translated 1680 (60%) constraints
5.36/2.06	c (1,1) translated 1960 (70%) constraints
5.36/2.08	c (1,1) translated 2240 (80%) constraints
5.36/2.10	c (1,1) translated 2520 (90%) constraints
5.65/2.12	c (1,1) translated 2800 (100%) constraints
5.65/2.12	c (1,1) ===========================================
5.65/2.15	c (1,1) Hybrid: #OE=200, #LE=0
5.65/2.15	c (1,1) Hybrid
5.65/2.15	c (1,1) ===========================================
5.65/2.18	c (1,1) translated 280 (10%) constraints
5.95/2.20	c (1,1) translated 560 (20%) constraints
5.95/2.21	c (1,1) translated 840 (30%) constraints
5.95/2.22	c (1,1) translated 1120 (40%) constraints
5.95/2.24	c (1,1) translated 1400 (50%) constraints
5.95/2.25	c (1,1) translated 1680 (60%) constraints
5.95/2.26	c (1,1) translated 1960 (70%) constraints
5.95/2.28	c (1,1) translated 2240 (80%) constraints
5.95/2.29	c (1,1) translated 2520 (90%) constraints
6.26/2.31	c (1,1) translated 2800 (100%) constraints
6.26/2.31	c (1,1) CSP to CSPinCNF End
6.26/2.31	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.26/2.31	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.26/2.31	c (1,1) CSPinCNF Propagation Begin
6.26/2.37	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.26/2.37	c (1,1) CSPinCNF Propagation End
6.26/2.38	c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 616
6.26/2.38	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.26/2.39	c (1,1) Hybrid: #OE=200, #LE=0
6.26/2.39	c (1,1) Simplify CSPinCNF Begin
7.20/2.60	c (2,2) Simplify CSPinCNF End
7.20/2.60	c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
7.20/2.60	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.20/2.60	c (2,2) Calculate Precise Domain Begin
7.20/2.60	c (2,2) 0 values are removed by re-calculation
7.20/2.60	c (2,2) Calculate Precise Domain End
7.20/2.61	c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 616
7.20/2.61	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.20/2.61	c (2,2) CSPinCNF to SatSolver Begin
10.60/4.30	c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 397612 SAT clauses)
11.75/5.49	c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 693330 SAT clauses)
13.12/6.60	c (6,6) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 986856 SAT clauses)
14.06/8.11	c (7,7) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1279884 SAT clauses)
15.26/9.14	c (8,8) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1568199 SAT clauses)
16.27/10.14	c (9,9) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1856923 SAT clauses)
17.30/11.15	c (10,10) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 2149012 SAT clauses)
18.45/12.58	c (12,11) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2441082 SAT clauses)
19.51/13.61	c (13,12) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2737413 SAT clauses)
20.62/14.67	c (14,13) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 3042731 SAT clauses)
20.62/14.67	c (14,13) CSPinCNF to SatSolver End
20.62/14.67	c (14,13) Heap : 2555 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.62/14.67	c (14,13) 119198 bool, 3043288 clause
20.62/14.67	c (14,13) Export Begin
20.75/14.77	c (14,13) Export to HOME/scop-18683-serial-file.bin
20.75/14.77	c (14,13) Export End
20.75/14.77	c (14,13) Export File Size: 0.03 MB
20.75/14.77	c (14,13) 1,1,1,1,2,2,14,STOP-AFTER(DIMACS)
20.75/14.77	c END-Prog: Thu Sep 12 15:59:50 CEST 2019
0.00/14.80	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18683-serial-file.bin
21.44/15.25	c (0,0) Read Serial File Begin
21.44/15.25	c (0,0) HOME/scop-18683-serial-file.bin
21.71/15.47	c (0,0) Read Serial File End
21.71/15.48	
21.71/15.48	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
21.71/15.48	(Solving Process)
21.71/15.48	
21.95/15.51	c BEGIN-Prog: Thu Sep 12 15:59:51 CEST 2019
21.95/15.51	c PID: 18799
21.95/15.51	c IP: 172.20.3.151
21.95/15.51	c HOST: node151.alineos.net
21.95/15.51	c (0,0) SatSolver.solve Begin
21.95/15.51	c (0,0) HOME/cryptominisat5  HOME/instance-4388233-1568296814.xml-scop-18686.cnf
21.95/15.54	c (0,0) c Outputting solution to console
21.95/15.54	c (0,0) c CryptoMiniSat version 5.6.8
21.95/15.54	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
21.95/15.54	c (0,0) c CMS SHA revision GIT-notfound
21.95/15.54	c (0,0) c CMS is MIT licensed
21.95/15.54	c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES =  -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND =  | ZLIB_FOUND = TRUE | VALGRIND_FOUND =  | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS =  | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
21.95/15.54	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
21.95/15.54	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388233-1568296814.xml-scop-18686.cnf
21.95/15.54	c (0,0) c Reading file 'HOME/instance-4388233-1568296814.xml-scop-18686.cnf'
21.95/15.54	c (0,0) c -- header says num vars:         119198
21.95/15.54	c (0,0) c -- header says num clauses:     3043288
23.22/16.61	c (1,0) c -- clauses added: 3043288
23.22/16.61	c (1,0) c -- xor clauses added: 0
23.22/16.61	c (1,0) c -- vars added 119198
23.22/16.61	c (1,0) c Parsing time: 0.98 s
23.43/16.83	c (1,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
23.43/16.83	c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
23.43/16.83	c (1,0) c UIP search time          : 0.20        (16.89     % time)
23.43/16.83	c (1,0) c restarts                 : 1           (70.00     confls per restart)
23.43/16.83	c (1,0) c blocked restarts         : 0           (0.00      per normal restart)
23.46/17.49	c (1,0) c time                     : 0.20        
23.46/17.49	c (1,0) c decisions                : 1439        (0.00      % random)
23.46/17.49	c (1,0) c propagations             : 365149      
23.46/17.49	c (1,0) c decisions/conflicts      : 20.56       
23.46/17.49	c (1,0) c conflicts                : 70          (349.99    / sec)
23.46/17.49	c (1,0) c conf lits non-minim      : 2645        (37.79     lit/confl)
23.46/17.49	c (1,0) c conf lits final          : 33.17       
23.46/17.49	c (1,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
23.46/17.49	c (1,0) c red which0               : 3           (4.29      % of confl)
23.46/17.49	c (1,0) c props/decision           : 0.00        
23.46/17.49	c (1,0) c props/conflict           : 0.00        
23.46/17.49	c (1,0) c 0-depth assigns          : 0           (0.00      % vars)
23.46/17.49	c (1,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
23.46/17.49	c (1,0) c reduceDB time            : 0.00        (0.00      % time)
23.46/17.49	c (1,0) c OccSimplifier time       : 0.00        (0.00      % time)
23.46/17.49	c (1,0) c [occur] 0.00 is overhead
23.46/17.49	c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
23.46/17.49	c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
23.46/17.49	c (1,0) c SCC time                 : 0.00        (0.00      % time)
23.46/17.49	c (1,0) c [scc] new: 0 BP 0M  T: 0.00
23.46/17.49	c (1,0) c vrep replace time        : 0.00        (0.00      % time)
23.46/17.49	c (1,0) c vrep tree roots          : 0           
23.46/17.49	c (1,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
23.46/17.49	c (1,0) c distill time             : 0.00        (0.00      % time)
23.46/17.49	c (1,0) c strength cache-irred time: 0.00        (0.00      % time)
23.46/17.49	c (1,0) c strength cache-red time  : 0.00        (0.00      % time)
23.46/17.49	c (1,0) c Conflicts in UIP         : 70          (59.11     confl/time_this_thread)
23.46/17.49	c (1,0) c Mem used                 : 310.05      MB
23.46/17.49	c (1,0) c Total time (this thread) : 1.18        
23.46/17.49	c (2,0) s SATISFIABLE
24.15/17.76	c (2,0) SatSolver.solve End
24.15/17.76	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
24.15/17.76	c (2,0) Show results Begin
24.47/17.89	c (2,0) x0 = 0
24.47/17.89	c (2,0) x1 = 1
24.47/17.89	c (2,0) x10 = 252
24.47/17.89	c (2,0) x100 = 209
24.47/17.89	c (2,0) x101 = 210
24.47/17.89	c (2,0) x102 = 0
24.47/17.89	c (2,0) x103 = 1
24.47/17.89	c (2,0) x104 = 46
24.47/17.89	c (2,0) x105 = 47
24.47/17.89	c (2,0) x106 = 111
24.47/17.89	c (2,0) x107 = 112
24.47/17.89	c (2,0) x108 = 259
24.47/17.89	c (2,0) x109 = 260
24.47/17.89	c (2,0) x11 = 253
24.47/17.89	c (2,0) x110 = 340
24.47/17.89	c (2,0) x111 = 341
24.47/17.89	c (2,0) x112 = 387
24.47/17.89	c (2,0) x113 = 388
24.47/17.89	c (2,0) x114 = 439
24.47/17.89	c (2,0) x115 = 514
24.47/17.89	c (2,0) x116 = 518
24.47/17.89	c (2,0) x117 = 519
24.47/17.89	c (2,0) x118 = 584
24.47/17.89	c (2,0) x119 = 585
24.47/17.89	c (2,0) x12 = 330
24.47/17.89	c (2,0) x120 = 174
24.47/17.89	c (2,0) x121 = 175
24.47/17.89	c (2,0) x122 = 264
24.47/17.89	c (2,0) x123 = 265
24.47/17.89	c (2,0) x124 = 0
24.47/17.89	c (2,0) x125 = 1
24.47/17.89	c (2,0) x126 = 57
24.47/17.89	c (2,0) x127 = 58
24.47/17.89	c (2,0) x128 = 345
24.47/17.89	c (2,0) x129 = 346
24.47/17.89	c (2,0) x13 = 331
24.47/17.89	c (2,0) x130 = 386
24.47/17.89	c (2,0) x131 = 387
24.47/17.89	c (2,0) x132 = 397
24.47/17.89	c (2,0) x133 = 398
24.47/17.89	c (2,0) x134 = 404
24.47/17.89	c (2,0) x135 = 405
24.47/17.89	c (2,0) x136 = 480
24.47/17.89	c (2,0) x137 = 481
24.47/17.89	c (2,0) x138 = 523
24.47/17.89	c (2,0) x139 = 524
24.47/17.89	c (2,0) x14 = 586
24.47/17.89	c (2,0) x140 = 18
24.47/17.89	c (2,0) x141 = 19
24.47/17.89	c (2,0) x142 = 105
24.47/17.89	c (2,0) x143 = 106
24.47/17.89	c (2,0) x144 = 174
24.47/17.89	c (2,0) x145 = 175
24.47/17.89	c (2,0) x146 = 208
24.47/17.89	c (2,0) x147 = 209
24.47/17.89	c (2,0) x148 = 291
24.47/17.89	c (2,0) x149 = 292
24.47/17.89	c (2,0) x15 = 587
24.47/17.89	c (2,0) x150 = 383
24.47/17.89	c (2,0) x151 = 384
24.47/17.89	c (2,0) x152 = 471
24.81/17.90	c (2,0) x153 = 478
24.81/17.90	c (2,0) x154 = 503
24.81/17.90	c (2,0) x155 = 504
24.81/17.90	c (2,0) x156 = 591
24.81/17.90	c (2,0) x157 = 592
24.81/17.90	c (2,0) x158 = 606
24.81/17.90	c (2,0) x159 = 607
24.81/17.90	c (2,0) x16 = 99
24.81/17.90	c (2,0) x160 = 0
24.81/17.90	c (2,0) x161 = 1
24.81/17.90	c (2,0) x162 = 18
24.81/17.90	c (2,0) x163 = 19
24.81/17.90	c (2,0) x164 = 96
24.81/17.90	c (2,0) x165 = 97
24.81/17.90	c (2,0) x166 = 144
24.81/17.90	c (2,0) x167 = 145
24.81/17.90	c (2,0) x168 = 147
24.81/17.90	c (2,0) x169 = 148
24.81/17.90	c (2,0) x17 = 100
24.81/17.90	c (2,0) x170 = 152
24.81/17.90	c (2,0) x171 = 153
24.81/17.90	c (2,0) x172 = 212
24.81/17.90	c (2,0) x173 = 213
24.81/17.90	c (2,0) x174 = 272
24.81/17.90	c (2,0) x175 = 273
24.81/17.90	c (2,0) x176 = 387
24.81/17.90	c (2,0) x177 = 388
24.81/17.90	c (2,0) x178 = 591
24.81/17.90	c (2,0) x179 = 592
24.81/17.90	c (2,0) x18 = 387
24.81/17.90	c (2,0) x180 = 0
24.81/17.90	c (2,0) x181 = 1
24.81/17.90	c (2,0) x182 = 37
24.81/17.90	c (2,0) x183 = 38
24.81/17.90	c (2,0) x184 = 96
24.81/17.90	c (2,0) x185 = 97
24.81/17.90	c (2,0) x186 = 120
24.81/17.90	c (2,0) x187 = 121
24.81/17.90	c (2,0) x188 = 209
24.81/17.90	c (2,0) x189 = 210
24.81/17.90	c (2,0) x19 = 388
24.81/17.90	c (2,0) x190 = 228
24.81/17.90	c (2,0) x191 = 229
24.81/17.90	c (2,0) x192 = 286
24.81/17.90	c (2,0) x193 = 287
24.81/17.90	c (2,0) x194 = 346
24.81/17.90	c (2,0) x195 = 347
24.81/17.90	c (2,0) x196 = 456
24.81/17.90	c (2,0) x197 = 457
24.81/17.90	c (2,0) x198 = 503
24.81/17.90	c (2,0) x199 = 504
24.81/17.90	c (2,0) x2 = 486
24.81/17.90	c (2,0) x20 = 173
24.81/17.90	c (2,0) x21 = 174
24.81/17.90	c (2,0) x22 = 404
24.81/17.90	c (2,0) x23 = 405
24.81/17.90	c (2,0) x24 = 440
24.81/17.90	c (2,0) x25 = 441
24.81/17.90	c (2,0) x26 = 291
24.81/17.90	c (2,0) x27 = 292
24.81/17.90	c (2,0) x28 = 91
24.81/17.90	c (2,0) x29 = 92
24.81/17.90	c (2,0) x3 = 487
24.81/17.90	c (2,0) x30 = 492
24.81/17.90	c (2,0) x31 = 493
24.81/17.90	c (2,0) x32 = 586
24.81/17.90	c (2,0) x33 = 587
24.81/17.90	c (2,0) x34 = 0
24.81/17.90	c (2,0) x35 = 1
24.81/17.90	c (2,0) x36 = 486
24.81/17.90	c (2,0) x37 = 605
24.81/17.90	c (2,0) x38 = 521
24.81/17.90	c (2,0) x39 = 522
24.81/17.90	c (2,0) x4 = 207
24.81/17.90	c (2,0) x40 = 521
24.81/17.90	c (2,0) x41 = 522
24.81/17.90	c (2,0) x42 = 381
24.81/17.90	c (2,0) x43 = 382
24.81/17.90	c (2,0) x44 = 154
24.81/17.90	c (2,0) x45 = 155
24.81/17.90	c (2,0) x46 = 194
24.81/17.90	c (2,0) x47 = 195
24.81/17.90	c (2,0) x48 = 244
24.81/17.90	c (2,0) x49 = 245
24.81/17.90	c (2,0) x5 = 208
24.81/17.90	c (2,0) x50 = 46
24.81/17.90	c (2,0) x51 = 47
24.81/17.90	c (2,0) x52 = 90
24.81/17.90	c (2,0) x53 = 91
24.81/17.90	c (2,0) x54 = 291
24.81/17.90	c (2,0) x55 = 292
24.81/17.90	c (2,0) x56 = 341
24.81/17.90	c (2,0) x57 = 342
24.81/17.90	c (2,0) x58 = 469
24.81/17.90	c (2,0) x59 = 470
24.81/17.90	c (2,0) x6 = 188
24.81/17.90	c (2,0) x60 = 515
24.81/17.90	c (2,0) x61 = 516
24.81/17.90	c (2,0) x62 = 96
24.81/17.90	c (2,0) x63 = 97
24.81/17.90	c (2,0) x64 = 346
24.81/17.90	c (2,0) x65 = 347
24.81/17.90	c (2,0) x66 = 278
24.81/17.90	c (2,0) x67 = 279
24.81/17.90	c (2,0) x68 = 176
24.81/17.90	c (2,0) x69 = 177
24.81/17.90	c (2,0) x7 = 189
24.81/17.90	c (2,0) x70 = 0
24.81/17.90	c (2,0) x71 = 1
24.81/17.90	c (2,0) x72 = 443
24.81/17.90	c (2,0) x73 = 444
24.81/17.90	c (2,0) x74 = 565
24.81/17.90	c (2,0) x75 = 566
24.81/17.90	c (2,0) x76 = 595
24.81/17.90	c (2,0) x77 = 596
24.81/17.90	c (2,0) x78 = 440
24.81/17.90	c (2,0) x79 = 441
24.81/17.90	c (2,0) x8 = 151
24.81/17.90	c (2,0) x80 = 403
24.81/17.90	c (2,0) x81 = 405
24.81/17.90	c (2,0) x82 = 248
24.81/17.90	c (2,0) x83 = 249
24.81/17.90	c (2,0) x84 = 523
24.81/17.90	c (2,0) x85 = 524
24.81/17.90	c (2,0) x86 = 0
24.81/17.90	c (2,0) x87 = 1
24.81/17.90	c (2,0) x88 = 272
24.81/17.90	c (2,0) x89 = 273
24.81/17.90	c (2,0) x9 = 152
24.81/17.90	c (2,0) x90 = 15
24.81/17.90	c (2,0) x91 = 16
24.81/17.90	c (2,0) x92 = 335
24.81/17.90	c (2,0) x93 = 336
24.81/17.90	c (2,0) x94 = 208
24.81/17.90	c (2,0) x95 = 494
24.81/17.90	c (2,0) x96 = 74
24.81/17.90	c (2,0) x97 = 75
24.81/17.90	c (2,0) x98 = 152
24.81/17.90	c (2,0) x99 = 153
24.81/17.90	s SATISFIABLE
24.81/17.90	v <instantiation>
24.81/17.90	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199</list>
24.81/17.90	v     <values>0 1 486 487 207 208 188 189 151 152 252 253 330 331 586 587 99 100 387 388 173 174 404 405 440 441 291 292 91 92 492 493 586 587 0 1 486 605 521 522 521 522 381 382 154 155 194 195 244 245 46 47 90 91 291 292 341 342 469 470 515 516 96 97 346 347 278 279 176 177 0 1 443 444 565 566 595 596 440 441 403 405 248 249 523 524 0 1 272 273 15 16 335 336 208 494 74 75 152 153 209 210 0 1 46 47 111 112 259 260 340 341 387 388 439 514 518 519 584 585 174 175 264 265 0 1 57 58 345 346 386 387 397 398 404 405 480 481 523 524 18 19 105 106 174 175 208 209 291 292 383 384 471 478 503 504 591 592 606 607 0 1 18 19 96 97 144 145 147 148 152 153 212 213 272 273 387 388 591 592 0 1 37 38 96 97 120 121 209 210 228 229 286 287 346 347 456 457 503 504</values>
24.81/17.90	v </instantiation>
24.81/17.90	c (2,0) Show results End
24.81/17.90	c (2,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
24.81/17.90	c (2,0) 2,2,STOP-AFTER(ALL)
24.81/17.90	c END-Prog: Thu Sep 12 15:59:53 CEST 2019

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 (12071 MiB free)
  memory of node 1: 16384 MiB (15540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388233-1568296814/watcher-4388233-1568296814 -o /tmp/evaluation-result-4388233-1568296814/solver-4388233-1568296814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388233-1568296814.xml 

running on 4 cores: 1,3,5,7

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

solver pid=18683, runsolver pid=18680

[startup+0.100136 s]*
/proc/loadavg: 2.59 2.31 2.20 3/229 18700
/proc/meminfo: memFree=28214008/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405952907 115843072 349 33554432000 4194304 5098028 140735799451936 140735799449192 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 349 296 221 0 87 0
[pid=18686] ppid=18683 vsize=15012696 memory=71892 CPUtime=0.11 cores=1,3,5,7
/proc/18686/stat : 18686 (java) S 18683 18683 12870 0 -1 1077944320 7259 0 0 0 10 1 0 0 20 0 15 0 405952907 15373000704 17973 33554432000 4194304 4196468 140729339702496 140729339685040 139656223407863 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
/proc/18686/statm: 3753174 17973 2915 1 0 3715579 0
[pid=18686/tid=18687] ppid=18683 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/18686/task/18687/stat : 18687 (java) R 18683 18683 12870 0 -1 4202560 5052 0 0 0 8 1 0 0 20 0 15 0 405952907 15373000704 17973 33554432000 4194304 4196468 140729339702496 139656195201672 139656223429789 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18688] ppid=18683 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18688/stat : 18688 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 17973 33554432000 4194304 4196468 140729339702496 139656227649936 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18689] ppid=18683 vsize=15012696 memory=139977998382720 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18689/stat : 18689 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 17973 33554432000 4194304 4196468 140729339702496 139656041806096 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18690] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18690/stat : 18690 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 17973 33554432000 4194304 4196468 140729339702496 139656040753808 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18691] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18691/stat : 18691 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 17973 33554432000 4194304 4196468 140729339702496 139656039701008 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18692] ppid=18683 vsize=15012696 memory=139977998382720 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18692/stat : 18692 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952910 15373000704 17973 33554432000 4194304 4196468 140729339702496 139655193262704 139656223419010 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18693] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18693/stat : 18693 (java) S 18683 18683 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405952911 15373000704 17973 33554432000 4194304 4196468 140729339702496 139654821045536 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18694] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18694/stat : 18694 (java) S 18683 18683 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405952911 15373000704 17973 33554432000 4194304 4196468 140729339702496 139654686824048 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18695] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18695/stat : 18695 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952913 15373000704 17973 33554432000 4194304 4196468 140729339702496 139654312319568 139656223426459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18696] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18696/stat : 18696 (java) S 18683 18683 12870 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 405952913 15373000704 17973 33554432000 4194304 4196468 140729339702496 139655192209520 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18697] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18697/stat : 18697 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952913 15373000704 17973 33554432000 4194304 4196468 140729339702496 139655191156720 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18698] ppid=18683 vsize=15012696 memory=139977998382720 CPUtime=0.01 cores=1,3,5,7
/proc/18686/task/18698/stat : 18698 (java) R 18683 18683 12870 0 -1 4202560 416 0 0 0 1 0 0 0 20 0 15 0 405952913 15373000704 17973 33554432000 4194304 4196468 140729339702496 139655190101368 139656202675124 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18699] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18699/stat : 18699 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952914 15373000704 17973 33554432000 4194304 4196468 140729339702496 139653814413792 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18700] ppid=18683 vsize=15012696 memory=139977998382720 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18700/stat : 18700 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952914 15373000704 17973 33554432000 4194304 4196468 140729339702496 139655189052336 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73288 KiB

[startup+0.210949 s]*
/proc/loadavg: 2.59 2.31 2.20 3/229 18700
/proc/meminfo: memFree=28194756/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405952907 115843072 349 33554432000 4194304 5098028 140735799451936 140735799449192 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 349 296 221 0 87 0
[pid=18686] ppid=18683 vsize=15012696 memory=86744 CPUtime=0.26 cores=1,3,5,7
/proc/18686/stat : 18686 (java) S 18683 18683 12870 0 -1 1077944320 12308 0 0 0 23 3 0 0 20 0 15 0 405952907 15373000704 21686 33554432000 4194304 4196468 140729339702496 140729339685040 139656223407863 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
/proc/18686/statm: 3753174 21686 2918 1 0 3715579 0
[pid=18686/tid=18687] ppid=18683 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18686/task/18687/stat : 18687 (java) R 18683 18683 12870 0 -1 4202560 10043 0 0 0 18 2 0 0 20 0 15 0 405952907 15373000704 21686 33554432000 4194304 4196468 140729339702496 139656195228816 139656223429789 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18688] ppid=18683 vsize=15012696 memory=2964499 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18688/stat : 18688 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 21686 33554432000 4194304 4196468 140729339702496 139656227649936 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18689] ppid=18683 vsize=15012696 memory=288370354150094464 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18689/stat : 18689 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 21686 33554432000 4194304 4196468 140729339702496 139656041806096 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18690] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18690/stat : 18690 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 21686 33554432000 4194304 4196468 140729339702496 139656040753808 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18691] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18691/stat : 18691 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 21686 33554432000 4194304 4196468 140729339702496 139656039701008 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18692] ppid=18683 vsize=15012696 memory=139977998382720 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18692/stat : 18692 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952910 15373000704 21686 33554432000 4194304 4196468 140729339702496 139655193262704 139656223419010 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18693] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18693/stat : 18693 (java) S 18683 18683 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405952911 15373000704 21686 33554432000 4194304 4196468 140729339702496 139654821045536 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18694] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18694/stat : 18694 (java) S 18683 18683 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405952911 15373000704 21686 33554432000 4194304 4196468 140729339702496 139654686824048 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18695] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18695/stat : 18695 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952913 15373000704 21686 33554432000 4194304 4196468 140729339702496 139654312319568 139656223426459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18696] ppid=18683 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18686/task/18696/stat : 18696 (java) S 18683 18683 12870 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 405952913 15373000704 21686 33554432000 4194304 4196468 140729339702496 139655192209520 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18697] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18697/stat : 18697 (java) S 18683 18683 12870 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405952913 15373000704 21686 33554432000 4194304 4196468 140729339702496 139655191156720 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18698] ppid=18683 vsize=15012696 memory=139977998382720 CPUtime=0.03 cores=1,3,5,7
/proc/18686/task/18698/stat : 18698 (java) S 18683 18683 12870 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 405952913 15373000704 21686 33554432000 4194304 4196468 140729339702496 139655190104432 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18699] ppid=18683 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18699/stat : 18699 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952914 15373000704 21686 33554432000 4194304 4196468 140729339702496 139653814413792 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18700] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18700/stat : 18700 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952914 15373000704 21686 33554432000 4194304 4196468 140729339702496 139655189052336 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88140 KiB

[startup+0.310759 s]*
/proc/loadavg: 2.59 2.31 2.20 4/229 18700
/proc/meminfo: memFree=28191592/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405952907 115843072 349 33554432000 4194304 5098028 140735799451936 140735799449192 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 349 296 221 0 87 0
[pid=18686] ppid=18683 vsize=15012696 memory=90352 CPUtime=0.42 cores=1,3,5,7
/proc/18686/stat : 18686 (java) S 18683 18683 12870 0 -1 1077944320 13149 0 0 0 39 3 0 0 20 0 15 0 405952907 15373000704 22588 33554432000 4194304 4196468 140729339702496 140729339685040 139656223407863 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
/proc/18686/statm: 3753174 22588 3055 1 0 3715579 0
[pid=18686/tid=18687] ppid=18683 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/18686/task/18687/stat : 18687 (java) R 18683 18683 12870 0 -1 4202560 10711 0 0 0 27 3 0 0 20 0 15 0 405952907 15373000704 22588 33554432000 4194304 4196468 140729339702496 139656195198512 139656208573456 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18688] ppid=18683 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18688/stat : 18688 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 22588 33554432000 4194304 4196468 140729339702496 139656227649936 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18689] ppid=18683 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18689/stat : 18689 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 22588 33554432000 4194304 4196468 140729339702496 139656041806096 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18690] ppid=18683 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18690/stat : 18690 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 22588 33554432000 4194304 4196468 140729339702496 139656040753808 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18691] ppid=18683 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18691/stat : 18691 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15373000704 22588 33554432000 4194304 4196468 140729339702496 139656039701008 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18692] ppid=18683 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18692/stat : 18692 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952910 15373000704 22588 33554432000 4194304 4196468 140729339702496 139655193262704 139656223419010 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18693] ppid=18683 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18693/stat : 18693 (java) S 18683 18683 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405952911 15373000704 22588 33554432000 4194304 4196468 140729339702496 139654821045536 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18694] ppid=18683 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18694/stat : 18694 (java) S 18683 18683 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405952911 15373000704 22588 33554432000 4194304 4196468 140729339702496 139654686824048 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18695] ppid=18683 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18695/stat : 18695 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952913 15373000704 22588 33554432000 4194304 4196468 140729339702496 139654312319568 139656223426459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18696] ppid=18683 vsize=15012696 memory=4426078206164241782 CPUtime=0.02 cores=1,3,5,7
/proc/18686/task/18696/stat : 18696 (java) S 18683 18683 12870 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 15 0 405952913 15373000704 22588 33554432000 4194304 4196468 140729339702496 139655192209520 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18697] ppid=18683 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18686/task/18697/stat : 18697 (java) S 18683 18683 12870 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 15 0 405952913 15373000704 22588 33554432000 4194304 4196468 140729339702496 139655191156720 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18698] ppid=18683 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18686/task/18698/stat : 18698 (java) S 18683 18683 12870 0 -1 1077944384 444 0 0 0 7 0 0 0 20 0 15 0 405952913 15373000704 22588 33554432000 4194304 4196468 140729339702496 139655190104432 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18699] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18699/stat : 18699 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952914 15373000704 22588 33554432000 4194304 4196468 140729339702496 139653814413792 139656223418069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18700] ppid=18683 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18700/stat : 18700 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952914 15373000704 22588 33554432000 4194304 4196468 140729339702496 139655189052336 139656223419010 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91748 KiB

[startup+0.701755 s]
/proc/loadavg: 2.59 2.31 2.20 3/229 18700
/proc/meminfo: memFree=28169008/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405952907 115843072 349 33554432000 4194304 5098028 140735799451936 140735799449192 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 349 296 221 0 87 0
[pid=18686] ppid=18683 vsize=15018968 memory=130104 CPUtime=1.03 cores=1,3,5,7
/proc/18686/stat : 18686 (java) S 18683 18683 12870 0 -1 1077944320 20209 0 0 0 98 5 0 0 20 0 15 0 405952907 15379423232 32526 33554432000 4194304 4196468 140729339702496 140729339685040 139656223407863 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
/proc/18686/statm: 3754742 32526 3198 1 0 3716091 0
[pid=18686/tid=18687] ppid=18683 vsize=15018968 memory=18968 CPUtime=0.67 cores=1,3,5,7
/proc/18686/task/18687/stat : 18687 (java) R 18683 18683 12870 0 -1 4202560 17196 0 0 0 63 4 0 0 20 0 15 0 405952907 15379423232 32526 33554432000 4194304 4196468 140729339702496 139656195244864 139656208680718 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18688] ppid=18683 vsize=15018968 memory=984 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18688/stat : 18688 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15379423232 32526 33554432000 4194304 4196468 140729339702496 139656227649936 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18689] ppid=18683 vsize=15018968 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18689/stat : 18689 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15379423232 32526 33554432000 4194304 4196468 140729339702496 139656041806096 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18690] ppid=18683 vsize=15018968 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18690/stat : 18690 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952909 15379423232 32526 33554432000 4194304 4196468 140729339702496 139656040753808 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18691] ppid=18683 vsize=15018968 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18691/stat : 18691 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405952909 15379423232 32526 33554432000 4194304 4196468 140729339702496 139656039701008 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18692] ppid=18683 vsize=15018968 memory=976 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18692/stat : 18692 (java) S 18683 18683 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405952910 15379423232 32526 33554432000 4194304 4196468 140729339702496 139655193262704 139656223419010 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18693] ppid=18683 vsize=15018968 memory=772 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18693/stat : 18693 (java) S 18683 18683 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405952911 15379423232 32526 33554432000 4194304 4196468 140729339702496 139654821045536 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18694] ppid=18683 vsize=15018968 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18694/stat : 18694 (java) S 18683 18683 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405952911 15379423232 32526 33554432000 4194304 4196468 140729339702496 139654686824048 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18695] ppid=18683 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18695/stat : 18695 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952913 15379423232 32526 33554432000 4194304 4196468 140729339702496 139654312319568 139656223426459 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18696] ppid=18683 vsize=15018968 memory=1548 CPUtime=0.09 cores=1,3,5,7
/proc/18686/task/18696/stat : 18696 (java) R 18683 18683 12870 0 -1 4202560 717 0 0 0 9 0 0 0 20 0 15 0 405952913 15379423232 32526 33554432000 4194304 4196468 140729339702496 139655192202544 139656209431585 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18697] ppid=18683 vsize=15018968 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/18686/task/18697/stat : 18697 (java) R 18683 18683 12870 0 -1 4202560 336 0 0 0 8 0 0 0 20 0 15 0 405952913 15379423232 32526 33554432000 4194304 4196468 140729339702496 139655191146832 139656207804279 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18698] ppid=18683 vsize=15018968 memory=744 CPUtime=0.17 cores=1,3,5,7
/proc/18686/task/18698/stat : 18698 (java) R 18683 18683 12870 0 -1 4202560 605 0 0 0 17 0 0 0 20 0 15 0 405952913 15379423232 32526 33554432000 4194304 4196468 140729339702496 139655190104560 139656208776015 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18699] ppid=18683 vsize=15018968 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18699/stat : 18699 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405952914 15379423232 32526 33554432000 4194304 4196468 140729339702496 139653814413792 139656223418069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
[pid=18686/tid=18700] ppid=18683 vsize=15018968 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/18686/task/18700/stat : 18700 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405952914 15379423232 32526 33554432000 4194304 4196468 140729339702496 139655189052336 139656223419010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38653952 140729339704105 140729339704474 140729339704474 140729339707343 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131500 KiB

[startup+1.50088 s]
/proc/loadavg: 2.59 2.31 2.20 5/229 18700
/proc/meminfo: memFree=28126372/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405952907 115843072 349 33554432000 4194304 5098028 140735799451936 140735799449192 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 349 296 221 0 87 0

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

[pid=18799/tid=18811] ppid=18683 vsize=8068440 memory=220220153172589 CPUtime=0.21 cores=1,3,5,7
/proc/18799/task/18811/stat : 18811 (java) S 18683 18683 12870 0 -1 1077944384 561 0 0 0 21 0 0 0 20 0 19 0 405954393 8262082560 29778 33554432000 4194304 4196468 140731327717040 139785243527408 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18812] ppid=18683 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18812/stat : 18812 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405954393 8262082560 29778 33554432000 4194304 4196468 140731327717040 139783602956896 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18813] ppid=18683 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18813/stat : 18813 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405954393 8262082560 29778 33554432000 4194304 4196468 140731327717040 139785242475312 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18815] ppid=18683 vsize=8068440 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18815/stat : 18815 (java) S 18683 18683 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405954460 8262082560 29778 33554432000 4194304 4196468 140731327717040 139785234441792 139785867407129 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18817] ppid=18683 vsize=8068440 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18817/stat : 18817 (java) S 18683 18683 12870 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 405954461 8262082560 29778 33554432000 4194304 4196468 140731327717040 139783066071184 139785867404445 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18818] ppid=18683 vsize=8068440 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18818/stat : 18818 (java) S 18683 18683 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405954461 8262082560 29778 33554432000 4194304 4196468 140731327717040 139783200292112 139785867404445 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18819] ppid=18683 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18819/stat : 18819 (java) S 18683 18683 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405954463 8262082560 29778 33554432000 4194304 4196468 140731327717040 139782797646896 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
Current children cumulated CPU time: 23.43 s
Current children cumulated vsize: 8583268 KiB
Current children cumulated memory: 435700 KiB

[startup+17.6017 s]
/proc/loadavg: 2.74 2.36 2.22 1/234 18819
/proc/meminfo: memFree=27686840/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1476 CPUtime=20.92 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 582 31456 0 0 0 0 2026 66 20 0 1 0 405952907 115843072 369 33554432000 4194304 5098028 140735799451936 140735799448680 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 369 311 221 0 87 0
[pid=18799] ppid=18683 vsize=8068440 memory=132716 CPUtime=1.6 cores=1,3,5,7
/proc/18799/stat : 18799 (java) S 18683 18683 12870 0 -1 1077944320 21139 0 0 0 152 8 0 0 20 0 19 0 405954387 8262082560 33179 33554432000 4194304 4196468 140731327717040 140731327699584 139785867382519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
/proc/18799/statm: 2017110 33179 3220 1 0 1978454 0
[pid=18814] ppid=18799 vsize=403988 memory=317488 CPUtime=1.3 cores=1,3,5,7
/proc/18814/stat : 18814 (cryptominisat5) S 18799 18683 12870 0 -1 4202496 55927 0 0 0 119 11 0 0 20 0 1 0 405954460 413683712 79372 33554432000 4194304 4451008 140734049580896 140734049578120 140289589931104 0 4 0 2 18446744071580971376 0 0 17 5 0 0 0 0 0 6549032 6559120 35348480 140734049588156 140734049588288 140734049588288 140734049591238 0
/proc/18814/statm: 100997 79372 640 63 0 94724 0
[pid=18799/tid=18800] ppid=18683 vsize=8068440 memory=5812 CPUtime=0.76 cores=1,3,5,7
/proc/18799/task/18800/stat : 18800 (java) S 18683 18683 12870 0 -1 1077944384 17227 0 0 0 70 6 0 0 20 0 19 0 405954387 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785839222688 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18801] ppid=18683 vsize=8068440 memory=504 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18801/stat : 18801 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405954388 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785871624464 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18802] ppid=18683 vsize=8068440 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18802/stat : 18802 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405954388 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785685780880 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18803] ppid=18683 vsize=8068440 memory=262508 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18803/stat : 18803 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405954388 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785684728336 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18804] ppid=18683 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18804/stat : 18804 (java) S 18683 18683 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405954388 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785350576784 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18805] ppid=18683 vsize=8068440 memory=69884 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18805/stat : 18805 (java) S 18683 18683 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405954390 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785246685680 139785867393666 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18806] ppid=18683 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18806/stat : 18806 (java) S 18683 18683 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405954390 8262082560 33179 33554432000 4194304 4196468 140731327717040 139784743806368 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18807] ppid=18683 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18807/stat : 18807 (java) S 18683 18683 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405954390 8262082560 33179 33554432000 4194304 4196468 140731327717040 139784475370992 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18808] ppid=18683 vsize=8068440 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18808/stat : 18808 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405954393 8262082560 33179 33554432000 4194304 4196468 140731327717040 139784100862672 139785867401115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18809] ppid=18683 vsize=8068440 memory=1332 CPUtime=0.21 cores=1,3,5,7
/proc/18799/task/18809/stat : 18809 (java) R 18683 18683 12870 0 -1 4202560 1159 0 0 0 21 0 0 0 20 0 19 0 405954393 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785245618896 139785845357928 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18810] ppid=18683 vsize=8068440 memory=1564 CPUtime=0.2 cores=1,3,5,7
/proc/18799/task/18810/stat : 18810 (java) R 18683 18683 12870 0 -1 4202560 374 0 0 0 20 0 0 0 20 0 19 0 405954393 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785244571408 139785860482219 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18811] ppid=18683 vsize=8068440 memory=976 CPUtime=0.29 cores=1,3,5,7
/proc/18799/task/18811/stat : 18811 (java) S 18683 18683 12870 0 -1 1077944384 784 0 0 0 29 0 0 0 20 0 19 0 405954393 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785243527408 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18812] ppid=18683 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18812/stat : 18812 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405954393 8262082560 33179 33554432000 4194304 4196468 140731327717040 139783602956896 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18813] ppid=18683 vsize=8068440 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18813/stat : 18813 (java) S 18683 18683 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405954393 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785242475312 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 62 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18815] ppid=18683 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18815/stat : 18815 (java) S 18683 18683 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405954460 8262082560 33179 33554432000 4194304 4196468 140731327717040 139785234441792 139785867407129 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18817] ppid=18683 vsize=8068440 memory=1548 CPUtime=0.1 cores=1,3,5,7
/proc/18799/task/18817/stat : 18817 (java) R 18683 18683 12870 0 -1 4202560 216 0 0 0 10 0 0 0 20 0 19 0 405954461 8262082560 33179 33554432000 4194304 4196468 140731327717040 139783066071344 139785367601479 0 4 2 25189581 0 0 0 -1 7 0 0 65 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18818] ppid=18683 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18818/stat : 18818 (java) S 18683 18683 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405954461 8262082560 33179 33554432000 4194304 4196468 140731327717040 139783200292112 139785867404445 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18819] ppid=18683 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/18799/task/18819/stat : 18819 (java) S 18683 18683 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405954463 8262082560 33179 33554432000 4194304 4196468 140731327717040 139782797646896 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
Current children cumulated CPU time: 23.82 s
Current children cumulated vsize: 8585556 KiB
Current children cumulated memory: 451680 KiB

[startup+17.8011 s]
/proc/loadavg: 2.74 2.36 2.22 1/234 18819
/proc/meminfo: memFree=27686840/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1476 CPUtime=20.92 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 582 31456 0 0 0 0 2026 66 20 0 1 0 405952907 115843072 369 33554432000 4194304 5098028 140735799451936 140735799448680 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 369 311 221 0 87 0
[pid=18799] ppid=18683 vsize=7937364 memory=180524 CPUtime=3.55 cores=1,3,5,7
/proc/18799/stat : 18799 (java) S 18683 18683 12870 0 -1 1077944320 22369 55937 0 0 210 9 123 13 20 0 17 0 405954387 8127860736 45131 33554432000 4194304 4196468 140731327717040 140731327699584 139785867382519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
/proc/18799/statm: 1984341 45131 3235 1 0 1945685 0
[pid=18799/tid=18800] ppid=18683 vsize=7937364 memory=-7824251494390453348 CPUtime=2.17 cores=1,3,5,7
/proc/18799/task/18800/stat : 18800 (java) R 18683 18683 12870 0 -1 1077944384 17410 55937 0 0 75 6 123 13 20 0 17 0 405954387 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785839220320 139785867392725 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18801] ppid=18683 vsize=7937364 memory=2032 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18801/stat : 18801 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785871624464 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18802] ppid=18683 vsize=7937364 memory=1332 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18802/stat : 18802 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785685780880 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18803] ppid=18683 vsize=7937364 memory=1564 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18803/stat : 18803 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785684728336 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18804] ppid=18683 vsize=7937364 memory=976 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18804/stat : 18804 (java) S 18683 18683 12870 0 -1 1077944384 2 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785350576784 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18805] ppid=18683 vsize=7937364 memory=772 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18805/stat : 18805 (java) S 18683 18683 12870 0 -1 1077944384 5 55937 0 0 0 0 123 13 20 0 17 0 405954390 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785246685680 139785867393666 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18806] ppid=18683 vsize=7937364 memory=3932 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18806/stat : 18806 (java) S 18683 18683 12870 0 -1 1077944384 13 55937 0 0 0 0 123 13 20 0 17 0 405954390 8127860736 45131 33554432000 4194304 4196468 140731327717040 139784743806368 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18807] ppid=18683 vsize=7937364 memory=2832 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18807/stat : 18807 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954390 8127860736 45131 33554432000 4194304 4196468 140731327717040 139784475370992 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18808] ppid=18683 vsize=7937364 memory=1548 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18808/stat : 18808 (java) S 18683 18683 12870 0 -1 1077944384 3 55937 0 0 0 0 123 13 20 0 17 0 405954393 8127860736 45131 33554432000 4194304 4196468 140731327717040 139784100862672 139785867401115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18809] ppid=18683 vsize=7937364 memory=1056 CPUtime=1.77 cores=1,3,5,7
/proc/18799/task/18809/stat : 18809 (java) R 18683 18683 12870 0 -1 4202560 1662 55937 0 0 41 0 123 13 20 0 17 0 405954393 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785245632624 139785852280447 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18810] ppid=18683 vsize=7937364 memory=744 CPUtime=1.76 cores=1,3,5,7
/proc/18799/task/18810/stat : 18810 (java) R 18683 18683 12870 0 -1 4202560 854 55937 0 0 40 0 123 13 20 0 17 0 405954393 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785244560968 139785852501152 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18811] ppid=18683 vsize=7937364 memory=8296 CPUtime=1.67 cores=1,3,5,7
/proc/18799/task/18811/stat : 18811 (java) S 18683 18683 12870 0 -1 1077944384 817 55937 0 0 31 0 123 13 20 0 17 0 405954393 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785243527408 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18812] ppid=18683 vsize=7937364 memory=5948 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18812/stat : 18812 (java) S 18683 18683 12870 0 -1 1077944384 3 55937 0 0 0 0 123 13 20 0 17 0 405954393 8127860736 45131 33554432000 4194304 4196468 140731327717040 139783602956896 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18813] ppid=18683 vsize=7937364 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18813/stat : 18813 (java) S 18683 18683 12870 0 -1 1077944384 3 55937 0 0 0 0 123 13 20 0 17 0 405954393 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785242475312 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 62 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18815] ppid=18683 vsize=7937364 memory=916 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18815/stat : 18815 (java) S 18683 18683 12870 0 -1 1077944384 24 55937 0 0 0 0 123 13 20 0 17 0 405954460 8127860736 45131 33554432000 4194304 4196468 140731327717040 139785234440976 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18819] ppid=18683 vsize=7937364 memory=2844 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18819/stat : 18819 (java) S 18683 18683 12870 0 -1 1077944384 9 55937 0 0 0 0 123 13 20 0 17 0 405954463 8127860736 45131 33554432000 4194304 4196468 140731327717040 139782797648688 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
Current children cumulated CPU time: 24.47 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 182000 KiB

[startup+17.9009 s]
/proc/loadavg: 2.74 2.36 2.22 1/234 18819
/proc/meminfo: memFree=27686840/32770624 swapFree=66932988/67108860
[pid=18683] ppid=18680 vsize=113128 memory=1476 CPUtime=20.92 cores=1,3,5,7
/proc/18683/stat : 18683 (scop.sh) S 18680 18683 12870 0 -1 4202496 582 31456 0 0 0 0 2026 66 20 0 1 0 405952907 115843072 369 33554432000 4194304 5098028 140735799451936 140735799448680 140427630580348 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28270592 140735799456611 140735799456880 140735799456880 140735799459789 0
/proc/18683/statm: 28282 369 311 221 0 87 0
[pid=18799] ppid=18683 vsize=7937364 memory=187812 CPUtime=3.89 cores=1,3,5,7
/proc/18799/stat : 18799 (java) S 18683 18683 12870 0 -1 1077944320 23086 55937 0 0 244 9 123 13 20 0 17 0 405954387 8127860736 46953 33554432000 4194304 4196468 140731327717040 140731327699584 139785867382519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
/proc/18799/statm: 1984341 46953 3235 1 0 1945685 0
[pid=18799/tid=18800] ppid=18683 vsize=7937364 memory=1476 CPUtime=2.27 cores=1,3,5,7
/proc/18799/task/18800/stat : 18800 (java) R 18683 18683 12870 0 -1 4202560 17540 55937 0 0 85 6 123 13 20 0 17 0 405954387 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785839221304 139785867404349 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18801] ppid=18683 vsize=7937364 memory=1476 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18801/stat : 18801 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785871624464 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18802] ppid=18683 vsize=7937364 memory=3620 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18802/stat : 18802 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785685780880 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18803] ppid=18683 vsize=7937364 memory=317488 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18803/stat : 18803 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785684728336 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18804] ppid=18683 vsize=7937364 memory=976 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18804/stat : 18804 (java) S 18683 18683 12870 0 -1 1077944384 2 55937 0 0 0 0 123 13 20 0 17 0 405954388 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785350576784 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18805] ppid=18683 vsize=7937364 memory=772 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18805/stat : 18805 (java) S 18683 18683 12870 0 -1 1077944384 5 55937 0 0 0 0 123 13 20 0 17 0 405954390 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785246685680 139785867393666 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18806] ppid=18683 vsize=7937364 memory=3932 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18806/stat : 18806 (java) S 18683 18683 12870 0 -1 1077944384 13 55937 0 0 0 0 123 13 20 0 17 0 405954390 8127860736 46953 33554432000 4194304 4196468 140731327717040 139784743806368 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18807] ppid=18683 vsize=7937364 memory=1476 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18807/stat : 18807 (java) S 18683 18683 12870 0 -1 1077944384 1 55937 0 0 0 0 123 13 20 0 17 0 405954390 8127860736 46953 33554432000 4194304 4196468 140731327717040 139784475370992 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18808] ppid=18683 vsize=7937364 memory=6791534058613427641 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18808/stat : 18808 (java) S 18683 18683 12870 0 -1 1077944384 3 55937 0 0 0 0 123 13 20 0 17 0 405954393 8127860736 46953 33554432000 4194304 4196468 140731327717040 139784100862672 139785867401115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18809] ppid=18683 vsize=7937364 memory=2124 CPUtime=1.87 cores=1,3,5,7
/proc/18799/task/18809/stat : 18809 (java) R 18683 18683 12870 0 -1 4202560 1662 55937 0 0 51 0 123 13 20 0 17 0 405954393 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785245632624 139785852497634 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18810] ppid=18683 vsize=7937364 memory=1396 CPUtime=1.86 cores=1,3,5,7
/proc/18799/task/18810/stat : 18810 (java) R 18683 18683 12870 0 -1 4202560 1347 55937 0 0 50 0 123 13 20 0 17 0 405954393 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785244580080 139785867403866 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18811] ppid=18683 vsize=7937364 memory=3021200 CPUtime=1.71 cores=1,3,5,7
/proc/18799/task/18811/stat : 18811 (java) R 18683 18683 12870 0 -1 4202560 911 55937 0 0 35 0 123 13 20 0 17 0 405954393 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785243524344 139785846793979 0 4 2 25189581 0 0 0 -1 7 0 0 65 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18812] ppid=18683 vsize=7937364 memory=5948 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18812/stat : 18812 (java) S 18683 18683 12870 0 -1 1077944384 3 55937 0 0 0 0 123 13 20 0 17 0 405954393 8127860736 46953 33554432000 4194304 4196468 140731327717040 139783602956896 139785867392725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18813] ppid=18683 vsize=7937364 memory=5948 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18813/stat : 18813 (java) R 18683 18683 12870 0 -1 1077944384 3 55937 0 0 0 0 123 13 20 0 17 0 405954393 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785242475312 139785867393666 0 4 2 25189581 0 0 0 -1 7 0 0 62 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18815] ppid=18683 vsize=7937364 memory=1124 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18815/stat : 18815 (java) S 18683 18683 12870 0 -1 1077944384 24 55937 0 0 0 0 123 13 20 0 17 0 405954460 8127860736 46953 33554432000 4194304 4196468 140731327717040 139785234440976 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
[pid=18799/tid=18819] ppid=18683 vsize=7937364 memory=14008 CPUtime=1.36 cores=1,3,5,7
/proc/18799/task/18819/stat : 18819 (java) S 18683 18683 12870 0 -1 1077944384 9 55937 0 0 0 0 123 13 20 0 17 0 405954463 8127860736 46953 33554432000 4194304 4196468 140731327717040 139782797648688 139785867393666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140731327722491 140731327722650 140731327722650 140731327725519 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 189288 KiB

Child status: 0
Real time (s): 17.9431
CPU time (s): 24.9156
CPU user time (s): 23.9978
CPU system time (s): 0.917782
CPU usage (%): 138.859
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3075320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9978
system time used= 0.917782
maximum resident set size= 3075436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5573
involuntary context switches= 88


# summary of solver processes directly reported to runsolver:
#   pid: 18683
#   total CPU time (s): 24.9156
#   total CPU user time (s): 23.9978
#   total CPU system time (s): 0.917782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.135946 second user time and 0.228425 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 15:59:35
IDJOB=4388233
IDBENCH=138454
IDSOLVER=2826
FILE ID=node151/4388233-1568296814
RUNJOBID= node151-1568286070-13984
PBS_JOBID= 21701060
Free space on /tmp= 56532 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-12.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4388233-1568296814/watcher-4388233-1568296814 -o /tmp/evaluation-result-4388233-1568296814/solver-4388233-1568296814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388233-1568296814.xml

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

MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b
RANDOM SEED=1250019

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28274508 kB
MemAvailable:   28819744 kB
Buffers:          112436 kB
Cached:           723248 kB
SwapCached:        73028 kB
Active:          3455608 kB
Inactive:         487972 kB
Active(anon):    3043128 kB
Inactive(anon):    96264 kB
Active(file):     412480 kB
Inactive(file):   391708 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932988 kB
Dirty:             39296 kB
Writeback:             0 kB
AnonPages:       3162232 kB
Mapped:            45832 kB
Shmem:             22256 kB
Slab:             142664 kB
SReclaimable:     113768 kB
SUnreclaim:        28896 kB
KernelStack:        4000 kB
PageTables:        11316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13199720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3037184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56496 MiB
End job on node151 at 2019-09-12 15:59:53