Trace number 4388239

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)UNSAT 742.904 734.604

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-08.xml
MD5SUM79bafde88fa7f495a04ad4879b5697b3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark257.025
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains84
Minimum domain size1123
Maximum domain size1221
Distribution of domain sizes[{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
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-18879-serial-file.bin HOME/instance-4388239-1568296834.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 15:59:55 CEST 2019
0.66/0.55	c PID: 18882
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.56	c (0,0) Parsing Begin
4.78/1.93	c (1,1) Parsing End
4.78/1.94	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1221
4.78/1.94	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.94	c (1,1) Constraint Name Generate Begin
4.78/1.99	c (1,1) Ctr:HOME/instance-4388239-1568296834.xml,Add:Le:Ne:Num:Or:Var
4.78/1.99	c (1,1) Constraint Name Generate End
4.78/1.99	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.78/1.99	c (1,1) CSP to CSPinCNF Begin
5.60/2.25	c (1,1) translated 558 (10%) constraints
5.90/2.32	c (1,1) translated 1116 (20%) constraints
5.90/2.37	c (1,1) translated 1674 (30%) constraints
6.20/2.41	c (1,1) translated 2232 (40%) constraints
6.20/2.45	c (1,1) translated 2790 (50%) constraints
6.20/2.49	c (1,1) translated 3348 (60%) constraints
6.52/2.53	c (1,1) translated 3906 (70%) constraints
6.52/2.56	c (2,2) translated 4464 (80%) constraints
6.52/2.59	c (2,2) translated 5022 (90%) constraints
6.82/2.61	c (2,2) translated 5580 (100%) constraints
6.82/2.61	c (2,2) ===========================================
6.82/2.64	c (2,2) Hybrid: #OE=450, #LE=0
6.82/2.64	c (2,2) Hybrid
6.82/2.64	c (2,2) ===========================================
6.82/2.68	c (2,2) translated 558 (10%) constraints
7.15/2.70	c (2,2) translated 1116 (20%) constraints
7.15/2.72	c (2,2) translated 1674 (30%) constraints
7.15/2.74	c (2,2) translated 2232 (40%) constraints
7.15/2.76	c (2,2) translated 2790 (50%) constraints
7.15/2.78	c (2,2) translated 3348 (60%) constraints
7.15/2.79	c (2,2) translated 3906 (70%) constraints
7.37/2.80	c (2,2) translated 4464 (80%) constraints
7.37/2.82	c (2,2) translated 5022 (90%) constraints
7.37/2.83	c (2,2) translated 5580 (100%) constraints
7.37/2.84	c (2,2) CSP to CSPinCNF End
7.37/2.84	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138
7.37/2.84	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.37/2.84	c (2,2) CSPinCNF Propagation Begin
7.65/2.93	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.65/2.93	c (2,2) CSPinCNF Propagation End
7.65/2.93	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138
7.65/2.93	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.65/2.95	c (2,2) Hybrid: #OE=450, #LE=0
7.65/2.95	c (2,2) Simplify CSPinCNF Begin
8.24/3.23	c (2,2) Simplify CSPinCNF End
8.24/3.23	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138
8.24/3.23	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.24/3.23	c (2,2) Calculate Precise Domain Begin
8.24/3.23	c (2,2) 0 values are removed by re-calculation
8.24/3.23	c (2,2) Calculate Precise Domain End
8.24/3.24	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138
8.24/3.24	c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.24/3.24	c (2,2) CSPinCNF to SatSolver Begin
13.71/6.42	c (5,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 849861 SAT clauses)
16.01/9.38	c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1448149 SAT clauses)
18.37/11.52	c (10,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1994752 SAT clauses)
20.67/14.01	c (13,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2558593 SAT clauses)
22.94/16.26	c (15,14) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3148307 SAT clauses)
25.42/18.74	c (18,16) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3731837 SAT clauses)
27.55/20.78	c (20,18) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4256729 SAT clauses)
29.83/22.94	c (22,20) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4789257 SAT clauses)
32.33/25.49	c (24,23) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5460521 SAT clauses)
35.14/28.06	c (27,25) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6332144 SAT clauses)
35.14/28.06	c (27,25) CSPinCNF to SatSolver End
35.14/28.06	c (27,25) Heap : 1286 MiB used (max 11162 MiB), NonHeap : 31 MiB used (max 0 MiB)
35.14/28.06	c (27,25) 338696 bool, 6332716 clause
35.14/28.06	c (27,25) Export Begin
35.26/28.17	c (27,25) Export to HOME/scop-18879-serial-file.bin
35.26/28.17	c (27,25) Export End
35.26/28.17	c (27,25) Export File Size: 0.07 MB
35.26/28.17	c (27,25) 1,1,2,2,2,2,27,STOP-AFTER(DIMACS)
35.26/28.17	c END-Prog: Thu Sep 12 16:00:23 CEST 2019
0.00/28.20	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18879-serial-file.bin
36.00/28.66	c (0,0) Read Serial File Begin
36.00/28.66	c (0,0) HOME/scop-18879-serial-file.bin
36.25/28.89	c (0,0) Read Serial File End
36.50/28.90	
36.50/28.90	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
36.50/28.90	(Solving Process)
36.50/28.90	
36.50/28.93	c BEGIN-Prog: Thu Sep 12 16:00:24 CEST 2019
36.50/28.93	c PID: 18929
36.50/28.93	c IP: 172.20.3.151
36.50/28.93	c HOST: node151.alineos.net
36.50/28.93	c (0,0) SatSolver.solve Begin
36.50/28.93	c (0,0) HOME/cryptominisat5  HOME/instance-4388239-1568296834.xml-scop-18882.cnf
36.50/28.96	c (0,0) c Outputting solution to console
36.50/28.96	c (0,0) c CryptoMiniSat version 5.6.8
36.50/28.97	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
36.50/28.97	c (0,0) c CMS SHA revision GIT-notfound
36.50/28.97	c (0,0) c CMS is MIT licensed
36.50/28.97	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
36.50/28.97	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
36.50/28.97	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388239-1568296834.xml-scop-18882.cnf
36.50/28.97	c (0,0) c Reading file 'HOME/instance-4388239-1568296834.xml-scop-18882.cnf'
36.50/28.97	c (0,0) c -- header says num vars:         338696
36.50/28.97	c (0,0) c -- header says num clauses:     6332716
39.04/31.35	c (2,0) c -- clauses added: 6332716
39.04/31.35	c (2,0) c -- xor clauses added: 0
39.04/31.35	c (2,0) c -- vars added 338696
39.04/31.35	c (2,0) c Parsing time: 2.16 s
39.74/32.07	c (3,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
39.85/32.11	c (3,0) c [distill] long cls tried: 9/8 cl-short:9 lit-r:7 T: 0.04 T-out: N T-r: 99.78%
63.28/55.55	c (26,0) c [distill] long cls tried: 501/493 cl-short:501 lit-r:741 T: 4.26 T-out: N T-r: 77.16%
94.31/86.53	c (57,0) c [distill] long cls tried: 570/1030 cl-short:570 lit-r:688 T: 4.82 T-out: N T-r: 74.04%
98.41/90.61	c (62,0) c   glue     1    39  8193  214351 5419K  791K    3.00    2.87  1172  3138  3836    86   22.16   21.94
140.92/133.11	c (104,0) c [distill] long cls tried: 1725/3114 cl-short:1725 lit-r:4805 T: 19.04 T-out: Y T-r: -0.15%
169.45/161.66	c (133,0) c   geom     1    89 16386  214244 5419K  791K    3.00    2.87  3643  5885  6771   167   23.03   22.81
190.06/182.23	c (153,0) c [distill] long cls tried: 1069/3711 cl-short:1057 lit-r:2263 T: 11.55 T-out: N T-r: 38.95%
252.50/244.62	c (216,0) c [distill] long cls tried: 1784/5863 cl-short:1621 lit-r:5501 T: 19.34 T-out: Y T-r: -0.05%
253.20/245.36	c (216,0) c   glue     1   136   24K  210421 5419K  791K    3.00    2.87  5876  7065 11303   332   23.73   23.44
323.14/315.28	c (286,0) c [distill] long cls tried: 1638/8168 cl-short:1589 lit-r:4219 T: 19.30 T-out: Y T-r: -0.12%
325.65/317.73	c (289,0) c   glue     1   184   32K  209949 5419K  791K    3.00    2.87  8201  9899 13237   446   24.63   24.31
380.68/372.71	c (344,0) c   glue     1   236   40K  209887 5419K  791K    3.00    2.87 10314  8167   21K   471   25.20   24.93
410.49/402.55	c (373,0) c [distill] long cls tried: 1487/10255 cl-short:1425 lit-r:5402 T: 19.61 T-out: Y T-r: -0.15%
457.53/449.53	c (420,0) c   glue     1   305   49K  209607 5419K  791K    3.00    2.87 10852 12093   21K   559   25.04   24.76
510.36/502.36	c (473,0) c [distill] long cls tried: 1568/12304 cl-short:1482 lit-r:4881 T: 19.78 T-out: Y T-r: -0.09%
534.07/526.09	c (497,0) c   geom     1   369   57K  207658 5419K  791K    3.00    2.87 12446 10193   30K   667   25.30   25.01
590.02/581.99	c (553,0) c   glue     1   420   65K  207649 5419K  791K    3.00    2.87 14555 10334   30K   683   24.32   24.05
625.65/617.54	c (588,0) c [distill] long cls tried: 1808/14209 cl-short:1589 lit-r:6678 T: 19.89 T-out: Y T-r: -0.07%
639.44/631.40	c (602,0) c recursive minimization cost OK: 1315Kcost/(% lits removed)
639.44/631.40	c (602,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
639.54/631.48	c (602,0) c --> Executing strategy token: handle-comps
639.54/631.48	c (602,0) c --> Executing strategy token: scc-vrepl
639.54/631.48	c (602,0) c [scc] new: 107 BP 2M T: 0.08
639.85/631.76	c (603,0) c --> Executing strategy token: cache-clean
639.85/631.76	c (603,0) c --> Executing strategy token: cache-tryboth
639.85/631.76	c (603,0) c --> Executing strategy token: sub-impl
639.85/631.76	c (603,0) c [impl sub] bin: 146 T: 0.27 T-out: N w-visit: 677392
640.35/632.27	c (603,0) c --> Executing strategy token: intree-probe
640.35/632.27	c (603,0) c [scc] new: 236 BP 1M T: 0.08
640.55/632.47	c (603,0) c [vrep] vars 178 lits 205191 rem-bin-cls 876 rem-long-cls 18 BP 6M T: 0.19
640.76/632.64	c (604,0) c [scc] new: 0 BP 1M T: 0.08
640.85/632.78	c (604,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 5M T: 0.14
663.97/655.83	c (627,0) c [intree] Set 988 vars hyper-added: 22970 trans-irred::150570 trans-red::710 T: 23.03 T-out: Y T-r: -0.16%
664.78/656.62	c (628,0) c --> Executing strategy token: probe
664.78/656.62	c (628,0) c --> Executing strategy token: sub-str-cls-with-bin
664.78/656.62	c (628,0) c [distill] cache-based irred--  cl tried   263598 cl-sh     0 cl-rem  274 lit-rem      0 T: 0.60 T-out: Y
664.78/656.62	c (628,0) c [distill] cache-based   red--  cl tried    25051 cl-sh   926 cl-rem  546 lit-rem   1256 T: 0.08 T-out: N
666.48/658.31	c (629,0) c --> Executing strategy token: distill-cls
666.48/658.31	c (629,0) c [distill] long cls tried: 160/1828403 cl-short:32 lit-r:22 T: 1.69 T-out: Y T-r: -1.85%
666.48/658.31	c (629,0) c [distill] long useful: 64/320/3656840 lits-rem: 44 0-depth-assigns: 1054 T: 3.39 T-out: Y
666.48/658.39	c (629,0) c --> Executing strategy token: scc-vrepl
666.48/658.39	c (629,0) c [scc] new: 46 BP 1M T: 0.07
666.68/658.57	c (629,0) c --> Executing strategy token: sub-impl
666.68/658.57	c (629,0) c [impl sub] bin: 728 T: 0.18 T-out: N w-visit: 677392
666.78/658.63	c (630,0) c --> Executing strategy token: str-impl
666.78/658.63	c (630,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.07 T-out: N T-r: 92.87% w-visit: 677392
666.98/658.80	c (630,0) c --> Executing strategy token: sub-impl
666.98/658.80	c (630,0) c [impl sub] bin: 0 T: 0.17 T-out: N w-visit: 677392
667.18/659.06	c (630,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
667.18/659.06	c (630,0) c [occ] mem usage for occur    181 MB
667.97/659.81	c (631,0) c [occ] mem usage for occur     17 MB
668.17/660.00	c (631,0) c Mem for watch alloc      : 331         MB (44.79     %)
668.17/660.00	c (631,0) c Mem for watch array      : 15          MB (2.09      %)
668.68/660.57	c (631,0) c --> Executing OCC strategy token: occ-backw-sub-str
668.68/660.57	c (631,0) c [occ-backw-sub-str-long-w-bins] subs: 1418 str: 22 tried: 2197968 0-depth ass: 0 T: 0.56 T-out: N T-r: 65.42%
669.69/661.54	c (632,0) c [occ-sub-long-w-long] rem cl: 461 tried: 2304154/1868005 (123.3%) T: 0.98 T-out: Y T-r: -0.00%
671.48/663.30	c (634,0) c [occ-sub-str-long-w-long] sub: 2 str: 87 tried: 3273001/1868005 (175.2)  T: 1.76 T-out: Y T-r: -0.00%
671.58/663.41	c (634,0) c --> Executing OCC strategy token: occ-clean-implicit
671.58/663.41	c (634,0) c --> Executing OCC strategy token: occ-bve
671.58/663.41	c (634,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.10 T-out: N
676.28/668.19	c (639,0) c [occ-bve] iter v-elim 3333
676.28/668.19	c (639,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
676.38/668.24	c (639,0) c Reduced to 196369 vars, 2890788 cls (grow=0)
677.28/669.13	c (640,0) c [occ-bve] iter v-elim 2710
677.28/669.13	c (640,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
677.28/669.18	c (640,0) c Reduced to 193659 vars, 2899370 cls (grow=8)
677.28/669.18	c (640,0) c x n vars       : 193659
677.28/669.19	c (640,0) c  #try to eliminate:   602K
677.28/669.19	c (640,0) c  #var-elim        :   6043
677.28/669.19	c (640,0) c  #T-o: N
677.28/669.19	c (640,0) c  #T-r: 99.20%
677.28/669.19	c (640,0) c  #T  : 5.76
677.28/669.19	c (640,0) c [occur] 1.02 is overhead
677.28/669.19	c (640,0) c [occur] link-in T: 1.02 cleanup T: 0.00
677.28/669.19	c (640,0) c --> Executing OCC strategy token: occ-bva
677.28/669.19	c (640,0) c [occ-bva] global numcalls: 0
677.60/669.42	c (640,0) c --> Executing OCC strategy token: occ-ternary-res
677.60/669.42	c (640,0) c --> Executing OCC strategy token: occ-xor
677.60/669.42	c (640,0) c [occ-xor] sort occur list T: 0.23
679.40/671.26	c (642,0) c [occ-xor] found      0 T: 2.07 T-out: N T-r: 79.03%
679.40/671.26	c (642,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
680.10/671.99	c (643,0) c --> Executing strategy token: cl-consolidate
680.10/671.99	c (643,0) c [mem] consolidate  old-sz:   264M new-sz:    74M new bits offs: 0 T: 0.16
680.20/672.06	c (643,0) c --> Executing strategy token: str-impl
680.20/672.06	c (643,0) c [impl str] lit bin: 1 (by stamp: 0) set-var: 1 T: 0.07 T-out: N T-r: 92.95% w-visit: 677392
681.11/672.91	c (644,0) c --> Executing strategy token: cache-clean
681.11/672.91	c (644,0) c --> Executing strategy token: sub-str-cls-with-bin
681.11/672.91	c (644,0) c [distill] cache-based irred--  cl tried   449270 cl-sh     0 cl-rem   96 lit-rem      0 T: 0.66 T-out: Y
681.11/672.91	c (644,0) c [distill] cache-based   red--  cl tried    18249 cl-sh   229 cl-rem   43 lit-rem    398 T: 0.04 T-out: N
682.91/674.79	c (646,0) c --> Executing strategy token: distill-cls
682.91/674.79	c (646,0) c [distill] long cls tried: 163/1826164 cl-short:28 lit-r:21 T: 1.88 T-out: Y T-r: -1.15%
682.91/674.79	c (646,0) c [distill] long useful: 56/326/3652360 lits-rem: 42 0-depth-assigns: 220 T: 3.75 T-out: Y
683.01/674.87	c (646,0) c --> Executing strategy token: scc-vrepl
683.01/674.87	c (646,0) c [scc] new: 14 BP 1M T: 0.08
683.42/675.27	c (646,0) c --> Executing strategy token: check-cache-size
683.42/675.27	c (646,0) c --> Executing strategy token: renumber
683.42/675.27	c (646,0) c [renumber] T: 0.40
683.52/675.33	c (646,0) c --> Executing strategy token: sls
683.52/675.33	c (646,0) c [consolidate] mini T: 0.00
683.52/675.33	c (646,0) c global_timeout_multiplier: 4.40
683.61/675.44	c (646,0) c clause size stats. size3: 1816815 size4: 6567 size5: 43 larger: 0
711.42/703.28	c (674,0) c   luby     0   470   73K  191211 1823K 1072K    3.00    2.63  9293  4522 11142 14733   14.86   10.09
742.66/734.49	c (705,0) c ------- FINAL TOTAL SEARCH STATS ---------
742.66/734.49	c (705,0) c UIP search time          : 658.22      (93.46     % time)
742.66/734.49	c (705,0) c restarts                 : 482         (160.79    confls per restart)
742.66/734.50	c (705,0) c blocked restarts         : 0           (0.00      per normal restart)
742.66/734.50	c (705,0) c time                     : 658.22      
742.66/734.50	c (705,0) c decisions                : 122072      (0.00      % random)
742.66/734.50	c (705,0) c propagations             : 2260200392  
742.66/734.50	c (705,0) c decisions/conflicts      : 1.58        
742.66/734.50	c (705,0) c conflicts                : 77503       (117.75    / sec)
742.66/734.50	c (705,0) c conf lits non-minim      : 3097952     (39.97     lit/confl)
742.66/734.50	c (705,0) c conf lits final          : 26.04       
742.66/734.50	c (705,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
742.66/734.50	c (705,0) c red which0               : 6014        (7.76      % of confl)
742.66/734.50	c (705,0) c props/decision           : 0.00        
742.66/734.50	c (705,0) c props/conflict           : 0.00        
742.66/734.50	c (705,0) c 0-depth assigns          : 184602      (95.38     % vars)
742.66/734.50	c (705,0) c 0-depth assigns by CNF   : 123902      (64.02     % vars)
742.66/734.50	c (705,0) c reduceDB time            : 0.02        (0.00      % time)
742.66/734.50	c (705,0) c OccSimplifier time       : 6.37        (0.90      % time)
742.66/734.50	c (705,0) c [occur] 1.56 is overhead
742.66/734.50	c (705,0) c [occur] link-in T: 1.02 cleanup T: 0.54
742.66/734.50	c (705,0) c [occ-substr] long subBySub: 461 subByStr: 2 lits-rem-str: 210 T: 2.74
742.66/734.50	c (705,0) c SCC time                 : 0.38        (0.05      % time)
742.66/734.50	c (705,0) c [scc] new: 403 BP 9M  T: 0.38
742.66/734.50	c (705,0) c vrep replace time        : 0.33        (0.05      % time)
742.66/734.50	c (705,0) c vrep tree roots          : 116         
742.66/734.50	c (705,0) c vrep trees' crown        : 178         (1.53      leafs/tree)
742.66/734.50	c (705,0) c distill time             : 144.77      (20.56     % time)
742.66/734.50	c (705,0) c strength cache-irred time: 1.26        (0.18      % time)
742.66/734.50	c (705,0) c strength cache-red time  : 0.12        (0.02      % time)
742.66/734.50	c (705,0) c Conflicts in UIP         : 77503       (110.04    confl/time_this_thread)
742.66/734.50	c (705,0) c Mem used                 : 605.05      MB
742.66/734.50	c (705,0) c Total time (this thread) : 704.30      
742.66/734.50	c (705,0) s UNSATISFIABLE
742.77/734.57	c (705,0) SatSolver.solve End
742.77/734.57	c (705,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
742.77/734.57	c (705,0) Show results Begin
742.77/734.57	s UNSATISFIABLE
742.77/734.57	c (705,0) Show results End
742.77/734.57	c (705,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
742.77/734.57	c (705,0) 705,705,STOP-AFTER(ALL)
742.77/734.57	c END-Prog: Thu Sep 12 16:12:09 CEST 2019

Verifier Data


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

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

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

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

solver pid=18879, runsolver pid=18876

[startup+0.100147 s]*
/proc/loadavg: 2.92 2.40 2.23 3/229 18896
/proc/meminfo: memFree=28098204/32770624 swapFree=66932988/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405954847 115843072 349 33554432000 4194304 5098028 140721870785088 140721870782344 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 349 296 221 0 87 0
[pid=18882] ppid=18879 vsize=15012696 memory=73668 CPUtime=0.12 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18879 12870 0 -1 1077944320 6667 0 0 0 10 2 0 0 20 0 15 0 405954847 15373000704 18417 33554432000 4194304 4196468 140731535507184 140731535489728 140627714670327 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
/proc/18882/statm: 3753174 18417 2912 1 0 3715579 0
[pid=18882/tid=18883] ppid=18879 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/18882/task/18883/stat : 18883 (java) R 18879 18879 12870 0 -1 4202560 4494 0 0 0 8 1 0 0 20 0 15 0 405954847 15373000704 18483 33554432000 4194304 4196468 140731535507184 140627686464232 140627714692253 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18884] ppid=18879 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 18483 33554432000 4194304 4196468 140731535507184 140627718912912 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18885] ppid=18879 vsize=15012696 memory=139857179281024 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 18483 33554432000 4194304 4196468 140731535507184 140627509996304 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18886] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 18483 33554432000 4194304 4196468 140731535507184 140627508944016 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18887] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 18483 33554432000 4194304 4196468 140731535507184 140627507891216 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18888] ppid=18879 vsize=15012696 memory=139857179281024 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954850 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626685163632 140627714681474 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18889] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405954851 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626288960288 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18890] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954851 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626020525168 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18891] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 18483 33554432000 4194304 4196468 140731535507184 140625646016592 140627714688923 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18892] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18879 12870 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626684111472 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18893] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626683058672 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18894] ppid=18879 vsize=15012696 memory=139857179281024 CPUtime=0.01 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18879 12870 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 15 0 405954854 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626682006384 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18895] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 18483 33554432000 4194304 4196468 140731535507184 140625148111840 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18896] ppid=18879 vsize=15012696 memory=139857179281024 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 18483 33554432000 4194304 4196468 140731535507184 140626680953264 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75064 KiB

