Trace number 4388248

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)UNSAT 541.839 532.89

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js15/
SuperTaillard-js-15-26.xml
MD5SUMf8945e9ee38ae25fe131ea9d51f4675a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark442.279
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Number of domains93
Minimum domain size1087
Maximum domain size1185
Distribution of domain sizes[{"size":1087,"count":6},{"size":1088,"count":2},{"size":1089,"count":4},{"size":1090,"count":4},{"size":1091,"count":4},{"size":1092,"count":2},{"size":1093,"count":12},{"size":1094,"count":8},{"size":1095,"count":6},{"size":1096,"count":4},{"size":1097,"count":2},{"size":1098,"count":4},{"size":1099,"count":6},{"size":1101,"count":4},{"size":1102,"count":2},{"size":1103,"count":4},{"size":1104,"count":2},{"size":1105,"count":6},{"size":1106,"count":8},{"size":1107,"count":10},{"size":1108,"count":4},{"size":1109,"count":2},{"size":1110,"count":6},{"size":1111,"count":2},{"size":1112,"count":4},"...",{"size":1159,"count":10}, {"size":1160,"count":4}, {"size":1161,"count":4}, {"size":1162,"count":6}, {"size":1163,"count":10}, {"size":1164,"count":2}, {"size":1165,"count":2}, {"size":1166,"count":4}, {"size":1167,"count":2}, {"size":1168,"count":2}, {"size":1170,"count":8}, {"size":1171,"count":2}, {"size":1173,"count":4}, {"size":1174,"count":4}, {"size":1175,"count":4}, {"size":1176,"count":6}, {"size":1177,"count":2}, {"size":1178,"count":4}, {"size":1179,"count":4}, {"size":1180,"count":8}, {"size":1181,"count":10}, {"size":1182,"count":6}, {"size":1183,"count":4}, {"size":1184,"count":6}, {"size":1185,"count":2}]
Minimum variable degree16
Maximum variable degree33
Distribution of variable degrees[{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5580}]
Number of extensional constraints0
Number of intensional constraints5580
Distribution of constraint types[{"type":"intension","count":5580}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-13244-serial-file.bin HOME/instance-4388248-1568296885.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 16:00:45 CEST 2019
0.66/0.55	c PID: 13247
0.66/0.55	c IP: 172.20.3.140
0.66/0.55	c HOST: node140.alineos.net
0.66/0.55	c (0,0) Parsing Begin
4.85/1.91	c (1,1) Parsing End
4.85/1.92	c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1185
4.85/1.93	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.85/1.93	c (1,1) Constraint Name Generate Begin
4.85/1.97	c (1,1) Ctr:HOME/instance-4388248-1568296885.xml,Add:Le:Ne:Num:Or:Var
4.85/1.97	c (1,1) Constraint Name Generate End
4.85/1.97	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.85/1.97	c (1,1) CSP to CSPinCNF Begin
5.67/2.23	c (1,1) translated 558 (10%) constraints
5.67/2.29	c (1,1) translated 1116 (20%) constraints
5.98/2.35	c (1,1) translated 1674 (30%) constraints
5.98/2.40	c (1,1) translated 2232 (40%) constraints
6.29/2.44	c (1,1) translated 2790 (50%) constraints
6.29/2.48	c (1,1) translated 3348 (60%) constraints
6.59/2.51	c (1,1) translated 3906 (70%) constraints
6.59/2.55	c (2,2) translated 4464 (80%) constraints
6.59/2.58	c (2,2) translated 5022 (90%) constraints
6.89/2.60	c (2,2) translated 5580 (100%) constraints
6.89/2.60	c (2,2) ===========================================
6.89/2.64	c (2,2) Hybrid: #OE=450, #LE=0
6.89/2.64	c (2,2) Hybrid
6.89/2.64	c (2,2) ===========================================
6.89/2.68	c (2,2) translated 558 (10%) constraints
7.23/2.70	c (2,2) translated 1116 (20%) constraints
7.23/2.73	c (2,2) translated 1674 (30%) constraints
7.23/2.75	c (2,2) translated 2232 (40%) constraints
7.23/2.77	c (2,2) translated 2790 (50%) constraints
7.23/2.78	c (2,2) translated 3348 (60%) constraints
7.49/2.80	c (2,2) translated 3906 (70%) constraints
7.49/2.82	c (2,2) translated 4464 (80%) constraints
7.49/2.83	c (2,2) translated 5022 (90%) constraints
7.49/2.85	c (2,2) translated 5580 (100%) constraints
7.49/2.85	c (2,2) CSP to CSPinCNF End
7.49/2.85	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
7.49/2.85	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.49/2.85	c (2,2) CSPinCNF Propagation Begin
7.79/2.94	c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.79/2.94	c (2,2) CSPinCNF Propagation End
7.79/2.94	c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1148
7.79/2.94	c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.79/2.96	c (2,2) Hybrid: #OE=450, #LE=0
7.79/2.96	c (2,2) Simplify CSPinCNF Begin
8.73/3.26	c (2,2) Simplify CSPinCNF End
8.73/3.26	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
8.73/3.26	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.73/3.26	c (2,2) Calculate Precise Domain Begin
8.73/3.26	c (2,2) 0 values are removed by re-calculation
8.73/3.26	c (2,2) Calculate Precise Domain End
8.73/3.27	c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1148
8.73/3.27	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.73/3.27	c (2,2) CSPinCNF to SatSolver Begin
14.51/7.48	c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 874757 SAT clauses)
17.09/9.92	c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1402946 SAT clauses)
19.84/12.50	c (11,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1951604 SAT clauses)
22.57/15.12	c (14,14) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2511717 SAT clauses)
25.12/17.68	c (17,16) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3069583 SAT clauses)
28.01/20.33	c (19,19) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3637919 SAT clauses)
30.23/22.44	c (21,21) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4089842 SAT clauses)
32.71/25.15	c (24,23) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4624275 SAT clauses)
35.53/27.80	c (27,26) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5190683 SAT clauses)
38.61/30.73	c (30,29) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6034380 SAT clauses)
38.61/30.73	c (30,29) CSPinCNF to SatSolver End
38.61/30.73	c (30,29) Heap : 192 MiB used (max 11164 MiB), NonHeap : 31 MiB used (max 0 MiB)
38.61/30.73	c (30,29) 321486 bool, 6034755 clause
38.61/30.73	c (30,29) Export Begin
38.76/30.84	c (30,29) Export to HOME/scop-13244-serial-file.bin
38.76/30.84	c (30,29) Export End
38.76/30.84	c (30,29) Export File Size: 0.07 MB
38.76/30.84	c (30,29) 1,1,2,2,2,2,30,STOP-AFTER(DIMACS)
38.76/30.84	c END-Prog: Thu Sep 12 16:01:16 CEST 2019
38.76/30.87	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13244-serial-file.bin
39.47/31.33	c (0,0) Read Serial File Begin
39.47/31.33	c (0,0) HOME/scop-13244-serial-file.bin
39.74/31.56	c (0,0) Read Serial File End
39.74/31.58	
39.74/31.58	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
39.74/31.58	(Solving Process)
39.74/31.58	
39.74/31.60	c BEGIN-Prog: Thu Sep 12 16:01:16 CEST 2019
39.74/31.60	c PID: 13286
39.74/31.60	c IP: 172.20.3.140
39.74/31.60	c HOST: node140.alineos.net
39.74/31.60	c (0,0) SatSolver.solve Begin
39.74/31.60	c (0,0) HOME/cryptominisat5  HOME/instance-4388248-1568296885.xml-scop-13247.cnf
40.01/31.65	c (0,0) c Outputting solution to console
40.01/31.65	c (0,0) c CryptoMiniSat version 5.6.8
40.01/31.65	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
40.01/31.65	c (0,0) c CMS SHA revision GIT-notfound
40.01/31.65	c (0,0) c CMS is MIT licensed
40.01/31.65	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
40.01/31.65	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
40.01/31.65	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388248-1568296885.xml-scop-13247.cnf
40.01/31.65	c (0,0) c Reading file 'HOME/instance-4388248-1568296885.xml-scop-13247.cnf'
40.01/31.65	c (0,0) c -- header says num vars:         321486
40.01/31.65	c (0,0) c -- header says num clauses:     6034755
42.45/33.90	c (2,0) c -- clauses added: 6034755
42.45/33.90	c (2,0) c -- xor clauses added: 0
42.45/33.90	c (2,0) c -- vars added 321486
42.45/33.90	c (2,0) c Parsing time: 2.05 s
43.35/34.82	c (3,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
43.35/34.88	c (3,0) c [distill] long cls tried: 5/5 cl-short:5 lit-r:3 T: 0.06 T-out: N T-r: 99.64%
66.17/57.67	c (26,0) c [distill] long cls tried: 440/423 cl-short:440 lit-r:498 T: 3.63 T-out: N T-r: 80.23%
96.19/87.61	c (56,0) c [distill] long cls tried: 539/942 cl-short:539 lit-r:633 T: 4.78 T-out: N T-r: 73.85%
100.09/91.60	c (60,0) c   glue     1    29  8193  199809 5165K  750K    3.00    2.87  1036  3076  3999    77   20.04   19.87
142.12/133.57	c (102,0) c [distill] long cls tried: 1718/2934 cl-short:1718 lit-r:3592 T: 18.51 T-out: Y T-r: -0.02%
170.54/161.98	c (130,0) c   geom     1    53 16386  199572 5165K  750K    3.00    2.87  3454  6158  6690   130   20.38   20.24
186.77/178.19	c (146,0) c [distill] long cls tried: 962/3548 cl-short:956 lit-r:1725 T: 9.67 T-out: N T-r: 47.13%
246.59/237.98	c (206,0) c [distill] long cls tried: 1610/5679 cl-short:1602 lit-r:4029 T: 18.60 T-out: Y T-r: -0.16%
249.30/240.65	c (209,0) c   glue     1    90   24K  199418 5165K  750K    3.00    2.87  5707  7488 11199   220   20.82   20.65
301.33/292.65	c (261,0) c   glue     1   127   32K  199288 5165K  750K    3.00    2.87  8146 10600 12586   241   20.28   20.14
322.75/314.08	c (282,0) c [distill] long cls tried: 1599/8104 cl-short:1597 lit-r:3170 T: 18.39 T-out: Y T-r: -0.07%
372.48/363.79	c (332,0) c   glue     1   165   40K  199214 5165K  750K    3.00    2.87 10226  9027   20K   320   20.34   20.19
404.20/395.44	c (364,0) c [distill] long cls tried: 1478/10285 cl-short:1473 lit-r:4575 T: 18.75 T-out: Y T-r: -0.04%
444.13/435.37	c (404,0) c   glue     1   187   49K  199149 5165K  750K    3.00    2.87 10913 13638   20K   413   19.60   19.43
500.27/491.47	c (460,0) c [distill] long cls tried: 1559/12830 cl-short:1527 lit-r:4097 T: 18.57 T-out: Y T-r: -0.09%
514.17/505.30	c (474,0) c   glue     1   214   57K  198931 5165K  750K    3.00    2.87 13028 11824   27K   540   19.68   19.50
541.60/532.77	c (501,0) c ------- FINAL TOTAL SEARCH STATS ---------
541.60/532.77	c (501,0) c UIP search time          : 498.11      (99.59     % time)
541.60/532.77	c (501,0) c restarts                 : 235         (261.17    confls per restart)
541.60/532.77	c (501,0) c blocked restarts         : 0           (0.00      per normal restart)
541.60/532.77	c (501,0) c time                     : 498.11      
541.60/532.77	c (501,0) c decisions                : 94422       (0.00      % random)
541.60/532.77	c (501,0) c propagations             : 1663357620  
541.60/532.77	c (501,0) c decisions/conflicts      : 1.54        
541.60/532.77	c (501,0) c conflicts                : 61375       (123.22    / sec)
541.60/532.77	c (501,0) c conf lits non-minim      : 1885354     (30.72     lit/confl)
541.60/532.77	c (501,0) c conf lits final          : 20.97       
541.60/532.77	c (501,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
541.60/532.77	c (501,0) c red which0               : 5514        (8.98      % of confl)
541.60/532.77	c (501,0) c props/decision           : 0.00        
541.60/532.77	c (501,0) c props/conflict           : 0.00        
541.60/532.77	c (501,0) c 0-depth assigns          : 189517      (58.95     % vars)
541.60/532.77	c (501,0) c 0-depth assigns by CNF   : 121392      (37.76     % vars)
541.60/532.77	c (501,0) c reduceDB time            : 0.03        (0.00      % time)
541.60/532.77	c (501,0) c OccSimplifier time       : 0.00        (0.00      % time)
541.60/532.77	c (501,0) c [occur] 0.00 is overhead
541.60/532.77	c (501,0) c [occur] link-in T: 0.00 cleanup T: 0.00
541.60/532.77	c (501,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
541.60/532.77	c (501,0) c SCC time                 : 0.00        (0.00      % time)
541.60/532.77	c (501,0) c [scc] new: 0 BP 0M  T: 0.00
541.60/532.77	c (501,0) c vrep replace time        : 0.00        (0.00      % time)
541.60/532.77	c (501,0) c vrep tree roots          : 0           
541.60/532.77	c (501,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
541.60/532.77	c (501,0) c distill time             : 110.95      (22.18     % time)
541.60/532.77	c (501,0) c strength cache-irred time: 0.00        (0.00      % time)
541.60/532.77	c (501,0) c strength cache-red time  : 0.00        (0.00      % time)
541.60/532.77	c (501,0) c Conflicts in UIP         : 61375       (122.71    confl/time_this_thread)
541.60/532.77	c (501,0) c Mem used                 : 522.96      MB
541.60/532.77	c (501,0) c Total time (this thread) : 500.16      
541.60/532.77	c (501,0) s UNSATISFIABLE
541.71/532.86	c (501,0) SatSolver.solve End
541.71/532.86	c (501,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
541.71/532.86	c (501,0) Show results Begin
541.71/532.86	s UNSATISFIABLE
541.71/532.86	c (501,0) Show results End
541.71/532.86	c (501,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
541.71/532.86	c (501,0) 501,501,STOP-AFTER(ALL)
541.71/532.86	c END-Prog: Thu Sep 12 16:09:38 CEST 2019

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8384 MiB free)
  memory of node 1: 16384 MiB (11592 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.100134 s]*
/proc/loadavg: 2.04 2.05 2.12 3/235 13261
/proc/meminfo: memFree=20395336/32770624 swapFree=66999128/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405626942 115843072 348 33554432000 4194304 5098028 140731850947504 140731850944760 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 348 296 221 0 87 0
[pid=13247] ppid=13244 vsize=15012696 memory=72804 CPUtime=0.12 cores=1,3,5,7
/proc/13247/stat : 13247 (java) S 13244 13244 9001 0 -1 1077944320 6484 0 0 0 10 2 0 0 20 0 15 0 405626942 15373000704 18201 33554432000 4194304 4196468 140722529420592 140722529403136 140254379863799 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
/proc/13247/statm: 3753174 18201 2931 1 0 3715579 0
[pid=13247/tid=13248] ppid=13244 vsize=15012696 memory=-6509246020331028419 CPUtime=0.09 cores=1,3,5,7
/proc/13247/task/13248/stat : 13248 (java) R 13244 13244 9001 0 -1 4202560 4266 0 0 0 7 2 0 0 20 0 15 0 405626943 15373000704 18201 33554432000 4194304 4196468 140722529420592 140254351657704 140254363907429 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13249] ppid=13244 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13249/stat : 13249 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 18201 33554432000 4194304 4196468 140722529420592 140254384105744 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13250] ppid=13244 vsize=15012696 memory=139780097533568 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13250/stat : 13250 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 18201 33554432000 4194304 4196468 140722529420592 140254175189392 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13251] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13251/stat : 13251 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 18201 33554432000 4194304 4196468 140722529420592 140254174136848 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13252] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13252/stat : 13252 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 18201 33554432000 4194304 4196468 140722529420592 140254173084304 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13253] ppid=13244 vsize=15012696 memory=139780097533568 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13253/stat : 13253 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 18201 33554432000 4194304 4196468 140722529420592 140253148940784 140254379874946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13254] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13254/stat : 13254 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 18201 33554432000 4194304 4196468 140722529420592 140253029459360 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13255] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13255/stat : 13255 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 18201 33554432000 4194304 4196468 140722529420592 140252761023984 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13256] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13256/stat : 13256 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 18201 33554432000 4194304 4196468 140722529420592 140252386515664 140254379882395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13257] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13257/stat : 13257 (java) S 13244 13244 9001 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 18201 33554432000 4194304 4196468 140722529420592 140253147887600 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13258] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13258/stat : 13258 (java) S 13244 13244 9001 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 18201 33554432000 4194304 4196468 140722529420592 140253146835056 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13259] ppid=13244 vsize=15012696 memory=139780097533568 CPUtime=0.01 cores=1,3,5,7
/proc/13247/task/13259/stat : 13259 (java) R 13244 13244 9001 0 -1 4202560 441 0 0 0 1 0 0 0 20 0 15 0 405626949 15373000704 18201 33554432000 4194304 4196468 140722529420592 140253145779272 140254379875734 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13260] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13260/stat : 13260 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 18201 33554432000 4194304 4196468 140722529420592 140251888609888 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13261] ppid=13244 vsize=15012696 memory=139780097533568 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13261/stat : 13261 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 18201 33554432000 4194304 4196468 140722529420592 140253144730416 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74196 KiB

