Trace number 4387978

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 109.921 84.0418

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-m4D/
Subisomorphism-si4-m4Dr4-m256-08.xml
MD5SUM81c7a723557c708ecb18ed846030ca95
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 benchmark0.018955
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints253
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":102}]
Minimum variable degree2
Maximum variable degree13
Distribution of variable degrees[{"degree":2,"count":9},{"degree":3,"count":22},{"degree":4,"count":19},{"degree":6,"count":17},{"degree":7,"count":10},{"degree":8,"count":12},{"degree":9,"count":7},{"degree":10,"count":5},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity102
Distribution of constraint arities[{"arity":1,"count":52},{"arity":2,"count":200},{"arity":102,"count":1}]
Number of extensional constraints252
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":252},{"type":"allDifferent","count":1}]
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-12070-serial-file.bin HOME/instance-4387978-1568292798.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 14:52:39 CEST 2019
0.66/0.55	c PID: 12073
0.66/0.55	c IP: 172.20.3.140
0.66/0.55	c HOST: node140.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.56/0.99	c (0,0) Parsing End
1.56/1.00	c (0,0) CSP: 102 int (0 aux), 0 bool (0 aux), 253 ctr, max domain size 256
1.56/1.00	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/1.00	c (0,0) Constraint Name Generate Begin
1.80/1.01	c (0,0) Ctr:HOME/instance-4387978-1568292798.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.80/1.01	c (0,0) Constraint Name Generate End
1.80/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.01	c (0,0) CSP to CSPinCNF Begin
12.12/6.75	c (6,6) translated 26 (10%) constraints
17.58/11.50	c (10,10) translated 51 (20%) constraints
21.93/15.85	c (15,15) translated 76 (30%) constraints
27.56/20.65	c (20,19) translated 102 (40%) constraints
31.88/24.99	c (24,23) translated 127 (50%) constraints
37.59/29.67	c (29,28) translated 152 (60%) constraints
43.85/34.61	c (34,32) translated 178 (70%) constraints
48.08/38.82	c (38,37) translated 203 (80%) constraints
48.42/38.90	c (38,37) translated 228 (90%) constraints
48.42/38.92	c (38,37) translated 253 (100%) constraints
48.42/38.93	c (38,37) ===========================================
49.05/39.13	c (38,37) Hybrid: #OE=51302, #LE=0
49.05/39.13	c (38,37) Hybrid
49.05/39.13	c (38,37) ===========================================
52.54/40.83	c (40,39) translated 71494 (10%) constraints
53.95/42.27	c (41,40) translated 142987 (20%) constraints
57.85/44.32	c (43,41) translated 214480 (30%) constraints
59.28/45.77	c (45,43) translated 285974 (40%) constraints
60.78/47.22	c (46,44) translated 357467 (50%) constraints
62.18/48.67	c (48,46) translated 428960 (60%) constraints
63.70/50.12	c (49,47) translated 500454 (70%) constraints
65.09/51.57	c (51,49) translated 571947 (80%) constraints
66.60/53.02	c (52,50) translated 643440 (90%) constraints
68.05/54.49	c (53,52) translated 714933 (100%) constraints
68.05/54.49	c (53,52) CSP to CSPinCNF End
68.18/54.51	c (53,52) CSP: 102 int (0 aux), 51200 bool (51200 aux), 714933 ctr, max domain size 256
68.18/54.51	c (53,52) Heap : 3132 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
68.18/54.51	c (53,52) CSPinCNF Propagation Begin
78.92/61.25	c (60,57) 574 values, 16892 unsatisfiable literals, and 14749 valid clauses are removed
78.92/61.25	c (60,57) CSPinCNF Propagation End
78.92/61.27	c (60,57) CSP: 102 int (0 aux), 51200 bool (51200 aux), 700184 ctr, max domain size 256
78.92/61.27	c (60,57) Heap : 2689 MiB used (max 10383 MiB), NonHeap : 29 MiB used (max 0 MiB)
79.19/61.49	c (60,58) Hybrid: #OE=51302, #LE=0
79.19/61.49	c (60,58) Simplify CSPinCNF Begin
83.10/63.35	c (62,59) Simplify CSPinCNF End
83.10/63.37	c (62,59) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
83.10/63.37	c (62,59) Heap : 1030 MiB used (max 10568 MiB), NonHeap : 29 MiB used (max 0 MiB)
83.10/63.37	c (62,59) Calculate Precise Domain Begin
83.10/63.37	c (62,59) 0 values are removed by re-calculation
83.10/63.37	c (62,59) Calculate Precise Domain End
83.10/63.38	c (62,59) CSP: 102 int (0 aux), 61500 bool (61500 aux), 710484 ctr, max domain size 256
83.10/63.38	c (62,59) Heap : 1030 MiB used (max 10568 MiB), NonHeap : 29 MiB used (max 0 MiB)
83.10/63.38	c (62,59) CSPinCNF to SatSolver Begin
98.72/75.07	c (74,70) 71049 (10 %) CSP clauses are encoded (0 SAT variables, 2607204 SAT clauses)
99.48/75.76	c (75,71) 142097 (20 %) CSP clauses are encoded (0 SAT variables, 2678252 SAT clauses)
100.19/76.43	c (75,71) 213146 (30 %) CSP clauses are encoded (0 SAT variables, 2749301 SAT clauses)
100.80/77.10	c (76,72) 284194 (40 %) CSP clauses are encoded (0 SAT variables, 2820349 SAT clauses)
101.81/77.86	c (77,73) 355242 (50 %) CSP clauses are encoded (0 SAT variables, 2891397 SAT clauses)
102.50/78.54	c (78,73) 426291 (60 %) CSP clauses are encoded (0 SAT variables, 2962446 SAT clauses)
103.21/79.22	c (78,74) 497339 (70 %) CSP clauses are encoded (0 SAT variables, 3033494 SAT clauses)
103.91/79.90	c (79,75) 568388 (80 %) CSP clauses are encoded (0 SAT variables, 3104543 SAT clauses)
105.21/80.80	c (80,75) 639436 (90 %) CSP clauses are encoded (0 SAT variables, 3175591 SAT clauses)
105.80/81.48	c (80,76) 710484 (100 %) CSP clauses are encoded (0 SAT variables, 3246639 SAT clauses)
105.80/81.48	c (80,76) CSPinCNF to SatSolver End
105.80/81.48	c (80,76) Heap : 1367 MiB used (max 10555 MiB), NonHeap : 32 MiB used (max 0 MiB)
105.80/81.48	c (80,76) 86613 bool, 3246640 clause
105.80/81.48	c (80,76) Export Begin
105.93/81.57	c (81,76) Export to HOME/scop-12070-serial-file.bin
105.93/81.57	c (81,76) Export End
105.93/81.58	c (81,76) Export File Size: 0.02 MB
105.93/81.58	c (81,76) 0,0,53,60,62,62,80,STOP-AFTER(DIMACS)
105.93/81.58	c END-Prog: Thu Sep 12 14:54:00 CEST 2019
0.00/81.60	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12070-serial-file.bin
106.67/82.06	c (0,0) Read Serial File Begin
106.67/82.06	c (0,0) HOME/scop-12070-serial-file.bin
106.93/82.28	c (0,0) Read Serial File End
106.93/82.29	
106.93/82.29	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
106.93/82.29	(Solving Process)
106.93/82.29	
107.09/82.31	c BEGIN-Prog: Thu Sep 12 14:54:00 CEST 2019
107.09/82.31	c PID: 12094
107.09/82.31	c IP: 172.20.3.140
107.09/82.31	c HOST: node140.alineos.net
107.09/82.32	c (0,0) SatSolver.solve Begin
107.09/82.32	c (0,0) HOME/cryptominisat5  HOME/instance-4387978-1568292798.xml-scop-12073.cnf
107.09/82.36	c (0,0) c Outputting solution to console
107.09/82.36	c (0,0) c CryptoMiniSat version 5.6.8
107.09/82.36	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
107.09/82.36	c (0,0) c CMS SHA revision GIT-notfound
107.09/82.36	c (0,0) c CMS is MIT licensed
107.09/82.36	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
107.09/82.36	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
107.09/82.36	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387978-1568292798.xml-scop-12073.cnf
107.09/82.36	c (0,0) c Reading file 'HOME/instance-4387978-1568292798.xml-scop-12073.cnf'
107.09/82.36	c (0,0) c -- header says num vars:          86613
107.09/82.36	c (0,0) c -- header says num clauses:     3246640
108.37/83.48	c (1,0) c -- clauses added: 3246640
108.37/83.48	c (1,0) c -- xor clauses added: 0
108.37/83.48	c (1,0) c -- vars added 86613
108.37/83.48	c (1,0) c Parsing time: 1.04 s
108.57/83.65	c (1,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
108.57/83.66	c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
108.57/83.66	c (1,0) c UIP search time          : 0.17        (13.76     % time)
108.57/83.66	c (1,0) c restarts                 : 1           (0.00      confls per restart)
108.57/83.66	c (1,0) c blocked restarts         : 0           (0.00      per normal restart)
108.57/83.66	c (1,0) c time                     : 0.17        
108.57/83.66	c (1,0) c decisions                : 5           (0.00      % random)
108.57/83.66	c (1,0) c propagations             : 86613       
108.57/83.66	c (1,0) c decisions/conflicts      : 0.00        
108.57/83.66	c (1,0) c conflicts                : 0           (0.00      / sec)
108.57/83.66	c (1,0) c conf lits non-minim      : 0           (0.00      lit/confl)
108.57/83.66	c (1,0) c conf lits final          : 0.00        
108.57/83.66	c (1,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
108.57/83.66	c (1,0) c red which0               : 0           (0.00      % of confl)
108.57/83.66	c (1,0) c props/decision           : 0.00        
108.57/83.66	c (1,0) c props/conflict           : 0.00        
108.57/83.66	c (1,0) c 0-depth assigns          : 0           (0.00      % vars)
108.57/83.66	c (1,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
108.57/83.66	c (1,0) c reduceDB time            : 0.00        (0.00      % time)
108.57/83.66	c (1,0) c OccSimplifier time       : 0.00        (0.00      % time)
108.57/83.66	c (1,0) c [occur] 0.00 is overhead
108.57/83.66	c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
108.57/83.66	c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
108.57/83.66	c (1,0) c SCC time                 : 0.00        (0.00      % time)
108.57/83.66	c (1,0) c [scc] new: 0 BP 0M  T: 0.00
108.57/83.66	c (1,0) c vrep replace time        : 0.00        (0.00      % time)
108.57/83.66	c (1,0) c vrep tree roots          : 0           
108.57/83.66	c (1,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
108.57/83.66	c (1,0) c distill time             : 0.00        (0.00      % time)
108.57/83.66	c (1,0) c strength cache-irred time: 0.00        (0.00      % time)
108.57/83.66	c (1,0) c strength cache-red time  : 0.00        (0.00      % time)
108.57/83.66	c (1,0) c Conflicts in UIP         : 0           (0.00      confl/time_this_thread)
108.57/83.66	c (1,0) c Mem used                 : 315.89      MB
108.57/83.66	c (1,0) c Total time (this thread) : 1.21        
108.57/83.66	c (1,0) s SATISFIABLE
109.09/83.90	c (1,0) SatSolver.solve End
109.09/83.90	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
109.42/83.90	c (1,0) Show results Begin
109.80/84.01	c (2,0) x[0] = 0
109.80/84.01	c (2,0) x[1] = 58
109.80/84.01	c (2,0) x[2] = 62
109.80/84.01	c (2,0) x[3] = 81
109.80/84.01	c (2,0) x[4] = 140
109.80/84.01	c (2,0) x[5] = 169
109.80/84.01	c (2,0) x[6] = 234
109.80/84.01	c (2,0) x[7] = 22
109.80/84.01	c (2,0) x[8] = 101
109.80/84.01	c (2,0) x[9] = 155
109.80/84.01	c (2,0) x[10] = 166
109.80/84.01	c (2,0) x[11] = 176
109.80/84.01	c (2,0) x[12] = 198
109.80/84.01	c (2,0) x[13] = 3
109.80/84.01	c (2,0) x[14] = 38
109.80/84.01	c (2,0) x[15] = 83
109.80/84.01	c (2,0) x[16] = 159
109.80/84.01	c (2,0) x[17] = 189
109.80/84.01	c (2,0) x[18] = 9
109.80/84.01	c (2,0) x[19] = 66
109.80/84.01	c (2,0) x[20] = 91
109.80/84.02	c (2,0) x[21] = 126
109.80/84.02	c (2,0) x[22] = 173
109.80/84.02	c (2,0) x[23] = 243
109.80/84.02	c (2,0) x[24] = 48
109.80/84.02	c (2,0) x[25] = 182
109.80/84.02	c (2,0) x[26] = 27
109.80/84.02	c (2,0) x[27] = 164
109.80/84.02	c (2,0) x[28] = 211
109.80/84.02	c (2,0) x[29] = 7
109.80/84.02	c (2,0) x[30] = 25
109.80/84.02	c (2,0) x[31] = 50
109.80/84.02	c (2,0) x[32] = 55
109.80/84.02	c (2,0) x[33] = 153
109.80/84.02	c (2,0) x[34] = 185
109.80/84.02	c (2,0) x[35] = 197
109.80/84.02	c (2,0) x[36] = 224
109.80/84.02	c (2,0) x[37] = 249
109.80/84.02	c (2,0) x[38] = 33
109.80/84.02	c (2,0) x[39] = 118
109.80/84.02	c (2,0) x[40] = 171
109.80/84.02	c (2,0) x[41] = 172
109.80/84.02	c (2,0) x[42] = 51
109.80/84.02	c (2,0) x[43] = 218
109.80/84.02	c (2,0) x[44] = 72
109.80/84.02	c (2,0) x[45] = 100
109.80/84.02	c (2,0) x[46] = 184
109.80/84.02	c (2,0) x[47] = 108
109.80/84.02	c (2,0) x[48] = 209
109.80/84.02	c (2,0) x[49] = 40
109.80/84.02	c (2,0) x[50] = 67
109.80/84.02	c (2,0) x[51] = 34
109.80/84.02	c (2,0) x[52] = 111
109.80/84.02	c (2,0) x[53] = 144
109.80/84.02	c (2,0) x[54] = 188
109.80/84.02	c (2,0) x[55] = 214
109.80/84.02	c (2,0) x[56] = 115
109.80/84.02	c (2,0) x[57] = 136
109.80/84.02	c (2,0) x[58] = 220
109.80/84.02	c (2,0) x[59] = 2
109.80/84.02	c (2,0) x[60] = 125
109.80/84.02	c (2,0) x[61] = 196
109.80/84.02	c (2,0) x[62] = 93
109.80/84.02	c (2,0) x[63] = 248
109.80/84.02	c (2,0) x[64] = 8
109.80/84.02	c (2,0) x[65] = 221
109.80/84.02	c (2,0) x[66] = 46
109.80/84.02	c (2,0) x[67] = 138
109.80/84.02	c (2,0) x[68] = 32
109.80/84.02	c (2,0) x[69] = 74
109.80/84.02	c (2,0) x[70] = 86
109.80/84.02	c (2,0) x[71] = 112
109.80/84.02	c (2,0) x[72] = 147
109.80/84.02	c (2,0) x[73] = 75
109.80/84.02	c (2,0) x[74] = 219
109.80/84.02	c (2,0) x[75] = 80
109.80/84.02	c (2,0) x[76] = 139
109.80/84.02	c (2,0) x[77] = 6
109.80/84.02	c (2,0) x[78] = 54
109.80/84.02	c (2,0) x[79] = 94
109.80/84.02	c (2,0) x[80] = 161
109.80/84.02	c (2,0) x[81] = 228
109.80/84.02	c (2,0) x[82] = 238
109.80/84.02	c (2,0) x[83] = 215
109.80/84.02	c (2,0) x[84] = 254
109.80/84.02	c (2,0) x[85] = 208
109.80/84.02	c (2,0) x[86] = 251
109.80/84.02	c (2,0) x[87] = 49
109.80/84.02	c (2,0) x[88] = 88
109.80/84.02	c (2,0) x[89] = 130
109.80/84.02	c (2,0) x[90] = 245
109.80/84.02	c (2,0) x[91] = 39
109.80/84.02	c (2,0) x[92] = 96
109.80/84.02	c (2,0) x[93] = 225
109.80/84.02	c (2,0) x[94] = 244
109.80/84.02	c (2,0) x[95] = 5
109.80/84.02	c (2,0) x[96] = 41
109.80/84.02	c (2,0) x[97] = 191
109.80/84.02	c (2,0) x[98] = 70
109.80/84.02	c (2,0) x[99] = 135
109.80/84.02	c (2,0) x[100] = 145
109.80/84.02	c (2,0) x[101] = 45
109.80/84.02	s SATISFIABLE
109.80/84.02	v <instantiation>
109.80/84.02	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101]</list>
109.80/84.02	v     <values>0 58 62 81 140 169 234 22 101 155 166 176 198 3 38 83 159 189 9 66 91 126 173 243 48 182 27 164 211 7 25 50 55 153 185 197 224 249 33 118 171 172 51 218 72 100 184 108 209 40 67 34 111 144 188 214 115 136 220 2 125 196 93 248 8 221 46 138 32 74 86 112 147 75 219 80 139 6 54 94 161 228 238 215 254 208 251 49 88 130 245 39 96 225 244 5 41 191 70 135 145 45</values>
109.80/84.02	v </instantiation>
109.80/84.02	c (2,0) Show results End
109.80/84.02	c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
109.80/84.02	c (2,0) 1,2,STOP-AFTER(ALL)
109.80/84.02	c END-Prog: Thu Sep 12 14:54:02 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 (9348 MiB free)
  memory of node 1: 16384 MiB (11597 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387978-1568292798/watcher-4387978-1568292798 -o /tmp/evaluation-result-4387978-1568292798/solver-4387978-1568292798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387978-1568292798.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=12070, runsolver pid=12067

[startup+0.100093 s]*
/proc/loadavg: 2.14 2.18 2.11 3/234 12087
/proc/meminfo: memFree=21390224/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405218267 115843072 349 33554432000 4194304 5098028 140727283558464 140727283555720 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 349 296 221 0 87 0
[pid=12073] ppid=12070 vsize=15012696 memory=71676 CPUtime=0.12 cores=1,3,5,7
/proc/12073/stat : 12073 (java) S 12070 12070 9001 0 -1 1077944320 7180 0 0 0 10 2 0 0 20 0 15 0 405218267 15373000704 17919 33554432000 4194304 4196468 140727230047216 140727230029760 140014086397687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
/proc/12073/statm: 3753174 17919 2920 1 0 3715579 0
[pid=12073/tid=12074] ppid=12070 vsize=15012696 memory=-6077181931080171463 CPUtime=0.09 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (java) R 12070 12070 9001 0 -1 4202560 4935 0 0 0 8 1 0 0 20 0 15 0 405218267 15373000704 17919 33554432000 4194304 4196468 140727230047216 140014058188792 140014086419613 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12075] ppid=12070 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 17919 33554432000 4194304 4196468 140727230047216 140014090640400 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12076] ppid=12070 vsize=15012696 memory=139899283498624 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013921889424 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12077] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12077/stat : 12077 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013546265360 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12078] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12078/stat : 12078 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013545212816 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12079] ppid=12070 vsize=15012696 memory=139899283498624 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12079/stat : 12079 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218270 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013147920624 140014086408834 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12080] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12080/stat : 12080 (java) S 12070 12070 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218271 15373000704 17919 33554432000 4194304 4196468 140727230047216 140012645508256 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12081] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12081/stat : 12081 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218271 15373000704 17919 33554432000 4194304 4196468 140727230047216 140012377072368 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12082] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12082/stat : 12082 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 17919 33554432000 4194304 4196468 140727230047216 140012002564048 140014086416283 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12083] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12083/stat : 12083 (java) S 12070 12070 9001 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013146868464 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12084] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12084/stat : 12084 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013145815920 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12085] ppid=12070 vsize=15012696 memory=139899283498624 CPUtime=0.01 cores=1,3,5,7
/proc/12073/task/12085/stat : 12085 (java) R 12070 12070 9001 0 -1 4202560 479 0 0 0 1 0 0 0 20 0 15 0 405218273 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013144759800 140014065200911 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12086] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12086/stat : 12086 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218274 15373000704 17919 33554432000 4194304 4196468 140727230047216 140011504659296 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12087] ppid=12070 vsize=15012696 memory=139899283498624 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12087/stat : 12087 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218274 15373000704 17919 33554432000 4194304 4196468 140727230047216 140013143710256 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73072 KiB

