Trace number 4387990

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 178.047 142.108

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-A-20.xml
MD5SUMc3d3968bb4d1a566be21f2b70665db2a
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.041556
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints563
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":180}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":11},{"degree":5,"count":27},{"degree":6,"count":64},{"degree":8,"count":42},{"degree":9,"count":25},{"degree":10,"count":10}]
Minimum constraint arity1
Maximum constraint arity180
Distribution of constraint arities[{"arity":1,"count":77},{"arity":2,"count":485},{"arity":180,"count":1}]
Number of extensional constraints562
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":562},{"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-21737-serial-file.bin HOME/instance-4387990-1568293017.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Thu Sep 12 14:56:17 CEST 2019
0.66/0.57	c PID: 21740
0.66/0.57	c IP: 172.20.3.134
0.66/0.57	c HOST: node134.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.71/1.08	c (0,0) Parsing End
1.71/1.08	c (0,0) CSP: 180 int (0 aux), 0 bool (0 aux), 563 ctr, max domain size 200
1.71/1.08	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.71/1.08	c (0,0) Constraint Name Generate Begin
1.71/1.09	c (0,0) Ctr:HOME/instance-4387990-1568293017.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.71/1.09	c (0,0) Constraint Name Generate End
1.71/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.71/1.09	c (0,0) CSP to CSPinCNF Begin
17.75/10.44	c (9,9) translated 57 (10%) constraints
25.21/17.81	c (17,17) translated 113 (20%) constraints
33.63/25.47	c (24,24) translated 169 (30%) constraints
42.60/33.31	c (32,31) translated 226 (40%) constraints
51.54/41.05	c (40,39) translated 282 (50%) constraints
61.09/48.96	c (48,46) translated 338 (60%) constraints
70.84/57.01	c (56,54) translated 395 (70%) constraints
81.96/65.34	c (64,61) translated 451 (80%) constraints
86.79/70.11	c (69,66) translated 507 (90%) constraints
86.79/70.13	c (69,66) translated 563 (100%) constraints
86.79/70.13	c (69,66) ===========================================
87.44/70.51	c (69,66) Hybrid: #OE=97180, #LE=0
87.44/70.51	c (69,66) Hybrid
87.44/70.51	c (69,66) ===========================================
92.74/73.65	c (73,69) translated 132181 (10%) constraints
95.29/76.17	c (75,72) translated 264362 (20%) constraints
97.79/78.68	c (78,74) translated 396543 (30%) constraints
101.88/81.60	c (81,77) translated 528724 (40%) constraints
104.49/84.11	c (83,79) translated 660905 (50%) constraints
106.98/86.62	c (86,82) translated 793086 (60%) constraints
109.50/89.13	c (88,84) translated 925267 (70%) constraints
113.96/92.13	c (91,87) translated 1057448 (80%) constraints
116.55/94.73	c (94,89) translated 1189629 (90%) constraints
119.21/97.34	c (96,92) translated 1321810 (100%) constraints
119.21/97.34	c (96,92) CSP to CSPinCNF End
119.21/97.39	c (96,92) CSP: 180 int (0 aux), 97000 bool (97000 aux), 1321810 ctr, max domain size 200
119.21/97.39	c (96,92) Heap : 2945 MiB used (max 10618 MiB), NonHeap : 29 MiB used (max 0 MiB)
119.21/97.39	c (96,92) CSPinCNF Propagation Begin
136.28/108.18	c (107,101) 5705 values, 397423 unsatisfiable literals, and 359277 valid clauses are removed
136.28/108.18	c (107,101) CSPinCNF Propagation End
136.38/108.22	c (107,101) CSP: 180 int (0 aux), 97000 bool (97000 aux), 962533 ctr, max domain size 200
136.38/108.22	c (107,101) Heap : 2172 MiB used (max 10645 MiB), NonHeap : 29 MiB used (max 0 MiB)
136.76/108.53	c (107,101) Hybrid: #OE=97180, #LE=0
136.76/108.53	c (107,101) Simplify CSPinCNF Begin
139.17/110.30	c (109,103) Simplify CSPinCNF End
139.17/110.35	c (109,103) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
139.17/110.35	c (109,103) Heap : 3383 MiB used (max 10645 MiB), NonHeap : 30 MiB used (max 0 MiB)
139.17/110.35	c (109,103) Calculate Precise Domain Begin
139.17/110.35	c (109,103) 0 values are removed by re-calculation
139.17/110.35	c (109,103) Calculate Precise Domain End
139.27/110.40	c (109,103) CSP: 180 int (0 aux), 129220 bool (129220 aux), 994753 ctr, max domain size 200
139.27/110.40	c (109,103) Heap : 3383 MiB used (max 10645 MiB), NonHeap : 30 MiB used (max 0 MiB)
139.27/110.40	c (109,103) CSPinCNF to SatSolver Begin
162.10/129.03	c (128,121) 99476 (10 %) CSP clauses are encoded (0 SAT variables, 3895957 SAT clauses)
163.16/130.04	c (129,122) 198951 (20 %) CSP clauses are encoded (0 SAT variables, 3995432 SAT clauses)
164.16/131.04	c (130,123) 298426 (30 %) CSP clauses are encoded (0 SAT variables, 4094907 SAT clauses)
165.17/132.04	c (131,124) 397902 (40 %) CSP clauses are encoded (0 SAT variables, 4194383 SAT clauses)
166.64/133.17	c (132,125) 497377 (50 %) CSP clauses are encoded (0 SAT variables, 4293858 SAT clauses)
167.64/134.17	c (133,126) 596852 (60 %) CSP clauses are encoded (0 SAT variables, 4393333 SAT clauses)
168.65/135.17	c (134,127) 696328 (70 %) CSP clauses are encoded (0 SAT variables, 4492809 SAT clauses)
170.59/136.42	c (135,128) 795803 (80 %) CSP clauses are encoded (0 SAT variables, 4592284 SAT clauses)
171.59/137.43	c (136,129) 895278 (90 %) CSP clauses are encoded (0 SAT variables, 4691759 SAT clauses)
172.58/138.46	c (137,130) 994753 (100 %) CSP clauses are encoded (0 SAT variables, 4791234 SAT clauses)
172.58/138.46	c (137,130) CSPinCNF to SatSolver End
172.58/138.46	c (137,130) Heap : 3748 MiB used (max 10699 MiB), NonHeap : 32 MiB used (max 0 MiB)
172.58/138.46	c (137,130) 150378 bool, 4791235 clause
172.58/138.46	c (137,130) Export Begin
172.71/138.56	c (138,130) Export to HOME/scop-21737-serial-file.bin
172.71/138.56	c (138,130) Export End
172.71/138.56	c (138,130) Export File Size: 0.04 MB
172.71/138.56	c (138,130) 0,0,96,107,109,109,137,STOP-AFTER(DIMACS)
172.71/138.56	c END-Prog: Thu Sep 12 14:58:35 CEST 2019
172.71/138.59	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21737-serial-file.bin
173.43/139.05	c (0,0) Read Serial File Begin
173.43/139.05	c (0,0) HOME/scop-21737-serial-file.bin
173.69/139.28	c (0,0) Read Serial File End
173.69/139.29	
173.69/139.29	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
173.69/139.29	(Solving Process)
173.69/139.29	
173.87/139.31	c BEGIN-Prog: Thu Sep 12 14:58:35 CEST 2019
173.87/139.31	c PID: 21769
173.87/139.31	c IP: 172.20.3.134
173.87/139.31	c HOST: node134.alineos.net
173.87/139.32	c (0,0) SatSolver.solve Begin
173.87/139.32	c (0,0) HOME/cryptominisat5  HOME/instance-4387990-1568293017.xml-scop-21740.cnf
173.87/139.35	c (0,0) c Outputting solution to console
173.87/139.35	c (0,0) c CryptoMiniSat version 5.6.8
173.87/139.35	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
173.87/139.35	c (0,0) c CMS SHA revision GIT-notfound
173.87/139.35	c (0,0) c CMS is MIT licensed
173.87/139.35	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
173.87/139.35	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
173.87/139.35	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387990-1568293017.xml-scop-21740.cnf
173.87/139.35	c (0,0) c Reading file 'HOME/instance-4387990-1568293017.xml-scop-21740.cnf'
173.87/139.35	c (0,0) c -- header says num vars:         150378
173.87/139.35	c (0,0) c -- header says num clauses:     4791235
175.77/141.06	c (2,0) c -- clauses added: 4791235
175.77/141.06	c (2,0) c -- xor clauses added: 0
175.77/141.06	c (2,0) c -- vars added 150378
175.77/141.06	c (2,0) c Parsing time: 1.56 s
176.25/141.55	c (2,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
176.25/141.55	c (2,0) c ------- FINAL TOTAL SEARCH STATS ---------
176.25/141.55	c (2,0) c UIP search time          : 0.44        (22.06     % time)
176.25/141.55	c (2,0) c restarts                 : 1           (84.00     confls per restart)
176.25/141.55	c (2,0) c blocked restarts         : 0           (0.00      per normal restart)
176.25/141.55	c (2,0) c time                     : 0.44        
176.25/141.55	c (2,0) c decisions                : 307         (0.00      % random)
176.25/141.55	c (2,0) c propagations             : 351085      
176.25/141.55	c (2,0) c decisions/conflicts      : 3.65        
176.25/141.55	c (2,0) c conflicts                : 84          (189.23    / sec)
176.25/141.55	c (2,0) c conf lits non-minim      : 1578        (18.79     lit/confl)
176.25/141.55	c (2,0) c conf lits final          : 13.74       
176.25/141.55	c (2,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
176.25/141.55	c (2,0) c red which0               : 39          (46.43     % of confl)
176.25/141.55	c (2,0) c props/decision           : 0.00        
176.25/141.55	c (2,0) c props/conflict           : 0.00        
176.25/141.56	c (2,0) c 0-depth assigns          : 158         (0.11      % vars)
176.25/141.56	c (2,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
176.25/141.56	c (2,0) c reduceDB time            : 0.00        (0.00      % time)
176.25/141.56	c (2,0) c OccSimplifier time       : 0.00        (0.00      % time)
176.25/141.56	c (2,0) c [occur] 0.00 is overhead
176.25/141.56	c (2,0) c [occur] link-in T: 0.00 cleanup T: 0.00
176.25/141.56	c (2,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
176.25/141.56	c (2,0) c SCC time                 : 0.00        (0.00      % time)
176.25/141.56	c (2,0) c [scc] new: 0 BP 0M  T: 0.00
176.25/141.56	c (2,0) c vrep replace time        : 0.00        (0.00      % time)
176.25/141.56	c (2,0) c vrep tree roots          : 0           
176.25/141.56	c (2,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
176.25/141.56	c (2,0) c distill time             : 0.00        (0.00      % time)
176.25/141.56	c (2,0) c strength cache-irred time: 0.00        (0.00      % time)
176.25/141.56	c (2,0) c strength cache-red time  : 0.00        (0.00      % time)
176.25/141.56	c (2,0) c Conflicts in UIP         : 84          (41.75     confl/time_this_thread)
176.25/141.56	c (2,0) c Mem used                 : 470.99      MB
176.25/141.56	c (2,0) c Total time (this thread) : 2.01        
176.25/141.56	c (2,0) s SATISFIABLE
177.42/141.93	c (2,0) SatSolver.solve End
177.42/141.93	c (2,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
177.42/141.93	c (2,0) Show results Begin
177.77/142.07	c (3,0) x[0] = 136
177.77/142.07	c (3,0) x[1] = 138
177.77/142.07	c (3,0) x[2] = 168
177.77/142.07	c (3,0) x[3] = 182
177.77/142.07	c (3,0) x[4] = 2
177.77/142.07	c (3,0) x[5] = 167
177.77/142.07	c (3,0) x[6] = 173
177.77/142.07	c (3,0) x[7] = 171
177.77/142.07	c (3,0) x[8] = 97
177.77/142.07	c (3,0) x[9] = 3
177.77/142.07	c (3,0) x[10] = 11
177.77/142.07	c (3,0) x[11] = 128
177.77/142.07	c (3,0) x[12] = 148
177.77/142.07	c (3,0) x[13] = 186
177.77/142.07	c (3,0) x[14] = 21
177.77/142.07	c (3,0) x[15] = 131
177.77/142.07	c (3,0) x[16] = 135
177.77/142.07	c (3,0) x[17] = 71
177.77/142.07	c (3,0) x[18] = 98
177.77/142.07	c (3,0) x[19] = 35
177.77/142.07	c (3,0) x[20] = 1
177.77/142.07	c (3,0) x[21] = 73
177.77/142.07	c (3,0) x[22] = 81
177.77/142.07	c (3,0) x[23] = 31
177.77/142.07	c (3,0) x[24] = 157
177.77/142.07	c (3,0) x[25] = 20
177.77/142.07	c (3,0) x[26] = 80
177.77/142.07	c (3,0) x[27] = 91
177.77/142.07	c (3,0) x[28] = 188
177.77/142.07	c (3,0) x[29] = 33
177.77/142.07	c (3,0) x[30] = 107
177.77/142.07	c (3,0) x[31] = 30
177.77/142.07	c (3,0) x[32] = 114
177.77/142.07	c (3,0) x[33] = 77
177.77/142.07	c (3,0) x[34] = 105
177.77/142.07	c (3,0) x[35] = 122
177.77/142.08	c (3,0) x[36] = 121
177.77/142.08	c (3,0) x[37] = 115
177.77/142.08	c (3,0) x[38] = 103
177.77/142.08	c (3,0) x[39] = 193
177.77/142.08	c (3,0) x[40] = 65
177.77/142.08	c (3,0) x[41] = 43
177.77/142.08	c (3,0) x[42] = 67
177.77/142.08	c (3,0) x[43] = 28
177.77/142.08	c (3,0) x[44] = 143
177.77/142.08	c (3,0) x[45] = 17
177.77/142.08	c (3,0) x[46] = 124
177.77/142.08	c (3,0) x[47] = 96
177.77/142.08	c (3,0) x[48] = 118
177.77/142.08	c (3,0) x[49] = 176
177.77/142.08	c (3,0) x[50] = 32
177.77/142.08	c (3,0) x[51] = 66
177.77/142.08	c (3,0) x[52] = 190
177.77/142.08	c (3,0) x[53] = 16
177.77/142.08	c (3,0) x[54] = 111
177.77/142.08	c (3,0) x[55] = 25
177.77/142.08	c (3,0) x[56] = 146
177.77/142.08	c (3,0) x[57] = 184
177.77/142.08	c (3,0) x[58] = 93
177.77/142.08	c (3,0) x[59] = 116
177.77/142.08	c (3,0) x[60] = 22
177.77/142.08	c (3,0) x[61] = 191
177.77/142.08	c (3,0) x[62] = 44
177.77/142.08	c (3,0) x[63] = 76
177.77/142.08	c (3,0) x[64] = 159
177.77/142.08	c (3,0) x[65] = 88
177.77/142.08	c (3,0) x[66] = 123
177.77/142.08	c (3,0) x[67] = 140
177.77/142.08	c (3,0) x[68] = 166
177.77/142.08	c (3,0) x[69] = 53
177.77/142.08	c (3,0) x[70] = 109
177.77/142.08	c (3,0) x[71] = 192
177.77/142.08	c (3,0) x[72] = 180
177.77/142.08	c (3,0) x[73] = 175
177.77/142.08	c (3,0) x[74] = 189
177.77/142.08	c (3,0) x[75] = 110
177.77/142.08	c (3,0) x[76] = 12
177.77/142.08	c (3,0) x[77] = 54
177.77/142.08	c (3,0) x[78] = 155
177.77/142.08	c (3,0) x[79] = 160
177.77/142.08	c (3,0) x[80] = 137
177.77/142.08	c (3,0) x[81] = 130
177.77/142.08	c (3,0) x[82] = 104
177.77/142.08	c (3,0) x[83] = 75
177.77/142.08	c (3,0) x[84] = 90
177.77/142.08	c (3,0) x[85] = 45
177.77/142.08	c (3,0) x[86] = 181
177.77/142.08	c (3,0) x[87] = 165
177.77/142.08	c (3,0) x[88] = 153
177.77/142.08	c (3,0) x[89] = 64
177.77/142.08	c (3,0) x[90] = 82
177.77/142.08	c (3,0) x[91] = 47
177.77/142.08	c (3,0) x[92] = 84
177.77/142.08	c (3,0) x[93] = 24
177.77/142.08	c (3,0) x[94] = 142
177.77/142.08	c (3,0) x[95] = 87
177.77/142.08	c (3,0) x[96] = 198
177.77/142.08	c (3,0) x[97] = 29
177.77/142.08	c (3,0) x[98] = 179
177.77/142.08	c (3,0) x[99] = 26
177.77/142.08	c (3,0) x[100] = 117
177.77/142.08	c (3,0) x[101] = 174
177.77/142.08	c (3,0) x[102] = 37
177.77/142.08	c (3,0) x[103] = 100
177.77/142.08	c (3,0) x[104] = 41
177.77/142.08	c (3,0) x[105] = 52
177.77/142.08	c (3,0) x[106] = 183
177.77/142.08	c (3,0) x[107] = 5
177.77/142.08	c (3,0) x[108] = 152
177.77/142.08	c (3,0) x[109] = 154
177.77/142.08	c (3,0) x[110] = 120
177.77/142.08	c (3,0) x[111] = 127
177.77/142.08	c (3,0) x[112] = 134
177.77/142.08	c (3,0) x[113] = 145
177.77/142.08	c (3,0) x[114] = 108
177.77/142.08	c (3,0) x[115] = 63
177.77/142.08	c (3,0) x[116] = 14
177.77/142.08	c (3,0) x[117] = 19
177.77/142.08	c (3,0) x[118] = 58
177.77/142.08	c (3,0) x[119] = 62
177.77/142.08	c (3,0) x[120] = 7
177.77/142.08	c (3,0) x[121] = 59
177.77/142.08	c (3,0) x[122] = 196
177.77/142.08	c (3,0) x[123] = 18
177.77/142.08	c (3,0) x[124] = 86
177.77/142.08	c (3,0) x[125] = 119
177.77/142.08	c (3,0) x[126] = 27
177.77/142.08	c (3,0) x[127] = 94
177.77/142.08	c (3,0) x[128] = 38
177.77/142.08	c (3,0) x[129] = 92
177.77/142.08	c (3,0) x[130] = 57
177.77/142.08	c (3,0) x[131] = 36
177.77/142.08	c (3,0) x[132] = 113
177.77/142.08	c (3,0) x[133] = 89
177.77/142.08	c (3,0) x[134] = 101
177.77/142.08	c (3,0) x[135] = 23
177.77/142.08	c (3,0) x[136] = 150
177.77/142.08	c (3,0) x[137] = 83
177.77/142.08	c (3,0) x[138] = 56
177.77/142.08	c (3,0) x[139] = 132
177.77/142.08	c (3,0) x[140] = 151
177.77/142.08	c (3,0) x[141] = 195
177.77/142.08	c (3,0) x[142] = 60
177.77/142.08	c (3,0) x[143] = 39
177.77/142.08	c (3,0) x[144] = 161
177.77/142.08	c (3,0) x[145] = 162
177.77/142.08	c (3,0) x[146] = 126
177.77/142.08	c (3,0) x[147] = 106
177.77/142.08	c (3,0) x[148] = 185
177.77/142.08	c (3,0) x[149] = 4
177.77/142.08	c (3,0) x[150] = 149
177.77/142.08	c (3,0) x[151] = 61
177.77/142.08	c (3,0) x[152] = 194
177.77/142.08	c (3,0) x[153] = 187
177.77/142.08	c (3,0) x[154] = 9
177.77/142.08	c (3,0) x[155] = 141
177.77/142.08	c (3,0) x[156] = 133
177.77/142.08	c (3,0) x[157] = 50
177.77/142.08	c (3,0) x[158] = 15
177.77/142.08	c (3,0) x[159] = 177
177.77/142.08	c (3,0) x[160] = 112
177.77/142.08	c (3,0) x[161] = 8
177.77/142.08	c (3,0) x[162] = 70
177.77/142.08	c (3,0) x[163] = 69
177.77/142.08	c (3,0) x[164] = 169
177.77/142.08	c (3,0) x[165] = 85
177.77/142.08	c (3,0) x[166] = 6
177.77/142.08	c (3,0) x[167] = 55
177.77/142.08	c (3,0) x[168] = 78
177.77/142.08	c (3,0) x[169] = 51
177.77/142.08	c (3,0) x[170] = 40
177.77/142.08	c (3,0) x[171] = 34
177.77/142.08	c (3,0) x[172] = 139
177.77/142.08	c (3,0) x[173] = 95
177.77/142.08	c (3,0) x[174] = 199
177.77/142.08	c (3,0) x[175] = 48
177.77/142.08	c (3,0) x[176] = 163
177.77/142.08	c (3,0) x[177] = 178
177.77/142.08	c (3,0) x[178] = 144
177.77/142.08	c (3,0) x[179] = 125
177.77/142.08	s SATISFIABLE
177.77/142.09	v <instantiation>
177.77/142.09	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] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179]</list>
177.77/142.09	v     <values>136 138 168 182 2 167 173 171 97 3 11 128 148 186 21 131 135 71 98 35 1 73 81 31 157 20 80 91 188 33 107 30 114 77 105 122 121 115 103 193 65 43 67 28 143 17 124 96 118 176 32 66 190 16 111 25 146 184 93 116 22 191 44 76 159 88 123 140 166 53 109 192 180 175 189 110 12 54 155 160 137 130 104 75 90 45 181 165 153 64 82 47 84 24 142 87 198 29 179 26 117 174 37 100 41 52 183 5 152 154 120 127 134 145 108 63 14 19 58 62 7 59 196 18 86 119 27 94 38 92 57 36 113 89 101 23 150 83 56 132 151 195 60 39 161 162 126 106 185 4 149 61 194 187 9 141 133 50 15 177 112 8 70 69 169 85 6 55 78 51 40 34 139 95 199 48 163 178 144 125</values>
177.77/142.09	v </instantiation>
177.77/142.09	c (3,0) Show results End
177.77/142.09	c (3,0) Heap : 204 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
177.77/142.09	c (3,0) 2,3,STOP-AFTER(ALL)
177.77/142.09	c END-Prog: Thu Sep 12 14:58:38 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 (14565 MiB free)
  memory of node 1: 16384 MiB (14532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387990-1568293017/watcher-4387990-1568293017 -o /tmp/evaluation-result-4387990-1568293017/solver-4387990-1568293017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20801 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387990-1568293017.xml 

running on 4 cores: 0,2,4,6

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
solver pid=21737, runsolver pid=21734
Current StackSize limit: 8192 KiB


[startup+0.100176 s]*
/proc/loadavg: 2.01 2.05 2.39 3/237 21754
/proc/meminfo: memFree=29736888/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405552262 115843072 349 33554432000 4194304 5098028 140724243328480 140724243325736 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 349 296 221 0 87 0
[pid=21740] ppid=21737 vsize=15013720 memory=73636 CPUtime=0.12 cores=0,2,4,6
/proc/21740/stat : 21740 (java) S 21737 21737 20770 0 -1 1077944320 6629 0 0 0 10 2 0 0 20 0 15 0 405552262 15374049280 18409 33554432000 4194304 4196468 140729060052464 140729060035008 140259825118967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
/proc/21740/statm: 3753430 18409 2928 1 0 3715835 0
[pid=21740/tid=21741] ppid=21737 vsize=15014680 memory=-6581303614368956357 CPUtime=0.08 cores=0,2,4,6
/proc/21740/task/21741/stat : 21741 (java) R 21737 21737 20770 0 -1 4202560 4484 0 0 0 7 1 0 0 20 0 15 0 405552262 15375032320 18475 33554432000 4194304 4196468 140729060052464 140259796903216 140259817798685 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21742] ppid=21737 vsize=15014680 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21742/stat : 21742 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15375032320 18475 33554432000 4194304 4196468 140729060052464 140259829361296 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21743] ppid=21737 vsize=15014680 memory=140120735073920 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21743/stat : 21743 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552264 15375032320 18475 33554432000 4194304 4196468 140729060052464 140259620444688 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21744] ppid=21737 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21744/stat : 21744 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15375032320 18475 33554432000 4194304 4196468 140729060052464 140259619391888 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21745] ppid=21737 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21745/stat : 21745 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15375032320 18541 33554432000 4194304 4196468 140729060052464 140259618339088 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21746] ppid=21737 vsize=15014680 memory=140120735073920 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21746/stat : 21746 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552265 15375032320 18541 33554432000 4194304 4196468 140729060052464 140259164650352 140259825130114 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21747] ppid=21737 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21747/stat : 21747 (java) S 21737 21737 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552266 15375032320 18541 33554432000 4194304 4196468 140729060052464 140258431723040 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21748] ppid=21737 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21748/stat : 21748 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552266 15375032320 18541 33554432000 4194304 4196468 140729060052464 140258196841840 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21749] ppid=21737 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21749/stat : 21749 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552268 15375032320 18607 33554432000 4194304 4196468 140729060052464 140257822333264 140259825137563 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21750] ppid=21737 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21750/stat : 21750 (java) S 21737 21737 20770 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 405552268 15375032320 18607 33554432000 4194304 4196468 140729060052464 140259163597168 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21751] ppid=21737 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21751/stat : 21751 (java) S 21737 21737 20770 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 405552268 15375032320 18607 33554432000 4194304 4196468 140729060052464 140259162544368 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21752] ppid=21737 vsize=15014680 memory=140120735073920 CPUtime=0.01 cores=0,2,4,6
/proc/21740/task/21752/stat : 21752 (java) S 21737 21737 20770 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 405552268 15375032320 18673 33554432000 4194304 4196468 140729060052464 140259161491568 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21753] ppid=21737 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21753/stat : 21753 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552269 15375032320 18673 33554432000 4194304 4196468 140729060052464 140257324427488 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21754] ppid=21737 vsize=15014680 memory=140120735073920 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21754/stat : 21754 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552269 15375032320 18673 33554432000 4194304 4196468 140729060052464 140259160439984 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 75032 KiB