[startup+0.211204 s]*
/proc/loadavg: 2.04 2.05 2.12 3/235 13261
/proc/meminfo: memFree=20376856/32770624 swapFree=66999128/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405626942 115843072 348 33554432000 4194304 5098028 140731850947504 140731850944760 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 348 296 221 0 87 0
[pid=13247] ppid=13244 vsize=15012696 memory=88152 CPUtime=0.25 cores=1,3,5,7
/proc/13247/stat : 13247 (java) S 13244 13244 9001 0 -1 1077944320 11607 0 0 0 22 3 0 0 20 0 15 0 405626942 15373000704 22038 33554432000 4194304 4196468 140722529420592 140722529403136 140254379863799 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
/proc/13247/statm: 3753174 22038 2959 1 0 3715579 0
[pid=13247/tid=13248] ppid=13244 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/13247/task/13248/stat : 13248 (java) R 13244 13244 9001 0 -1 4202560 9330 0 0 0 17 3 0 0 20 0 15 0 405626943 15373000704 22104 33554432000 4194304 4196468 140722529420592 140254351684752 140254379885725 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13249] ppid=13244 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13249/stat : 13249 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22104 33554432000 4194304 4196468 140722529420592 140254384105744 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13250] ppid=13244 vsize=15012696 memory=139780097546280 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13250/stat : 13250 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22104 33554432000 4194304 4196468 140722529420592 140254175189392 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13251] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13251/stat : 13251 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22104 33554432000 4194304 4196468 140722529420592 140254174136848 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13252] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13252/stat : 13252 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22104 33554432000 4194304 4196468 140722529420592 140254173084304 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13253] ppid=13244 vsize=15012696 memory=139780097533568 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13253/stat : 13253 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 22104 33554432000 4194304 4196468 140722529420592 140253148940784 140254379874946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13254] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13254/stat : 13254 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 22104 33554432000 4194304 4196468 140722529420592 140253029459360 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13255] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13255/stat : 13255 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 22104 33554432000 4194304 4196468 140722529420592 140252761023984 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13256] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13256/stat : 13256 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22104 33554432000 4194304 4196468 140722529420592 140252386515664 140254379882395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13257] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13257/stat : 13257 (java) R 13244 13244 9001 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22104 33554432000 4194304 4196468 140722529420592 140253147887600 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13258] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13258/stat : 13258 (java) S 13244 13244 9001 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22104 33554432000 4194304 4196468 140722529420592 140253146835056 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13259] ppid=13244 vsize=15012696 memory=139780097533568 CPUtime=0.03 cores=1,3,5,7
/proc/13247/task/13259/stat : 13259 (java) S 13244 13244 9001 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 405626949 15373000704 22104 33554432000 4194304 4196468 140722529420592 140253145782512 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13260] ppid=13244 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13260/stat : 13260 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22104 33554432000 4194304 4196468 140722529420592 140251888609888 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13261] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13261/stat : 13261 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22104 33554432000 4194304 4196468 140722529420592 140253144730416 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89544 KiB

