Trace number 4387672

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 15.2334 5.83531

General information on the benchmark

NameMixed/Mixed-xcsp2-cril/
cril-2_X2.xml
MD5SUMe953f4a4989b8abb5ffb897aaba74e21
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 benchmark0.102789
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints2032
Number of domains2
Minimum domain size8
Maximum domain size10
Distribution of domain sizes[{"size":8,"count":200},{"size":10,"count":8}]
Minimum variable degree4
Maximum variable degree35
Distribution of variable degrees[{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":3},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":3},{"degree":13,"count":8},{"degree":14,"count":4},{"degree":15,"count":12},{"degree":16,"count":15},{"degree":17,"count":16},{"degree":18,"count":13},{"degree":19,"count":12},{"degree":20,"count":23},{"degree":21,"count":26},{"degree":22,"count":16},{"degree":23,"count":9},{"degree":24,"count":12},{"degree":25,"count":7},{"degree":26,"count":4},{"degree":27,"count":5},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":30,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":35,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2032}]
Number of extensional constraints2032
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2032}]
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-15070-serial-file.bin HOME/instance-4387672-1568287604.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 13:26:06 CEST 2019
0.66/0.55	c PID: 15073
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
3.09/1.36	c (0,0) Parsing End
3.09/1.37	c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 2032 ctr, max domain size 10
3.09/1.37	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.09/1.37	c (0,0) Constraint Name Generate Begin
3.09/1.38	c (0,0) Ctr:HOME/instance-4387672-1568287604.xml,ExtensionConflict:ExtensionSupport:Var
3.09/1.38	c (0,0) Constraint Name Generate End
3.09/1.38	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.09/1.38	c (0,0) CSP to CSPinCNF Begin
4.66/1.99	c (1,1) translated 204 (10%) constraints
5.58/2.21	c (1,1) translated 407 (20%) constraints
6.19/2.40	c (1,1) translated 610 (30%) constraints
6.51/2.57	c (2,2) translated 813 (40%) constraints
7.10/2.71	c (2,2) translated 1016 (50%) constraints
7.41/2.84	c (2,2) translated 1220 (60%) constraints
7.71/2.96	c (2,2) translated 1423 (70%) constraints
8.04/3.08	c (2,2) translated 1626 (80%) constraints
8.28/3.18	c (2,2) translated 1829 (90%) constraints
9.40/3.50	c (2,2) translated 2032 (100%) constraints
9.40/3.50	c (2,2) ===========================================
9.40/3.52	c (2,2) Hybrid: #OE=409, #LE=0
9.40/3.52	c (2,2) Hybrid
9.40/3.52	c (2,2) ===========================================
9.40/3.59	c (3,3) translated 1840 (10%) constraints
9.72/3.65	c (3,3) translated 3679 (20%) constraints
10.02/3.71	c (3,3) translated 5519 (30%) constraints
10.02/3.77	c (3,3) translated 7358 (40%) constraints
10.32/3.82	c (3,3) translated 9198 (50%) constraints
10.32/3.87	c (3,3) translated 11037 (60%) constraints
10.59/3.93	c (3,3) translated 12877 (70%) constraints
10.59/3.99	c (3,3) translated 14716 (80%) constraints
10.90/4.04	c (3,3) translated 16556 (90%) constraints
11.20/4.11	c (3,3) translated 18395 (100%) constraints
11.20/4.11	c (3,3) CSP to CSPinCNF End
11.20/4.11	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18395 ctr, max domain size 10
11.20/4.11	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.20/4.11	c (3,3) CSPinCNF Propagation Begin
11.80/4.32	c (3,3) 0 values, 4622 unsatisfiable literals, and 21 valid clauses are removed
11.80/4.32	c (3,3) CSPinCNF Propagation End
11.80/4.32	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
11.80/4.32	c (3,3) Heap : 901 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.80/4.34	c (3,3) Hybrid: #OE=409, #LE=0
11.80/4.34	c (3,3) Simplify CSPinCNF Begin
12.08/4.40	c (3,3) Simplify CSPinCNF End
12.08/4.40	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
12.08/4.40	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.08/4.40	c (3,3) Calculate Precise Domain Begin
12.08/4.41	c (3,3) 0 values are removed by re-calculation
12.08/4.41	c (3,3) Calculate Precise Domain End
12.08/4.41	c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10
12.08/4.41	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.08/4.41	c (3,3) CSPinCNF to SatSolver Begin
12.41/4.55	c (4,4) 1838 (10 %) CSP clauses are encoded (0 SAT variables, 3093 SAT clauses)
12.67/4.62	c (4,4) 3675 (20 %) CSP clauses are encoded (0 SAT variables, 4930 SAT clauses)
12.67/4.67	c (4,4) 5513 (30 %) CSP clauses are encoded (0 SAT variables, 6768 SAT clauses)
12.97/4.72	c (4,4) 7350 (40 %) CSP clauses are encoded (0 SAT variables, 8605 SAT clauses)
12.97/4.76	c (4,4) 9187 (50 %) CSP clauses are encoded (0 SAT variables, 10442 SAT clauses)
12.97/4.79	c (4,4) 11025 (60 %) CSP clauses are encoded (0 SAT variables, 12280 SAT clauses)
13.28/4.82	c (4,4) 12862 (70 %) CSP clauses are encoded (0 SAT variables, 14117 SAT clauses)
13.28/4.84	c (4,4) 14700 (80 %) CSP clauses are encoded (0 SAT variables, 15955 SAT clauses)
13.28/4.86	c (4,4) 16537 (90 %) CSP clauses are encoded (0 SAT variables, 17792 SAT clauses)
13.28/4.90	c (4,4) 18374 (100 %) CSP clauses are encoded (0 SAT variables, 19629 SAT clauses)
13.28/4.90	c (4,4) CSPinCNF to SatSolver End
13.28/4.90	c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.58/4.90	c (4,4) 1665 bool, 19630 clause
13.58/4.90	c (4,4) Export Begin
13.58/5.02	c (4,4) Export to HOME/scop-15070-serial-file.bin
13.58/5.02	c (4,4) Export End
13.96/5.02	c (4,4) Export File Size: 0.04 MB
13.96/5.02	c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
13.96/5.02	c END-Prog: Thu Sep 12 13:26:10 CEST 2019
13.96/5.03	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15070-serial-file.bin
13.98/5.48	c (0,0) Read Serial File Begin
13.98/5.48	c (0,0) HOME/scop-15070-serial-file.bin
13.98/5.72	c (0,0) Read Serial File End
13.98/5.73	
13.98/5.73	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
13.98/5.73	(Solving Process)
13.98/5.73	
13.98/5.75	c BEGIN-Prog: Thu Sep 12 13:26:11 CEST 2019
13.98/5.75	c PID: 15088
13.98/5.75	c IP: 172.20.3.151
13.98/5.75	c HOST: node151.alineos.net
13.98/5.75	c (0,0) SatSolver.solve Begin
13.98/5.75	c (0,0) HOME/cryptominisat5  HOME/instance-4387672-1568287604.xml-scop-15073.cnf
13.98/5.78	c (0,0) c Outputting solution to console
13.98/5.78	c (0,0) c CryptoMiniSat version 5.6.8
13.98/5.78	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
13.98/5.78	c (0,0) c CMS SHA revision GIT-notfound
13.98/5.78	c (0,0) c CMS is MIT licensed
13.98/5.78	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
13.98/5.78	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
13.98/5.78	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387672-1568287604.xml-scop-15073.cnf
13.98/5.78	c (0,0) c Reading file 'HOME/instance-4387672-1568287604.xml-scop-15073.cnf'
13.98/5.78	c (0,0) c -- header says num vars:           1665
13.98/5.78	c (0,0) c -- header says num clauses:       19630
13.98/5.79	c (0,0) c -- clauses added: 19630
13.98/5.79	c (0,0) c -- xor clauses added: 0
13.98/5.79	c (0,0) c -- vars added 1665
13.98/5.79	c (0,0) c Parsing time: 0.01 s
13.98/5.79	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
13.98/5.79	c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
13.98/5.79	c (0,0) c UIP search time          : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c restarts                 : 1           (19.00     confls per restart)
13.98/5.79	c (0,0) c blocked restarts         : 0           (0.00      per normal restart)
13.98/5.79	c (0,0) c time                     : 0.00        
13.98/5.79	c (0,0) c decisions                : 21          (0.00      % random)
13.98/5.79	c (0,0) c propagations             : 1968        
13.98/5.79	c (0,0) c decisions/conflicts      : 1.11        
13.98/5.79	c (0,0) c conflicts                : 19          (0.00      / sec)
13.98/5.79	c (0,0) c conf lits non-minim      : 88          (4.63      lit/confl)
13.98/5.79	c (0,0) c conf lits final          : 3.47        
13.98/5.79	c (0,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
13.98/5.79	c (0,0) c red which0               : 11          (57.89     % of confl)
13.98/5.79	c (0,0) c props/decision           : 0.00        
13.98/5.79	c (0,0) c props/conflict           : 0.00        
13.98/5.79	c (0,0) c 0-depth assigns          : 135         (8.11      % vars)
13.98/5.79	c (0,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
13.98/5.79	c (0,0) c reduceDB time            : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c OccSimplifier time       : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c [occur] 0.00 is overhead
13.98/5.79	c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
13.98/5.79	c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
13.98/5.79	c (0,0) c SCC time                 : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c [scc] new: 0 BP 0M  T: 0.00
13.98/5.79	c (0,0) c vrep replace time        : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c vrep tree roots          : 0           
13.98/5.79	c (0,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
13.98/5.79	c (0,0) c distill time             : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c strength cache-irred time: 0.00        (0.00      % time)
13.98/5.79	c (0,0) c strength cache-red time  : 0.00        (0.00      % time)
13.98/5.79	c (0,0) c Conflicts in UIP         : 19          (1545.09   confl/time_this_thread)
13.98/5.79	c (0,0) c Mem used                 : 4.66        MB
13.98/5.79	c (0,0) c Total time (this thread) : 0.01        
13.98/5.79	c (0,0) s UNSATISFIABLE
13.98/5.82	c (0,0) SatSolver.solve End
13.98/5.82	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.98/5.82	c (0,0) Show results Begin
13.98/5.82	s UNSATISFIABLE
13.98/5.82	c (0,0) Show results End
13.98/5.82	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
13.98/5.83	c (0,0) 0,0,STOP-AFTER(ALL)
13.98/5.83	c END-Prog: Thu Sep 12 13:26:11 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 (15090 MiB free)
  memory of node 1: 16384 MiB (12617 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.10009 s]*
/proc/loadavg: 2.13 2.61 2.55 3/234 15087
/proc/meminfo: memFree=28312168/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15012696 memory=74060 CPUtime=0.11 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 6746 0 0 0 9 2 0 0 20 0 15 0 405031908 15373000704 18515 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3753174 18515 2924 1 0 3715579 0
[pid=15073/tid=15074] ppid=15070 vsize=15012696 memory=-6005124337042243521 CPUtime=0.09 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 4590 0 0 0 8 1 0 0 20 0 15 0 405031909 15373000704 18581 33554432000 4194304 4196468 140734962631968 139937185562680 139937197851998 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 18581 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15012696 memory=139964470191744 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 18581 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 18581 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 18581 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15012696 memory=139964470191744 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 18581 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 18581 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 18581 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 18581 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) S 15070 15070 12870 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 18581 33554432000 4194304 4196468 140734962631968 139936183147248 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 18581 33554432000 4194304 4196468 140734962631968 139936182094704 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15012696 memory=139964470191744 CPUtime=0.01 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) R 15070 15070 12870 0 -1 4202560 414 0 0 0 1 0 0 0 20 0 15 0 405031915 15373000704 18581 33554432000 4194304 4196468 140734962631968 139936181037528 139937193194128 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 18581 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15012696 memory=139964470191744 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 18581 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75456 KiB

[startup+0.210811 s]*
/proc/loadavg: 2.13 2.61 2.55 3/234 15087
/proc/meminfo: memFree=28294320/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15012696 memory=89180 CPUtime=0.25 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 11859 0 0 0 21 4 0 0 20 0 15 0 405031908 15373000704 22295 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3753174 22295 2927 1 0 3715579 0
[pid=15073/tid=15074] ppid=15070 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 9630 0 0 0 17 3 0 0 20 0 15 0 405031909 15373000704 22295 33554432000 4194304 4196468 140734962631968 139937185583888 139937213783446 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 22295 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15012696 memory=288370340621903488 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 22295 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 22295 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 22295 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15012696 memory=139964470191744 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 22295 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 22295 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 22295 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 22295 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) S 15070 15070 12870 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 22295 33554432000 4194304 4196468 140734962631968 139936183147248 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) S 15070 15070 12870 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 22295 33554432000 4194304 4196468 140734962631968 139936182094704 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15012696 memory=139964470191744 CPUtime=0.03 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) R 15070 15070 12870 0 -1 4202560 421 0 0 0 3 0 0 0 20 0 15 0 405031915 15373000704 22295 33554432000 4194304 4196468 140734962631968 139936181041648 139937192307382 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 22295 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 22295 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90576 KiB

