Trace number 4305654

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
scop both+MapleCOMSPS (2018-07-31)SAT 7.68875 3.53175

General information on the benchmark

NameSocialGolfers/
SocialGolfers-4-4-4-cp_c18.xml
MD5SUM323265c27f21e70af41ff0037033f3ab
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.168527
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints726
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":64}]
Minimum variable degree47
Maximum variable degree48
Distribution of variable degrees[{"degree":47,"count":48},{"degree":48,"count":16}]
Minimum constraint arity4
Maximum constraint arity64
Distribution of constraint arities[{"arity":4,"count":720},{"arity":16,"count":5},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints720
Distribution of constraint types[{"type":"intension","count":720},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-27606-serial-file.bin HOME/instance-4305654-1534073413.xml
0.54/0.51	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 13:30:14 CEST 2018
0.66/0.54	c PID: 27609
0.66/0.54	c IP: 172.20.3.106
0.66/0.54	c HOST: node106.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.49/1.23	c (0,0) Parsing End
2.49/1.24	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 726 ctr, max domain size 4
2.49/1.24	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.49/1.24	c (0,0) Constraint Name Generate Begin
2.49/1.25	c (0,0) Ctr:HOME/instance-4305654-1534073413.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
2.49/1.25	c (0,0) Constraint Name Generate End
2.49/1.25	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.49/1.25	c (0,0) CSP to CSPinCNF Begin
2.71/1.37	c (0,0) translated 73 (10%) constraints
2.91/1.40	c (0,0) translated 146 (20%) constraints
2.91/1.42	c (0,0) translated 218 (30%) constraints
2.91/1.44	c (0,0) translated 291 (40%) constraints
2.91/1.46	c (0,0) translated 363 (50%) constraints
2.91/1.48	c (0,0) translated 436 (60%) constraints
2.91/1.50	c (0,0) translated 509 (70%) constraints
3.19/1.51	c (0,0) translated 581 (80%) constraints
3.19/1.52	c (0,0) translated 654 (90%) constraints
3.43/1.69	c (1,1) translated 726 (100%) constraints
4.01/1.85	c (1,1) STATISTICS1:HOME/instance-4305654-1534073413.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,392,1444,32768,4,4,16,32768:32;4:1217;1:421,4:2849;2:984;1:955,4:792;3:274;2:328;1:50,16:32;2:1638;1:1528,
4.01/1.85	c (1,1) ==========================================
4.01/1.85	c (1,1) Both Encoding selects:
4.01/1.85	c (1,1) Order
4.01/1.85	c (1,1) ==========================================
4.01/1.88	c (1,1) translated 145 (10%) constraints
4.35/1.90	c (1,1) translated 289 (20%) constraints
4.35/1.92	c (1,1) translated 434 (30%) constraints
4.35/1.94	c (1,1) translated 578 (40%) constraints
4.35/1.97	c (1,1) translated 722 (50%) constraints
4.70/2.01	c (1,1) translated 867 (60%) constraints
4.70/2.03	c (1,1) translated 1011 (70%) constraints
4.70/2.06	c (1,1) translated 1156 (80%) constraints
4.70/2.08	c (1,1) translated 1300 (90%) constraints
4.94/2.20	c (1,1) translated 1444 (100%) constraints
4.94/2.21	c (1,1) CSP to CSPinCNF End
4.94/2.21	c (1,1) CSP: 112 int (48 aux), 584 bool (584 aux), 2084 ctr, max domain size 5
4.94/2.21	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.94/2.21	c (1,1) CSPinCNF Propagation Begin
4.94/2.29	c (1,1) 188 values, 858 unsatisfiable literals, and 738 valid clauses are removed
4.94/2.29	c (1,1) CSPinCNF Propagation End
4.94/2.29	c (1,1) CSP: 252 int (188 aux), 444 bool (444 aux), 1346 ctr, max domain size 5
4.94/2.29	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.94/2.29	c (1,1) Simplify CSPinCNF Begin
5.27/2.34	c (1,1) Simplify CSPinCNF End
5.27/2.34	c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5
5.27/2.34	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.27/2.34	c (1,1) Calculate Precise Domain Begin
5.27/2.38	c (1,1) 0 values are removed by re-calculation
5.27/2.38	c (1,1) Calculate Precise Domain End
5.27/2.38	c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5
5.27/2.38	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.27/2.38	c (1,1) CSPinCNF to SatSolver Begin
5.55/2.45	c (1,1) 217 (10 %) CSP clauses are encoded (1547 SAT variables, 852 SAT clauses)
5.55/2.47	c (1,1) 433 (20 %) CSP clauses are encoded (1547 SAT variables, 1572 SAT clauses)
5.55/2.49	c (1,1) 649 (30 %) CSP clauses are encoded (1547 SAT variables, 2283 SAT clauses)
5.85/2.50	c (1,1) 865 (40 %) CSP clauses are encoded (1547 SAT variables, 2928 SAT clauses)
5.85/2.51	c (1,1) 1081 (50 %) CSP clauses are encoded (1547 SAT variables, 3444 SAT clauses)
5.85/2.53	c (2,1) 1297 (60 %) CSP clauses are encoded (1547 SAT variables, 4612 SAT clauses)
5.85/2.54	c (2,1) 1513 (70 %) CSP clauses are encoded (1547 SAT variables, 5780 SAT clauses)
5.85/2.56	c (2,1) 1729 (80 %) CSP clauses are encoded (1547 SAT variables, 6948 SAT clauses)
5.85/2.56	c (2,1) 1945 (90 %) CSP clauses are encoded (1547 SAT variables, 7164 SAT clauses)
5.85/2.57	c (2,1) 2161 (100 %) CSP clauses are encoded (1547 SAT variables, 7712 SAT clauses)
5.85/2.57	c (2,1) Launch Command will be: minisat_release
5.85/2.57	c (2,1) CSPinCNF to SatSolver End
5.85/2.57	c (2,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
6.16/2.60	c (2,1) STATISTICS2:HOME/instance-4305654-1534073413.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1511,2161,64,5,4,7,64:24;32:48;25:24;4:857;1:35,5:144;4:2325;2:3976;1:35,4:414;3:116;2:1521;1:110,7:24;6:48;3:24;2:892;1:4168,
6.16/2.60	c (2,1) 1547 bool, 7715 clause
6.16/2.60	c (2,1) Export Begin
6.16/2.68	c (2,2) Export to HOME/scop-27606-serial-file.bin
6.16/2.68	c (2,2) Export End
6.16/2.68	c (2,2) Export File Size: 0.01 MB
6.16/2.68	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
6.16/2.68	c END-Prog: Sun Aug 12 13:30:16 CEST 2018
6.16/2.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27606-serial-file.bin
6.95/3.18	c (0,0) Read Serial File Begin
6.95/3.18	c (0,0) HOME/scop-27606-serial-file.bin
7.20/3.34	c (0,0) Read Serial File End
7.20/3.36	
7.20/3.36	scop order+minisat_release (2018-07-31)
7.20/3.36	(Solving Process)
7.20/3.36	
7.20/3.38	c BEGIN-Prog: Sun Aug 12 13:30:16 CEST 2018
7.20/3.38	c PID: 27624
7.20/3.38	c IP: 172.20.3.106
7.20/3.38	c HOST: node106.alineos.net
7.20/3.38	c (0,0) SatSolver.solve Begin
7.20/3.38	c (0,0) 0 bool, 0 clause
7.20/3.38	c (0,0) minisat_release HOME/instance-4305654-1534073413.xml-scop-27609.cnf
7.39/3.42	c (0,0) c This is COMiniSatPS.
7.39/3.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.39/3.42	c (0,0) c ============================[ Problem Statistics ]=============================
7.39/3.42	c (0,0) c |                                                                             |
7.39/3.42	c (0,0) c |  Number of variables:          1547                                         |
7.39/3.42	c (0,0) c |  Number of clauses:            7715                                         |
7.39/3.42	c (0,0) c |  Parse time:                   0.00 s                                       |
7.39/3.42	c (0,0) c |  Eliminated clauses:           0.01 Mb                                      |
7.39/3.42	c (0,0) c Reduced to 1188 vars, 7188 cls (grow=0)
7.39/3.42	c (0,0) c No iterative elimination performed. (vars=1188, c/v ratio=6.1)
7.39/3.42	c (0,0) c |  Simplification time:          0.01 s                                       |
7.39/3.42	c (0,0) c |                                                                             |
7.39/3.42	c (0,0) c ============================[ Search Statistics ]==============================
7.39/3.42	c (0,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.39/3.42	c (0,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.39/3.42	c (0,0) c ===============================================================================
7.39/3.42	c (0,0) c ===============================================================================
7.39/3.42	c (0,0) c restarts              : 2
7.39/3.42	c (0,0) c conflicts             : 337            (21794 /sec)
7.39/3.42	c (0,0) c decisions             : 1136           (0.00 % random) (73466 /sec)
7.39/3.42	c (0,0) c propagations          : 32781          (2119964 /sec)
7.39/3.42	c (0,0) c conflict literals     : 5299           (10.16 % deleted)
7.39/3.42	c (0,0) c CPU time              : 0.015463 s
7.39/3.42	c (0,0) 
7.39/3.42	c (0,0) s SATISFIABLE
7.39/3.45	c (0,0) SatSolver.solve End
7.39/3.45	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.39/3.45	c (0,0) Show results Begin
7.61/3.51	s SATISFIABLE
7.61/3.52	v <instantiation>
7.61/3.52	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15]</list>
7.61/3.52	v     <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 3 2 1 0 2 3 2 3 1 0 3 2 0 1 0 3 2 1 2 1 0 3 3 0 1 2 1 2 3 0</values>
7.61/3.52	v </instantiation>
7.61/3.52	c (0,0) Show results End
7.61/3.52	c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.61/3.52	c (0,0) 0,0,STOP-AFTER(ALL)
7.61/3.52	c END-Prog: Sun Aug 12 13:30:17 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305654-1534073413/watcher-4305654-1534073413 -o /tmp/evaluation-result-4305654-1534073413/solver-4305654-1534073413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305654-1534073413.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
Current StackSize limit: 8192 KiB

solver pid=27606, runsolver pid=27603

[startup+0.100058 s]*
/proc/loadavg: 2.34 2.16 2.11 4/223 27623
/proc/meminfo: memFree=19911644/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224904176 115843072 349 33554432000 4194304 5098028 140722605511584 140722605508840 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 349 296 221 0 87 0
[pid=27609] ppid=27606 vsize=15012476 memory=73556 CPUtime=0.11 cores=0,2,4,6
/proc/27609/stat : 27609 (java) S 27606 27606 23167 0 -1 1077944320 6533 0 0 0 9 2 0 0 20 0 15 0 224904177 15372775424 18389 33554432000 4194304 4196468 140727272784528 140727272767072 140136591261431 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
/proc/27609/statm: 3753119 18389 2766 1 0 3715579 0
[pid=27609/tid=27610] ppid=27606 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=0,2,4,6
/proc/27609/task/27610/stat : 27610 (java) R 27606 27606 23167 0 -1 4202560 4645 0 0 0 8 1 0 0 20 0 15 0 224904177 15372775424 18455 33554432000 4194304 4196468 140727272784528 140136563056592 140136571537138 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27611] ppid=27606 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27611/stat : 27611 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 18455 33554432000 4194304 4196468 140727272784528 140136595504144 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27612] ppid=27606 vsize=15012476 memory=140201825994368 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27612/stat : 27612 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 18455 33554432000 4194304 4196468 140727272784528 140136052415632 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27613] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27613/stat : 27613 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 18455 33554432000 4194304 4196468 140727272784528 140136051362576 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27614] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27614/stat : 27614 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 18455 33554432000 4194304 4196468 140727272784528 140136050310032 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27615] ppid=27606 vsize=15012476 memory=140201825994368 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27615/stat : 27615 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904180 15372775424 18455 33554432000 4194304 4196468 140727272784528 140135561672944 140136591272578 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27616] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27616/stat : 27616 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904181 15372775424 18455 33554432000 4194304 4196468 140727272784528 140135186293920 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27617] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27617/stat : 27617 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904181 15372775424 18455 33554432000 4194304 4196468 140727272784528 140134917858032 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27618] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27618/stat : 27618 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 18521 33554432000 4194304 4196468 140727272784528 140134543349712 140136591280027 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27619] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27619/stat : 27619 (java) S 27606 27606 23167 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 18521 33554432000 4194304 4196468 140727272784528 140135560620784 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27620] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27620/stat : 27620 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 18521 33554432000 4194304 4196468 140727272784528 140135559568240 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27621] ppid=27606 vsize=15012476 memory=140201825994368 CPUtime=0.01 cores=0,2,4,6
/proc/27609/task/27621/stat : 27621 (java) S 27606 27606 23167 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 224904183 15372775424 18521 33554432000 4194304 4196468 140727272784528 140135558515184 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27622] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27622/stat : 27622 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 18521 33554432000 4194304 4196468 140727272784528 140134045444960 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27623] ppid=27606 vsize=15012476 memory=140201825994368 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27623/stat : 27623 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904184 15372775424 18521 33554432000 4194304 4196468 140727272784528 140135557462576 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74952 KiB