[startup+0.311001 s]*
/proc/loadavg: 2.04 2.05 2.12 3/235 13261
/proc/meminfo: memFree=20374216/32770624 swapFree=66999128/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405626942 115843072 348 33554432000 4194304 5098028 140731850947504 140731850944760 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 348 296 221 0 87 0
[pid=13247] ppid=13244 vsize=15012696 memory=91848 CPUtime=0.43 cores=1,3,5,7
/proc/13247/stat : 13247 (java) S 13244 13244 9001 0 -1 1077944320 12054 0 0 0 39 4 0 0 20 0 15 0 405626942 15373000704 22962 33554432000 4194304 4196468 140722529420592 140722529403136 140254379863799 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
/proc/13247/statm: 3753174 22962 3012 1 0 3715579 0
[pid=13247/tid=13248] ppid=13244 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/13247/task/13248/stat : 13248 (java) R 13244 13244 9001 0 -1 4202560 9582 0 0 0 27 3 0 0 20 0 15 0 405626943 15373000704 22962 33554432000 4194304 4196468 140722529420592 140254351679280 140254363944286 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13249] ppid=13244 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13249/stat : 13249 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22962 33554432000 4194304 4196468 140722529420592 140254384105744 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13250] ppid=13244 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13250/stat : 13250 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22962 33554432000 4194304 4196468 140722529420592 140254175189392 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13251] ppid=13244 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13251/stat : 13251 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22962 33554432000 4194304 4196468 140722529420592 140254174136848 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13252] ppid=13244 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13252/stat : 13252 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15373000704 22962 33554432000 4194304 4196468 140722529420592 140254173084304 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13253] ppid=13244 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13253/stat : 13253 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 22962 33554432000 4194304 4196468 140722529420592 140253148940784 140254379874946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13254] ppid=13244 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13254/stat : 13254 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 22962 33554432000 4194304 4196468 140722529420592 140253029459360 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13255] ppid=13244 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13255/stat : 13255 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626946 15373000704 22962 33554432000 4194304 4196468 140722529420592 140252761023984 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13256] ppid=13244 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13256/stat : 13256 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22962 33554432000 4194304 4196468 140722529420592 140252386515664 140254379882395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13257] ppid=13244 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13247/task/13257/stat : 13257 (java) S 13244 13244 9001 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 15 0 405626949 15373000704 22962 33554432000 4194304 4196468 140722529420592 140253147887600 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13258] ppid=13244 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13247/task/13258/stat : 13258 (java) S 13244 13244 9001 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 405626949 15373000704 22962 33554432000 4194304 4196468 140722529420592 140253146835056 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13259] ppid=13244 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13247/task/13259/stat : 13259 (java) S 13244 13244 9001 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 15 0 405626949 15373000704 22962 33554432000 4194304 4196468 140722529420592 140253145782512 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13260] ppid=13244 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13260/stat : 13260 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22962 33554432000 4194304 4196468 140722529420592 140251888609888 140254379874005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13261] ppid=13244 vsize=15012696 memory=3906362719022887984 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13261/stat : 13261 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626949 15373000704 22962 33554432000 4194304 4196468 140722529420592 140253144730416 140254379874946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93240 KiB