[startup+0.210944 s]*
/proc/loadavg: 2.01 2.05 2.39 3/237 21754
/proc/meminfo: memFree=29721428/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405552262 115843072 349 33554432000 4194304 5098028 140724243328480 140724243325736 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 349 296 221 0 87 0
[pid=21740] ppid=21737 vsize=15012696 memory=85524 CPUtime=0.26 cores=0,2,4,6
/proc/21740/stat : 21740 (java) S 21737 21737 20770 0 -1 1077944320 10955 0 0 0 22 4 0 0 20 0 15 0 405552262 15373000704 21381 33554432000 4194304 4196468 140729060052464 140729060035008 140259825118967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
/proc/21740/statm: 3753174 21381 2932 1 0 3715579 0
[pid=21740/tid=21741] ppid=21737 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/21740/task/21741/stat : 21741 (java) R 21737 21737 20770 0 -1 4202560 8659 0 0 0 17 3 0 0 20 0 15 0 405552262 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259796938208 140259825130902 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21742] ppid=21737 vsize=15012696 memory=398 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21742/stat : 21742 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259829361296 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21743] ppid=21737 vsize=15012696 memory=288370496886785664 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21743/stat : 21743 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259620444688 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21744] ppid=21737 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21744/stat : 21744 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259619391888 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21745] ppid=21737 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21745/stat : 21745 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259618339088 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21746] ppid=21737 vsize=15012696 memory=140120735073920 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21746/stat : 21746 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552265 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259164650352 140259825130114 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21747] ppid=21737 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21747/stat : 21747 (java) S 21737 21737 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552266 15373000704 21381 33554432000 4194304 4196468 140729060052464 140258431723040 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21748] ppid=21737 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21748/stat : 21748 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552266 15373000704 21381 33554432000 4194304 4196468 140729060052464 140258196841840 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21749] ppid=21737 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21749/stat : 21749 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552268 15373000704 21381 33554432000 4194304 4196468 140729060052464 140257822333264 140259825137563 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21750] ppid=21737 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21750/stat : 21750 (java) S 21737 21737 20770 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 405552268 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259163597168 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21751] ppid=21737 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21751/stat : 21751 (java) S 21737 21737 20770 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 405552268 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259162544368 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21752] ppid=21737 vsize=15012696 memory=140120735073920 CPUtime=0.03 cores=0,2,4,6
/proc/21740/task/21752/stat : 21752 (java) R 21737 21737 20770 0 -1 4202560 500 0 0 0 3 0 0 0 20 0 15 0 405552268 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259161491568 140259805458430 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21753] ppid=21737 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21753/stat : 21753 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552269 15373000704 21381 33554432000 4194304 4196468 140729060052464 140257324427488 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21754] ppid=21737 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21754/stat : 21754 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552269 15373000704 21381 33554432000 4194304 4196468 140729060052464 140259160439984 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86920 KiB

