Trace number 4387690

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 153.781 140.609

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-064.xml
MD5SUM019f4b77ddc0f15b2fea5bd490d99eee
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.1842
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints72
Number of domains2
Minimum domain size64
Maximum domain size4096
Distribution of domain sizes[{"size":64,"count":64},{"size":4096,"count":64}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":64},{"degree":4,"count":63},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":64},{"arity":32,"count":6},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints65
Distribution of constraint types[{"type":"intension","count":65},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
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-15372-serial-file.bin HOME/instance-4387690-1568288699.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Thu Sep 12 13:44:21 CEST 2019
0.66/0.54	c PID: 15375
0.66/0.54	c IP: 172.20.3.151
0.66/0.54	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.42/0.92	c (0,0) Parsing End
1.61/1.05	c (0,0) CSP: 128 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 4096
1.61/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.61/1.05	c (0,0) Constraint Name Generate Begin
1.61/1.05	c (0,0) Ctr:HOME/instance-4387690-1568288699.xml,AllDifferent:Eq:Mul:Num:OrderedCtr:Var:WeightedSum
1.61/1.05	c (0,0) Constraint Name Generate End
1.61/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.61/1.05	c (0,0) CSP to CSPinCNF Begin
3.06/1.56	c (1,1) translated 8 (10%) constraints
3.77/1.70	c (1,1) translated 15 (20%) constraints
4.09/1.80	c (1,1) translated 22 (30%) constraints
4.09/1.88	c (1,1) translated 29 (40%) constraints
4.39/1.96	c (1,1) translated 36 (50%) constraints
4.73/2.04	c (1,1) translated 44 (60%) constraints
5.04/2.11	c (1,1) translated 51 (70%) constraints
5.04/2.18	c (1,1) translated 58 (80%) constraints
5.31/2.24	c (1,1) translated 65 (90%) constraints
5.31/2.29	c (1,1) translated 72 (100%) constraints
5.31/2.30	c (1,1) ===========================================
5.63/2.33	c (1,1) Hybrid: #OE=4096, #LE=128
5.63/2.33	c (1,1) Hybrid
5.63/2.33	c (1,1) ===========================================
5.94/2.42	c (1,1) translated 1444 (10%) constraints
6.54/2.69	c (2,2) translated 2888 (20%) constraints
6.86/2.74	c (2,2) translated 4332 (30%) constraints
6.86/2.78	c (2,2) translated 5775 (40%) constraints
7.16/2.82	c (2,2) translated 7219 (50%) constraints
7.16/2.86	c (2,2) translated 8663 (60%) constraints
7.46/2.90	c (2,2) translated 10106 (70%) constraints
7.46/2.94	c (2,2) translated 11550 (80%) constraints
7.46/2.98	c (2,2) translated 12994 (90%) constraints
7.79/3.02	c (2,2) translated 14437 (100%) constraints
7.79/3.02	c (2,2) CSP to CSPinCNF End
7.79/3.03	c (2,2) CSP: 127 int (0 aux), 4097 bool (4096 aux), 22634 ctr, max domain size 64
7.79/3.03	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.79/3.03	c (2,2) CSPinCNF Propagation Begin
10.50/4.08	c (3,3) 2415 values, 6353 unsatisfiable literals, and 6360 valid clauses are removed
10.50/4.08	c (3,3) CSPinCNF Propagation End
10.50/4.09	c (3,3) CSP: 126 int (0 aux), 4098 bool (4096 aux), 16274 ctr, max domain size 61
10.50/4.09	c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.50/4.11	c (3,3) Hybrid: #OE=4096, #LE=128
10.50/4.11	c (3,3) Simplify CSPinCNF Begin
11.28/4.38	c (3,3) Simplify CSPinCNF End
11.28/4.38	c (3,3) CSP: 126 int (0 aux), 13530 bool (13528 aux), 25706 ctr, max domain size 61
11.28/4.38	c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.28/4.38	c (3,3) Calculate Precise Domain Begin
11.28/4.39	c (3,3) 0 values are removed by re-calculation
11.28/4.39	c (3,3) Calculate Precise Domain End
11.28/4.39	c (3,3) CSP: 126 int (0 aux), 13530 bool (13528 aux), 25706 ctr, max domain size 61
11.28/4.39	c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.28/4.39	c (3,3) CSPinCNF to SatSolver Begin
14.65/5.45	c (4,4) 2571 (10 %) CSP clauses are encoded (0 SAT variables, 210614 SAT clauses)
15.40/5.77	c (5,5) 5142 (20 %) CSP clauses are encoded (0 SAT variables, 299382 SAT clauses)
15.95/5.97	c (5,5) 7712 (30 %) CSP clauses are encoded (0 SAT variables, 342347 SAT clauses)
16.27/6.09	c (5,5) 10283 (40 %) CSP clauses are encoded (0 SAT variables, 367729 SAT clauses)
17.36/6.71	c (6,6) 12853 (50 %) CSP clauses are encoded (0 SAT variables, 627681 SAT clauses)
17.55/6.83	c (6,6) 15424 (60 %) CSP clauses are encoded (0 SAT variables, 659677 SAT clauses)
17.65/6.95	c (6,6) 17995 (70 %) CSP clauses are encoded (0 SAT variables, 691640 SAT clauses)
17.77/7.07	c (6,6) 20565 (80 %) CSP clauses are encoded (0 SAT variables, 723709 SAT clauses)
17.87/7.18	c (6,6) 23136 (90 %) CSP clauses are encoded (0 SAT variables, 755697 SAT clauses)
18.06/7.30	c (6,6) 25706 (100 %) CSP clauses are encoded (0 SAT variables, 788734 SAT clauses)
18.06/7.30	c (6,6) CSPinCNF to SatSolver End
18.06/7.30	c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.06/7.30	c (6,6) 354904 bool, 788765 clause
18.06/7.30	c (6,6) Export Begin
18.57/7.50	c (6,6) Export to HOME/scop-15372-serial-file.bin
18.57/7.50	c (6,6) Export End
18.57/7.50	c (6,6) Export File Size: 0.26 MB
18.57/7.50	c (6,6) 0,0,2,3,3,3,6,STOP-AFTER(DIMACS)
18.57/7.50	c END-Prog: Thu Sep 12 13:44:28 CEST 2019
18.57/7.53	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15372-serial-file.bin
18.61/7.98	c (0,0) Read Serial File Begin
18.61/7.98	c (0,0) HOME/scop-15372-serial-file.bin
19.88/8.30	c (0,0) Read Serial File End
19.88/8.32	
19.88/8.32	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
19.88/8.32	(Solving Process)
19.88/8.32	
19.88/8.34	c BEGIN-Prog: Thu Sep 12 13:44:29 CEST 2019
19.88/8.34	c PID: 15390
19.88/8.34	c IP: 172.20.3.151
19.88/8.34	c HOST: node151.alineos.net
19.88/8.34	c (0,0) SatSolver.solve Begin
19.88/8.34	c (0,0) HOME/cryptominisat5  HOME/instance-4387690-1568288699.xml-scop-15375.cnf
19.88/8.37	c (0,0) c Outputting solution to console
19.88/8.37	c (0,0) c CryptoMiniSat version 5.6.8
19.88/8.37	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
19.88/8.37	c (0,0) c CMS SHA revision GIT-notfound
19.88/8.37	c (0,0) c CMS is MIT licensed
19.88/8.37	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
19.88/8.37	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
19.88/8.37	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387690-1568288699.xml-scop-15375.cnf
19.88/8.37	c (0,0) c Reading file 'HOME/instance-4387690-1568288699.xml-scop-15375.cnf'
19.88/8.37	c (0,0) c -- header says num vars:         354904
19.88/8.37	c (0,0) c -- header says num clauses:      788765
20.13/8.65	c (0,0) c -- clauses added: 788765
20.13/8.65	c (0,0) c -- xor clauses added: 0
20.13/8.65	c (0,0) c -- vars added 354904
20.13/8.65	c (0,0) c Parsing time: 0.24 s
20.13/8.72	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
20.13/8.76	c (0,0) c [distill] long cls tried: 26/23 cl-short:26 lit-r:16 T: 0.03 T-out: N T-r: 99.86%
22.35/10.60	c (2,0) c [distill] long cls tried: 310/287 cl-short:309 lit-r:308 T: 0.25 T-out: N T-r: 98.73%
24.35/12.69	c (4,0) c [distill] long cls tried: 505/700 cl-short:468 lit-r:712 T: 0.30 T-out: N T-r: 98.51%
25.26/13.55	c (5,0) c   glue     1    62  8193  350777  522K  266K    3.01    2.67   890  2654  4341   229   41.20   40.09
28.78/17.02	c (9,0) c [distill] long cls tried: 1826/2370 cl-short:1755 lit-r:3205 T: 1.13 T-out: N T-r: 94.17%
32.47/20.77	c (12,0) c   geom     1   112 16386  349557  522K  266K    3.01    2.67  3231  5582  6920   469   39.80   38.70
33.47/21.73	c (13,0) c [distill] long cls tried: 891/3151 cl-short:880 lit-r:1843 T: 0.75 T-out: N T-r: 96.32%
38.97/27.29	c (19,0) c [distill] long cls tried: 2811/5628 cl-short:2644 lit-r:3899 T: 1.39 T-out: N T-r: 92.76%
40.97/29.21	c (21,0) c   glue     1   158   24K  347852  522K  266K    3.01    2.67  5727  7011 10652   797   38.35   37.15
51.38/39.66	c (31,0) c [distill] long cls tried: 3394/8702 cl-short:3309 lit-r:7725 T: 2.25 T-out: N T-r: 88.18%
52.98/41.28	c (33,0) c   glue     1   215   32K  347046  522K  266K    3.01    2.67  8791  7944 12694  1073   41.50   40.11
64.20/52.50	c (44,0) c [distill] long cls tried: 1993/10596 cl-short:1990 lit-r:3434 T: 1.61 T-out: N T-r: 91.63%
65.19/53.40	c (45,0) c   glue     1   287   40K  346717  522K  266K    3.01    2.67 10630  6138   20K  1210   50.13   48.62
74.80/63.02	c (55,0) c   glue     1   329   49K  346025  522K  266K    3.01    2.67 11370  9150   22K  1257   51.90   50.47
80.70/68.98	c (61,0) c [distill] long cls tried: 2524/12963 cl-short:2492 lit-r:6415 T: 2.35 T-out: N T-r: 87.94%
86.81/75.01	c (67,0) c   geom     1   369   57K  345350  522K  266K    3.01    2.67 13312  6706   30K  1455   53.00   51.57
100.71/88.97	c (81,0) c [distill] long cls tried: 2135/14895 cl-short:2097 lit-r:6871 T: 2.45 T-out: N T-r: 88.08%
101.71/89.90	c (81,0) c   glue     1   403   65K  344779  522K  266K    3.01    2.67 14928  6756   30K  1639   52.03   50.50
108.63/96.89	c (88,0) c recursive minimization cost OK: 9478Kcost/(% lits removed)
108.63/96.89	c (88,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
108.72/96.96	c (89,0) c --> Executing strategy token: handle-comps
108.72/96.96	c (89,0) c --> Executing strategy token: scc-vrepl
108.72/96.96	c (89,0) c [scc] new: 137 BP 0M T: 0.06
108.83/97.03	c (89,0) c --> Executing strategy token: cache-clean
108.83/97.03	c (89,0) c --> Executing strategy token: cache-tryboth
108.83/97.03	c (89,0) c --> Executing strategy token: sub-impl
108.83/97.03	c (89,0) c [impl sub] bin: 352 T: 0.07 T-out: N w-visit: 709808
108.93/97.15	c (89,0) c --> Executing strategy token: intree-probe
108.93/97.15	c (89,0) c [scc] new: 367 BP 0M T: 0.07
109.12/97.31	c (89,0) c [vrep] vars 216 lits 144495 rem-bin-cls 1071 rem-long-cls 192 BP 2M T: 0.15
109.22/97.43	c (89,0) c [scc] new: 0 BP 0M T: 0.07
109.32/97.50	c (89,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.07
128.53/116.71	c (108,0) c [intree] Set 3813 vars hyper-added: 2014546 trans-irred::80 trans-red::15549 T: 19.17 T-out: Y T-r: -1.55%
129.33/117.53	c (109,0) c --> Executing strategy token: probe
129.33/117.53	c (109,0) c --> Executing strategy token: sub-str-cls-with-bin
129.33/117.53	c (109,0) c [distill] cache-based irred--  cl tried   468260 cl-sh   252 cl-rem 83114 lit-rem    252 T: 0.59 T-out: Y
129.33/117.53	c (109,0) c [distill] cache-based   red--  cl tried    31110 cl-sh   912 cl-rem  348 lit-rem   1267 T: 0.14 T-out: N
131.74/119.92	c (112,0) c --> Executing strategy token: distill-cls
131.74/119.92	c (112,0) c [distill] long cls tried: 13213/389513 cl-short:3493 lit-r:237 T: 2.39 T-out: Y T-r: -0.12%
131.74/119.92	c (112,0) c [distill] long useful: 6986/26426/779410 lits-rem: 474 0-depth-assigns: 356 T: 4.78 T-out: Y
131.85/120.03	c (112,0) c --> Executing strategy token: scc-vrepl
131.85/120.03	c (112,0) c [scc] new: 512 BP 1M T: 0.11
132.05/120.25	c (112,0) c [vrep] vars 301 lits 200894 rem-bin-cls 1479 rem-long-cls 13 BP 4M T: 0.22
132.35/120.56	c (112,0) c --> Executing strategy token: sub-impl
132.35/120.56	c (112,0) c [impl sub] bin: 8011 T: 0.30 T-out: N w-visit: 709808
132.45/120.65	c (112,0) c --> Executing strategy token: str-impl
132.45/120.65	c (112,0) c [impl str] lit bin: 27 (by stamp: 0) set-var: 205 T: 0.09 T-out: N T-r: 87.29% w-visit: 709808
132.65/120.88	c (112,0) c --> Executing strategy token: sub-impl
132.65/120.88	c (112,0) c [impl sub] bin: 0 T: 0.23 T-out: N w-visit: 709808
132.86/121.05	c (113,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
132.86/121.05	c (113,0) c [occ] mem usage for occur     61 MB
132.95/121.18	c (113,0) c [occ] mem usage for occur     29 MB
133.14/121.31	c (113,0) c Mem for watch alloc      : 122         MB (46.28     %)
133.14/121.31	c (113,0) c Mem for watch array      : 16          MB (6.12      %)
134.04/122.23	c (114,0) c --> Executing OCC strategy token: occ-backw-sub-str
134.04/122.23	c (114,0) c [occ-backw-sub-str-long-w-bins] subs: 8690 str: 9182 tried: 3027796 0-depth ass: 0 T: 0.91 T-out: Y T-r: -0.00%
134.04/122.24	c (114,0) c [occ-sub-long-w-long] rem cl: 0 tried: 0/443684 (0.0%) T: 0.01 T-out: Y T-r: 100.00%
134.55/122.74	c (114,0) c [occ-sub-str-long-w-long] sub: 1193 str: 931 tried: 1331052/443684 (300.0)  T: 0.50 T-out: N T-r: 64.98%
134.55/122.74	c (114,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 100.00%
134.96/123.17	c (115,0) c --> Executing OCC strategy token: occ-clean-implicit
134.96/123.17	c (115,0) c --> Executing OCC strategy token: occ-bve
134.96/123.17	c (115,0) c [occ-empty-res] Empty resolvent elimed: 15769 T: 0.42 T-out: N
137.66/125.85	c (117,0) c [occ-bve] iter v-elim 236705
137.66/125.85	c (117,0) c cl_inc_rate=0.5, var_dec_rate=3.7 (grow=0)
137.66/125.85	c (117,0) c Reduced to 87592 vars, 296795 cls (grow=0)
139.87/128.01	c (120,0) c [occ-bve] iter v-elim 32209
139.87/128.01	c (120,0) c cl_inc_rate=1.2, var_dec_rate=1.6 (grow=8)
139.87/128.02	c (120,0) c Reduced to 55383 vars, 367688 cls (grow=8)
142.55/130.74	c (122,0) c [occ-bve] iter v-elim 10931
142.55/130.74	c (122,0) c cl_inc_rate=1.0, var_dec_rate=1.2 (grow=16)
142.55/130.75	c (122,0) c Reduced to 44452 vars, 385466 cls (grow=16)
142.55/130.75	c (122,0) c x n vars       : 44452
142.55/130.77	c (122,0) c  #try to eliminate:   587K
142.55/130.77	c (122,0) c  #var-elim        :   279K
142.55/130.77	c (122,0) c  #T-o: N
142.55/130.77	c (122,0) c  #T-r: 98.58%
142.55/130.77	c (122,0) c  #T  : 7.53
142.55/130.77	c (122,0) c [occur] 0.33 is overhead
142.55/130.77	c (122,0) c [occur] link-in T: 0.33 cleanup T: 0.00
142.55/130.77	c (122,0) c --> Executing OCC strategy token: occ-bva
142.55/130.77	c (122,0) c [occ-bva] global numcalls: 0
142.66/130.84	c (122,0) c --> Executing OCC strategy token: occ-ternary-res
142.66/130.84	c (122,0) c --> Executing OCC strategy token: occ-xor
142.66/130.84	c (122,0) c [occ-xor] sort occur list T: 0.08
142.87/131.09	c (123,0) c [occ-xor] found      2 avg sz 3.0 min sz  3 max sz  3 T: 0.32 T-out: N T-r: 93.70%
142.87/131.09	c (123,0) c [xor-together] xored together 0 xors orig num xors: 2 T: 0.00
142.87/131.09	c (123,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
143.06/131.21	c (123,0) c --> Executing strategy token: cl-consolidate
143.06/131.21	c (123,0) c [mem] consolidate  old-sz:    77M new-sz:  16042K new bits offs: 0 T: 0.04
143.06/131.23	c (123,0) c --> Executing strategy token: str-impl
143.06/131.23	c (123,0) c [impl str] lit bin: 10 (by stamp: 0) set-var: 7 T: 0.02 T-out: N T-r: 99.53% w-visit: 709808
143.46/131.67	c (123,0) c --> Executing strategy token: cache-clean
143.46/131.67	c (123,0) c --> Executing strategy token: sub-str-cls-with-bin
143.46/131.67	c (123,0) c [distill] cache-based irred--  cl tried   230937 cl-sh     1 cl-rem  519 lit-rem      1 T: 0.41 T-out: Y
143.46/131.67	c (123,0) c [distill] cache-based   red--  cl tried     7732 cl-sh    13 cl-rem    6 lit-rem     20 T: 0.01 T-out: N
144.67/132.84	c (124,0) c --> Executing strategy token: distill-cls
144.67/132.84	c (124,0) c [distill] long cls tried: 16494/364556 cl-short:9496 lit-r:2249 T: 1.17 T-out: Y T-r: -0.01%
144.67/132.84	c (124,0) c [distill] long useful: 18992/32988/729520 lits-rem: 4498 0-depth-assigns: 28 T: 2.33 T-out: Y
144.67/132.86	c (124,0) c --> Executing strategy token: scc-vrepl
144.67/132.86	c (124,0) c [scc] new: 0 BP 0M T: 0.02
144.67/132.89	c (124,0) c --> Executing strategy token: check-cache-size
144.67/132.89	c (124,0) c --> Executing strategy token: renumber
144.67/132.89	c (124,0) c [xor-clean] T: 0.00
144.77/132.99	c (125,0) c [renumber] T: 0.13
144.89/133.01	c (125,0) c --> Executing strategy token: sls
144.89/133.01	c (125,0) c [consolidate] mini T: 0.00
144.89/133.01	c (125,0) c global_timeout_multiplier: 4.40
144.89/133.03	c (125,0) c clause size stats. size3: 39713 size4: 262346 size5: 25169 larger: 36842
145.98/134.15	c (126,0) c   luby     0   468   73K   44431  364K   20K    4.43    4.30  3905  2103  4173   30K   42.28   12.05
148.67/136.88	c (128,0) c [distill] long cls tried: 1162/4422 cl-short:1137 lit-r:1387 T: 0.15 T-out: N T-r: 98.75%
148.98/137.11	c (129,0) c   luby     0   501   81K   44428  364K   20K    4.43    4.30  4423  1081 11550   30K   60.99   23.04
151.57/139.79	c (131,0) c   luby     0   519   90K   44426  364K   20K    4.43    4.30  4721  1296 13398   30K   62.69   25.48
151.77/139.98	c (132,0) c ------- FINAL TOTAL SEARCH STATS ---------
151.77/139.98	c (132,0) c UIP search time          : 95.02       (72.36     % time)
151.77/139.98	c (132,0) c restarts                 : 520         (174.22    confls per restart)
151.77/139.98	c (132,0) c blocked restarts         : 222         (0.43      per normal restart)
151.77/139.98	c (132,0) c time                     : 95.02       
151.77/139.98	c (132,0) c decisions                : 1394826     (0.00      % random)
151.77/139.98	c (132,0) c propagations             : 706762670   
151.77/139.98	c (132,0) c decisions/conflicts      : 15.40       
151.77/139.98	c (132,0) c conflicts                : 90592       (953.43    / sec)
151.77/139.98	c (132,0) c conf lits non-minim      : 10063544    (111.09    lit/confl)
151.77/139.98	c (132,0) c conf lits final          : 64.14       
151.77/139.98	c (132,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
151.77/139.98	c (132,0) c red which0               : 6215        (6.86      % of confl)
151.77/139.98	c (132,0) c props/decision           : 0.00        
151.77/139.98	c (132,0) c props/conflict           : 0.00        
151.77/139.98	c (132,0) c 0-depth assigns          : 14347       (32.29     % vars)
151.77/139.98	c (132,0) c 0-depth assigns by CNF   : 2081        (4.68      % vars)
151.77/139.98	c (132,0) c reduceDB time            : 0.02        (0.02      % time)
151.77/139.98	c (132,0) c OccSimplifier time       : 1.24        (0.94      % time)
151.77/139.98	c (132,0) c [occur] 0.40 is overhead
151.77/139.98	c (132,0) c [occur] link-in T: 0.33 cleanup T: 0.08
151.77/139.98	c (132,0) c [occ-substr] long subBySub: 0 subByStr: 1193 lits-rem-str: 117515 T: 0.51
151.77/139.98	c (132,0) c SCC time                 : 0.32        (0.24      % time)
151.77/139.98	c (132,0) c [scc] new: 1016 BP 4M  T: 0.32
151.77/139.98	c (132,0) c vrep replace time        : 0.43        (0.33      % time)
151.77/139.98	c (132,0) c vrep tree roots          : 127         
151.77/139.98	c (132,0) c vrep trees' crown        : 517         (4.07      leafs/tree)
151.77/139.98	c (132,0) c distill time             : 19.76       (15.04     % time)
151.77/139.98	c (132,0) c strength cache-irred time: 1.00        (0.76      % time)
151.77/139.98	c (132,0) c strength cache-red time  : 0.15        (0.12      % time)
151.77/139.98	c (132,0) c Conflicts in UIP         : 90592       (689.87    confl/time_this_thread)
151.77/139.98	c (132,0) c Mem used                 : 276.60      MB
151.77/139.98	c (132,0) c Total time (this thread) : 131.32      
151.77/139.98	c (132,0) s SATISFIABLE
153.52/140.52	c (132,0) SatSolver.solve End
153.52/140.52	c (132,0) Heap : 307 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
153.52/140.52	c (132,0) Show results Begin
153.52/140.59	c (132,0) cx[0] = 1
153.52/140.59	c (132,0) cx[1] = 36
153.52/140.59	c (132,0) cx[2] = 49
153.52/140.59	c (132,0) cx[3] = 64
153.52/140.59	c (132,0) cx[4] = 81
153.52/140.59	c (132,0) cx[5] = 100
153.52/140.59	c (132,0) cx[6] = 121
153.52/140.59	c (132,0) cx[7] = 144
153.52/140.59	c (132,0) cx[8] = 225
153.52/140.59	c (132,0) cx[9] = 256
153.52/140.59	c (132,0) cx[10] = 289
153.52/140.59	c (132,0) cx[11] = 729
153.52/140.59	c (132,0) cx[12] = 841
153.52/140.59	c (132,0) cx[13] = 900
153.52/140.59	c (132,0) cx[14] = 961
153.52/140.59	c (132,0) cx[15] = 1156
153.52/140.59	c (132,0) cx[16] = 1369
153.52/140.59	c (132,0) cx[17] = 1444
153.52/140.59	c (132,0) cx[18] = 1521
153.52/140.59	c (132,0) cx[19] = 1600
153.52/140.59	c (132,0) cx[20] = 1681
153.52/140.59	c (132,0) cx[21] = 1849
153.52/140.59	c (132,0) cx[22] = 2209
153.52/140.59	c (132,0) cx[23] = 2304
153.52/140.59	c (132,0) cx[24] = 2401
153.52/140.59	c (132,0) cx[25] = 2601
153.52/140.59	c (132,0) cx[26] = 2809
153.52/140.59	c (132,0) cx[27] = 2916
153.52/140.59	c (132,0) cx[28] = 3249
153.52/140.59	c (132,0) cx[29] = 3364
153.52/140.59	c (132,0) cx[30] = 3481
153.52/140.59	c (132,0) cx[31] = 3969
153.52/140.59	c (132,0) cy[0] = 4
153.52/140.59	c (132,0) cy[1] = 9
153.52/140.59	c (132,0) cy[2] = 16
153.52/140.59	c (132,0) cy[3] = 25
153.52/140.59	c (132,0) cy[4] = 169
153.52/140.59	c (132,0) cy[5] = 196
153.52/140.59	c (132,0) cy[6] = 324
153.52/140.59	c (132,0) cy[7] = 361
153.52/140.59	c (132,0) cy[8] = 400
153.52/140.59	c (132,0) cy[9] = 441
153.52/140.59	c (132,0) cy[10] = 484
153.52/140.59	c (132,0) cy[11] = 529
153.52/140.59	c (132,0) cy[12] = 576
153.52/140.59	c (132,0) cy[13] = 625
153.52/140.59	c (132,0) cy[14] = 676
153.52/140.59	c (132,0) cy[15] = 784
153.52/140.59	c (132,0) cy[16] = 1024
153.52/140.59	c (132,0) cy[17] = 1089
153.52/140.59	c (132,0) cy[18] = 1225
153.52/140.59	c (132,0) cy[19] = 1296
153.52/140.59	c (132,0) cy[20] = 1764
153.52/140.59	c (132,0) cy[21] = 1936
153.52/140.59	c (132,0) cy[22] = 2025
153.52/140.59	c (132,0) cy[23] = 2116
153.52/140.59	c (132,0) cy[24] = 2500
153.52/140.59	c (132,0) cy[25] = 2704
153.52/140.59	c (132,0) cy[26] = 3025
153.52/140.59	c (132,0) cy[27] = 3136
153.52/140.59	c (132,0) cy[28] = 3600
153.52/140.59	c (132,0) cy[29] = 3721
153.52/140.59	c (132,0) cy[30] = 3844
153.52/140.59	c (132,0) cy[31] = 4096
153.52/140.59	c (132,0) x[0] = 1
153.52/140.59	c (132,0) x[1] = 6
153.52/140.59	c (132,0) x[2] = 7
153.52/140.59	c (132,0) x[3] = 8
153.52/140.59	c (132,0) x[4] = 9
153.52/140.59	c (132,0) x[5] = 10
153.52/140.59	c (132,0) x[6] = 11
153.52/140.59	c (132,0) x[7] = 12
153.52/140.59	c (132,0) x[8] = 15
153.52/140.59	c (132,0) x[9] = 16
153.52/140.59	c (132,0) x[10] = 17
153.52/140.59	c (132,0) x[11] = 27
153.52/140.59	c (132,0) x[12] = 29
153.52/140.59	c (132,0) x[13] = 30
153.52/140.59	c (132,0) x[14] = 31
153.52/140.59	c (132,0) x[15] = 34
153.52/140.59	c (132,0) x[16] = 37
153.52/140.59	c (132,0) x[17] = 38
153.52/140.59	c (132,0) x[18] = 39
153.52/140.59	c (132,0) x[19] = 40
153.52/140.59	c (132,0) x[20] = 41
153.52/140.59	c (132,0) x[21] = 43
153.52/140.59	c (132,0) x[22] = 47
153.52/140.59	c (132,0) x[23] = 48
153.52/140.59	c (132,0) x[24] = 49
153.52/140.59	c (132,0) x[25] = 51
153.52/140.59	c (132,0) x[26] = 53
153.52/140.59	c (132,0) x[27] = 54
153.52/140.59	c (132,0) x[28] = 57
153.52/140.59	c (132,0) x[29] = 58
153.52/140.59	c (132,0) x[30] = 59
153.52/140.59	c (132,0) x[31] = 63
153.52/140.59	c (132,0) y[0] = 2
153.52/140.59	c (132,0) y[1] = 3
153.52/140.59	c (132,0) y[2] = 4
153.52/140.59	c (132,0) y[3] = 5
153.52/140.59	c (132,0) y[4] = 13
153.52/140.59	c (132,0) y[5] = 14
153.52/140.59	c (132,0) y[6] = 18
153.52/140.59	c (132,0) y[7] = 19
153.52/140.59	c (132,0) y[8] = 20
153.52/140.59	c (132,0) y[9] = 21
153.52/140.59	c (132,0) y[10] = 22
153.52/140.59	c (132,0) y[11] = 23
153.52/140.59	c (132,0) y[12] = 24
153.52/140.59	c (132,0) y[13] = 25
153.52/140.59	c (132,0) y[14] = 26
153.52/140.59	c (132,0) y[15] = 28
153.52/140.59	c (132,0) y[16] = 32
153.52/140.59	c (132,0) y[17] = 33
153.52/140.59	c (132,0) y[18] = 35
153.52/140.59	c (132,0) y[19] = 36
153.52/140.59	c (132,0) y[20] = 42
153.52/140.59	c (132,0) y[21] = 44
153.52/140.59	c (132,0) y[22] = 45
153.52/140.59	c (132,0) y[23] = 46
153.52/140.59	c (132,0) y[24] = 50
153.52/140.59	c (132,0) y[25] = 52
153.52/140.59	c (132,0) y[26] = 55
153.52/140.59	c (132,0) y[27] = 56
153.52/140.59	c (132,0) y[28] = 60
153.52/140.59	c (132,0) y[29] = 61
153.52/140.59	c (132,0) y[30] = 62
153.52/140.59	c (132,0) y[31] = 64
153.52/140.59	s SATISFIABLE
153.52/140.59	v <instantiation>
153.52/140.59	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31]</list>
153.52/140.59	v     <values>1 6 7 8 9 10 11 12 15 16 17 27 29 30 31 34 37 38 39 40 41 43 47 48 49 51 53 54 57 58 59 63 2 3 4 5 13 14 18 19 20 21 22 23 24 25 26 28 32 33 35 36 42 44 45 46 50 52 55 56 60 61 62 64 1 36 49 64 81 100 121 144 225 256 289 729 841 900 961 1156 1369 1444 1521 1600 1681 1849 2209 2304 2401 2601 2809 2916 3249 3364 3481 3969 4 9 16 25 169 196 324 361 400 441 484 529 576 625 676 784 1024 1089 1225 1296 1764 1936 2025 2116 2500 2704 3025 3136 3600 3721 3844 4096</values>
153.52/140.59	v </instantiation>
153.52/140.59	c (132,0) Show results End
153.52/140.59	c (132,0) Heap : 307 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
153.52/140.59	c (132,0) 132,132,STOP-AFTER(ALL)
153.52/140.59	c END-Prog: Thu Sep 12 13:46:41 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13254 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-4387690-1568288699/watcher-4387690-1568288699 -o /tmp/evaluation-result-4387690-1568288699/solver-4387690-1568288699 -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-4387690-1568288699.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=15372, runsolver pid=15369


[startup+0.100118 s]*
/proc/loadavg: 2.03 2.04 2.20 5/235 15389
/proc/meminfo: memFree=29425996/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405141418 115843072 348 33554432000 4194304 5098028 140735030558432 140735030555688 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 348 296 221 0 87 0
[pid=15375] ppid=15372 vsize=15016308 memory=75476 CPUtime=0.11 cores=1,3,5,7
/proc/15375/stat : 15375 (java) S 15372 15372 12870 0 -1 1077944320 7154 0 0 0 9 2 0 0 20 0 15 0 405141418 15376699392 18869 33554432000 4194304 4196468 140725859077360 140725859059904 140210931031799 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
/proc/15375/statm: 3754077 18869 2916 1 0 3716482 0
[pid=15375/tid=15376] ppid=15372 vsize=15013720 memory=-6221297119156027331 CPUtime=0.08 cores=1,3,5,7
/proc/15375/task/15376/stat : 15376 (java) R 15372 15372 12870 0 -1 4202560 4985 0 0 0 7 1 0 0 20 0 15 0 405141418 15374049280 18012 33554432000 4194304 4196468 140725859077360 140210902816048 140210923711517 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15377] ppid=15372 vsize=15013720 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15377/stat : 15377 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15374049280 18077 33554432000 4194304 4196468 140725859077360 140210935273744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15378] ppid=15372 vsize=15013720 memory=140450116761216 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15378/stat : 15378 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15374049280 18077 33554432000 4194304 4196468 140725859077360 140210753362320 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15379] ppid=15372 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15379/stat : 15379 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141420 15374049280 18143 33554432000 4194304 4196468 140725859077360 140210752309776 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15380] ppid=15372 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15380/stat : 15380 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15374049280 18143 33554432000 4194304 4196468 140725859077360 140210389723792 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15381] ppid=15372 vsize=15013720 memory=140450116761216 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15381/stat : 15381 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141421 15374049280 18143 33554432000 4194304 4196468 140725859077360 140209901480432 140210931042946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15382] ppid=15372 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15382/stat : 15382 (java) S 15372 15372 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405141422 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209542915488 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15383] ppid=15372 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15383/stat : 15383 (java) S 15372 15372 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405141422 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209408693744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15384] ppid=15372 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15384/stat : 15384 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141424 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209034189520 140210931050395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15385] ppid=15372 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15385/stat : 15385 (java) S 15372 15372 12870 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 405141424 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209900427248 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15386] ppid=15372 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15386/stat : 15386 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141424 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209899374704 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15387] ppid=15372 vsize=15013720 memory=140450116761216 CPUtime=0.01 cores=1,3,5,7
/proc/15375/task/15387/stat : 15387 (java) S 15372 15372 12870 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 405141424 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209898322160 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15388] ppid=15372 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15388/stat : 15388 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141425 15374049280 18209 33554432000 4194304 4196468 140725859077360 140208536283744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15389] ppid=15372 vsize=15013720 memory=140450116761216 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15389/stat : 15389 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141425 15374049280 18209 33554432000 4194304 4196468 140725859077360 140209897270064 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 76868 KiB