[startup+0.210874 s]*
/proc/loadavg: 2.14 2.18 2.11 3/234 12087
/proc/meminfo: memFree=21371468/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405218267 115843072 349 33554432000 4194304 5098028 140727283558464 140727283555720 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 349 296 221 0 87 0
[pid=12073] ppid=12070 vsize=15012696 memory=86472 CPUtime=0.26 cores=1,3,5,7
/proc/12073/stat : 12073 (java) S 12070 12070 9001 0 -1 1077944320 12243 0 0 0 22 4 0 0 20 0 15 0 405218267 15373000704 21618 33554432000 4194304 4196468 140727230047216 140727230029760 140014086397687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
/proc/12073/statm: 3753174 21618 2923 1 0 3715579 0
[pid=12073/tid=12074] ppid=12070 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (java) R 12070 12070 9001 0 -1 4202560 9911 0 0 0 17 3 0 0 20 0 15 0 405218267 15373000704 21618 33554432000 4194304 4196468 140727230047216 140014058212928 140014086419613 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12075] ppid=12070 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 21618 33554432000 4194304 4196468 140727230047216 140014090640400 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12076] ppid=12070 vsize=15012696 memory=139899283510270 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013921889424 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12077] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12077/stat : 12077 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013546265360 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12078] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12078/stat : 12078 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013545212816 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12079] ppid=12070 vsize=15012696 memory=139899283498624 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12079/stat : 12079 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218270 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013147920624 140014086408834 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12080] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12080/stat : 12080 (java) S 12070 12070 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218271 15373000704 21618 33554432000 4194304 4196468 140727230047216 140012645508256 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12081] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12081/stat : 12081 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218271 15373000704 21618 33554432000 4194304 4196468 140727230047216 140012377072368 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12082] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12082/stat : 12082 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 21618 33554432000 4194304 4196468 140727230047216 140012002564048 140014086416283 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12083] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12083/stat : 12083 (java) S 12070 12070 9001 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013146868464 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12084] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12084/stat : 12084 (java) S 12070 12070 9001 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013145815920 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12085] ppid=12070 vsize=15012696 memory=139899283498624 CPUtime=0.03 cores=1,3,5,7
/proc/12073/task/12085/stat : 12085 (java) S 12070 12070 9001 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 405218273 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013144762864 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12086] ppid=12070 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12086/stat : 12086 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218274 15373000704 21618 33554432000 4194304 4196468 140727230047216 140011504659296 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12087] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12087/stat : 12087 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218274 15373000704 21618 33554432000 4194304 4196468 140727230047216 140013143710256 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87868 KiB