[startup+0.310776 s]*
/proc/loadavg: 2.01 2.05 2.39 3/237 21754
/proc/meminfo: memFree=29717520/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405552262 115843072 349 33554432000 4194304 5098028 140724243328480 140724243325736 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 349 296 221 0 87 0
[pid=21740] ppid=21737 vsize=15012696 memory=89900 CPUtime=0.44 cores=0,2,4,6
/proc/21740/stat : 21740 (java) S 21737 21737 20770 0 -1 1077944320 11519 0 0 0 40 4 0 0 20 0 15 0 405552262 15373000704 22475 33554432000 4194304 4196468 140729060052464 140729060035008 140259825118967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
/proc/21740/statm: 3753174 22475 3036 1 0 3715579 0
[pid=21740/tid=21741] ppid=21737 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21740/task/21741/stat : 21741 (java) R 21737 21737 20770 0 -1 4202560 9027 0 0 0 26 3 0 0 20 0 15 0 405552262 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259796934448 140259805394657 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21742] ppid=21737 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21742/stat : 21742 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259829361296 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21743] ppid=21737 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21743/stat : 21743 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259620444688 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21744] ppid=21737 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21744/stat : 21744 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259619391888 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21745] ppid=21737 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21745/stat : 21745 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259618339088 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21746] ppid=21737 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21746/stat : 21746 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552265 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259164650352 140259825130114 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21747] ppid=21737 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21747/stat : 21747 (java) S 21737 21737 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552266 15373000704 22475 33554432000 4194304 4196468 140729060052464 140258431723040 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21748] ppid=21737 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21748/stat : 21748 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552266 15373000704 22475 33554432000 4194304 4196468 140729060052464 140258196841840 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21749] ppid=21737 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21749/stat : 21749 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552268 15373000704 22475 33554432000 4194304 4196468 140729060052464 140257822333264 140259825137563 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21750] ppid=21737 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21740/task/21750/stat : 21750 (java) S 21737 21737 20770 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 405552268 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259163597168 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21751] ppid=21737 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21740/task/21751/stat : 21751 (java) S 21737 21737 20770 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 405552268 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259162544368 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21752] ppid=21737 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21740/task/21752/stat : 21752 (java) S 21737 21737 20770 0 -1 1077944384 544 0 0 0 7 0 0 0 20 0 15 0 405552268 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259161491568 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21753] ppid=21737 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21753/stat : 21753 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552269 15373000704 22475 33554432000 4194304 4196468 140729060052464 140257324427488 140259825129173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21754] ppid=21737 vsize=15012696 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21754/stat : 21754 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552269 15373000704 22475 33554432000 4194304 4196468 140729060052464 140259160439984 140259825130114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91296 KiB