[startup+0.212167 s]*
/proc/loadavg: 2.03 2.04 2.20 3/235 15389
/proc/meminfo: memFree=29410472/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405141418 115843072 348 33554432000 4194304 5098028 140735030558432 140735030555688 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 348 296 221 0 87 0
[pid=15375] ppid=15372 vsize=15012696 memory=85024 CPUtime=0.25 cores=1,3,5,7
/proc/15375/stat : 15375 (java) S 15372 15372 12870 0 -1 1077944320 10787 0 0 0 22 3 0 0 20 0 15 0 405141418 15373000704 21256 33554432000 4194304 4196468 140725859077360 140725859059904 140210931031799 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
/proc/15375/statm: 3753174 21256 2924 1 0 3715579 0
[pid=15375/tid=15376] ppid=15372 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/15375/task/15376/stat : 15376 (java) R 15372 15372 12870 0 -1 4202560 8492 0 0 0 17 3 0 0 20 0 15 0 405141418 15373000704 21256 33554432000 4194304 4196468 140725859077360 140210902851344 140210931043734 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15377] ppid=15372 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15377/stat : 15377 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 21256 33554432000 4194304 4196468 140725859077360 140210935273744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15378] ppid=15372 vsize=15012696 memory=288370826268472960 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15378/stat : 15378 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 21256 33554432000 4194304 4196468 140725859077360 140210753362320 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15379] ppid=15372 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15379/stat : 15379 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 21256 33554432000 4194304 4196468 140725859077360 140210752309776 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15380] ppid=15372 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15380/stat : 15380 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 21256 33554432000 4194304 4196468 140725859077360 140210389723792 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15381] ppid=15372 vsize=15012696 memory=140450116761216 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15381/stat : 15381 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141421 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209901480432 140210931042946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15382] ppid=15372 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15382/stat : 15382 (java) S 15372 15372 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405141422 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209542915488 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15383] ppid=15372 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15383/stat : 15383 (java) S 15372 15372 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405141422 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209408693744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15384] ppid=15372 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15384/stat : 15384 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141424 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209034189520 140210931050395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15385] ppid=15372 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15385/stat : 15385 (java) S 15372 15372 12870 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405141424 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209900427248 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15386] ppid=15372 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15386/stat : 15386 (java) S 15372 15372 12870 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 405141424 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209899374704 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15387] ppid=15372 vsize=15012696 memory=140450116761216 CPUtime=0.03 cores=1,3,5,7
/proc/15375/task/15387/stat : 15387 (java) S 15372 15372 12870 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 405141424 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209898322160 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15388] ppid=15372 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15388/stat : 15388 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141425 15373000704 21256 33554432000 4194304 4196468 140725859077360 140208536283744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15389] ppid=15372 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15389/stat : 15389 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141425 15373000704 21256 33554432000 4194304 4196468 140725859077360 140209897270064 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86416 KiB