[startup+0.314053 s]*
/proc/loadavg: 2.14 2.18 2.11 3/234 12087
/proc/meminfo: memFree=21368428/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405218267 115843072 349 33554432000 4194304 5098028 140727283558464 140727283555720 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 349 296 221 0 87 0
[pid=12073] ppid=12070 vsize=15012696 memory=90972 CPUtime=0.43 cores=1,3,5,7
/proc/12073/stat : 12073 (java) S 12070 12070 9001 0 -1 1077944320 13290 0 0 0 39 4 0 0 20 0 15 0 405218267 15373000704 22743 33554432000 4194304 4196468 140727230047216 140727230029760 140014086397687 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
/proc/12073/statm: 3753174 22743 3056 1 0 3715579 0
[pid=12073/tid=12074] ppid=12070 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (java) R 12070 12070 9001 0 -1 4202560 10677 0 0 0 27 3 0 0 20 0 15 0 405218267 15373000704 22743 33554432000 4194304 4196468 140727230047216 140014058180704 140014067961216 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12075] ppid=12070 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 22743 33554432000 4194304 4196468 140727230047216 140014090640400 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12076] ppid=12070 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013921889424 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12077] ppid=12070 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12077/stat : 12077 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013546265360 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12078] ppid=12070 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12078/stat : 12078 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013545212816 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12079] ppid=12070 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12079/stat : 12079 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218270 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013147920624 140014086408834 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12080] ppid=12070 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12080/stat : 12080 (java) S 12070 12070 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218271 15373000704 22743 33554432000 4194304 4196468 140727230047216 140012645508256 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12081] ppid=12070 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12081/stat : 12081 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218271 15373000704 22743 33554432000 4194304 4196468 140727230047216 140012377072368 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12082] ppid=12070 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12082/stat : 12082 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218273 15373000704 22743 33554432000 4194304 4196468 140727230047216 140012002564048 140014086416283 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12083] ppid=12070 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12073/task/12083/stat : 12083 (java) S 12070 12070 9001 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 405218273 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013146868464 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12084] ppid=12070 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12073/task/12084/stat : 12084 (java) S 12070 12070 9001 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 15 0 405218273 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013145815920 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12085] ppid=12070 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12073/task/12085/stat : 12085 (java) S 12070 12070 9001 0 -1 1077944384 624 0 0 0 7 0 0 0 20 0 15 0 405218273 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013144762864 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12086] ppid=12070 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12086/stat : 12086 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218274 15373000704 22743 33554432000 4194304 4196468 140727230047216 140011504659296 140014086407893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12087] ppid=12070 vsize=15012696 memory=3546642101128148016 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12087/stat : 12087 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218274 15373000704 22743 33554432000 4194304 4196468 140727230047216 140013143710256 140014086408834 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92368 KiB