[startup+0.700805 s]
/proc/loadavg: 2.01 2.05 2.39 5/237 21754
/proc/meminfo: memFree=29692020/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405552262 115843072 349 33554432000 4194304 5098028 140724243328480 140724243325736 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 349 296 221 0 87 0
[pid=21740] ppid=21737 vsize=15018968 memory=127424 CPUtime=1 cores=0,2,4,6
/proc/21740/stat : 21740 (java) S 21737 21737 20770 0 -1 1077944320 19633 0 0 0 94 6 0 0 20 0 15 0 405552262 15379423232 31856 33554432000 4194304 4196468 140729060052464 140729060035008 140259825118967 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
/proc/21740/statm: 3754742 31856 3182 1 0 3716091 0
[pid=21740/tid=21741] ppid=21737 vsize=15018968 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/21740/task/21741/stat : 21741 (java) R 21737 21737 20770 0 -1 4202560 16582 0 0 0 62 5 0 0 20 0 15 0 405552262 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259796957360 140259807653543 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21742] ppid=21737 vsize=15018968 memory=116 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21742/stat : 21742 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259829361296 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21743] ppid=21737 vsize=15018968 memory=13812 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21743/stat : 21743 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552264 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259620444688 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21744] ppid=21737 vsize=15018968 memory=24080 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21744/stat : 21744 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259619391888 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21745] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21745/stat : 21745 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405552264 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259618339088 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21746] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21746/stat : 21746 (java) S 21737 21737 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405552265 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259164650352 140259825130114 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21747] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21747/stat : 21747 (java) S 21737 21737 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405552266 15379423232 31856 33554432000 4194304 4196468 140729060052464 140258431723040 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21748] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21748/stat : 21748 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405552266 15379423232 31856 33554432000 4194304 4196468 140729060052464 140258196841840 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21749] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21749/stat : 21749 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552268 15379423232 31856 33554432000 4194304 4196468 140729060052464 140257822333264 140259825137563 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21750] ppid=21737 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21740/task/21750/stat : 21750 (java) S 21737 21737 20770 0 -1 1077944384 435 0 0 0 8 0 0 0 20 0 15 0 405552268 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259163597168 140259825130114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21751] ppid=21737 vsize=15018968 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21740/task/21751/stat : 21751 (java) S 21737 21737 20770 0 -1 1077944384 591 0 0 0 7 0 0 0 20 0 15 0 405552268 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259162544368 140259825130114 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21752] ppid=21737 vsize=15018968 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/21740/task/21752/stat : 21752 (java) R 21737 21737 20770 0 -1 4202560 688 0 0 0 16 0 0 0 20 0 15 0 405552268 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259161487936 140259809374239 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21753] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21753/stat : 21753 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552269 15379423232 31856 33554432000 4194304 4196468 140729060052464 140257324427488 140259825129173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
[pid=21740/tid=21754] ppid=21737 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21740/task/21754/stat : 21754 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405552269 15379423232 31856 33554432000 4194304 4196468 140729060052464 140259160439984 140259825130114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21524480 140729060053801 140729060054170 140729060054170 140729060057039 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128820 KiB