[startup+0.707418 s]
/proc/loadavg: 2.04 2.05 2.12 3/235 13261
/proc/meminfo: memFree=20350588/32770624 swapFree=66999128/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405626942 115843072 348 33554432000 4194304 5098028 140731850947504 140731850944760 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 348 296 221 0 87 0
[pid=13247] ppid=13244 vsize=15018968 memory=132540 CPUtime=1.08 cores=1,3,5,7
/proc/13247/stat : 13247 (java) S 13244 13244 9001 0 -1 1077944320 19817 0 0 0 102 6 0 0 20 0 15 0 405626942 15379423232 33135 33554432000 4194304 4196468 140722529420592 140722529403136 140254379863799 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
/proc/13247/statm: 3754742 33135 3199 1 0 3716091 0
[pid=13247/tid=13248] ppid=13244 vsize=15018968 memory=2372 CPUtime=0.69 cores=1,3,5,7
/proc/13247/task/13248/stat : 13248 (java) R 13244 13244 9001 0 -1 4202560 16604 0 0 0 64 5 0 0 20 0 15 0 405626943 15379423232 33135 33554432000 4194304 4196468 140722529420592 140254351698832 140253853907968 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13249] ppid=13244 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13249/stat : 13249 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15379423232 33135 33554432000 4194304 4196468 140722529420592 140254384105744 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13250] ppid=13244 vsize=15018968 memory=2129119 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13250/stat : 13250 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15379423232 33135 33554432000 4194304 4196468 140722529420592 140254175189392 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13251] ppid=13244 vsize=15018968 memory=2141618 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13251/stat : 13251 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626944 15379423232 33135 33554432000 4194304 4196468 140722529420592 140254174136848 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13252] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13252/stat : 13252 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405626944 15379423232 33135 33554432000 4194304 4196468 140722529420592 140254173084304 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13253] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13253/stat : 13253 (java) S 13244 13244 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405626946 15379423232 33135 33554432000 4194304 4196468 140722529420592 140253148940784 140254379874946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13254] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13254/stat : 13254 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405626946 15379423232 33135 33554432000 4194304 4196468 140722529420592 140253029459360 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13255] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13255/stat : 13255 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626946 15379423232 33135 33554432000 4194304 4196468 140722529420592 140252761023984 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13256] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13256/stat : 13256 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15379423232 33135 33554432000 4194304 4196468 140722529420592 140252386515664 140254379882395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13257] ppid=13244 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13247/task/13257/stat : 13257 (java) R 13244 13244 9001 0 -1 4202560 611 0 0 0 9 0 0 0 20 0 15 0 405626949 15379423232 33135 33554432000 4194304 4196468 140722529420592 140253147879136 140254359110943 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13258] ppid=13244 vsize=15018968 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13247/task/13258/stat : 13258 (java) R 13244 13244 9001 0 -1 4202560 557 0 0 0 10 0 0 0 20 0 15 0 405626949 15379423232 33135 33554432000 4194304 4196468 140722529420592 140253146827008 140254363349807 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13259] ppid=13244 vsize=15018968 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13247/task/13259/stat : 13259 (java) R 13244 13244 9001 0 -1 4202560 714 0 0 0 18 0 0 0 20 0 15 0 405626949 15379423232 33135 33554432000 4194304 4196468 140722529420592 140253145778240 140254372100926 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13260] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13260/stat : 13260 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405626949 15379423232 33135 33554432000 4194304 4196468 140722529420592 140251888609888 140254379874005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
[pid=13247/tid=13261] ppid=13244 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13247/task/13261/stat : 13261 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405626949 15379423232 33135 33554432000 4194304 4196468 140722529420592 140253144730416 140254379874946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13414400 140722529424169 140722529424538 140722529424538 140722529427407 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133932 KiB