[startup+0.21072 s]*
/proc/loadavg: 2.92 2.40 2.23 3/229 18896
/proc/meminfo: memFree=28079464/32770624 swapFree=66932988/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405954847 115843072 349 33554432000 4194304 5098028 140721870785088 140721870782344 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 349 296 221 0 87 0
[pid=18882] ppid=18879 vsize=15012696 memory=88792 CPUtime=0.25 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18879 12870 0 -1 1077944320 11707 0 0 0 21 4 0 0 20 0 15 0 405954847 15373000704 22198 33554432000 4194304 4196468 140731535507184 140731535489728 140627714670327 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
/proc/18882/statm: 3753174 22198 2975 1 0 3715579 0
[pid=18882/tid=18883] ppid=18879 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18882/task/18883/stat : 18883 (java) R 18879 18879 12870 0 -1 4202560 9468 0 0 0 17 3 0 0 20 0 15 0 405954847 15373000704 22198 33554432000 4194304 4196468 140731535507184 140627686469712 140627714692253 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18884] ppid=18879 vsize=15012696 memory=2964499 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 22198 33554432000 4194304 4196468 140731535507184 140627718912912 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18885] ppid=18879 vsize=15012696 memory=288370233330992768 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 22198 33554432000 4194304 4196468 140731535507184 140627509996304 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18886] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 22198 33554432000 4194304 4196468 140731535507184 140627508944016 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18887] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 22198 33554432000 4194304 4196468 140731535507184 140627507891216 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18888] ppid=18879 vsize=15012696 memory=139857179281024 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954850 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626685163632 140627714681474 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18889] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405954851 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626288960288 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18890] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954851 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626020525168 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18891] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 22198 33554432000 4194304 4196468 140731535507184 140625646016592 140627714688923 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18892] ppid=18879 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18879 12870 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 405954854 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626684111472 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18893] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18879 12870 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626683058672 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18894] ppid=18879 vsize=15012696 memory=139857179281024 CPUtime=0.02 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) R 18879 18879 12870 0 -1 4202560 424 0 0 0 2 0 0 0 20 0 15 0 405954854 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626682006384 140627694641512 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18895] ppid=18879 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 22198 33554432000 4194304 4196468 140731535507184 140625148111840 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18896] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 22198 33554432000 4194304 4196468 140731535507184 140626680953264 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90188 KiB