[startup+1.50711 s]
/proc/loadavg: 2.01 2.05 2.39 4/237 21754
/proc/meminfo: memFree=29664500/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405552262 115843072 349 33554432000 4194304 5098028 140724243328480 140724243325736 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 349 296 221 0 87 0

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

/proc/21769/task/21780/stat : 21780 (java) S 21737 21737 20770 0 -1 1077944384 260 0 0 0 3 0 0 0 20 0 15 0 405566128 7584362496 24658 33554432000 4194304 4196468 140721351263200 139909357599600 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21781] ppid=21737 vsize=7406604 memory=18768 CPUtime=0.12 cores=0,2,4,6
/proc/21769/task/21781/stat : 21781 (java) S 21737 21737 20770 0 -1 1077944384 354 0 0 0 12 0 0 0 20 0 15 0 405566128 7584362496 24658 33554432000 4194304 4196468 140721351263200 139909356546544 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21782] ppid=21737 vsize=7406604 memory=11936 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21782/stat : 21782 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566128 7584362496 24658 33554432000 4194304 4196468 140721351263200 139908089899872 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21783] ppid=21737 vsize=7406604 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21783/stat : 21783 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566128 7584362496 24658 33554432000 4194304 4196468 140721351263200 139909355493936 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
Current children cumulated CPU time: 173.69 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 100108 KiB