[startup+1.50086 s]
/proc/loadavg: 2.04 2.05 2.12 6/235 13261
/proc/meminfo: memFree=20348640/32770624 swapFree=66999128/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405626942 115843072 348 33554432000 4194304 5098028 140731850947504 140731850944760 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 348 296 221 0 87 0

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

Current children cumulated CPU time: 540.1 s
Current children cumulated vsize: 8892080 KiB
Current children cumulated memory: 737312 KiB

[startup+532.001 s]*
/proc/loadavg: 2.00 2.01 2.07 3/240 13469
/proc/meminfo: memFree=17980500/32770624 swapFree=66999136/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1472 CPUtime=38.91 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 582 41719 0 0 0 0 3781 110 20 0 1 0 405626942 115843072 368 33554432000 4194304 5098028 140731850947504 140731850944248 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 368 311 221 0 87 0
[pid=13286] ppid=13244 vsize=8068440 memory=118868 CPUtime=1.61 cores=1,3,5,7
/proc/13286/stat : 13286 (java) S 13244 13244 9001 0 -1 1077944320 20596 0 0 0 137 24 0 0 20 0 19 0 405630030 8262082560 29717 33554432000 4194304 4196468 140723196065616 140723196048160 139696510140151 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
/proc/13286/statm: 2017110 29717 3212 1 0 1978454 0
[pid=13301] ppid=13286 vsize=589372 memory=535512 CPUtime=500.39 cores=1,3,5,7
/proc/13301/stat : 13301 (cryptominisat5) R 13286 13244 9001 0 -1 4202496 1293852 0 0 0 49939 100 0 0 20 0 1 0 405630105 603516928 133878 33554432000 4194304 4451008 140732212393392 140732212389320 140448157962958 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 12419072 140732212401084 140732212401216 140732212401216 140732212404166 0
/proc/13301/statm: 147343 133878 645 63 0 141070 0
[pid=13286/tid=13287] ppid=13244 vsize=8068440 memory=8039887049847965099 CPUtime=0.77 cores=1,3,5,7
/proc/13286/task/13287/stat : 13287 (java) S 13244 13244 9001 0 -1 1077944384 17241 0 0 0 72 5 0 0 20 0 19 0 405630030 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696481980320 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13288] ppid=13244 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13288/stat : 13288 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696514382224 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13289] ppid=13244 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13289/stat : 13289 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696314550544 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13290] ppid=13244 vsize=8068440 memory=17512 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13290/stat : 13290 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696313498256 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13291] ppid=13244 vsize=8068440 memory=532 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13291/stat : 13291 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696312445456 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13292] ppid=13244 vsize=8068440 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13292/stat : 13292 (java) S 13244 13244 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405630033 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695552969328 139696510151298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13293] ppid=13244 vsize=8068440 memory=7451885551540136019 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13293/stat : 13293 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405630033 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695421908256 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13294] ppid=13244 vsize=8068440 memory=7450756241446038125 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13294/stat : 13294 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630034 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695153473136 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13295] ppid=13244 vsize=8068440 memory=8172462574418739300 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13295/stat : 13295 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139694778964560 139696510158747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13296] ppid=13244 vsize=8068440 memory=4639950512826379884 CPUtime=0.12 cores=1,3,5,7
/proc/13286/task/13296/stat : 13296 (java) S 13244 13244 9001 0 -1 1077944384 737 0 0 0 12 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695551916144 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13297] ppid=13244 vsize=8068440 memory=4639950512826379884 CPUtime=0.14 cores=1,3,5,7
/proc/13286/task/13297/stat : 13297 (java) S 13244 13244 9001 0 -1 1077944384 621 0 0 0 14 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695550863344 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13298] ppid=13244 vsize=8068440 memory=-6519613052471072158 CPUtime=0.22 cores=1,3,5,7
/proc/13286/task/13298/stat : 13298 (java) S 13244 13244 9001 0 -1 1077944384 553 0 0 0 22 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695549811056 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13299] ppid=13244 vsize=8068440 memory=7809358750185711204 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13299/stat : 13299 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139694281058784 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13300] ppid=13244 vsize=8068440 memory=7589218943305870700 CPUtime=0.29 cores=1,3,5,7
/proc/13286/task/13300/stat : 13300 (java) S 13244 13244 9001 0 -1 1077944384 35 0 0 0 12 17 0 0 20 0 19 0 405630037 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695548758960 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13302] ppid=13244 vsize=8068440 memory=7595713758538786920 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13302/stat : 13302 (java) S 13244 13244 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695959217600 139696510164761 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13304] ppid=13244 vsize=8068440 memory=6005662723154275171 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13304/stat : 13304 (java) S 13244 13244 9001 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29717 33554432000 4194304 4196468 140723196065616 139693744173072 139696510162077 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13305] ppid=13244 vsize=8068440 memory=5865492539882104931 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13305/stat : 13305 (java) S 13244 13244 9001 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29717 33554432000 4194304 4196468 140723196065616 139693878394288 139696510162077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13306] ppid=13244 vsize=8068440 memory=7380100550553266796 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13306/stat : 13306 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630108 8262082560 29717 33554432000 4194304 4196468 140723196065616 139693475748784 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
Current children cumulated CPU time: 540.91 s
Current children cumulated vsize: 8770940 KiB
Current children cumulated memory: 655852 KiB