[startup+0.210715 s]*
/proc/loadavg: 2.34 2.16 2.11 4/223 27623
/proc/meminfo: memFree=19897764/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224904176 115843072 349 33554432000 4194304 5098028 140722605511584 140722605508840 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 349 296 221 0 87 0
[pid=27609] ppid=27606 vsize=15012476 memory=86568 CPUtime=0.25 cores=0,2,4,6
/proc/27609/stat : 27609 (java) S 27606 27606 23167 0 -1 1077944320 10005 0 0 0 22 3 0 0 20 0 15 0 224904177 15372775424 21642 33554432000 4194304 4196468 140727272784528 140727272767072 140136591261431 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
/proc/27609/statm: 3753119 21642 2862 1 0 3715579 0
[pid=27609/tid=27610] ppid=27606 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/27609/task/27610/stat : 27610 (java) R 27606 27606 23167 0 -1 4202560 7898 0 0 0 18 2 0 0 20 0 15 0 224904177 15372775424 21642 33554432000 4194304 4196468 140727272784528 140136563074304 140136076717741 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27611] ppid=27606 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27611/stat : 27611 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 21642 33554432000 4194304 4196468 140727272784528 140136595504144 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27612] ppid=27606 vsize=15012476 memory=140201827194038 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27612/stat : 27612 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 21642 33554432000 4194304 4196468 140727272784528 140136052415632 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27613] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27613/stat : 27613 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 21642 33554432000 4194304 4196468 140727272784528 140136051362576 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27614] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27614/stat : 27614 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 21642 33554432000 4194304 4196468 140727272784528 140136050310032 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27615] ppid=27606 vsize=15012476 memory=140201825994368 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27615/stat : 27615 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904180 15372775424 21642 33554432000 4194304 4196468 140727272784528 140135561672944 140136591272578 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27616] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27616/stat : 27616 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904181 15372775424 21642 33554432000 4194304 4196468 140727272784528 140135186293920 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27617] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27617/stat : 27617 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904181 15372775424 21642 33554432000 4194304 4196468 140727272784528 140134917858032 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27618] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27618/stat : 27618 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 21642 33554432000 4194304 4196468 140727272784528 140134543349712 140136591280027 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27619] ppid=27606 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27609/task/27619/stat : 27619 (java) S 27606 27606 23167 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 224904183 15372775424 21642 33554432000 4194304 4196468 140727272784528 140135560620784 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27620] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27620/stat : 27620 (java) S 27606 27606 23167 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 21642 33554432000 4194304 4196468 140727272784528 140135559568240 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27621] ppid=27606 vsize=15012476 memory=140201825994368 CPUtime=0.03 cores=0,2,4,6
/proc/27609/task/27621/stat : 27621 (java) R 27606 27606 23167 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 224904183 15372775424 21642 33554432000 4194304 4196468 140727272784528 140135558515184 140136583498558 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27622] ppid=27606 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27622/stat : 27622 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 21642 33554432000 4194304 4196468 140727272784528 140134045444960 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27623] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27623/stat : 27623 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904184 15372775424 21642 33554432000 4194304 4196468 140727272784528 140135557462576 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87964 KiB