[startup+0.310533 s]*
/proc/loadavg: 2.13 2.61 2.55 4/234 15087
/proc/meminfo: memFree=28291404/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15012696 memory=92524 CPUtime=0.42 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 12695 0 0 0 38 4 0 0 20 0 15 0 405031908 15373000704 23131 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3753174 23131 3029 1 0 3715579 0
[pid=15073/tid=15074] ppid=15070 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 10301 0 0 0 27 3 0 0 20 0 15 0 405031909 15373000704 23131 33554432000 4194304 4196468 140734962631968 139937185554528 139937197851998 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 23131 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 23131 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 23131 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15373000704 23131 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15012696 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 23131 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 23131 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15373000704 23131 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 23131 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) S 15070 15070 12870 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 15 0 405031915 15373000704 23131 33554432000 4194304 4196468 140734962631968 139936183147248 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) S 15070 15070 12870 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 405031915 15373000704 23131 33554432000 4194304 4196468 140734962631968 139936182094704 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) S 15070 15070 12870 0 -1 1077944384 442 0 0 0 7 0 0 0 20 0 15 0 405031915 15373000704 23131 33554432000 4194304 4196468 140734962631968 139936181041648 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 23131 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15012696 memory=3833468387996016689 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15373000704 23131 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93920 KiB