[startup+0.31095 s]*
/proc/loadavg: 2.03 2.04 2.20 4/235 15389
/proc/meminfo: memFree=29407792/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405141418 115843072 348 33554432000 4194304 5098028 140735030558432 140735030555688 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 348 296 221 0 87 0
[pid=15375] ppid=15372 vsize=15012696 memory=88708 CPUtime=0.43 cores=1,3,5,7
/proc/15375/stat : 15375 (java) S 15372 15372 12870 0 -1 1077944320 11692 0 0 0 39 4 0 0 20 0 15 0 405141418 15373000704 22177 33554432000 4194304 4196468 140725859077360 140725859059904 140210931031799 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
/proc/15375/statm: 3753174 22177 3072 1 0 3715579 0
[pid=15375/tid=15376] ppid=15372 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15375/task/15376/stat : 15376 (java) R 15372 15372 12870 0 -1 4202560 9233 0 0 0 27 3 0 0 20 0 15 0 405141418 15373000704 22177 33554432000 4194304 4196468 140725859077360 140210902844144 140210912595328 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15377] ppid=15372 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15377/stat : 15377 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 22177 33554432000 4194304 4196468 140725859077360 140210935273744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15378] ppid=15372 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15378/stat : 15378 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 22177 33554432000 4194304 4196468 140725859077360 140210753362320 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15379] ppid=15372 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15379/stat : 15379 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 22177 33554432000 4194304 4196468 140725859077360 140210752309776 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15380] ppid=15372 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15380/stat : 15380 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15373000704 22177 33554432000 4194304 4196468 140725859077360 140210389723792 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15381] ppid=15372 vsize=15012696 memory=-9001728533042062950 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15381/stat : 15381 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141421 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209901480432 140210931042946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15382] ppid=15372 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15382/stat : 15382 (java) S 15372 15372 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405141422 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209542915488 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15383] ppid=15372 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15383/stat : 15383 (java) S 15372 15372 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405141422 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209408693744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15384] ppid=15372 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15384/stat : 15384 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141424 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209034189520 140210931050395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15385] ppid=15372 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15375/task/15385/stat : 15385 (java) S 15372 15372 12870 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 405141424 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209900427248 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15386] ppid=15372 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15375/task/15386/stat : 15386 (java) S 15372 15372 12870 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 15 0 405141424 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209899374704 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15387] ppid=15372 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15375/task/15387/stat : 15387 (java) S 15372 15372 12870 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 15 0 405141424 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209898322160 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15388] ppid=15372 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15388/stat : 15388 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141425 15373000704 22177 33554432000 4194304 4196468 140725859077360 140208536283744 140210931042005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15389] ppid=15372 vsize=15012696 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15389/stat : 15389 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141425 15373000704 22177 33554432000 4194304 4196468 140725859077360 140209897270064 140210931042946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90100 KiB