[startup+0.311071 s]*
/proc/loadavg: 2.92 2.40 2.23 4/229 18896
/proc/meminfo: memFree=28076736/32770624 swapFree=66932988/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405954847 115843072 349 33554432000 4194304 5098028 140721870785088 140721870782344 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 349 296 221 0 87 0
[pid=18882] ppid=18879 vsize=15012696 memory=92136 CPUtime=0.42 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18879 12870 0 -1 1077944320 12529 0 0 0 38 4 0 0 20 0 15 0 405954847 15373000704 23034 33554432000 4194304 4196468 140731535507184 140731535489728 140627714670327 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
/proc/18882/statm: 3753174 23034 3070 1 0 3715579 0
[pid=18882/tid=18883] ppid=18879 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18882/task/18883/stat : 18883 (java) R 18879 18879 12870 0 -1 4202560 10137 0 0 0 26 3 0 0 20 0 15 0 405954847 15373000704 23034 33554432000 4194304 4196468 140731535507184 140627686460976 140627696235297 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18884] ppid=18879 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 23034 33554432000 4194304 4196468 140731535507184 140627718912912 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18885] ppid=18879 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 23034 33554432000 4194304 4196468 140731535507184 140627509996304 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18886] ppid=18879 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 23034 33554432000 4194304 4196468 140731535507184 140627508944016 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18887] ppid=18879 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15373000704 23034 33554432000 4194304 4196468 140731535507184 140627507891216 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18888] ppid=18879 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954850 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626685163632 140627714681474 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18889] ppid=18879 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405954851 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626288960288 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18890] ppid=18879 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954851 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626020525168 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18891] ppid=18879 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 23034 33554432000 4194304 4196468 140731535507184 140625646016592 140627714688923 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18892] ppid=18879 vsize=15012696 memory=4426078206164241782 CPUtime=0.01 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) S 18879 18879 12870 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 405954854 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626684111472 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18893] ppid=18879 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) S 18879 18879 12870 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 405954854 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626683058672 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18894] ppid=18879 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) S 18879 18879 12870 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 15 0 405954854 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626682006384 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18895] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 23034 33554432000 4194304 4196468 140731535507184 140625148111840 140627714680533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18896] ppid=18879 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954854 15373000704 23034 33554432000 4194304 4196468 140731535507184 140626680953264 140627714681474 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93532 KiB