[startup+0.707339 s]
/proc/loadavg: 2.13 2.61 2.55 3/234 15087
/proc/meminfo: memFree=28270312/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15018968 memory=132600 CPUtime=1.07 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 19815 0 0 0 101 6 0 0 20 0 15 0 405031908 15379423232 33150 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3754742 33150 3198 1 0 3716091 0
[pid=15073/tid=15074] ppid=15070 vsize=15018968 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 16698 0 0 0 64 4 0 0 20 0 15 0 405031909 15379423232 33150 33554432000 4194304 4196468 140734962631968 139937185607024 139937213793437 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15018968 memory=116 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15379423232 33150 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15018968 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15379423232 33150 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15018968 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15379423232 33150 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15379423232 33150 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405031912 15379423232 33150 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15379423232 33150 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15379423232 33150 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15379423232 33150 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15018968 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) R 15070 15070 12870 0 -1 4202560 746 0 0 0 10 0 0 0 20 0 15 0 405031915 15379423232 33150 33554432000 4194304 4196468 140734962631968 139936183147248 139937197264005 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) R 15070 15070 12870 0 -1 4202560 401 0 0 0 8 0 0 0 20 0 15 0 405031915 15379423232 33150 33554432000 4194304 4196468 140734962631968 139936182075720 139937192990152 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15018968 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) R 15070 15070 12870 0 -1 4202560 635 0 0 0 18 0 0 0 20 0 15 0 405031915 15379423232 33150 33554432000 4194304 4196468 140734962631968 139936181038384 139937192894975 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15379423232 33150 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15379423232 33150 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133996 KiB