[startup+0.700904 s]
/proc/loadavg: 2.03 2.04 2.20 3/235 15389
/proc/meminfo: memFree=29384216/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405141418 115843072 348 33554432000 4194304 5098028 140735030558432 140735030555688 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 348 296 221 0 87 0
[pid=15375] ppid=15372 vsize=15021092 memory=128352 CPUtime=1.02 cores=1,3,5,7
/proc/15375/stat : 15375 (java) S 15372 15372 12870 0 -1 1077944320 19511 0 0 0 95 7 0 0 20 0 15 0 405141418 15381598208 32088 33554432000 4194304 4196468 140725859077360 140725859059904 140210931031799 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
/proc/15375/statm: 3755273 32088 3203 1 0 3716603 0
[pid=15375/tid=15376] ppid=15372 vsize=15021092 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/15375/task/15376/stat : 15376 (java) R 15372 15372 12870 0 -1 4202560 16531 0 0 0 62 6 0 0 20 0 15 0 405141418 15381598208 32088 33554432000 4194304 4196468 140725859077360 140210902866640 140210931053725 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15377] ppid=15372 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15377/stat : 15377 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15381598208 32088 33554432000 4194304 4196468 140725859077360 140210935273744 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15378] ppid=15372 vsize=15021092 memory=2958609 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15378/stat : 15378 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15381598208 32088 33554432000 4194304 4196468 140725859077360 140210753362320 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15379] ppid=15372 vsize=15021092 memory=2965990 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15379/stat : 15379 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141420 15381598208 32088 33554432000 4194304 4196468 140725859077360 140210752309776 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15380] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15380/stat : 15380 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405141420 15381598208 32088 33554432000 4194304 4196468 140725859077360 140210389723792 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15381] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15381/stat : 15381 (java) S 15372 15372 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405141421 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209901480432 140210931042946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15382] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15382/stat : 15382 (java) S 15372 15372 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405141422 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209542915488 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15383] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15383/stat : 15383 (java) S 15372 15372 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405141422 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209408693744 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15384] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15384/stat : 15384 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141424 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209034189520 140210931050395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15385] ppid=15372 vsize=15021092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15375/task/15385/stat : 15385 (java) R 15372 15372 12870 0 -1 4202560 674 0 0 0 7 0 0 0 20 0 15 0 405141424 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209900427248 140210916142688 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15386] ppid=15372 vsize=15021092 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15375/task/15386/stat : 15386 (java) R 15372 15372 12870 0 -1 4202560 366 0 0 0 10 0 0 0 20 0 15 0 405141424 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209899374704 140210912551478 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15387] ppid=15372 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15375/task/15387/stat : 15387 (java) R 15372 15372 12870 0 -1 1077944384 584 0 0 0 15 0 0 0 20 0 15 0 405141424 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209898322160 140210931042946 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15388] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15388/stat : 15388 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405141425 15381598208 32088 33554432000 4194304 4196468 140725859077360 140208536283744 140210931042005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
[pid=15375/tid=15389] ppid=15372 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15375/task/15389/stat : 15389 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405141425 15381598208 32088 33554432000 4194304 4196468 140725859077360 140209897270064 140210931042946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26656768 140725859078953 140725859079322 140725859079322 140725859082191 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129744 KiB