[startup+0.700718 s]
/proc/loadavg: 2.14 2.18 2.11 3/234 12087
/proc/meminfo: memFree=21347084/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405218267 115843072 349 33554432000 4194304 5098028 140727283558464 140727283555720 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 349 296 221 0 87 0
[pid=12073] ppid=12070 vsize=15021092 memory=129424 CPUtime=1 cores=1,3,5,7
/proc/12073/stat : 12073 (java) S 12070 12070 9001 0 -1 1077944320 20647 0 0 0 93 7 0 0 20 0 15 0 405218267 15381598208 32356 33554432000 4194304 4196468 140727230047216 140727230029760 140014086397687 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
/proc/12073/statm: 3755273 32356 3201 1 0 3716603 0
[pid=12073/tid=12074] ppid=12070 vsize=15021092 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (java) R 12070 12070 9001 0 -1 4202560 17400 0 0 0 62 6 0 0 20 0 15 0 405218267 15381598208 32356 33554432000 4194304 4196468 140727230047216 140014058226048 140014086419613 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12075] ppid=12070 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15381598208 32356 33554432000 4194304 4196468 140727230047216 140014090640400 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12076] ppid=12070 vsize=15021092 memory=2129119 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405218269 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013921889424 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12077] ppid=12070 vsize=15021092 memory=2141618 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12077/stat : 12077 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013546265360 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12078] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12078/stat : 12078 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218269 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013545212816 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12079] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12079/stat : 12079 (java) S 12070 12070 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405218270 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013147920624 140014086408834 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12080] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12080/stat : 12080 (java) S 12070 12070 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405218271 15381598208 32356 33554432000 4194304 4196468 140727230047216 140012645508256 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12081] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12081/stat : 12081 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218271 15381598208 32356 33554432000 4194304 4196468 140727230047216 140012377072368 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12082] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12082/stat : 12082 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218273 15381598208 32356 33554432000 4194304 4196468 140727230047216 140012002564048 140014086416283 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12083] ppid=12070 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12073/task/12083/stat : 12083 (java) S 12070 12070 9001 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 405218273 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013146868464 140014086408834 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12084] ppid=12070 vsize=15021092 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/12073/task/12084/stat : 12084 (java) S 12070 12070 9001 0 -1 1077944384 371 0 0 0 6 0 0 0 20 0 15 0 405218273 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013145815920 140014086408834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12085] ppid=12070 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/12073/task/12085/stat : 12085 (java) S 12070 12070 9001 0 -1 1077944384 829 0 0 0 15 0 0 0 20 0 15 0 405218273 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013144762864 140014086408834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12086] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12086/stat : 12086 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405218274 15381598208 32356 33554432000 4194304 4196468 140727230047216 140011504659296 140014086407893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
[pid=12073/tid=12087] ppid=12070 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12087/stat : 12087 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405218274 15381598208 32356 33554432000 4194304 4196468 140727230047216 140013143710256 140014086408834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32825344 140727230055209 140727230055578 140727230055578 140727230058447 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 130820 KiB