[startup+140.801 s]
/proc/loadavg: 1.92 2.02 2.33 4/244 21789
/proc/meminfo: memFree=29381760/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1476 CPUtime=172.89 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 583 80946 0 0 0 0 16896 393 20 0 1 0 405552262 115843072 369 33554432000 4194304 5098028 140724243328480 140724243325224 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 369 311 221 0 87 0
[pid=21769] ppid=21737 vsize=8068440 memory=121916 CPUtime=1.22 cores=0,2,4,6
/proc/21769/stat : 21769 (java) S 21737 21737 20770 0 -1 1077944320 19851 0 0 0 115 7 0 0 20 0 19 0 405566121 8262082560 30479 33554432000 4194304 4196468 140721351263200 140721351245744 139910316936951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
/proc/21769/statm: 2017110 30479 3210 1 0 1978454 0
[pid=21784] ppid=21769 vsize=413188 memory=373680 CPUtime=1.44 cores=0,2,4,6
/proc/21784/stat : 21784 (cryptominisat5) R 21769 21737 20770 0 -1 4202496 56468 0 0 0 132 12 0 0 20 0 1 0 405566196 423104512 93420 33554432000 4194304 4451008 140722513984016 140722513979096 140669120469989 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 29310976 140722513986492 140722513986624 140722513986624 140722513989574 0
/proc/21784/statm: 103297 93420 614 63 0 97024 0
[pid=21769/tid=21770] ppid=21737 vsize=8068440 memory=1396 CPUtime=0.78 cores=0,2,4,6
/proc/21769/task/21770/stat : 21770 (java) S 21737 21737 20770 0 -1 1077944384 16814 0 0 0 72 6 0 0 20 0 19 0 405566122 8262082560 30479 33554432000 4194304 4196468 140721351263200 139910288777120 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21771] ppid=21737 vsize=8068440 memory=6076684 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21771/stat : 21771 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30479 33554432000 4194304 4196468 140721351263200 139910321179664 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21772] ppid=21737 vsize=8068440 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21772/stat : 21772 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30479 33554432000 4194304 4196468 140721351263200 139910121348240 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21773] ppid=21737 vsize=8068440 memory=121916 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21773/stat : 21773 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30479 33554432000 4194304 4196468 140721351263200 139910120295184 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21774] ppid=21737 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21774/stat : 21774 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30479 33554432000 4194304 4196468 140721351263200 139910119242640 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21775] ppid=21737 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21775/stat : 21775 (java) S 21737 21737 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405566124 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909359704304 139910316948098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21776] ppid=21737 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21776/stat : 21776 (java) S 21737 21737 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405566125 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909230748832 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21777] ppid=21737 vsize=8068440 memory=-2023959437020755644 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21777/stat : 21777 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405566125 8262082560 30479 33554432000 4194304 4196468 140721351263200 139908962312944 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21778] ppid=21737 vsize=8068440 memory=-6800859132029498821 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21778/stat : 21778 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405566128 8262082560 30479 33554432000 4194304 4196468 140721351263200 139908587804624 139910316955547 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21779] ppid=21737 vsize=8068440 memory=280241247900320 CPUtime=0.11 cores=0,2,4,6
/proc/21769/task/21779/stat : 21779 (java) S 21737 21737 20770 0 -1 1077944384 574 0 0 0 11 0 0 0 20 0 19 0 405566128 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909358652144 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21780] ppid=21737 vsize=8068440 memory=6944656592455097440 CPUtime=0.09 cores=0,2,4,6
/proc/21769/task/21780/stat : 21780 (java) S 21737 21737 20770 0 -1 1077944384 473 0 0 0 9 0 0 0 20 0 19 0 405566128 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909357599600 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21781] ppid=21737 vsize=8068440 memory=8443538352883892301 CPUtime=0.21 cores=0,2,4,6
/proc/21769/task/21781/stat : 21781 (java) S 21737 21737 20770 0 -1 1077944384 599 0 0 0 21 0 0 0 20 0 19 0 405566128 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909356546544 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21782] ppid=21737 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21782/stat : 21782 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405566128 8262082560 30479 33554432000 4194304 4196468 140721351263200 139908089899872 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21783] ppid=21737 vsize=8068440 memory=35972 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21783/stat : 21783 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405566128 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909355493936 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21785] ppid=21737 vsize=8068440 memory=992 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21785/stat : 21785 (java) S 21737 21737 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405566196 8262082560 30479 33554432000 4194304 4196468 140721351263200 139909633865024 139910316961561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21787] ppid=21737 vsize=8068440 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21787/stat : 21787 (java) S 21737 21737 20770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405566197 8262082560 30479 33554432000 4194304 4196468 140721351263200 139907553013136 139910316958877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21788] ppid=21737 vsize=8068440 memory=8039887049847966120 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21788/stat : 21788 (java) S 21737 21737 20770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405566197 8262082560 30479 33554432000 4194304 4196468 140721351263200 139907418791952 139910316958877 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21789] ppid=21737 vsize=8068440 memory=6076684 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21789/stat : 21789 (java) S 21737 21737 20770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 405566199 8262082560 30479 33554432000 4194304 4196468 140721351263200 139907687243568 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
Current children cumulated CPU time: 175.55 s
Current children cumulated vsize: 8594756 KiB
Current children cumulated memory: 497072 KiB