[startup+0.701075 s]
/proc/loadavg: 2.92 2.40 2.23 3/229 18896
/proc/meminfo: memFree=28053916/32770624 swapFree=66932988/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405954847 115843072 349 33554432000 4194304 5098028 140721870785088 140721870782344 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 349 296 221 0 87 0
[pid=18882] ppid=18879 vsize=15018968 memory=131632 CPUtime=1.03 cores=1,3,5,7
/proc/18882/stat : 18882 (java) S 18879 18879 12870 0 -1 1077944320 19569 0 0 0 97 6 0 0 20 0 15 0 405954847 15379423232 32908 33554432000 4194304 4196468 140731535507184 140731535489728 140627714670327 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
/proc/18882/statm: 3754742 32908 3197 1 0 3716091 0
[pid=18882/tid=18883] ppid=18879 vsize=15018968 memory=18968 CPUtime=0.68 cores=1,3,5,7
/proc/18882/task/18883/stat : 18883 (java) R 18879 18879 12870 0 -1 4202560 16679 0 0 0 63 5 0 0 20 0 15 0 405954847 15379423232 32908 33554432000 4194304 4196468 140731535507184 140627686500400 140627178259662 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18884] ppid=18879 vsize=15018968 memory=984 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18884/stat : 18884 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15379423232 32908 33554432000 4194304 4196468 140731535507184 140627718912912 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18885] ppid=18879 vsize=15018968 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18885/stat : 18885 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954849 15379423232 32908 33554432000 4194304 4196468 140731535507184 140627509996304 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18886] ppid=18879 vsize=15018968 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18886/stat : 18886 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15379423232 32908 33554432000 4194304 4196468 140731535507184 140627508944016 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18887] ppid=18879 vsize=15018968 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18887/stat : 18887 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405954849 15379423232 32908 33554432000 4194304 4196468 140731535507184 140627507891216 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18888] ppid=18879 vsize=15018968 memory=976 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18888/stat : 18888 (java) S 18879 18879 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405954850 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626685163632 140627714681474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18889] ppid=18879 vsize=15018968 memory=772 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18889/stat : 18889 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405954851 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626288960288 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18890] ppid=18879 vsize=15018968 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18890/stat : 18890 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954851 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626020525168 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18891] ppid=18879 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18891/stat : 18891 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15379423232 32908 33554432000 4194304 4196468 140731535507184 140625646016592 140627714688923 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18892] ppid=18879 vsize=15018968 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/18882/task/18892/stat : 18892 (java) R 18879 18879 12870 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 15 0 405954854 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626684100432 140627699068703 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18893] ppid=18879 vsize=15018968 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/18882/task/18893/stat : 18893 (java) R 18879 18879 12870 0 -1 4202560 202 0 0 0 8 0 0 0 20 0 15 0 405954854 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626683045520 140627699413968 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18894] ppid=18879 vsize=15018968 memory=744 CPUtime=0.17 cores=1,3,5,7
/proc/18882/task/18894/stat : 18894 (java) R 18879 18879 12870 0 -1 4202560 611 0 0 0 17 0 0 0 20 0 15 0 405954854 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626682002112 140627693584686 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18895] ppid=18879 vsize=15018968 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18895/stat : 18895 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405954854 15379423232 32908 33554432000 4194304 4196468 140731535507184 140625148111840 140627714680533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
[pid=18882/tid=18896] ppid=18879 vsize=15018968 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/18882/task/18896/stat : 18896 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405954854 15379423232 32908 33554432000 4194304 4196468 140731535507184 140626680953264 140627714681474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23470080 140731535508265 140731535508634 140731535508634 140731535511503 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133028 KiB