[startup+1.50082 s]
/proc/loadavg: 2.12 2.60 2.55 5/234 15087
/proc/meminfo: memFree=28218996/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0

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

/proc/15073/task/15085/stat : 15085 (java) R 15070 15070 12870 0 -1 4202560 1564 0 0 0 59 0 0 0 20 0 15 0 405031915 15383695360 50902 33554432000 4194304 4196468 140734962631968 139936181041648 139937197932600 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15023140 memory=135312 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15383695360 50902 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15023140 memory=2666396 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15383695360 50902 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 205004 KiB

[startup+3.11234 s]
/proc/loadavg: 2.12 2.60 2.55 4/234 15087
/proc/meminfo: memFree=27840632/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15025188 memory=586076 CPUtime=8.28 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 27536 0 0 0 811 17 0 0 20 0 15 0 405031908 15385792512 146519 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3756297 146519 3256 1 0 3717627 0
[pid=15073/tid=15074] ppid=15070 vsize=15025188 memory=3620 CPUtime=3.07 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 20042 0 0 0 295 12 0 0 20 0 15 0 405031909 15385792512 146519 33554432000 4194304 4196468 140734962631968 139937185606896 139936695201193 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15025188 memory=18652 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 146519 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 146519 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15025188 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 146519 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15025188 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 146519 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15025188 memory=3472468260554953456 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405031912 15385792512 146519 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15025188 memory=139964327273248 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15385792512 146519 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15385792512 146519 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15025188 memory=77 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15385792512 146519 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15025188 memory=80 CPUtime=2.12 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) S 15070 15070 12870 0 -1 1077944384 2037 0 0 0 211 1 0 0 20 0 15 0 405031915 15385792512 146519 33554432000 4194304 4196468 140734962631968 139936183147248 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15025188 memory=75 CPUtime=2.15 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) R 15070 15070 12870 0 -1 4202560 1745 0 0 0 214 1 0 0 20 0 15 0 405031915 15385792512 146519 33554432000 4194304 4196468 140734962631968 139936182075232 139937193615105 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15025188 memory=1396 CPUtime=0.9 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) S 15070 15070 12870 0 -1 1077944384 2377 0 0 0 89 1 0 0 20 0 15 0 405031915 15385792512 146519 33554432000 4194304 4196468 140734962631968 139936181041648 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15025188 memory=404928 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15385792512 146519 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15385792512 146519 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 587472 KiB