[startup+532.401 s]
/proc/loadavg: 2.00 2.01 2.07 3/240 13469
/proc/meminfo: memFree=17980500/32770624 swapFree=66999136/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1472 CPUtime=38.91 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 582 41719 0 0 0 0 3781 110 20 0 1 0 405626942 115843072 368 33554432000 4194304 5098028 140731850947504 140731850944248 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 368 311 221 0 87 0
[pid=13286] ppid=13244 vsize=8068440 memory=118868 CPUtime=1.61 cores=1,3,5,7
/proc/13286/stat : 13286 (java) S 13244 13244 9001 0 -1 1077944320 20596 0 0 0 137 24 0 0 20 0 19 0 405630030 8262082560 29717 33554432000 4194304 4196468 140723196065616 140723196048160 139696510140151 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
/proc/13286/statm: 2017110 29717 3212 1 0 1978454 0
[pid=13301] ppid=13286 vsize=589372 memory=535512 CPUtime=500.78 cores=1,3,5,7
/proc/13301/stat : 13301 (cryptominisat5) R 13286 13244 9001 0 -1 4202496 1293853 0 0 0 49978 100 0 0 20 0 1 0 405630105 603516928 133878 33554432000 4194304 4451008 140732212393392 140732212389320 140448157962409 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 12419072 140732212401084 140732212401216 140732212401216 140732212404166 0
/proc/13301/statm: 147343 133878 645 63 0 141070 0
[pid=13286/tid=13287] ppid=13244 vsize=8068440 memory=988 CPUtime=0.77 cores=1,3,5,7
/proc/13286/task/13287/stat : 13287 (java) S 13244 13244 9001 0 -1 1077944384 17241 0 0 0 72 5 0 0 20 0 19 0 405630030 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696481980320 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13288] ppid=13244 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13288/stat : 13288 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696514382224 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13289] ppid=13244 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13289/stat : 13289 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696314550544 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13290] ppid=13244 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13290/stat : 13290 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696313498256 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13291] ppid=13244 vsize=8068440 memory=118868 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13291/stat : 13291 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29717 33554432000 4194304 4196468 140723196065616 139696312445456 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13292] ppid=13244 vsize=8068440 memory=678824 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13292/stat : 13292 (java) S 13244 13244 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405630033 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695552969328 139696510151298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13293] ppid=13244 vsize=8068440 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13293/stat : 13293 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405630033 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695421908256 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13294] ppid=13244 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13294/stat : 13294 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630034 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695153473136 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13295] ppid=13244 vsize=8068440 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13295/stat : 13295 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139694778964560 139696510158747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13296] ppid=13244 vsize=8068440 memory=804 CPUtime=0.12 cores=1,3,5,7
/proc/13286/task/13296/stat : 13296 (java) S 13244 13244 9001 0 -1 1077944384 737 0 0 0 12 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695551916144 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13297] ppid=13244 vsize=8068440 memory=616940 CPUtime=0.14 cores=1,3,5,7
/proc/13286/task/13297/stat : 13297 (java) S 13244 13244 9001 0 -1 1077944384 621 0 0 0 14 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695550863344 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13298] ppid=13244 vsize=8068440 memory=1476 CPUtime=0.22 cores=1,3,5,7
/proc/13286/task/13298/stat : 13298 (java) S 13244 13244 9001 0 -1 1077944384 553 0 0 0 22 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695549811056 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13299] ppid=13244 vsize=8068440 memory=121028 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13299/stat : 13299 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630036 8262082560 29717 33554432000 4194304 4196468 140723196065616 139694281058784 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13300] ppid=13244 vsize=8068440 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/13286/task/13300/stat : 13300 (java) S 13244 13244 9001 0 -1 1077944384 35 0 0 0 12 17 0 0 20 0 19 0 405630037 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695548758960 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13302] ppid=13244 vsize=8068440 memory=-7175204567652784766 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13302/stat : 13302 (java) S 13244 13244 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29717 33554432000 4194304 4196468 140723196065616 139695959217600 139696510164761 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13304] ppid=13244 vsize=8068440 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13304/stat : 13304 (java) S 13244 13244 9001 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29717 33554432000 4194304 4196468 140723196065616 139693744173072 139696510162077 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13305] ppid=13244 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13305/stat : 13305 (java) S 13244 13244 9001 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29717 33554432000 4194304 4196468 140723196065616 139693878394288 139696510162077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13306] ppid=13244 vsize=8068440 memory=118868 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13306/stat : 13306 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630108 8262082560 29717 33554432000 4194304 4196468 140723196065616 139693475748784 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
Current children cumulated CPU time: 541.3 s
Current children cumulated vsize: 8770940 KiB
Current children cumulated memory: 655852 KiB