[startup+0.310649 s]*
/proc/loadavg: 2.34 2.16 2.11 3/223 27623
/proc/meminfo: memFree=19894104/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224904176 115843072 349 33554432000 4194304 5098028 140722605511584 140722605508840 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 349 296 221 0 87 0
[pid=27609] ppid=27606 vsize=15012476 memory=90100 CPUtime=0.43 cores=0,2,4,6
/proc/27609/stat : 27609 (java) S 27606 27606 23167 0 -1 1077944320 10525 0 0 0 39 4 0 0 20 0 15 0 224904177 15372775424 22525 33554432000 4194304 4196468 140727272784528 140727272767072 140136591261431 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
/proc/27609/statm: 3753119 22525 2966 1 0 3715579 0
[pid=27609/tid=27610] ppid=27606 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27609/task/27610/stat : 27610 (java) R 27606 27606 23167 0 -1 4202560 8275 0 0 0 27 2 0 0 20 0 15 0 224904177 15372775424 22525 33554432000 4194304 4196468 140727272784528 140136563056432 140136575305061 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27611] ppid=27606 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27611/stat : 27611 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 22525 33554432000 4194304 4196468 140727272784528 140136595504144 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27612] ppid=27606 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27612/stat : 27612 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 22525 33554432000 4194304 4196468 140727272784528 140136052415632 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27613] ppid=27606 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27613/stat : 27613 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 22525 33554432000 4194304 4196468 140727272784528 140136051362576 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27614] ppid=27606 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27614/stat : 27614 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15372775424 22525 33554432000 4194304 4196468 140727272784528 140136050310032 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27615] ppid=27606 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27615/stat : 27615 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904180 15372775424 22525 33554432000 4194304 4196468 140727272784528 140135561672944 140136591272578 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27616] ppid=27606 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27616/stat : 27616 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904181 15372775424 22525 33554432000 4194304 4196468 140727272784528 140135186293920 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27617] ppid=27606 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27617/stat : 27617 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904181 15372775424 22525 33554432000 4194304 4196468 140727272784528 140134917858032 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27618] ppid=27606 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27618/stat : 27618 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 22525 33554432000 4194304 4196468 140727272784528 140134543349712 140136591280027 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27619] ppid=27606 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27609/task/27619/stat : 27619 (java) R 27606 27606 23167 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 15 0 224904183 15372775424 22525 33554432000 4194304 4196468 140727272784528 140135560620784 140136591273366 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27620] ppid=27606 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27609/task/27620/stat : 27620 (java) R 27606 27606 23167 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 224904183 15372775424 22525 33554432000 4194304 4196468 140727272784528 140135559568240 140136591272578 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27621] ppid=27606 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27609/task/27621/stat : 27621 (java) R 27606 27606 23167 0 -1 4202560 319 0 0 0 7 0 0 0 20 0 15 0 224904183 15372775424 22525 33554432000 4194304 4196468 140727272784528 140135558515184 140136571603544 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27622] ppid=27606 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27622/stat : 27622 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15372775424 22525 33554432000 4194304 4196468 140727272784528 140134045444960 140136591271637 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27623] ppid=27606 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27623/stat : 27623 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904184 15372775424 22525 33554432000 4194304 4196468 140727272784528 140135557462576 140136591272578 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91496 KiB