[startup+1.50116 s]
/proc/loadavg: 2.19 2.08 2.21 5/235 15389
/proc/meminfo: memFree=29355236/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405141418 115843072 348 33554432000 4194304 5098028 140735030558432 140735030555688 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 348 296 221 0 87 0

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

/proc/15390/task/15401/stat : 15401 (java) S 15372 15372 12870 0 -1 1077944384 373 0 0 0 19 0 0 0 20 0 19 0 405142177 8262082560 32644 33554432000 4194304 4196468 140731830538016 139822627477488 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15402] ppid=15372 vsize=8068440 memory=2032 CPUtime=0.26 cores=1,3,5,7
/proc/15390/task/15402/stat : 15402 (java) S 15372 15372 12870 0 -1 1077944384 1121 0 0 0 26 0 0 0 20 0 19 0 405142177 8262082560 32644 33554432000 4194304 4196468 140731830538016 139822626425200 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15403] ppid=15372 vsize=8068440 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15403/stat : 15403 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405142177 8262082560 32644 33554432000 4194304 4196468 140731830538016 139820982594016 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15404] ppid=15372 vsize=8068440 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/15390/task/15404/stat : 15404 (java) S 15372 15372 12870 0 -1 1077944384 11 0 0 0 3 4 0 0 20 0 19 0 405142178 8262082560 32644 33554432000 4194304 4196468 140731830538016 139822625373104 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15406] ppid=15372 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15406/stat : 15406 (java) S 15372 15372 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405142255 8262082560 32644 33554432000 4194304 4196468 140731830538016 139822615242176 139823250431769 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15408] ppid=15372 vsize=8068440 memory=130576 CPUtime=0.01 cores=1,3,5,7
/proc/15390/task/15408/stat : 15408 (java) S 15372 15372 12870 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 405142255 8262082560 32644 33554432000 4194304 4196468 140731830538016 139820445708304 139823250429085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15409] ppid=15372 vsize=8068440 memory=282392 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15409/stat : 15409 (java) S 15372 15372 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405142255 8262082560 32644 33554432000 4194304 4196468 140731830538016 139820579929520 139823250429085 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15410] ppid=15372 vsize=8068440 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15410/stat : 15410 (java) S 15372 15372 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405142257 8262082560 32644 33554432000 4194304 4196468 140731830538016 139820177284016 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
Current children cumulated CPU time: 151.07 s
Current children cumulated vsize: 8497036 KiB
Current children cumulated memory: 414556 KiB