[startup+1.50804 s]
/proc/loadavg: 2.92 2.40 2.23 5/229 18896
/proc/meminfo: memFree=27996588/32770624 swapFree=66932988/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405954847 115843072 349 33554432000 4194304 5098028 140721870785088 140721870782344 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 739.94 s
Current children cumulated vsize: 8884212 KiB
Current children cumulated memory: 758552 KiB

[startup+733.301 s]
/proc/loadavg: 2.20 2.14 2.16 3/235 19304
/proc/meminfo: memFree=25588852/32770624 swapFree=66933016/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1476 CPUtime=35.47 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 583 42467 0 0 0 0 3435 112 20 0 1 0 405954847 115843072 369 33554432000 4194304 5098028 140721870785088 140721870781832 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 369 311 221 0 87 0
[pid=18929] ppid=18879 vsize=8068440 memory=120760 CPUtime=1.73 cores=1,3,5,7
/proc/18929/stat : 18929 (java) S 18879 18879 12870 0 -1 1077944320 20571 0 0 0 144 29 0 0 20 0 19 0 405957667 8262082560 30190 33554432000 4194304 4196468 140725903245952 140725903228496 139983794183927 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
/proc/18929/statm: 2017110 30190 3210 1 0 1978454 0
[pid=18944] ppid=18929 vsize=649632 memory=619572 CPUtime=704.36 cores=1,3,5,7
/proc/18944/stat : 18944 (cryptominisat5) R 18929 18879 12870 0 -1 4202496 1543770 0 0 0 70310 126 0 0 20 0 1 0 405957742 665223168 154893 33554432000 4194304 4451008 140723685149344 140723685144984 140341735362790 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 12050432 140723685155772 140723685155904 140723685155904 140723685158854 0
/proc/18944/statm: 162408 154893 740 63 0 156135 0
[pid=18929/tid=18930] ppid=18879 vsize=8068440 memory=11928 CPUtime=0.77 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (java) S 18879 18879 12870 0 -1 1077944384 16734 0 0 0 72 5 0 0 20 0 19 0 405957668 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983766024096 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18931] ppid=18879 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983798426640 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18932] ppid=18879 vsize=8068440 memory=5840 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983598595216 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18933] ppid=18879 vsize=8068440 memory=504 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18933/stat : 18933 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983597542160 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18934] ppid=18879 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18934/stat : 18934 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983596489616 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18935] ppid=18879 vsize=8068440 memory=924 CPUtime=0.01 cores=1,3,5,7
/proc/18929/task/18935/stat : 18935 (java) S 18879 18879 12870 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 405957670 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983173515504 139983794195074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18936] ppid=18879 vsize=8068440 memory=19020 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18936/stat : 18936 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405957671 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982647846048 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18937] ppid=18879 vsize=8068440 memory=984 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18937/stat : 18937 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957671 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982379410160 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18938] ppid=18879 vsize=8068440 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18938/stat : 18938 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982004901840 139983794202523 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18939] ppid=18879 vsize=8068440 memory=120760 CPUtime=0.12 cores=1,3,5,7
/proc/18929/task/18939/stat : 18939 (java) S 18879 18879 12870 0 -1 1077944384 980 0 0 0 12 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983172463344 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18940] ppid=18879 vsize=8068440 memory=8039887049847966116 CPUtime=0.11 cores=1,3,5,7
/proc/18929/task/18940/stat : 18940 (java) S 18879 18879 12870 0 -1 1077944384 340 0 0 0 11 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983171410800 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18941] ppid=18879 vsize=8068440 memory=1476 CPUtime=0.24 cores=1,3,5,7
/proc/18929/task/18941/stat : 18941 (java) S 18879 18879 12870 0 -1 1077944384 1056 0 0 0 24 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983170357744 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18942] ppid=18879 vsize=8068440 memory=120760 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18942/stat : 18942 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139981506997088 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18943] ppid=18879 vsize=8068440 memory=636292 CPUtime=0.4 cores=1,3,5,7
/proc/18929/task/18943/stat : 18943 (java) S 18879 18879 12870 0 -1 1077944384 49 0 0 0 19 21 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983169305136 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18945] ppid=18879 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18945/stat : 18945 (java) S 18879 18879 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983161271616 139983794208537 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18947] ppid=18879 vsize=8068440 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/18929/task/18947/stat : 18947 (java) S 18879 18879 12870 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139980970110352 139983794205853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18948] ppid=18879 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18948/stat : 18948 (java) S 18879 18879 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139981104332848 139983794205853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18949] ppid=18879 vsize=8068440 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18949/stat : 18949 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957745 8262082560 30190 33554432000 4194304 4196468 140725903245952 139980701687600 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
Current children cumulated CPU time: 741.56 s
Current children cumulated vsize: 8831200 KiB
Current children cumulated memory: 741808 KiB