[startup+532.801 s]
/proc/loadavg: 2.00 2.01 2.07 3/240 13469
/proc/meminfo: memFree=17980500/32770624 swapFree=66999136/67108860
[pid=13244] ppid=13241 vsize=113128 memory=1472 CPUtime=38.91 cores=1,3,5,7
/proc/13244/stat : 13244 (scop.sh) S 13241 13244 9001 0 -1 4202496 582 41719 0 0 0 0 3781 110 20 0 1 0 405626942 115843072 368 33554432000 4194304 5098028 140731850947504 140731850944248 139859422429820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29278208 140731850949475 140731850949744 140731850949744 140731850952653 0
/proc/13244/statm: 28282 368 311 221 0 87 0
[pid=13286] ppid=13244 vsize=8068440 memory=119388 CPUtime=1.62 cores=1,3,5,7
/proc/13286/stat : 13286 (java) S 13244 13244 9001 0 -1 1077944320 20751 0 0 0 138 24 0 0 20 0 19 0 405630030 8262082560 29847 33554432000 4194304 4196468 140723196065616 140723196048160 139696510140151 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
/proc/13286/statm: 2017110 29847 3216 1 0 1978454 0
[pid=13301] ppid=13286 vsize=454104 memory=431036 CPUtime=501.18 cores=1,3,5,7
/proc/13301/stat : 13301 (cryptominisat5) R 13286 13244 9001 0 -1 4202496 1293900 0 0 0 50018 100 0 0 20 0 1 0 405630105 465002496 107759 33554432000 4194304 4451008 140732212393392 140732212389320 140448138280961 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 12419072 140732212401084 140732212401216 140732212401216 140732212404166 0
/proc/13301/statm: 113526 107759 678 63 0 107253 0
[pid=13286/tid=13287] ppid=13244 vsize=8068440 memory=616920 CPUtime=0.77 cores=1,3,5,7
/proc/13286/task/13287/stat : 13287 (java) S 13244 13244 9001 0 -1 1077944384 17241 0 0 0 72 5 0 0 20 0 19 0 405630030 8262082560 29847 33554432000 4194304 4196468 140723196065616 139696481980320 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13288] ppid=13244 vsize=8068440 memory=8039887049847965354 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13288/stat : 13288 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29847 33554432000 4194304 4196468 140723196065616 139696514382224 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13289] ppid=13244 vsize=8068440 memory=616944 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13289/stat : 13289 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29847 33554432000 4194304 4196468 140723196065616 139696314550544 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13290] ppid=13244 vsize=8068440 memory=616940 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13290/stat : 13290 (java) S 13244 13244 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29847 33554432000 4194304 4196468 140723196065616 139696313498256 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13291] ppid=13244 vsize=8068440 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13291/stat : 13291 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630031 8262082560 29847 33554432000 4194304 4196468 140723196065616 139696312445456 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13292] ppid=13244 vsize=8068440 memory=8039887049847965354 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13292/stat : 13292 (java) S 13244 13244 9001 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405630033 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695552969328 139696510151298 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13293] ppid=13244 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13293/stat : 13293 (java) S 13244 13244 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405630033 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695421908256 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13294] ppid=13244 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13294/stat : 13294 (java) S 13244 13244 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405630034 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695153473136 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13295] ppid=13244 vsize=8068440 memory=118868 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13295/stat : 13295 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630036 8262082560 29847 33554432000 4194304 4196468 140723196065616 139694778964560 139696510158747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13296] ppid=13244 vsize=8068440 memory=616944 CPUtime=0.13 cores=1,3,5,7
/proc/13286/task/13296/stat : 13296 (java) S 13244 13244 9001 0 -1 1077944384 881 0 0 0 13 0 0 0 20 0 19 0 405630036 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695551916144 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13297] ppid=13244 vsize=8068440 memory=1220 CPUtime=0.14 cores=1,3,5,7
/proc/13286/task/13297/stat : 13297 (java) S 13244 13244 9001 0 -1 1077944384 621 0 0 0 14 0 0 0 20 0 19 0 405630036 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695550863344 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13298] ppid=13244 vsize=8068440 memory=1048 CPUtime=0.22 cores=1,3,5,7
/proc/13286/task/13298/stat : 13298 (java) S 13244 13244 9001 0 -1 1077944384 558 0 0 0 22 0 0 0 20 0 19 0 405630036 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695549811056 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13299] ppid=13244 vsize=8068440 memory=5892 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13299/stat : 13299 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630036 8262082560 29847 33554432000 4194304 4196468 140723196065616 139694281058784 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13300] ppid=13244 vsize=8068440 memory=118868 CPUtime=0.29 cores=1,3,5,7
/proc/13286/task/13300/stat : 13300 (java) S 13244 13244 9001 0 -1 1077944384 35 0 0 0 12 17 0 0 20 0 19 0 405630037 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695548758960 139696510151298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13302] ppid=13244 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13302/stat : 13302 (java) S 13244 13244 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29847 33554432000 4194304 4196468 140723196065616 139695959217600 139696510164761 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13304] ppid=13244 vsize=8068440 memory=118868 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13304/stat : 13304 (java) S 13244 13244 9001 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29847 33554432000 4194304 4196468 140723196065616 139693744173072 139696510162077 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13305] ppid=13244 vsize=8068440 memory=616964 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13305/stat : 13305 (java) S 13244 13244 9001 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405630105 8262082560 29847 33554432000 4194304 4196468 140723196065616 139693878394288 139696510162077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
[pid=13286/tid=13306] ppid=13244 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/13286/task/13306/stat : 13306 (java) S 13244 13244 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405630108 8262082560 29847 33554432000 4194304 4196468 140723196065616 139693475748784 139696510150357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31264768 140723196068859 140723196069018 140723196069018 140723196071887 0
Current children cumulated CPU time: 541.71 s
Current children cumulated vsize: 8635672 KiB
Current children cumulated memory: 551896 KiB