[startup+140.001 s]*
/proc/loadavg: 2.04 2.07 2.19 6/240 15421
/proc/meminfo: memFree=29066004/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1472 CPUtime=18.61 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 580 30544 0 0 0 0 1806 55 20 0 1 0 405141418 115843072 368 33554432000 4194304 5098028 140735030558432 140735030555176 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 368 311 221 0 87 0
[pid=15390] ppid=15372 vsize=8068440 memory=130748 CPUtime=1.71 cores=1,3,5,7
/proc/15390/stat : 15390 (java) S 15372 15372 12870 0 -1 1077944320 21561 0 0 0 156 15 0 0 20 0 19 0 405142171 8262082560 32687 33554432000 4194304 4196468 140731830538016 140731830520560 139823250407159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
/proc/15390/statm: 2017110 32687 3216 1 0 1978454 0
[pid=15405] ppid=15390 vsize=315468 memory=283236 CPUtime=131.6 cores=1,3,5,7
/proc/15405/stat : 15405 (cryptominisat5) S 15390 15372 12870 0 -1 4202496 255748 0 0 0 13131 29 0 0 20 0 1 0 405142254 323039232 70809 33554432000 4194304 4451008 140729362333328 140729362330552 140193526074464 0 4 0 2 18446744071580971376 0 0 17 1 0 0 0 0 0 6549032 6559120 37031936 140729362338748 140729362338880 140729362338880 140729362341830 0
/proc/15405/statm: 78867 70809 741 63 0 72594 0
[pid=15390/tid=15391] ppid=15372 vsize=8068440 memory=-7824251494391043176 CPUtime=0.86 cores=1,3,5,7
/proc/15390/task/15391/stat : 15391 (java) S 15372 15372 12870 0 -1 1077944384 17373 0 0 0 78 8 0 0 20 0 19 0 405142172 8262082560 32687 33554432000 4194304 4196468 140731830538016 139823222247328 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15392] ppid=15372 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15392/stat : 15392 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 32687 33554432000 4194304 4196468 140731830538016 139823254649232 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15393] ppid=15372 vsize=8068440 memory=282392 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15393/stat : 15393 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822735808784 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15394] ppid=15372 vsize=8068440 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15394/stat : 15394 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822734756496 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15395] ppid=15372 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15395/stat : 15395 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822733703696 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15396] ppid=15372 vsize=8068440 memory=130576 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15396/stat : 15396 (java) S 15372 15372 12870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 405142174 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822629583472 139823250418306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15397] ppid=15372 vsize=8068440 memory=278236 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15397/stat : 15397 (java) S 15372 15372 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405142175 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822123443488 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15398] ppid=15372 vsize=8068440 memory=8039887049847963819 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15398/stat : 15398 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405142175 8262082560 32687 33554432000 4194304 4196468 140731830538016 139821855008368 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15399] ppid=15372 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15399/stat : 15399 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405142177 8262082560 32687 33554432000 4194304 4196468 140731830538016 139821480499792 139823250425755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15400] ppid=15372 vsize=8068440 memory=2864 CPUtime=0.21 cores=1,3,5,7
/proc/15390/task/15400/stat : 15400 (java) S 15372 15372 12870 0 -1 1077944384 1211 0 0 0 21 0 0 0 20 0 19 0 405142177 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822628530288 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15401] ppid=15372 vsize=8068440 memory=2676 CPUtime=0.19 cores=1,3,5,7
/proc/15390/task/15401/stat : 15401 (java) S 15372 15372 12870 0 -1 1077944384 378 0 0 0 19 0 0 0 20 0 19 0 405142177 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822627477488 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15402] ppid=15372 vsize=8068440 memory=1412 CPUtime=0.28 cores=1,3,5,7
/proc/15390/task/15402/stat : 15402 (java) R 15372 15372 12870 0 -1 4202560 1152 0 0 0 28 0 0 0 20 0 19 0 405142177 8262082560 32687 33554432000 4194304 4196468 140731830538016 139822626425200 139823243503995 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15403] ppid=15372 vsize=8068440 memory=3424 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15403/stat : 15403 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405142177 8262082560 32707 33554432000 4194304 4196468 140731830538016 139820982594016 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15404] ppid=15372 vsize=8068440 memory=1472 CPUtime=0.07 cores=1,3,5,7
/proc/15390/task/15404/stat : 15404 (java) S 15372 15372 12870 0 -1 1077944384 11 0 0 0 3 4 0 0 20 0 19 0 405142178 8262082560 32707 33554432000 4194304 4196468 140731830538016 139822625373104 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15406] ppid=15372 vsize=8068440 memory=164 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15406/stat : 15406 (java) S 15372 15372 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405142255 8262082560 32707 33554432000 4194304 4196468 140731830538016 139822615242176 139823250431769 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15408] ppid=15372 vsize=8068440 memory=8514726395715349656 CPUtime=0.04 cores=1,3,5,7
/proc/15390/task/15408/stat : 15408 (java) R 15372 15372 12870 0 -1 4202560 53 0 0 0 4 0 0 0 20 0 19 0 405142255 8262082560 32707 33554432000 4194304 4196468 140731830538016 139820445713776 139823250419094 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15409] ppid=15372 vsize=8068440 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15409/stat : 15409 (java) S 15372 15372 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405142255 8262082560 32707 33554432000 4194304 4196468 140731830538016 139820579929520 139823250429085 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15410] ppid=15372 vsize=8068440 memory=-8634980985311628903 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15410/stat : 15410 (java) S 15372 15372 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405142257 8262082560 32707 33554432000 4194304 4196468 140731830538016 139820177284016 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
Current children cumulated CPU time: 151.92 s
Current children cumulated vsize: 8497036 KiB
Current children cumulated memory: 415456 KiB