[startup+0.700777 s]
/proc/loadavg: 2.34 2.16 2.11 3/223 27623
/proc/meminfo: memFree=19870096/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224904176 115843072 349 33554432000 4194304 5098028 140722605511584 140722605508840 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 349 296 221 0 87 0
[pid=27609] ppid=27606 vsize=15020872 memory=132024 CPUtime=1.01 cores=0,2,4,6
/proc/27609/stat : 27609 (java) S 27606 27606 23167 0 -1 1077944320 17519 0 0 0 95 6 0 0 20 0 15 0 224904177 15381372928 33006 33554432000 4194304 4196468 140727272784528 140727272767072 140136591261431 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
/proc/27609/statm: 3755218 33006 3166 1 0 3716603 0
[pid=27609/tid=27610] ppid=27606 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/27609/task/27610/stat : 27610 (java) R 27606 27606 23167 0 -1 4202560 14785 0 0 0 62 5 0 0 20 0 15 0 224904177 15381372928 33006 33554432000 4194304 4196468 140727272784528 140136563097520 140136575341918 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27611] ppid=27606 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27611/stat : 27611 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15381372928 33006 33554432000 4194304 4196468 140727272784528 140136595504144 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27612] ppid=27606 vsize=15020872 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27612/stat : 27612 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15381372928 33006 33554432000 4194304 4196468 140727272784528 140136052415632 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27613] ppid=27606 vsize=15020872 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27613/stat : 27613 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904179 15381372928 33006 33554432000 4194304 4196468 140727272784528 140136051362576 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27614] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27614/stat : 27614 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904179 15381372928 33006 33554432000 4194304 4196468 140727272784528 140136050310032 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27615] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27615/stat : 27615 (java) S 27606 27606 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224904180 15381372928 33006 33554432000 4194304 4196468 140727272784528 140135561672944 140136591272578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27616] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27616/stat : 27616 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904181 15381372928 33006 33554432000 4194304 4196468 140727272784528 140135186293920 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27617] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27617/stat : 27617 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904181 15381372928 33006 33554432000 4194304 4196468 140727272784528 140134917858032 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27618] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27618/stat : 27618 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15381372928 33006 33554432000 4194304 4196468 140727272784528 140134543349712 140136591280027 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27619] ppid=27606 vsize=15020872 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/27609/task/27619/stat : 27619 (java) S 27606 27606 23167 0 -1 1077944384 468 0 0 0 6 0 0 0 20 0 15 0 224904183 15381372928 33006 33554432000 4194304 4196468 140727272784528 140135560620784 140136591272578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27620] ppid=27606 vsize=15020872 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27609/task/27620/stat : 27620 (java) S 27606 27606 23167 0 -1 1077944384 469 0 0 0 9 0 0 0 20 0 15 0 224904183 15381372928 33006 33554432000 4194304 4196468 140727272784528 140135559568240 140136591272578 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27621] ppid=27606 vsize=15020872 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/27609/task/27621/stat : 27621 (java) R 27606 27606 23167 0 -1 4202560 462 0 0 0 16 0 0 0 20 0 15 0 224904183 15381372928 33006 33554432000 4194304 4196468 140727272784528 140135558515184 140136591282778 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27622] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27622/stat : 27622 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904183 15381372928 33006 33554432000 4194304 4196468 140727272784528 140134045444960 140136591271637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
[pid=27609/tid=27623] ppid=27606 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27609/task/27623/stat : 27623 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904184 15381372928 33006 33554432000 4194304 4196468 140727272784528 140135557462576 140136591272578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727272793095 140727272793393 140727272793393 140727272796111 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133420 KiB