[startup+1.5008 s]
/proc/loadavg: 2.14 2.18 2.11 4/234 12087
/proc/meminfo: memFree=21317660/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405218267 115843072 349 33554432000 4194304 5098028 140727283558464 140727283555720 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 349 296 221 0 87 0

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


[startup+81.6007 s]
/proc/loadavg: 2.43 2.23 2.14 3/234 12093
/proc/meminfo: memFree=16661936/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405218267 115843072 349 33554432000 4194304 5098028 140727283558464 140727283555720 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 349 296 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1396 KiB

[startup+83.201 s]
/proc/loadavg: 2.39 2.23 2.13 3/239 12114
/proc/meminfo: memFree=21102120/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1476 CPUtime=106.13 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 582 70662 0 0 0 0 10337 276 20 0 1 0 405218267 115843072 369 33554432000 4194304 5098028 140727283558464 140727283555208 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 369 311 221 0 87 0
[pid=12094] ppid=12070 vsize=8068440 memory=117876 CPUtime=1.19 cores=1,3,5,7
/proc/12094/stat : 12094 (java) S 12070 12070 9001 0 -1 1077944320 20440 0 0 0 113 6 0 0 20 0 19 0 405226427 8262082560 29469 33554432000 4194304 4196468 140726530914736 140726530897280 139886103781111 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
/proc/12094/statm: 2017110 29469 3209 1 0 1978454 0
[pid=12109] ppid=12094 vsize=277192 memory=220348 CPUtime=0.85 cores=1,3,5,7
/proc/12109/stat : 12109 (cryptominisat5) R 12094 12070 9001 0 -1 4202496 36942 0 0 0 77 8 0 0 20 0 1 0 405226501 283844608 55087 33554432000 4194304 4451008 140734963851904 140734963846984 4349736 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 13361152 140734963860412 140734963860544 140734963860544 140734963863494 0
/proc/12109/statm: 69298 55087 614 63 0 63025 0
[pid=12094/tid=12095] ppid=12070 vsize=8068440 memory=4451520 CPUtime=0.76 cores=1,3,5,7
/proc/12094/task/12095/stat : 12095 (java) S 12070 12070 9001 0 -1 1077944384 17396 0 0 0 71 5 0 0 20 0 19 0 405226427 8262082560 29469 33554432000 4194304 4196468 140726530914736 139886075621280 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12096] ppid=12070 vsize=8068440 memory=4451408 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12096/stat : 12096 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139886108023184 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12097] ppid=12070 vsize=8068440 memory=279798329346016 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12097/stat : 12097 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885908191504 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12098] ppid=12070 vsize=8068440 memory=8039887049847964843 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12098/stat : 12098 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885907139216 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12099] ppid=12070 vsize=8068440 memory=4619596 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12099/stat : 12099 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885906086416 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12100] ppid=12070 vsize=8068440 memory=612 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12100/stat : 12100 (java) S 12070 12070 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405226430 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885549677168 139886103792258 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12101] ppid=12070 vsize=8068440 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12101/stat : 12101 (java) S 12070 12070 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405226431 8262082560 29469 33554432000 4194304 4196468 140726530914736 139884937340192 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12102] ppid=12070 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12102/stat : 12102 (java) S 12070 12070 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405226431 8262082560 29469 33554432000 4194304 4196468 140726530914736 139884803118704 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12103] ppid=12070 vsize=8068440 memory=4619620 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12103/stat : 12103 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139884428614224 139886103799707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12104] ppid=12070 vsize=8068440 memory=1412 CPUtime=0.1 cores=1,3,5,7
/proc/12094/task/12104/stat : 12104 (java) S 12070 12070 9001 0 -1 1077944384 608 0 0 0 10 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885548623984 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12105] ppid=12070 vsize=8068440 memory=3480 CPUtime=0.08 cores=1,3,5,7
/proc/12094/task/12105/stat : 12105 (java) S 12070 12070 9001 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885547571184 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12106] ppid=12070 vsize=8068440 memory=1476 CPUtime=0.21 cores=1,3,5,7
/proc/12094/task/12106/stat : 12106 (java) S 12070 12070 9001 0 -1 1077944384 587 0 0 0 21 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885546518896 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12107] ppid=12070 vsize=8068440 memory=120804 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12107/stat : 12107 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883930708448 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12108] ppid=12070 vsize=8068440 memory=132464 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12108/stat : 12108 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885545466800 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12110] ppid=12070 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12110/stat : 12110 (java) S 12070 12070 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405226501 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885542278592 139886103805721 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12112] ppid=12070 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12112/stat : 12112 (java) S 12070 12070 9001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405226502 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883393826832 139886103803037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12113] ppid=12070 vsize=8068440 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12113/stat : 12113 (java) S 12070 12070 9001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405226502 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883125390736 139886103803037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12114] ppid=12070 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12114/stat : 12114 (java) S 12070 12070 9001 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405226505 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883662269360 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
Current children cumulated CPU time: 108.17 s
Current children cumulated vsize: 8458760 KiB
Current children cumulated memory: 339700 KiB