[startup+734.101 s]
/proc/loadavg: 2.10 2.12 2.15 3/235 19304
/proc/meminfo: memFree=25588856/32770624 swapFree=66933016/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1476 CPUtime=35.47 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 583 42467 0 0 0 0 3435 112 20 0 1 0 405954847 115843072 369 33554432000 4194304 5098028 140721870785088 140721870781832 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 369 311 221 0 87 0
[pid=18929] ppid=18879 vsize=8068440 memory=120760 CPUtime=1.73 cores=1,3,5,7
/proc/18929/stat : 18929 (java) S 18879 18879 12870 0 -1 1077944320 20571 0 0 0 144 29 0 0 20 0 19 0 405957667 8262082560 30190 33554432000 4194304 4196468 140725903245952 140725903228496 139983794183927 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
/proc/18929/statm: 2017110 30190 3210 1 0 1978454 0
[pid=18944] ppid=18929 vsize=649632 memory=619572 CPUtime=705.16 cores=1,3,5,7
/proc/18944/stat : 18944 (cryptominisat5) R 18929 18879 12870 0 -1 4202496 1543773 0 0 0 70390 126 0 0 20 0 1 0 405957742 665223168 154893 33554432000 4194304 4451008 140723685149344 140723685144984 140341735368624 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 12050432 140723685155772 140723685155904 140723685155904 140723685158854 0
/proc/18944/statm: 162408 154893 740 63 0 156135 0
[pid=18929/tid=18930] ppid=18879 vsize=8068440 memory=8039887049847966116 CPUtime=0.77 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (java) S 18879 18879 12870 0 -1 1077944384 16734 0 0 0 72 5 0 0 20 0 19 0 405957668 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983766024096 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18931] ppid=18879 vsize=8068440 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983798426640 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18932] ppid=18879 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983598595216 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18933] ppid=18879 vsize=8068440 memory=120760 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18933/stat : 18933 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983597542160 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18934] ppid=18879 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18934/stat : 18934 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983596489616 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18935] ppid=18879 vsize=8068440 memory=120760 CPUtime=0.01 cores=1,3,5,7
/proc/18929/task/18935/stat : 18935 (java) S 18879 18879 12870 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 405957670 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983173515504 139983794195074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18936] ppid=18879 vsize=8068440 memory=619572 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18936/stat : 18936 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405957671 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982647846048 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18937] ppid=18879 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18937/stat : 18937 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957671 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982379410160 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18938] ppid=18879 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18938/stat : 18938 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982004901840 139983794202523 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18939] ppid=18879 vsize=8068440 memory=3932 CPUtime=0.12 cores=1,3,5,7
/proc/18929/task/18939/stat : 18939 (java) S 18879 18879 12870 0 -1 1077944384 980 0 0 0 12 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983172463344 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18940] ppid=18879 vsize=8068440 memory=2832 CPUtime=0.11 cores=1,3,5,7
/proc/18929/task/18940/stat : 18940 (java) S 18879 18879 12870 0 -1 1077944384 340 0 0 0 11 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983171410800 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18941] ppid=18879 vsize=8068440 memory=1548 CPUtime=0.24 cores=1,3,5,7
/proc/18929/task/18941/stat : 18941 (java) S 18879 18879 12870 0 -1 1077944384 1056 0 0 0 24 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983170357744 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18942] ppid=18879 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18942/stat : 18942 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139981506997088 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18943] ppid=18879 vsize=8068440 memory=744 CPUtime=0.41 cores=1,3,5,7
/proc/18929/task/18943/stat : 18943 (java) S 18879 18879 12870 0 -1 1077944384 49 0 0 0 19 22 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983169305136 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18945] ppid=18879 vsize=8068440 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18945/stat : 18945 (java) S 18879 18879 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983161271616 139983794208537 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18947] ppid=18879 vsize=8068440 memory=5948 CPUtime=0.01 cores=1,3,5,7
/proc/18929/task/18947/stat : 18947 (java) S 18879 18879 12870 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139980970110352 139983794205853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18948] ppid=18879 vsize=8068440 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18948/stat : 18948 (java) S 18879 18879 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139981104332848 139983794205853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18949] ppid=18879 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18949/stat : 18949 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957745 8262082560 30190 33554432000 4194304 4196468 140725903245952 139980701687600 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
Current children cumulated CPU time: 742.36 s
Current children cumulated vsize: 8831200 KiB
Current children cumulated memory: 741808 KiB