[startup+1.50072 s]
/proc/loadavg: 2.34 2.16 2.11 6/223 27623
/proc/meminfo: memFree=19834176/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224904176 115843072 349 33554432000 4194304 5098028 140722605511584 140722605508840 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 349 296 221 0 87 0

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

/proc/27624/task/27626/stat : 27626 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 17526 33554432000 4194304 4196468 140733717780048 140431199595664 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27627] ppid=27606 vsize=7406364 memory=61220 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 17526 33554432000 4194304 4196468 140733717780048 140431005359120 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27628] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 17526 33554432000 4194304 4196468 140733717780048 140431004306320 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27629] ppid=27606 vsize=7406364 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 17526 33554432000 4194304 4196468 140733717780048 140431003253520 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27630] ppid=27606 vsize=7406364 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904449 7584116736 17526 33554432000 4194304 4196468 140733717780048 140430440442224 140431195363970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27631] ppid=27606 vsize=7406364 memory=3472468497919005424 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904449 7584116736 17526 33554432000 4194304 4196468 140733717780048 140429928424480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27632] ppid=27606 vsize=7406364 memory=140201691325216 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27606 27606 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224904450 7584116736 17526 33554432000 4194304 4196468 140733717780048 140429794202480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27633] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904452 7584116736 17526 33554432000 4194304 4196468 140733717780048 140429419698000 140431195371419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27634] ppid=27606 vsize=7406364 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27606 27606 23167 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 224904452 7584116736 17526 33554432000 4194304 4196468 140733717780048 140430439390064 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27635] ppid=27606 vsize=7406364 memory=4580 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27606 27606 23167 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 15 0 224904452 7584116736 17526 33554432000 4194304 4196468 140733717780048 140430438337264 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27636] ppid=27606 vsize=7406364 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) R 27606 27606 23167 0 -1 4202560 325 0 0 0 8 0 0 0 20 0 15 0 224904452 7584116736 17526 33554432000 4194304 4196468 140733717780048 140430437284464 140431174780261 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27637] ppid=27606 vsize=7406364 memory=-7531822216213012384 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904452 7584116736 17526 33554432000 4194304 4196468 140733717780048 140428921793248 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27638] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904452 7584116736 17526 33554432000 4194304 4196468 140733717780048 140430436231856 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
Current children cumulated CPU time: 6.95 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 71576 KiB