[startup+83.601 s]
/proc/loadavg: 2.39 2.23 2.13 3/239 12114
/proc/meminfo: memFree=21102120/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1476 CPUtime=106.13 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 582 70662 0 0 0 0 10337 276 20 0 1 0 405218267 115843072 369 33554432000 4194304 5098028 140727283558464 140727283555208 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 369 311 221 0 87 0
[pid=12094] ppid=12070 vsize=8068440 memory=117876 CPUtime=1.19 cores=1,3,5,7
/proc/12094/stat : 12094 (java) S 12070 12070 9001 0 -1 1077944320 20442 0 0 0 113 6 0 0 20 0 19 0 405226427 8262082560 29469 33554432000 4194304 4196468 140726530914736 140726530897280 139886103781111 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
/proc/12094/statm: 2017110 29469 3209 1 0 1978454 0
[pid=12109] ppid=12094 vsize=396324 memory=317924 CPUtime=1.25 cores=1,3,5,7
/proc/12109/stat : 12109 (cryptominisat5) R 12094 12070 9001 0 -1 4202496 53388 0 0 0 115 10 0 0 20 0 1 0 405226501 405835776 79481 33554432000 4194304 4451008 140734963851904 140734963847240 140584056316628 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 13361152 140734963860412 140734963860544 140734963860544 140734963863494 0
/proc/12109/statm: 99081 79481 629 63 0 92808 0
[pid=12094/tid=12095] ppid=12070 vsize=8068440 memory=10613 CPUtime=0.76 cores=1,3,5,7
/proc/12094/task/12095/stat : 12095 (java) S 12070 12070 9001 0 -1 1077944384 17396 0 0 0 71 5 0 0 20 0 19 0 405226427 8262082560 29469 33554432000 4194304 4196468 140726530914736 139886075621280 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12096] ppid=12070 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12096/stat : 12096 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139886108023184 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12097] ppid=12070 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12097/stat : 12097 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885908191504 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12098] ppid=12070 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12098/stat : 12098 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885907139216 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12099] ppid=12070 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12099/stat : 12099 (java) S 12070 12070 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405226429 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885906086416 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12100] ppid=12070 vsize=8068440 memory=864 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12100/stat : 12100 (java) S 12070 12070 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405226430 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885549677168 139886103792258 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12101] ppid=12070 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12101/stat : 12101 (java) S 12070 12070 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405226431 8262082560 29469 33554432000 4194304 4196468 140726530914736 139884937340192 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12102] ppid=12070 vsize=8068440 memory=1652 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12102/stat : 12102 (java) S 12070 12070 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405226431 8262082560 29469 33554432000 4194304 4196468 140726530914736 139884803118704 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12103] ppid=12070 vsize=8068440 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12103/stat : 12103 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139884428614224 139886103799707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12104] ppid=12070 vsize=8068440 memory=2540 CPUtime=0.1 cores=1,3,5,7
/proc/12094/task/12104/stat : 12104 (java) S 12070 12070 9001 0 -1 1077944384 608 0 0 0 10 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885548623984 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12105] ppid=12070 vsize=8068440 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/12094/task/12105/stat : 12105 (java) S 12070 12070 9001 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885547571184 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12106] ppid=12070 vsize=8068440 memory=111636 CPUtime=0.21 cores=1,3,5,7
/proc/12094/task/12106/stat : 12106 (java) S 12070 12070 9001 0 -1 1077944384 588 0 0 0 21 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885546518896 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12107] ppid=12070 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12107/stat : 12107 (java) S 12070 12070 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883930708448 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12108] ppid=12070 vsize=8068440 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12108/stat : 12108 (java) S 12070 12070 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405226434 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885545466800 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12110] ppid=12070 vsize=8068440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12110/stat : 12110 (java) S 12070 12070 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405226501 8262082560 29469 33554432000 4194304 4196468 140726530914736 139885542278592 139886103805721 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12112] ppid=12070 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12112/stat : 12112 (java) S 12070 12070 9001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405226502 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883393826832 139886103803037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12113] ppid=12070 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12113/stat : 12113 (java) S 12070 12070 9001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405226502 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883125390736 139886103803037 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12114] ppid=12070 vsize=8068440 memory=279798329284408 CPUtime=0 cores=1,3,5,7
/proc/12094/task/12114/stat : 12114 (java) S 12070 12070 9001 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405226505 8262082560 29469 33554432000 4194304 4196468 140726530914736 139883662269360 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
Current children cumulated CPU time: 108.57 s
Current children cumulated vsize: 8577892 KiB
Current children cumulated memory: 437276 KiB