[startup+140.401 s]
/proc/loadavg: 2.04 2.07 2.19 6/240 15421
/proc/meminfo: memFree=29066004/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1472 CPUtime=18.61 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 580 30544 0 0 0 0 1806 55 20 0 1 0 405141418 115843072 368 33554432000 4194304 5098028 140735030558432 140735030555176 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 368 311 221 0 87 0
[pid=15390] ppid=15372 vsize=8068440 memory=266428 CPUtime=2.92 cores=1,3,5,7
/proc/15390/stat : 15390 (java) S 15372 15372 12870 0 -1 1077944320 26915 0 0 0 274 18 0 0 20 0 19 0 405142171 8262082560 66607 33554432000 4194304 4196468 140731830538016 140731830520560 139823250407159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
/proc/15390/statm: 2017110 66607 3228 1 0 1978454 0
[pid=15405] ppid=15390 vsize=315468 memory=283236 CPUtime=131.69 cores=1,3,5,7
/proc/15405/stat : 15405 (cryptominisat5) S 15390 15372 12870 0 -1 4202496 255748 0 0 0 13138 31 0 0 20 0 1 0 405142254 323039232 70809 33554432000 4194304 4451008 140729362333328 140729362330552 140193526074464 0 4 0 2 18446744071580971376 0 0 17 5 0 0 0 0 0 6549032 6559120 37031936 140729362338748 140729362338880 140729362338880 140729362341830 0
/proc/15405/statm: 78867 70809 741 63 0 72594 0
[pid=15390/tid=15391] ppid=15372 vsize=8068440 memory=288230574492221466 CPUtime=0.86 cores=1,3,5,7
/proc/15390/task/15391/stat : 15391 (java) S 15372 15372 12870 0 -1 1077944384 17373 0 0 0 78 8 0 0 20 0 19 0 405142172 8262082560 66607 33554432000 4194304 4196468 140731830538016 139823222247328 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15392] ppid=15372 vsize=8068440 memory=301741412096147765 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15392/stat : 15392 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 66607 33554432000 4194304 4196468 140731830538016 139823254649232 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15393] ppid=15372 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15393/stat : 15393 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822735808784 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15394] ppid=15372 vsize=8068440 memory=924 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15394/stat : 15394 (java) S 15372 15372 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822734756496 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15395] ppid=15372 vsize=8068440 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15395/stat : 15395 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405142173 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822733703696 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15396] ppid=15372 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15396/stat : 15396 (java) S 15372 15372 12870 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 405142174 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822629583472 139823250418306 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15397] ppid=15372 vsize=8068440 memory=2532 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15397/stat : 15397 (java) S 15372 15372 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405142175 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822123443488 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15398] ppid=15372 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15398/stat : 15398 (java) S 15372 15372 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405142175 8262082560 66607 33554432000 4194304 4196468 140731830538016 139821855008368 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15399] ppid=15372 vsize=8068440 memory=808 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15399/stat : 15399 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405142177 8262082560 66607 33554432000 4194304 4196468 140731830538016 139821480499792 139823250425755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15400] ppid=15372 vsize=8068440 memory=1472 CPUtime=0.6 cores=1,3,5,7
/proc/15390/task/15400/stat : 15400 (java) R 15372 15372 12870 0 -1 4202560 3277 0 0 0 59 1 0 0 20 0 19 0 405142177 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822628511304 139823234720736 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15401] ppid=15372 vsize=8068440 memory=130576 CPUtime=0.58 cores=1,3,5,7
/proc/15390/task/15401/stat : 15401 (java) R 15372 15372 12870 0 -1 4202560 3269 0 0 0 57 1 0 0 20 0 19 0 405142177 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822627462152 139823231951377 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15402] ppid=15372 vsize=8068440 memory=283016 CPUtime=0.33 cores=1,3,5,7
/proc/15390/task/15402/stat : 15402 (java) S 15372 15372 12870 0 -1 1077944384 1354 0 0 0 33 0 0 0 20 0 19 0 405142177 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822626425200 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15403] ppid=15372 vsize=8068440 memory=2864 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15403/stat : 15403 (java) S 15372 15372 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405142177 8262082560 66607 33554432000 4194304 4196468 140731830538016 139820982594016 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15404] ppid=15372 vsize=8068440 memory=2676 CPUtime=0.07 cores=1,3,5,7
/proc/15390/task/15404/stat : 15404 (java) S 15372 15372 12870 0 -1 1077944384 11 0 0 0 3 4 0 0 20 0 19 0 405142178 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822625373104 139823250418306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15406] ppid=15372 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15406/stat : 15406 (java) S 15372 15372 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405142255 8262082560 66607 33554432000 4194304 4196468 140731830538016 139822615242176 139823250431769 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15408] ppid=15372 vsize=8068440 memory=3456 CPUtime=0.42 cores=1,3,5,7
/proc/15390/task/15408/stat : 15408 (java) R 15372 15372 12870 0 -1 4202560 246 0 0 0 40 2 0 0 20 0 19 0 405142255 8262082560 66607 33554432000 4194304 4196468 140731830538016 139820445708640 139822744240404 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15409] ppid=15372 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15409/stat : 15409 (java) S 15372 15372 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405142255 8262082560 66607 33554432000 4194304 4196468 140731830538016 139820579929520 139823250429085 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15410] ppid=15372 vsize=8068440 memory=140356 CPUtime=0 cores=1,3,5,7
/proc/15390/task/15410/stat : 15410 (java) S 15372 15372 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405142257 8262082560 66607 33554432000 4194304 4196468 140731830538016 139820177284016 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
Current children cumulated CPU time: 153.22 s
Current children cumulated vsize: 8497036 KiB
Current children cumulated memory: 551136 KiB