[startup+141.601 s]
/proc/loadavg: 1.92 2.02 2.33 4/244 21789
/proc/meminfo: memFree=29125460/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1476 CPUtime=172.89 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 583 80946 0 0 0 0 16896 393 20 0 1 0 405552262 115843072 369 33554432000 4194304 5098028 140724243328480 140724243325224 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 369 311 221 0 87 0
[pid=21769] ppid=21737 vsize=8068440 memory=122432 CPUtime=1.33 cores=0,2,4,6
/proc/21769/stat : 21769 (java) S 21737 21737 20770 0 -1 1077944320 20017 0 0 0 126 7 0 0 20 0 19 0 405566121 8262082560 30608 33554432000 4194304 4196468 140721351263200 140721351245744 139910316936951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
/proc/21769/statm: 2017110 30608 3212 1 0 1978454 0
[pid=21784] ppid=21769 vsize=611132 memory=482292 CPUtime=2.21 cores=0,2,4,6
/proc/21784/stat : 21784 (cryptominisat5) S 21769 21737 20770 0 -1 4202496 123630 0 0 0 201 20 0 0 20 0 1 0 405566196 625799168 120573 33554432000 4194304 4451008 140722513984016 140722513981240 140669120908384 0 4 0 2 18446744071580971376 0 0 17 2 0 0 0 0 0 6549032 6559120 29310976 140722513986492 140722513986624 140722513986624 140722513989574 0
/proc/21784/statm: 152783 120573 654 63 0 146510 0
[pid=21769/tid=21770] ppid=21737 vsize=8068440 memory=2044 CPUtime=0.78 cores=0,2,4,6
/proc/21769/task/21770/stat : 21770 (java) S 21737 21737 20770 0 -1 1077944384 16814 0 0 0 72 6 0 0 20 0 19 0 405566122 8262082560 30608 33554432000 4194304 4196468 140721351263200 139910288777120 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21771] ppid=21737 vsize=8068440 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21771/stat : 21771 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30608 33554432000 4194304 4196468 140721351263200 139910321179664 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21772] ppid=21737 vsize=8068440 memory=620 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21772/stat : 21772 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30608 33554432000 4194304 4196468 140721351263200 139910121348240 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21773] ppid=21737 vsize=8068440 memory=3356 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21773/stat : 21773 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30608 33554432000 4194304 4196468 140721351263200 139910120295184 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21774] ppid=21737 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21774/stat : 21774 (java) S 21737 21737 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405566123 8262082560 30608 33554432000 4194304 4196468 140721351263200 139910119242640 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21775] ppid=21737 vsize=8068440 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21775/stat : 21775 (java) S 21737 21737 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405566124 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909359704304 139910316948098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21776] ppid=21737 vsize=8068440 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21776/stat : 21776 (java) S 21737 21737 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405566125 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909230748832 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21777] ppid=21737 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21777/stat : 21777 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405566125 8262082560 30608 33554432000 4194304 4196468 140721351263200 139908962312944 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21778] ppid=21737 vsize=8068440 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21778/stat : 21778 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405566128 8262082560 30608 33554432000 4194304 4196468 140721351263200 139908587804624 139910316955547 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21779] ppid=21737 vsize=8068440 memory=18768 CPUtime=0.13 cores=0,2,4,6
/proc/21769/task/21779/stat : 21779 (java) S 21737 21737 20770 0 -1 1077944384 593 0 0 0 13 0 0 0 20 0 19 0 405566128 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909358652144 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21780] ppid=21737 vsize=8068440 memory=11936 CPUtime=0.11 cores=0,2,4,6
/proc/21769/task/21780/stat : 21780 (java) S 21737 21737 20770 0 -1 1077944384 484 0 0 0 11 0 0 0 20 0 19 0 405566128 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909357599600 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21781] ppid=21737 vsize=8068440 memory=2116 CPUtime=0.25 cores=0,2,4,6
/proc/21769/task/21781/stat : 21781 (java) S 21737 21737 20770 0 -1 1077944384 691 0 0 0 25 0 0 0 20 0 19 0 405566128 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909356546544 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21782] ppid=21737 vsize=8068440 memory=944 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21782/stat : 21782 (java) S 21737 21737 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405566128 8262082560 30608 33554432000 4194304 4196468 140721351263200 139908089899872 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21783] ppid=21737 vsize=8068440 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21783/stat : 21783 (java) S 21737 21737 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405566128 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909355493936 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21785] ppid=21737 vsize=8068440 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21785/stat : 21785 (java) S 21737 21737 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405566196 8262082560 30608 33554432000 4194304 4196468 140721351263200 139909633865024 139910316961561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21787] ppid=21737 vsize=8068440 memory=5948 CPUtime=0.04 cores=0,2,4,6
/proc/21769/task/21787/stat : 21787 (java) R 21737 21737 20770 0 -1 4202560 52 0 0 0 4 0 0 0 20 0 19 0 405566197 8262082560 30608 33554432000 4194304 4196468 140721351263200 139907553019840 139910316948886 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21788] ppid=21737 vsize=8068440 memory=8300 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21788/stat : 21788 (java) S 21737 21737 20770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405566197 8262082560 30608 33554432000 4194304 4196468 140721351263200 139907418791952 139910316958877 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21789] ppid=21737 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/21769/task/21789/stat : 21789 (java) S 21737 21737 20770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 405566199 8262082560 30608 33554432000 4194304 4196468 140721351263200 139907687243568 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
Current children cumulated CPU time: 176.43 s
Current children cumulated vsize: 8792700 KiB
Current children cumulated memory: 606200 KiB