[startup+734.502 s]*
/proc/loadavg: 2.10 2.12 2.15 4/234 19304
/proc/meminfo: memFree=25620872/32770624 swapFree=66933016/67108860
[pid=18879] ppid=18876 vsize=113128 memory=1476 CPUtime=35.47 cores=1,3,5,7
/proc/18879/stat : 18879 (scop.sh) S 18876 18879 12870 0 -1 4202496 583 42467 0 0 0 0 3435 112 20 0 1 0 405954847 115843072 369 33554432000 4194304 5098028 140721870785088 140721870781832 140384624677500 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140721870791523 140721870791792 140721870791792 140721870794701 0
/proc/18879/statm: 28282 369 311 221 0 87 0
[pid=18929] ppid=18879 vsize=8068440 memory=120760 CPUtime=1.74 cores=1,3,5,7
/proc/18929/stat : 18929 (java) S 18879 18879 12870 0 -1 1077944320 20597 0 0 0 145 29 0 0 20 0 19 0 405957667 8262082560 30190 33554432000 4194304 4196468 140725903245952 140725903228496 139983794183927 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
/proc/18929/statm: 2017110 30190 3210 1 0 1978454 0
[pid=18944] ppid=18929 vsize=554668 memory=530660 CPUtime=705.56 cores=1,3,5,7
/proc/18944/stat : 18944 (cryptominisat5) R 18929 18879 12870 0 -1 4202496 1546676 0 0 0 70430 126 0 0 20 0 1 0 405957742 567980032 132665 33554432000 4194304 4451008 140723685149344 140723685144984 140341715681214 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 12050432 140723685155772 140723685155904 140723685155904 140723685158854 0
/proc/18944/statm: 138667 132665 745 63 0 132394 0
[pid=18929/tid=18930] ppid=18879 vsize=8068440 memory=6791534058613427641 CPUtime=0.77 cores=1,3,5,7
/proc/18929/task/18930/stat : 18930 (java) S 18879 18879 12870 0 -1 1077944384 16734 0 0 0 72 5 0 0 20 0 19 0 405957668 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983766024096 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18931] ppid=18879 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18931/stat : 18931 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983798426640 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18932] ppid=18879 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18932/stat : 18932 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983598595216 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18933] ppid=18879 vsize=8068440 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18933/stat : 18933 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983597542160 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18934] ppid=18879 vsize=8068440 memory=8039887049847966116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18934/stat : 18934 (java) S 18879 18879 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405957669 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983596489616 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18935] ppid=18879 vsize=8068440 memory=120760 CPUtime=0.01 cores=1,3,5,7
/proc/18929/task/18935/stat : 18935 (java) S 18879 18879 12870 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 405957670 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983173515504 139983794195074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18936] ppid=18879 vsize=8068440 memory=636272 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18936/stat : 18936 (java) S 18879 18879 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405957671 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982647846048 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18937] ppid=18879 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18937/stat : 18937 (java) S 18879 18879 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405957671 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982379410160 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18938] ppid=18879 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18938/stat : 18938 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139982004901840 139983794202523 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18939] ppid=18879 vsize=8068440 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18929/task/18939/stat : 18939 (java) R 18879 18879 12870 0 -1 4202560 987 0 0 0 13 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983172454672 139983779309919 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18940] ppid=18879 vsize=8068440 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/18929/task/18940/stat : 18940 (java) S 18879 18879 12870 0 -1 1077944384 340 0 0 0 11 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983171410800 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18941] ppid=18879 vsize=8068440 memory=279714041178608 CPUtime=0.24 cores=1,3,5,7
/proc/18929/task/18941/stat : 18941 (java) S 18879 18879 12870 0 -1 1077944384 1065 0 0 0 24 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983170357744 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18942] ppid=18879 vsize=8068440 memory=7587699545539278000 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18942/stat : 18942 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139981506997088 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18943] ppid=18879 vsize=8068440 memory=2315000211852351005 CPUtime=0.41 cores=1,3,5,7
/proc/18929/task/18943/stat : 18943 (java) S 18879 18879 12870 0 -1 1077944384 49 0 0 0 19 22 0 0 20 0 19 0 405957674 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983169305136 139983794195074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18945] ppid=18879 vsize=8068440 memory=8039887049847966116 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18945/stat : 18945 (java) S 18879 18879 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139983161271616 139983794208537 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18947] ppid=18879 vsize=8068440 memory=-8412652152092201843 CPUtime=0.01 cores=1,3,5,7
/proc/18929/task/18947/stat : 18947 (java) S 18879 18879 12870 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139980970110352 139983794205853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18948] ppid=18879 vsize=8068440 memory=4426639978525455914 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18948/stat : 18948 (java) S 18879 18879 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405957743 8262082560 30190 33554432000 4194304 4196468 140725903245952 139981104332848 139983794205853 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
[pid=18929/tid=18949] ppid=18879 vsize=8068440 memory=3047711553219693942 CPUtime=0 cores=1,3,5,7
/proc/18929/task/18949/stat : 18949 (java) S 18879 18879 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405957745 8262082560 30190 33554432000 4194304 4196468 140725903245952 139980701687600 139983794194133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9699328 140725903254523 140725903254682 140725903254682 140725903257551 0
Current children cumulated CPU time: 742.77 s
Current children cumulated vsize: 8736236 KiB
Current children cumulated memory: 652896 KiB