[startup+140.601 s]
/proc/loadavg: 2.04 2.07 2.19 6/240 15421
/proc/meminfo: memFree=29066004/32770624 swapFree=66932828/67108860
[pid=15372] ppid=15369 vsize=113128 memory=1472 CPUtime=18.61 cores=1,3,5,7
/proc/15372/stat : 15372 (scop.sh) S 15369 15372 12870 0 -1 4202496 580 30544 0 0 0 0 1806 55 20 0 1 0 405141418 115843072 368 33554432000 4194304 5098028 140735030558432 140735030555176 140233023480444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25415680 140735030559587 140735030559856 140735030559856 140735030562765 0
/proc/15372/statm: 28282 368 311 221 0 87 0
[pid=15390] ppid=15372 vsize=7806288 memory=315816 CPUtime=135.13 cores=1,3,5,7
/proc/15390/stat : 15390 (java) S 15372 15372 12870 0 -1 1077944320 27415 259871 0 0 319 19 13142 33 20 0 16 0 405142171 7993638912 78954 33554432000 4194304 4196468 140731830538016 140731830520560 139823250407159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
/proc/15390/statm: 1951572 78954 3239 1 0 1912916 0
[pid=15390/tid=15391] ppid=15372 vsize=7806288 memory=3252 CPUtime=132.71 cores=1,3,5,7
/proc/15390/task/15391/stat : 15391 (java) R 15372 15372 12870 0 -1 1077944384 17474 259871 0 0 87 9 13142 33 20 0 15 0 405142172 7993638912 78959 33554432000 4194304 4196468 140731830538016 139823222250640 139823250417365 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15392] ppid=15372 vsize=7806288 memory=6791534058613427641 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15392/stat : 15392 (java) S 15372 15372 12870 0 -1 1077944384 1 259871 0 0 0 0 13142 33 20 0 15 0 405142173 7993638912 78959 33554432000 4194304 4196468 140731830538016 139823254649232 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15393] ppid=15372 vsize=7806288 memory=18688 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15393/stat : 15393 (java) S 15372 15372 12870 0 -1 1077944384 2 259871 0 0 0 0 13142 33 20 0 15 0 405142173 7993638912 78959 33554432000 4194304 4196468 140731830538016 139822735808784 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15394] ppid=15372 vsize=7806288 memory=984 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15394/stat : 15394 (java) S 15372 15372 12870 0 -1 1077944384 2 259871 0 0 0 0 13142 33 20 0 15 0 405142173 7993638912 78925 33554432000 4194304 4196468 140731830538016 139822734756496 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15395] ppid=15372 vsize=7806288 memory=2032 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15395/stat : 15395 (java) S 15372 15372 12870 0 -1 1077944384 1 259871 0 0 0 0 13142 33 20 0 14 0 405142173 7993638912 78925 33554432000 4194304 4196468 140731830538016 139822733703696 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15397] ppid=15372 vsize=7673156 memory=301741373374332954 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15397/stat : 15397 (java) S 15372 15372 12870 0 -1 1077944384 13 259871 0 0 0 0 13142 33 20 0 14 0 405142175 7857311744 78937 33554432000 4194304 4196468 140731830538016 139822123443488 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15398] ppid=15372 vsize=7673156 memory=288230613214036277 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15398/stat : 15398 (java) S 15372 15372 12870 0 -1 1077944384 1 259871 0 0 0 0 13142 33 20 0 14 0 405142175 7857311744 78937 33554432000 4194304 4196468 140731830538016 139821855008368 139823250417365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15399] ppid=15372 vsize=7673156 memory=14697383204226480 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15399/stat : 15399 (java) R 15372 15372 12870 0 -1 1077944384 23 259871 0 0 0 0 13142 33 20 0 14 0 405142177 7857311744 78942 33554432000 4194304 4196468 140731830538016 139821480498560 139823250417365 256 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15400] ppid=15372 vsize=7673156 memory=1420 CPUtime=132.47 cores=1,3,5,7
/proc/15390/task/15400/stat : 15400 (java) R 15372 15372 12870 0 -1 1077944384 3311 259871 0 0 71 1 13142 33 20 0 14 0 405142177 7857311744 78944 33554432000 4194304 4196468 140731830538016 139822628530288 139823250418306 256 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15401] ppid=15372 vsize=7673156 memory=1984 CPUtime=132.44 cores=1,3,5,7
/proc/15390/task/15401/stat : 15401 (java) R 15372 15372 12870 0 -1 4203588 3436 259871 0 0 68 1 13142 33 20 0 9 0 405142177 7857311744 79012 33554432000 4194304 4196468 140731830538016 139822627477488 139823250418306 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15403] ppid=15372 vsize=7673156 memory=1440 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15403/stat : 15403 (java) R 15372 15372 12870 0 -1 1077944384 3 259871 0 0 0 0 13142 33 20 0 4 0 405142177 7857311744 79040 33554432000 4194304 4196468 140731830538016 139820982594016 139823250417365 256 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
[pid=15390/tid=15406] ppid=15372 vsize=7673156 memory=1772 CPUtime=131.75 cores=1,3,5,7
/proc/15390/task/15406/stat : 15406 (java) R 15372 15372 12870 0 -1 1077944384 30 259871 0 0 0 0 13142 33 20 0 4 0 405142255 7857311744 79040 33554432000 4194304 4196468 140731830538016 139822615241360 139823250418306 256 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33968128 140731830539259 140731830539418 140731830539418 140731830542287 0
Current children cumulated CPU time: 153.74 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 317288 KiB

Child status: 0
Real time (s): 140.609
CPU time (s): 153.781
CPU user time (s): 152.692
CPU system time (s): 1.08855
CPU usage (%): 109.368
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 2768580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.692
system time used= 1.08855
maximum resident set size= 2769632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10727
involuntary context switches= 126


# summary of solver processes directly reported to runsolver:
#   pid: 15372
#   total CPU time (s): 153.781
#   total CPU user time (s): 152.692
#   total CPU system time (s): 1.08855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.860548 second user time and 1.81128 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 13:44:20
IDJOB=4387690
IDBENCH=122918
IDSOLVER=2826
FILE ID=node151/4387690-1568288699
RUNJOBID= node151-1568286070-13984
PBS_JOBID= 21701060
Free space on /tmp= 56460 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-064.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-4387690-1568288699/watcher-4387690-1568288699 -o /tmp/evaluation-result-4387690-1568288699/solver-4387690-1568288699 -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-4387690-1568288699.xml

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

MD5SUM BENCH= 019f4b77ddc0f15b2fea5bd490d99eee
RANDOM SEED=823732991

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:        29485144 kB
MemAvailable:   30092048 kB
Buffers:          101500 kB
Cached:           793940 kB
SwapCached:        73188 kB
Active:          2293304 kB
Inactive:         435040 kB
Active(anon):    1766836 kB
Inactive(anon):    96264 kB
Active(file):     526468 kB
Inactive(file):   338776 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932828 kB
Dirty:             20692 kB
Writeback:             0 kB
AnonPages:       2047576 kB
Mapped:            46736 kB
Shmem:             22096 kB
Slab:             143292 kB
SReclaimable:     114988 kB
SUnreclaim:        28304 kB
KernelStack:        4112 kB
PageTables:         9416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7899244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    958464 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= 56440 MiB
End job on node151 at 2019-09-12 13:46:41