[startup+3.53171 s]
# the end of solver process 27606 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.48753 s, system=0.201225 s

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

[startup+3.20095 s]
/proc/loadavg: 2.31 2.16 2.11 4/223 27638
/proc/meminfo: memFree=19917292/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1472 CPUtime=6.41 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 592 25768 0 0 0 0 627 14 20 0 1 0 224904176 115843072 368 33554432000 4194304 5098028 140722605511584 140722605508328 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 368 311 221 0 87 0
[pid=27624] ppid=27606 vsize=7406364 memory=88540 CPUtime=0.65 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27606 27606 23167 0 -1 1077944320 15256 0 0 0 63 2 0 0 20 0 15 0 224904446 7584116736 22135 33554432000 4194304 4196468 140733717780048 140733717762592 140431195352823 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
/proc/27624/statm: 1851591 22135 2992 1 0 1813530 0
[pid=27624/tid=27625] ppid=27606 vsize=7406364 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/27624/task/27625/stat : 27625 (java) R 27606 27606 23167 0 -1 4202560 12953 0 0 0 46 2 0 0 20 0 15 0 224904446 7584116736 22135 33554432000 4194304 4196468 140733717780048 140431167191328 140431180520064 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27626] ppid=27606 vsize=7406364 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 22135 33554432000 4194304 4196468 140733717780048 140431199595664 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27627] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 22135 33554432000 4194304 4196468 140733717780048 140431005359120 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27628] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 22135 33554432000 4194304 4196468 140733717780048 140431004306320 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27629] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904447 7584116736 22135 33554432000 4194304 4196468 140733717780048 140431003253520 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27630] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904449 7584116736 22135 33554432000 4194304 4196468 140733717780048 140430440442224 140431195363970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27631] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904449 7584116736 22135 33554432000 4194304 4196468 140733717780048 140429928424480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27632] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27606 27606 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224904450 7584116736 22135 33554432000 4194304 4196468 140733717780048 140429794202480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27633] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904452 7584116736 22135 33554432000 4194304 4196468 140733717780048 140429419698000 140431195371419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27634] ppid=27606 vsize=7406364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27606 27606 23167 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 224904452 7584116736 22135 33554432000 4194304 4196468 140733717780048 140430439390064 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27635] ppid=27606 vsize=7406364 memory=122 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27606 27606 23167 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 224904452 7584116736 22135 33554432000 4194304 4196468 140733717780048 140430438337264 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27636] ppid=27606 vsize=7406364 memory=136 CPUtime=0.1 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27606 27606 23167 0 -1 1077944384 333 0 0 0 10 0 0 0 20 0 15 0 224904452 7584116736 22135 33554432000 4194304 4196468 140733717780048 140430437284464 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27637] ppid=27606 vsize=7406364 memory=110 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904452 7584116736 22135 33554432000 4194304 4196468 140733717780048 140428921793248 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27638] ppid=27606 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904452 7584116736 22135 33554432000 4194304 4196468 140733717780048 140430436231856 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 90012 KiB