[startup+142.001 s]*
/proc/loadavg: 1.92 2.02 2.33 6/241 21789
/proc/meminfo: memFree=29477512/32770624 swapFree=66915632/67108860
[pid=21737] ppid=21734 vsize=113128 memory=1476 CPUtime=172.89 cores=0,2,4,6
/proc/21737/stat : 21737 (scop.sh) S 21734 21737 20770 0 -1 4202496 583 80946 0 0 0 0 16896 393 20 0 1 0 405552262 115843072 369 33554432000 4194304 5098028 140724243328480 140724243325224 139852695024252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140724243333987 140724243334256 140724243334256 140724243337165 0
/proc/21737/statm: 28282 369 311 221 0 87 0
[pid=21769] ppid=21737 vsize=7937364 memory=194616 CPUtime=4.88 cores=0,2,4,6
/proc/21769/stat : 21769 (java) S 21737 21737 20770 0 -1 1077944320 23559 141293 0 0 246 9 209 24 20 0 17 0 405566121 8127860736 48654 33554432000 4194304 4196468 140721351263200 140721351245744 139910316936951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
/proc/21769/statm: 1984341 48654 3235 1 0 1945685 0
[pid=21769/tid=21770] ppid=21737 vsize=7937364 memory=6791534058613427641 CPUtime=3.2 cores=0,2,4,6
/proc/21769/task/21770/stat : 21770 (java) R 21737 21737 20770 0 -1 4202560 17039 141293 0 0 81 6 209 24 20 0 17 0 405566122 8127860736 48654 33554432000 4194304 4196468 140721351263200 139910288759936 139909784539136 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21771] ppid=21737 vsize=7937364 memory=4872558044660077418 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21771/stat : 21771 (java) S 21737 21737 20770 0 -1 1077944384 2 141293 0 0 0 0 209 24 20 0 17 0 405566123 8127860736 48654 33554432000 4194304 4196468 140721351263200 139910321179664 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21772] ppid=21737 vsize=7937364 memory=-7361174377247368086 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21772/stat : 21772 (java) S 21737 21737 20770 0 -1 1077944384 2 141293 0 0 0 0 209 24 20 0 17 0 405566123 8127860736 48654 33554432000 4194304 4196468 140721351263200 139910121348240 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21773] ppid=21737 vsize=7937364 memory=-3039135443232236825 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21773/stat : 21773 (java) S 21737 21737 20770 0 -1 1077944384 1 141293 0 0 0 0 209 24 20 0 17 0 405566123 8127860736 48654 33554432000 4194304 4196468 140721351263200 139910120295184 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21774] ppid=21737 vsize=7937364 memory=-2605811476043407915 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21774/stat : 21774 (java) S 21737 21737 20770 0 -1 1077944384 2 141293 0 0 0 0 209 24 20 0 17 0 405566123 8127860736 48654 33554432000 4194304 4196468 140721351263200 139910119242640 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21775] ppid=21737 vsize=7937364 memory=2596 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21775/stat : 21775 (java) S 21737 21737 20770 0 -1 1077944384 5 141293 0 0 0 0 209 24 20 0 17 0 405566124 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909359704304 139910316948098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21776] ppid=21737 vsize=7937364 memory=4104 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21776/stat : 21776 (java) S 21737 21737 20770 0 -1 1077944384 13 141293 0 0 0 0 209 24 20 0 17 0 405566125 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909230748832 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21777] ppid=21737 vsize=7937364 memory=1412 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21777/stat : 21777 (java) S 21737 21737 20770 0 -1 1077944384 1 141293 0 0 0 0 209 24 20 0 17 0 405566125 8127860736 48654 33554432000 4194304 4196468 140721351263200 139908962312944 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21778] ppid=21737 vsize=7937364 memory=3464 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21778/stat : 21778 (java) S 21737 21737 20770 0 -1 1077944384 3 141293 0 0 0 0 209 24 20 0 17 0 405566128 8127860736 48654 33554432000 4194304 4196468 140721351263200 139908587804624 139910316955547 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21779] ppid=21737 vsize=7937364 memory=0 CPUtime=2.86 cores=0,2,4,6
/proc/21769/task/21779/stat : 21779 (java) R 21737 21737 20770 0 -1 4202560 2684 141293 0 0 53 0 209 24 20 0 17 0 405566128 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909358638240 139910298481068 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21780] ppid=21737 vsize=7937364 memory=0 CPUtime=2.84 cores=0,2,4,6
/proc/21769/task/21780/stat : 21780 (java) R 21737 21737 20770 0 -1 4202560 1499 141293 0 0 51 0 209 24 20 0 17 0 405566128 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909357588400 139910294820881 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21781] ppid=21737 vsize=7937364 memory=0 CPUtime=2.65 cores=0,2,4,6
/proc/21769/task/21781/stat : 21781 (java) R 21737 21737 20770 0 -1 1077944384 852 141293 0 0 32 0 209 24 20 0 17 0 405566128 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909356546544 139910316948098 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21782] ppid=21737 vsize=7937364 memory=0 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21782/stat : 21782 (java) S 21737 21737 20770 0 -1 1077944384 3 141293 0 0 0 0 209 24 20 0 17 0 405566128 8127860736 48654 33554432000 4194304 4196468 140721351263200 139908089899872 139910316947157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21783] ppid=21737 vsize=7937364 memory=0 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21783/stat : 21783 (java) S 21737 21737 20770 0 -1 1077944384 1 141293 0 0 0 0 209 24 20 0 17 0 405566128 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909355493936 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21785] ppid=21737 vsize=7937364 memory=0 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21785/stat : 21785 (java) S 21737 21737 20770 0 -1 1077944384 24 141293 0 0 0 0 209 24 20 0 17 0 405566196 8127860736 48654 33554432000 4194304 4196468 140721351263200 139909633864208 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
[pid=21769/tid=21789] ppid=21737 vsize=7937364 memory=0 CPUtime=2.33 cores=0,2,4,6
/proc/21769/task/21789/stat : 21789 (java) S 21737 21737 20770 0 -1 1077944384 30 141293 0 0 0 0 209 24 20 0 17 0 405566199 8127860736 48654 33554432000 4194304 4196468 140721351263200 139907687245360 139910316948098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18051072 140721351271419 140721351271578 140721351271578 140721351274447 0
Current children cumulated CPU time: 177.77 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 196092 KiB

Child status: 0
Real time (s): 142.108
CPU time (s): 178.047
CPU user time (s): 173.744
CPU system time (s): 4.30277
CPU usage (%): 125.29
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 6150612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.744
system time used= 4.30277
maximum resident set size= 6150128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246701
page faults= 0
swaps= 0
block input operations= 8
block output operations= 208744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11633
involuntary context switches= 666


# summary of solver processes directly reported to runsolver:
#   pid: 21737
#   total CPU time (s): 178.047
#   total CPU user time (s): 173.744
#   total CPU system time (s): 4.30277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.897431 second user time and 1.51996 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-12 14:56:16
IDJOB=4387990
IDBENCH=131296
IDSOLVER=2826
FILE ID=node134/4387990-1568293017
RUNJOBID= node134-1568289862-20801
PBS_JOBID= 21701097
Free space on /tmp= 51848 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-A-20.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-4387990-1568293017/watcher-4387990-1568293017 -o /tmp/evaluation-result-4387990-1568293017/solver-4387990-1568293017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20801 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387990-1568293017.xml

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

MD5SUM BENCH= c3d3968bb4d1a566be21f2b70665db2a
RANDOM SEED=929554549

node134.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.76
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.76
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.76
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.76
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:        29796724 kB
MemAvailable:   30999856 kB
Buffers:          103072 kB
Cached:          1382384 kB
SwapCached:        90696 kB
Active:          1162572 kB
Inactive:        1229248 kB
Active(anon):     839632 kB
Inactive(anon):   105752 kB
Active(file):     322940 kB
Inactive(file):  1123496 kB
Unevictable:      110944 kB
Mlocked:          110944 kB
SwapTotal:      67108860 kB
SwapFree:       66915632 kB
Dirty:             20548 kB
Writeback:           236 kB
AnonPages:        972328 kB
Mapped:            54976 kB
Shmem:             30564 kB
Slab:             173524 kB
SReclaimable:     145064 kB
SUnreclaim:        28460 kB
KernelStack:        3888 kB
PageTables:         7332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6756740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51828 MiB
End job on node134 at 2019-09-12 14:58:38