Child status: 0
Real time (s): 734.604
CPU time (s): 742.904
CPU user time (s): 740.168
CPU system time (s): 2.73658
CPU usage (%): 101.13
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 3980956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 740.168
system time used= 2.73658
maximum resident set size= 3980212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1610587
page faults= 0
swaps= 0
block input operations= 8
block output operations= 289608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21806
involuntary context switches= 265


# summary of solver processes directly reported to runsolver:
#   pid: 18879
#   total CPU time (s): 742.904
#   total CPU user time (s): 740.168
#   total CPU system time (s): 2.73658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20753 second user time and 6.14586 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 15:59:55
IDJOB=4388239
IDBENCH=138477
IDSOLVER=2826
FILE ID=node151/4388239-1568296834
RUNJOBID= node151-1568286070-13984
PBS_JOBID= 21701060
Free space on /tmp= 56508 MiB

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

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

MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3
RANDOM SEED=155737240

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28160968 kB
MemAvailable:   28730956 kB
Buffers:          112512 kB
Cached:           748148 kB
SwapCached:        73028 kB
Active:          3542952 kB
Inactive:         512080 kB
Active(anon):    3129952 kB
Inactive(anon):    96264 kB
Active(file):     413000 kB
Inactive(file):   415816 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932988 kB
Dirty:             33936 kB
Writeback:             0 kB
AnonPages:       3070276 kB
Mapped:            45864 kB
Shmem:             22256 kB
Slab:             143200 kB
SReclaimable:     114016 kB
SUnreclaim:        29184 kB
KernelStack:        4000 kB
PageTables:        11972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13200632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2945024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56548 MiB
End job on node151 at 2019-09-12 16:12:09