[startup+3.40561 s]
/proc/loadavg: 2.31 2.16 2.11 4/223 27638
/proc/meminfo: memFree=19917292/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1472 CPUtime=6.41 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 592 25768 0 0 0 0 627 14 20 0 1 0 224904176 115843072 368 33554432000 4194304 5098028 140722605511584 140722605508328 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 368 311 221 0 87 0
[pid=27624] ppid=27606 vsize=7410572 memory=100540 CPUtime=0.98 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27606 27606 23167 0 -1 1077944320 16905 0 0 0 95 3 0 0 20 0 15 0 224904446 7588425728 25135 33554432000 4194304 4196468 140733717780048 140733717762592 140431195352823 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
/proc/27624/statm: 1852643 25135 3128 1 0 1814042 0
[pid=27624/tid=27625] ppid=27606 vsize=7410572 memory=2336 CPUtime=0.68 cores=0,2,4,6
/proc/27624/task/27625/stat : 27625 (java) R 27606 27606 23167 0 -1 4202560 14200 0 0 0 65 3 0 0 20 0 15 0 224904446 7588425728 25135 33554432000 4194304 4196468 140733717780048 140431167189744 140431179396453 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27626] ppid=27606 vsize=7410572 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904447 7588425728 25135 33554432000 4194304 4196468 140733717780048 140431199595664 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27627] ppid=27606 vsize=7410572 memory=868 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904447 7588425728 25135 33554432000 4194304 4196468 140733717780048 140431005359120 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27628] ppid=27606 vsize=7410572 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27606 27606 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224904447 7588425728 25135 33554432000 4194304 4196468 140733717780048 140431004306320 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27629] ppid=27606 vsize=7410572 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904447 7588425728 25135 33554432000 4194304 4196468 140733717780048 140431003253520 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27630] ppid=27606 vsize=7410572 memory=748 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27606 27606 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224904449 7588425728 25135 33554432000 4194304 4196468 140733717780048 140430440442224 140431195363970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27631] ppid=27606 vsize=7410572 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27606 27606 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224904449 7588425728 25135 33554432000 4194304 4196468 140733717780048 140429928424480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27632] ppid=27606 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27606 27606 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224904450 7588425728 25135 33554432000 4194304 4196468 140733717780048 140429794202480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27633] ppid=27606 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904452 7588425728 25135 33554432000 4194304 4196468 140733717780048 140429419698000 140431195371419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27634] ppid=27606 vsize=7410572 memory=140201691388256 CPUtime=0.06 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) R 27606 27606 23167 0 -1 4202560 652 0 0 0 6 0 0 0 20 0 15 0 224904452 7588425728 25135 33554432000 4194304 4196468 140733717780048 140430439377088 140431173093696 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27635] ppid=27606 vsize=7410572 memory=140201691398464 CPUtime=0.06 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) R 27606 27606 23167 0 -1 4202560 216 0 0 0 6 0 0 0 20 0 15 0 224904452 7588425728 25135 33554432000 4194304 4196468 140733717780048 140430438323360 140431175044553 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27636] ppid=27606 vsize=7410572 memory=3540026916246926337 CPUtime=0.17 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) R 27606 27606 23167 0 -1 4202560 483 0 0 0 17 0 0 0 20 0 15 0 224904452 7588425728 25135 33554432000 4194304 4196468 140733717780048 140430437284464 140431195374170 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27637] ppid=27606 vsize=7410572 memory=280403382719616 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27606 27606 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224904452 7588425728 25135 33554432000 4194304 4196468 140733717780048 140428921793248 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27638] ppid=27606 vsize=7410572 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27606 27606 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224904452 7588425728 25135 33554432000 4194304 4196468 140733717780048 140430436231856 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 102012 KiB