[startup+5.83527 s]
# the end of solver process 15070 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.8352 s, system=0.39821 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20084 s]
/proc/loadavg: 2.12 2.60 2.55 4/234 15087
/proc/meminfo: memFree=27840632/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15025188 memory=623012 CPUtime=8.5 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 27575 0 0 0 832 18 0 0 20 0 15 0 405031908 15385792512 155753 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3756297 155753 3256 1 0 3717627 0
[pid=15073/tid=15074] ppid=15070 vsize=15025188 memory=90 CPUtime=3.16 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 20060 0 0 0 303 13 0 0 20 0 15 0 405031909 15385792512 155753 33554432000 4194304 4196468 140734962631968 139937185603080 139936704047680 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 155753 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 155753 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15025188 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 155753 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15025188 memory=279928654933040 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15385792512 155753 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405031912 15385792512 155753 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15385792512 155753 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15385792512 155753 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15385792512 155753 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15025188 memory=0 CPUtime=2.17 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) S 15070 15070 12870 0 -1 1077944384 2041 0 0 0 216 1 0 0 20 0 15 0 405031915 15385792512 155753 33554432000 4194304 4196468 140734962631968 139936183147248 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15025188 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) S 15070 15070 12870 0 -1 1077944384 1762 0 0 0 222 1 0 0 20 0 15 0 405031915 15385792512 155753 33554432000 4194304 4196468 140734962631968 139936182094704 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15025188 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) S 15070 15070 12870 0 -1 1077944384 2377 0 0 0 89 1 0 0 20 0 15 0 405031915 15385792512 155753 33554432000 4194304 4196468 140734962631968 139936181041648 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15385792512 155753 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031915 15385792512 155753 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 8.5 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 624408 KiB