Child status: 0
Real time (s): 532.89
CPU time (s): 541.839
CPU user time (s): 539.44
CPU system time (s): 2.39939
CPU usage (%): 101.679
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3979800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.44
system time used= 2.3994
maximum resident set size= 3978776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1357057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 275616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17188
involuntary context switches= 258


# summary of solver processes directly reported to runsolver:
#   pid: 13244
#   total CPU time (s): 541.839
#   total CPU user time (s): 539.44
#   total CPU system time (s): 2.39939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.15927 second user time and 5.8397 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 16:00:45
IDJOB=4388248
IDBENCH=138488
IDSOLVER=2826
FILE ID=node140/4388248-1568296885
RUNJOBID= node140-1568286731-10042
PBS_JOBID= 21701069
Free space on /tmp= 55472 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-26.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-4388248-1568296885/watcher-4388248-1568296885 -o /tmp/evaluation-result-4388248-1568296885/solver-4388248-1568296885 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388248-1568296885.xml

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

MD5SUM BENCH= f8945e9ee38ae25fe131ea9d51f4675a
RANDOM SEED=1732588491

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20457508 kB
MemAvailable:   30683044 kB
Buffers:          130572 kB
Cached:         10304320 kB
SwapCached:         2892 kB
Active:          3053728 kB
Inactive:        8563900 kB
Active(anon):    1179032 kB
Inactive(anon):    43924 kB
Active(file):    1874696 kB
Inactive(file):  8519976 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999128 kB
Dirty:             20644 kB
Writeback:             0 kB
AnonPages:       1286056 kB
Mapped:            55696 kB
Shmem:             32104 kB
Slab:             287372 kB
SReclaimable:     259324 kB
SUnreclaim:        28048 kB
KernelStack:        3808 kB
PageTables:         8224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7173560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 54984 MiB
End job on node140 at 2019-09-12 16:09:38