[startup+84.0012 s]*
/proc/loadavg: 2.39 2.23 2.13 5/236 12114
/proc/meminfo: memFree=21223012/32770624 swapFree=66999124/67108860
[pid=12070] ppid=12067 vsize=113128 memory=1476 CPUtime=106.13 cores=1,3,5,7
/proc/12070/stat : 12070 (scop.sh) S 12067 12070 9001 0 -1 4202496 582 70662 0 0 0 0 10337 276 20 0 1 0 405218267 115843072 369 33554432000 4194304 5098028 140727283558464 140727283555208 140533632324220 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30654464 140727283561315 140727283561584 140727283561584 140727283564493 0
/proc/12070/statm: 28282 369 311 221 0 87 0
[pid=12094] ppid=12070 vsize=7937364 memory=166700 CPUtime=3.67 cores=1,3,5,7
/proc/12094/stat : 12094 (java) S 12070 12070 9001 0 -1 1077944320 22396 54824 0 0 223 8 125 11 20 0 17 0 405226427 8127860736 41675 33554432000 4194304 4196468 140726530914736 140726530897280 139886103781111 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
/proc/12094/statm: 1984341 41675 3234 1 0 1945685 0
[pid=12094/tid=12095] ppid=12070 vsize=7937364 memory=6791534058613427641 CPUtime=2.24 cores=1,3,5,7
/proc/12094/task/12095/stat : 12095 (java) R 12070 12070 9001 0 -1 4202560 17681 54824 0 0 83 5 125 11 20 0 17 0 405226427 8127860736 41675 33554432000 4194304 4196468 140726530914736 139886075619008 139886087824741 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12096] ppid=12070 vsize=7937364 memory=4872558044660077418 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12096/stat : 12096 (java) S 12070 12070 9001 0 -1 1077944384 1 54824 0 0 0 0 125 11 20 0 17 0 405226429 8127860736 41675 33554432000 4194304 4196468 140726530914736 139886108023184 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12097] ppid=12070 vsize=7937364 memory=3835483944026596975 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12097/stat : 12097 (java) S 12070 12070 9001 0 -1 1077944384 1 54824 0 0 0 0 125 11 20 0 17 0 405226429 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885908191504 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12098] ppid=12070 vsize=7937364 memory=3835483944026596975 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12098/stat : 12098 (java) S 12070 12070 9001 0 -1 1077944384 1 54824 0 0 0 0 125 11 20 0 17 0 405226429 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885907139216 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12099] ppid=12070 vsize=7937364 memory=-5821682757915808922 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12099/stat : 12099 (java) S 12070 12070 9001 0 -1 1077944384 2 54824 0 0 0 0 125 11 20 0 17 0 405226429 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885906086416 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12100] ppid=12070 vsize=7937364 memory=7738995490949256042 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12100/stat : 12100 (java) S 12070 12070 9001 0 -1 1077944384 5 54824 0 0 0 0 125 11 20 0 17 0 405226430 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885549677168 139886103792258 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12101] ppid=12070 vsize=7937364 memory=6081101289678267497 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12101/stat : 12101 (java) S 12070 12070 9001 0 -1 1077944384 13 54824 0 0 0 0 125 11 20 0 17 0 405226431 8127860736 41675 33554432000 4194304 4196468 140726530914736 139884937340192 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12102] ppid=12070 vsize=7937364 memory=7307487741731366228 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12102/stat : 12102 (java) S 12070 12070 9001 0 -1 1077944384 21 54824 0 0 0 0 125 11 20 0 17 0 405226431 8127860736 41675 33554432000 4194304 4196468 140726530914736 139884803118704 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12103] ppid=12070 vsize=7937364 memory=4640204396461838434 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12103/stat : 12103 (java) S 12070 12070 9001 0 -1 1077944384 3 54824 0 0 0 0 125 11 20 0 17 0 405226434 8127860736 41675 33554432000 4194304 4196468 140726530914736 139884428614224 139886103799707 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12104] ppid=12070 vsize=7937364 memory=-4866523618376441967 CPUtime=1.78 cores=1,3,5,7
/proc/12094/task/12104/stat : 12104 (java) R 12070 12070 9001 0 -1 4202560 888 54824 0 0 42 0 125 11 20 0 17 0 405226434 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885548603248 139886083624719 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12105] ppid=12070 vsize=7937364 memory=0 CPUtime=1.76 cores=1,3,5,7
/proc/12094/task/12105/stat : 12105 (java) R 12070 12070 9001 0 -1 4202560 1389 54824 0 0 40 0 125 11 20 0 17 0 405226434 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885547557344 139886081914673 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12106] ppid=12070 vsize=7937364 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/12094/task/12106/stat : 12106 (java) R 12070 12070 9001 0 -1 1077944384 943 54824 0 0 35 0 125 11 20 0 17 0 405226434 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885546518896 139886103792258 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12107] ppid=12070 vsize=7937364 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12107/stat : 12107 (java) S 12070 12070 9001 0 -1 1077944384 3 54824 0 0 0 0 125 11 20 0 17 0 405226434 8127860736 41675 33554432000 4194304 4196468 140726530914736 139883930708448 139886103791317 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12108] ppid=12070 vsize=7937364 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12108/stat : 12108 (java) S 12070 12070 9001 0 -1 1077944384 1 54824 0 0 0 0 125 11 20 0 17 0 405226434 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885545466800 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12110] ppid=12070 vsize=7937364 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12110/stat : 12110 (java) S 12070 12070 9001 0 -1 1077944384 31 54824 0 0 0 0 125 11 20 0 17 0 405226501 8127860736 41675 33554432000 4194304 4196468 140726530914736 139885542277776 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
[pid=12094/tid=12114] ppid=12070 vsize=7937364 memory=734139722786418735 CPUtime=1.36 cores=1,3,5,7
/proc/12094/task/12114/stat : 12114 (java) S 12070 12070 9001 0 -1 1077944384 29 54824 0 0 0 0 125 11 20 0 17 0 405226505 8127860736 41675 33554432000 4194304 4196468 140726530914736 139883662271152 139886103792258 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33009664 140726530921467 140726530921626 140726530921626 140726530924495 0
Current children cumulated CPU time: 109.8 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 168176 KiB