[startup+4.80538 s]
/proc/loadavg: 2.12 2.60 2.55 4/234 15087
/proc/meminfo: memFree=27567892/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405031908 115843072 349 33554432000 4194304 5098028 140723431090160 140723431087416 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 349 296 221 0 87 0
[pid=15073] ppid=15070 vsize=15027304 memory=1078272 CPUtime=13.28 cores=0,2,4,6
/proc/15073/stat : 15073 (java) S 15070 15070 12870 0 -1 1077944320 29908 0 0 0 1301 27 0 0 20 0 15 0 405031908 15387959296 269568 33554432000 4194304 4196468 140734962631968 140734962614512 139937213771511 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
/proc/15073/statm: 3756826 269568 3278 1 0 3717627 0
[pid=15073/tid=15074] ppid=15070 vsize=15027304 memory=0 CPUtime=4.76 cores=0,2,4,6
/proc/15073/task/15074/stat : 15074 (java) R 15070 15070 12870 0 -1 4202560 20655 0 0 0 454 22 0 0 20 0 15 0 405031909 15387959296 269568 33554432000 4194304 4196468 140734962631968 139937185607112 139936709220852 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15075] ppid=15070 vsize=15027304 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15075/stat : 15075 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15387959296 269568 33554432000 4194304 4196468 140734962631968 139937218014224 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15076] ppid=15070 vsize=15027304 memory=4495308486545003351 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15076/stat : 15076 (java) S 15070 15070 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405031910 15387959296 269568 33554432000 4194304 4196468 140734962631968 139937016790160 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15077] ppid=15070 vsize=15027304 memory=-6586668835053300886 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15077/stat : 15077 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15387959296 269568 33554432000 4194304 4196468 140734962631968 139937015737104 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15078] ppid=15070 vsize=15027304 memory=3054156605368803713 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15078/stat : 15078 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031910 15387959296 269568 33554432000 4194304 4196468 140734962631968 139936671980432 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15079] ppid=15070 vsize=15027304 memory=3047711592025925257 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15079/stat : 15079 (java) S 15070 15070 12870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405031912 15387959296 269568 33554432000 4194304 4196468 140734962631968 139936184199408 139937213782658 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15080] ppid=15070 vsize=15027304 memory=8514701219477555359 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15080/stat : 15080 (java) S 15070 15070 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405031912 15387959296 269568 33554432000 4194304 4196468 140734962631968 139935805858976 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15081] ppid=15070 vsize=15027304 memory=7755082673412732435 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15081/stat : 15081 (java) S 15070 15070 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405031912 15387959296 269568 33554432000 4194304 4196468 140734962631968 139935537423088 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15082] ppid=15070 vsize=15027304 memory=8182266872363273689 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15082/stat : 15082 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15387959296 269568 33554432000 4194304 4196468 140734962631968 139935162914768 139937213790107 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15083] ppid=15070 vsize=15027304 memory=0 CPUtime=3.59 cores=0,2,4,6
/proc/15073/task/15083/stat : 15083 (java) R 15070 15070 12870 0 -1 4202560 2279 0 0 0 358 1 0 0 20 0 15 0 405031915 15387959296 269568 33554432000 4194304 4196468 140734962631968 139936183128960 139937195293152 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15084] ppid=15070 vsize=15027304 memory=0 CPUtime=3.7 cores=0,2,4,6
/proc/15073/task/15084/stat : 15084 (java) R 15070 15070 12870 0 -1 4202560 2613 0 0 0 368 2 0 0 20 0 15 0 405031915 15387959296 269568 33554432000 4194304 4196468 140734962631968 139936182086032 139937193017359 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15085] ppid=15070 vsize=15027304 memory=3472328279047811153 CPUtime=1.21 cores=0,2,4,6
/proc/15073/task/15085/stat : 15085 (java) S 15070 15070 12870 0 -1 1077944384 3023 0 0 0 119 2 0 0 20 0 15 0 405031915 15387959296 269568 33554432000 4194304 4196468 140734962631968 139936181041648 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15086] ppid=15070 vsize=15027304 memory=2958585 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15086/stat : 15086 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15387959296 269568 33554432000 4194304 4196468 140734962631968 139934665010016 139937213781717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
[pid=15073/tid=15087] ppid=15070 vsize=15027304 memory=2965764 CPUtime=0 cores=0,2,4,6
/proc/15073/task/15087/stat : 15087 (java) S 15070 15070 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405031915 15387959296 269568 33554432000 4194304 4196468 140734962631968 139936179989040 139937213782658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140734962639657 140734962640026 140734962640026 140734962642895 0
Current children cumulated CPU time: 13.28 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 1079668 KiB