[startup+3.50077 s]
/proc/loadavg: 2.31 2.16 2.11 4/223 27638
/proc/meminfo: memFree=19917292/32770624 swapFree=67108688/67108860
[pid=27606] ppid=27603 vsize=113128 memory=1472 CPUtime=6.41 cores=0,2,4,6
/proc/27606/stat : 27606 (scop.sh) S 27603 27606 23167 0 -1 4202496 592 25768 0 0 0 0 627 14 20 0 1 0 224904176 115843072 368 33554432000 4194304 5098028 140722605511584 140722605508328 140489895993980 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19464192 140722605515841 140722605516039 140722605516039 140722605518797 0
/proc/27606/statm: 28282 368 311 221 0 87 0
[pid=27624] ppid=27606 vsize=7871608 memory=115560 CPUtime=1.2 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27606 27606 23167 0 -1 1077944320 17725 741 0 0 115 4 1 0 20 0 17 0 224904446 8060526592 28890 33554432000 4194304 4196468 140733717780048 140733717762592 140431195352823 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
/proc/27624/statm: 1967902 28890 3150 1 0 1929301 0
[pid=27624/tid=27625] ppid=27606 vsize=7871608 memory=1224 CPUtime=0.78 cores=0,2,4,6
/proc/27624/task/27625/stat : 27625 (java) R 27606 27606 23167 0 -1 4202560 14698 741 0 0 74 3 1 0 20 0 17 0 224904446 8060526592 28890 33554432000 4194304 4196468 140733717780048 140431167190816 140431187589950 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27626] ppid=27606 vsize=7871608 memory=2336 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27606 27606 23167 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224904447 8060526592 28890 33554432000 4194304 4196468 140733717780048 140431199595664 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27627] ppid=27606 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27606 27606 23167 0 -1 1077944384 2 741 0 0 0 0 1 0 20 0 17 0 224904447 8060526592 28890 33554432000 4194304 4196468 140733717780048 140431005359120 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27628] ppid=27606 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27606 27606 23167 0 -1 1077944384 2 741 0 0 0 0 1 0 20 0 17 0 224904447 8060526592 28890 33554432000 4194304 4196468 140733717780048 140431004306320 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27629] ppid=27606 vsize=7871608 memory=4580 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27606 27606 23167 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224904447 8060526592 28890 33554432000 4194304 4196468 140733717780048 140431003253520 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27630] ppid=27606 vsize=7871608 memory=6944656591801719708 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27606 27606 23167 0 -1 1077944384 5 741 0 0 0 0 1 0 20 0 17 0 224904449 8060526592 28890 33554432000 4194304 4196468 140733717780048 140430440442224 140431195363970 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27631] ppid=27606 vsize=7871608 memory=-7531822216213012384 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27606 27606 23167 0 -1 1077944384 13 741 0 0 0 0 1 0 20 0 17 0 224904449 8060526592 28890 33554432000 4194304 4196468 140733717780048 140429928424480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27632] ppid=27606 vsize=7871608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27606 27606 23167 0 -1 1077944384 21 741 0 0 0 0 1 0 20 0 17 0 224904450 8060526592 28890 33554432000 4194304 4196468 140733717780048 140429794202480 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27633] ppid=27606 vsize=7871608 memory=13297 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27606 27606 23167 0 -1 1077944384 3 741 0 0 0 0 1 0 20 0 17 0 224904452 8060526592 28890 33554432000 4194304 4196468 140733717780048 140429419698000 140431195371419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27634] ppid=27606 vsize=7871608 memory=4420 CPUtime=0.1 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27606 27606 23167 0 -1 1077944384 721 741 0 0 9 0 1 0 20 0 17 0 224904452 8060526592 28890 33554432000 4194304 4196468 140733717780048 140430439390064 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27635] ppid=27606 vsize=7871608 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27606 27606 23167 0 -1 1077944384 237 741 0 0 7 0 1 0 20 0 17 0 224904452 8060526592 28890 33554432000 4194304 4196468 140733717780048 140430438337264 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27636] ppid=27606 vsize=7871608 memory=8836 CPUtime=0.21 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27606 27606 23167 0 -1 1077944384 580 741 0 0 20 0 1 0 20 0 17 0 224904452 8060526592 28890 33554432000 4194304 4196468 140733717780048 140430437284464 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27637] ppid=27606 vsize=7871608 memory=11044 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27606 27606 23167 0 -1 1077944384 3 741 0 0 0 0 1 0 20 0 17 0 224904452 8060526592 28890 33554432000 4194304 4196468 140733717780048 140428921793248 140431195363029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
[pid=27624/tid=27638] ppid=27606 vsize=7871608 memory=13252 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27606 27606 23167 0 -1 1077944384 1 741 0 0 0 0 1 0 20 0 17 0 224904452 8060526592 28890 33554432000 4194304 4196468 140733717780048 140430436231856 140431195363970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26304512 140733717783733 140733717783857 140733717783857 140733717786575 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 117032 KiB

Child status: 0
Real time (s): 3.53175
CPU time (s): 7.68875
CPU user time (s): 7.48753
CPU system time (s): 0.201225
CPU usage (%): 217.704
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 331492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.48753
system time used= 0.201225
maximum resident set size= 337332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5526
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 27606
#   total CPU time (s): 7.68875
#   total CPU user time (s): 7.48753
#   total CPU system time (s): 0.201225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048278 second user time and 0.07954 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 13:30:13
IDJOB=4305654
IDBENCH=141378
IDSOLVER=2783
FILE ID=node106/4305654-1534073413
RUNJOBID= node106-1534060601-23198
PBS_JOBID= 21036975
Free space on /tmp= 39828 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-4-cp_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305654-1534073413/watcher-4305654-1534073413 -o /tmp/evaluation-result-4305654-1534073413/solver-4305654-1534073413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305654-1534073413.xml

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

MD5SUM BENCH= 323265c27f21e70af41ff0037033f3ab
RANDOM SEED=2038049045

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        19973004 kB
MemAvailable:   31153320 kB
Buffers:          129032 kB
Cached:         11202120 kB
SwapCached:            0 kB
Active:          6343360 kB
Inactive:        5792764 kB
Active(anon):     752312 kB
Inactive(anon):   105368 kB
Active(file):    5591048 kB
Inactive(file):  5687396 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8116 kB
Writeback:             0 kB
AnonPages:        812092 kB
Mapped:            63672 kB
Shmem:             49632 kB
Slab:             358712 kB
SReclaimable:     330332 kB
SUnreclaim:        28380 kB
KernelStack:        3600 kB
PageTables:         7204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6507256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39820 MiB
End job on node106 at 2018-08-12 13:30:17