Child status: 0
Real time (s): 84.0418
CPU time (s): 109.921
CPU user time (s): 106.94
CPU system time (s): 2.98167
CPU usage (%): 130.794
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4724400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.94
system time used= 2.98167
maximum resident set size= 4724288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 134936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9722
involuntary context switches= 422


# summary of solver processes directly reported to runsolver:
#   pid: 12070
#   total CPU time (s): 109.921
#   total CPU user time (s): 106.94
#   total CPU system time (s): 2.98167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.562307 second user time and 0.893901 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 14:52:38
IDJOB=4387978
IDBENCH=130927
IDSOLVER=2826
FILE ID=node140/4387978-1568292798
RUNJOBID= node140-1568286731-10042
PBS_JOBID= 21701069
Free space on /tmp= 55520 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4Dr4-m256-08.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-4387978-1568292798/watcher-4387978-1568292798 -o /tmp/evaluation-result-4387978-1568292798/solver-4387978-1568292798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387978-1568292798.xml

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

MD5SUM BENCH= 81c7a723557c708ecb18ed846030ca95
RANDOM SEED=1077882063

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21449380 kB
MemAvailable:   31620504 kB
Buffers:          125056 kB
Cached:         10256816 kB
SwapCached:         2896 kB
Active:          2071636 kB
Inactive:        8557928 kB
Active(anon):     244356 kB
Inactive(anon):    43924 kB
Active(file):    1827280 kB
Inactive(file):  8514004 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999124 kB
Dirty:             20764 kB
Writeback:           168 kB
AnonPages:        338896 kB
Mapped:            55400 kB
Shmem:             32100 kB
Slab:             287140 kB
SReclaimable:     258300 kB
SUnreclaim:        28840 kB
KernelStack:        3824 kB
PageTables:         5944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6112164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 55500 MiB
End job on node140 at 2019-09-12 14:54:02