[startup+5.60032 s]
/proc/loadavg: 2.12 2.60 2.55 6/234 15087
/proc/meminfo: memFree=27240472/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1476 CPUtime=13.98 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 583 30834 0 0 0 0 1368 30 20 0 1 0 405031908 115843072 369 33554432000 4194304 5098028 140723431090160 140723431086904 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+5.80271 s]
/proc/loadavg: 2.12 2.60 2.55 6/234 15087
/proc/meminfo: memFree=27240472/32770624 swapFree=66932808/67108860
[pid=15070] ppid=15067 vsize=113128 memory=1476 CPUtime=13.98 cores=0,2,4,6
/proc/15070/stat : 15070 (scop.sh) S 15067 15070 12870 0 -1 4202496 583 30834 0 0 0 0 1368 30 20 0 1 0 405031908 115843072 369 33554432000 4194304 5098028 140723431090160 140723431086904 139929960120956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37806080 140723431093091 140723431093360 140723431093360 140723431096269 0
/proc/15070/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 5.83531
CPU time (s): 15.2334
CPU user time (s): 14.8352
CPU system time (s): 0.39821
CPU usage (%): 261.055
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1142940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8352
system time used= 0.39821
maximum resident set size= 1144236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5527
involuntary context switches= 76


# summary of solver processes directly reported to runsolver:
#   pid: 15070
#   total CPU time (s): 15.2334
#   total CPU user time (s): 14.8352
#   total CPU system time (s): 0.39821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050438 second user time and 0.109463 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 13:26:05
IDJOB=4387672
IDBENCH=122870
IDSOLVER=2826
FILE ID=node151/4387672-1568287604
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56380 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-2_X2.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-4387672-1568287604/watcher-4387672-1568287604 -o /tmp/evaluation-result-4387672-1568287604/solver-4387672-1568287604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387672-1568287604.xml

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

MD5SUM BENCH= e953f4a4989b8abb5ffb897aaba74e21
RANDOM SEED=1666847236

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:        28373660 kB
MemAvailable:   29061020 kB
Buffers:          100196 kB
Cached:           876160 kB
SwapCached:        73208 kB
Active:          3405112 kB
Inactive:         433224 kB
Active(anon):    2796964 kB
Inactive(anon):    96264 kB
Active(file):     608148 kB
Inactive(file):   336960 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932808 kB
Dirty:             21144 kB
Writeback:             0 kB
AnonPages:       2878548 kB
Mapped:            46804 kB
Shmem:             22076 kB
Slab:             144960 kB
SReclaimable:     116176 kB
SUnreclaim:        28784 kB
KernelStack:        4080 kB
PageTables:        10864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9131416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1480704 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= 56360 MiB
End job on node151 at 2019-09-12 13:26:11