Trace number 4305574

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)? (TO) 2520.07 2514.21

General information on the benchmark

NameColouredQueens/
ColouredQueens-13_c18.xml
MD5SUM3785e9b0b2758b612fcaaefab5873f44
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints72
Number of domains1
Minimum domain size13
Maximum domain size13
Distribution of domain sizes[{"size":13,"count":169}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":165}]
Minimum constraint arity2
Maximum constraint arity13
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":28}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":72}]
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-23661-serial-file.bin HOME/instance-4305574-1534063115.xml
0.66/0.52	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 10:38:36 CEST 2018
0.66/0.55	c PID: 23664
0.66/0.55	c IP: 172.20.3.106
0.66/0.55	c HOST: node106.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.41/0.91	c (0,0) Parsing End
1.41/0.91	c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 13
1.41/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91	c (0,0) Constraint Name Generate Begin
1.41/0.92	c (0,0) Ctr:HOME/instance-4305574-1534063115.xml,AllDifferent:IntVar
1.41/0.92	c (0,0) Constraint Name Generate End
1.41/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) CSP to CSPinCNF Begin
2.08/1.23	c (0,0) translated 8 (10%) constraints
2.38/1.30	c (0,0) translated 15 (20%) constraints
2.38/1.35	c (0,0) translated 22 (30%) constraints
2.38/1.38	c (0,0) translated 29 (40%) constraints
2.38/1.40	c (0,0) translated 36 (50%) constraints
2.71/1.41	c (0,0) translated 44 (60%) constraints
2.71/1.42	c (0,0) translated 51 (70%) constraints
2.71/1.43	c (0,0) translated 58 (80%) constraints
2.71/1.44	c (0,0) translated 65 (90%) constraints
2.71/1.46	c (0,0) translated 72 (100%) constraints
3.06/1.55	c (1,1) STATISTICS1:HOME/instance-4305574-1534063115.xml,AllDifferent:IntVar,169,3472,13,13,13,2,13:3328,13:8000,13:56;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:3336,2:3328;1:1344,
3.06/1.55	c (1,1) ==========================================
3.06/1.55	c (1,1) Both Encoding selects:
3.06/1.55	c (1,1) Order
3.06/1.55	c (1,1) ==========================================
3.06/1.60	c (1,1) translated 348 (10%) constraints
3.38/1.62	c (1,1) translated 695 (20%) constraints
3.38/1.64	c (1,1) translated 1042 (30%) constraints
3.38/1.67	c (1,1) translated 1389 (40%) constraints
3.38/1.69	c (1,1) translated 1736 (50%) constraints
3.68/1.71	c (1,1) translated 2084 (60%) constraints
3.68/1.73	c (1,1) translated 2431 (70%) constraints
3.68/1.75	c (1,1) translated 2778 (80%) constraints
3.68/1.76	c (1,1) translated 3125 (90%) constraints
3.68/1.78	c (1,1) translated 3472 (100%) constraints
3.68/1.78	c (1,1) CSP to CSPinCNF End
3.68/1.79	c (1,1) CSP: 169 int (0 aux), 0 bool (0 aux), 3472 ctr, max domain size 13
3.68/1.79	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.68/1.79	c (1,1) CSPinCNF Propagation Begin
4.02/1.84	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.02/1.84	c (1,1) CSPinCNF Propagation End
4.02/1.84	c (1,1) CSP: 169 int (0 aux), 0 bool (0 aux), 3472 ctr, max domain size 13
4.02/1.84	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.02/1.84	c (1,1) Simplify CSPinCNF Begin
4.98/2.14	c (1,1) Simplify CSPinCNF End
4.98/2.14	c (1,1) CSP: 169 int (0 aux), 6656 bool (6656 aux), 10128 ctr, max domain size 13
4.98/2.14	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.98/2.14	c (1,1) Calculate Precise Domain Begin
4.98/2.14	c (1,1) 0 values are removed by re-calculation
4.98/2.14	c (1,1) Calculate Precise Domain End
4.98/2.14	c (1,1) CSP: 169 int (0 aux), 6656 bool (6656 aux), 10128 ctr, max domain size 13
4.98/2.14	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.98/2.14	c (1,1) CSPinCNF to SatSolver Begin
5.62/2.33	c (1,1) 1013 (10 %) CSP clauses are encoded (8684 SAT variables, 10899 SAT clauses)
5.94/2.40	c (1,1) 2026 (20 %) CSP clauses are encoded (8684 SAT variables, 19952 SAT clauses)
5.94/2.45	c (1,1) 3039 (30 %) CSP clauses are encoded (8684 SAT variables, 29005 SAT clauses)
6.24/2.50	c (1,1) 4052 (40 %) CSP clauses are encoded (8684 SAT variables, 38046 SAT clauses)
6.24/2.55	c (2,2) 5064 (50 %) CSP clauses are encoded (8684 SAT variables, 47086 SAT clauses)
6.24/2.59	c (2,2) 6077 (60 %) CSP clauses are encoded (8684 SAT variables, 56139 SAT clauses)
6.55/2.63	c (2,2) 7090 (70 %) CSP clauses are encoded (8684 SAT variables, 65144 SAT clauses)
6.55/2.66	c (2,2) 8103 (80 %) CSP clauses are encoded (8684 SAT variables, 74041 SAT clauses)
6.55/2.69	c (2,2) 9116 (90 %) CSP clauses are encoded (8684 SAT variables, 82926 SAT clauses)
6.82/2.72	c (2,2) 10128 (100 %) CSP clauses are encoded (8684 SAT variables, 91858 SAT clauses)
6.82/2.72	c (2,2) Launch Command will be: minisat_release
6.82/2.72	c (2,2) CSPinCNF to SatSolver End
6.82/2.72	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.82/2.80	c (2,2) STATISTICS2:HOME/instance-4305574-1534063115.xml,AllDifferent:IntVar,6825,10128,13,13,13,2,13:6656,13:14656;2:13312,13:56;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:9992,2:6656;1:14656,
6.82/2.80	c (2,2) 8684 bool, 91859 clause
6.82/2.80	c (2,2) Export Begin
7.07/2.89	c (2,2) Export to HOME/scop-23661-serial-file.bin
7.07/2.89	c (2,2) Export End
7.07/2.89	c (2,2) Export File Size: 0.03 MB
7.07/2.89	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.07/2.89	c END-Prog: Sun Aug 12 10:38:38 CEST 2018
0.00/2.90	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23661-serial-file.bin
7.84/3.39	c (0,0) Read Serial File Begin
7.84/3.39	c (0,0) HOME/scop-23661-serial-file.bin
8.10/3.56	c (0,0) Read Serial File End
8.10/3.57	
8.10/3.57	scop order+minisat_release (2018-07-31)
8.10/3.57	(Solving Process)
8.10/3.57	
8.10/3.59	c BEGIN-Prog: Sun Aug 12 10:38:39 CEST 2018
8.10/3.59	c PID: 23679
8.10/3.59	c IP: 172.20.3.106
8.10/3.59	c HOST: node106.alineos.net
8.10/3.60	c (0,0) SatSolver.solve Begin
8.10/3.60	c (0,0) 0 bool, 0 clause
8.10/3.60	c (0,0) minisat_release HOME/instance-4305574-1534063115.xml-scop-23664.cnf
2509.91/2504.19	c (2500,0) c This is COMiniSatPS.
2509.91/2504.19	c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2509.91/2504.19	c (2500,0) c ============================[ Problem Statistics ]=============================
2509.91/2504.19	c (2500,0) c |                                                                             |
2509.91/2504.19	c (2500,0) c |  Number of variables:          8684                                         |
2509.91/2504.19	c (2500,0) c |  Number of clauses:           91859                                         |
2509.91/2504.19	c (2500,0) c |  Parse time:                   0.03 s                                       |
2509.91/2504.19	c (2500,0) c |  Eliminated clauses:           0.06 Mb                                      |
2509.91/2504.19	c (2500,0) c Reduced to 5356 vars, 88531 cls (grow=0)
2509.91/2504.19	c (2500,0) c No iterative elimination performed. (vars=5356, c/v ratio=16.5)
2509.91/2504.19	c (2500,0) c |  Simplification time:          0.07 s                                       |
2509.91/2504.19	c (2500,0) c |                                                                             |
2509.91/2504.19	c (2500,0) c ============================[ Search Statistics ]==============================
2509.91/2504.19	c (2500,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2509.91/2504.19	c (2500,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2509.91/2504.19	c (2500,0) c ===============================================================================
2509.91/2504.19	c (2500,0) c Switched to VSIDS.
2520.01/2514.20	c (2510,0) SatSolver is killed by some reasons.
2520.01/2514.20	c (2510,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.01/2514.20	s UNKNOWN
2520.01/2514.20	c END-Prog: Sun Aug 12 11:20:30 CEST 2018
2520.01/2514.21	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2514.21	c (scop.sh) Killing background jobs.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305574-1534063115/watcher-4305574-1534063115 -o /tmp/evaluation-result-4305574-1534063115/solver-4305574-1534063115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305574-1534063115.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 2.00 2.01 1.97 5/222 23678
/proc/meminfo: memFree=20503700/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223874421 115843072 349 33554432000 4194304 5098028 140732454585824 140732454583080 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 349 296 221 0 87 0
[pid=23664] ppid=23661 vsize=15012476 memory=73308 CPUtime=0.11 cores=1,3,5,7
/proc/23664/stat : 23664 (java) S 23661 23661 23167 0 -1 1077944320 6444 0 0 0 9 2 0 0 20 0 15 0 223874421 15372775424 18327 33554432000 4194304 4196468 140736873974352 140736873956896 139750627753719 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
/proc/23664/statm: 3753119 18327 2771 1 0 3715579 0
[pid=23664/tid=23665] ppid=23661 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=1,3,5,7
/proc/23664/task/23665/stat : 23665 (java) R 23661 23661 23167 0 -1 4202560 4572 0 0 0 7 2 0 0 20 0 15 0 223874422 15372775424 18393 33554432000 4194304 4196468 140736873974352 139750599565704 139750608029479 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23666] ppid=23661 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23666/stat : 23666 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 18393 33554432000 4194304 4196468 140736873974352 139750631996560 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23667] ppid=23661 vsize=15012476 memory=139836015498880 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23667/stat : 23667 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 18393 33554432000 4194304 4196468 140736873974352 139750452292624 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23668] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23668/stat : 23668 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 18393 33554432000 4194304 4196468 140736873974352 139750087818128 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23669] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23669/stat : 23669 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 18393 33554432000 4194304 4196468 140736873974352 139750086765328 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23670] ppid=23661 vsize=15012476 memory=139836015498880 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23670/stat : 23670 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 18393 33554432000 4194304 4196468 140736873974352 139749967325552 139750627764866 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23671] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23671/stat : 23671 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 18393 33554432000 4194304 4196468 140736873974352 139749243216928 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23672] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23672/stat : 23672 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 18393 33554432000 4194304 4196468 140736873974352 139748974781296 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23673] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23673/stat : 23673 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 18393 33554432000 4194304 4196468 140736873974352 139748600272720 139750627772315 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23674] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23674/stat : 23674 (java) S 23661 23661 23167 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 18459 33554432000 4194304 4196468 140736873974352 139749966273392 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23675] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23675/stat : 23675 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 18459 33554432000 4194304 4196468 140736873974352 139749965220592 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23676] ppid=23661 vsize=15012476 memory=139836015498880 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23676/stat : 23676 (java) S 23661 23661 23167 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 18459 33554432000 4194304 4196468 140736873974352 139749964167792 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23677] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23677/stat : 23677 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 18459 33554432000 4194304 4196468 140736873974352 139748102367968 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23678] ppid=23661 vsize=15012476 memory=139836015498880 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23678/stat : 23678 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 18459 33554432000 4194304 4196468 140736873974352 139749963115184 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74704 KiB

[startup+0.214841 s]*
/proc/loadavg: 2.00 2.01 1.97 4/222 23678
/proc/meminfo: memFree=20489996/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223874421 115843072 349 33554432000 4194304 5098028 140732454585824 140732454583080 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 349 296 221 0 87 0
[pid=23664] ppid=23661 vsize=15012476 memory=86104 CPUtime=0.26 cores=1,3,5,7
/proc/23664/stat : 23664 (java) S 23661 23661 23167 0 -1 1077944320 9875 0 0 0 23 3 0 0 20 0 15 0 223874421 15372775424 21526 33554432000 4194304 4196468 140736873974352 140736873956896 139750627753719 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
/proc/23664/statm: 3753119 21526 2904 1 0 3715579 0
[pid=23664/tid=23665] ppid=23661 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/23664/task/23665/stat : 23665 (java) R 23661 23661 23167 0 -1 4202560 7781 0 0 0 17 2 0 0 20 0 15 0 223874422 15372775424 21526 33554432000 4194304 4196468 140736873974352 139750599580112 139750627765654 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23666] ppid=23661 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23666/stat : 23666 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 21526 33554432000 4194304 4196468 140736873974352 139750631996560 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23667] ppid=23661 vsize=15012476 memory=139836016689336 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23667/stat : 23667 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 21526 33554432000 4194304 4196468 140736873974352 139750452292624 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23668] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23668/stat : 23668 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 21526 33554432000 4194304 4196468 140736873974352 139750087818128 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23669] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23669/stat : 23669 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 21526 33554432000 4194304 4196468 140736873974352 139750086765328 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23670] ppid=23661 vsize=15012476 memory=139836015498880 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23670/stat : 23670 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 21526 33554432000 4194304 4196468 140736873974352 139749967325552 139750627764866 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23671] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23671/stat : 23671 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 21526 33554432000 4194304 4196468 140736873974352 139749243216928 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23672] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23672/stat : 23672 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 21526 33554432000 4194304 4196468 140736873974352 139748974781296 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23673] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23673/stat : 23673 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 21526 33554432000 4194304 4196468 140736873974352 139748600272720 139750627772315 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23674] ppid=23661 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23664/task/23674/stat : 23674 (java) S 23661 23661 23167 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 15 0 223874428 15372775424 21526 33554432000 4194304 4196468 140736873974352 139749966273392 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23675] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23675/stat : 23675 (java) R 23661 23661 23167 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 21526 33554432000 4194304 4196468 140736873974352 139749965220592 139750607413104 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23676] ppid=23661 vsize=15012476 memory=139836015498880 CPUtime=0.03 cores=1,3,5,7
/proc/23664/task/23676/stat : 23676 (java) R 23661 23661 23167 0 -1 1077944384 281 0 0 0 3 0 0 0 20 0 15 0 223874428 15372775424 21526 33554432000 4194304 4196468 140736873974352 139749964167792 139750627764866 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23677] ppid=23661 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23677/stat : 23677 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 21526 33554432000 4194304 4196468 140736873974352 139748102367968 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23678] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23678/stat : 23678 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 21526 33554432000 4194304 4196468 140736873974352 139749963115184 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87500 KiB

[startup+0.310656 s]*
/proc/loadavg: 2.00 2.01 1.97 3/222 23678
/proc/meminfo: memFree=20486164/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223874421 115843072 349 33554432000 4194304 5098028 140732454585824 140732454583080 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 349 296 221 0 87 0
[pid=23664] ppid=23661 vsize=15012476 memory=89632 CPUtime=0.42 cores=1,3,5,7
/proc/23664/stat : 23664 (java) S 23661 23661 23167 0 -1 1077944320 10406 0 0 0 39 3 0 0 20 0 15 0 223874421 15372775424 22408 33554432000 4194304 4196468 140736873974352 140736873956896 139750627753719 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
/proc/23664/statm: 3753119 22408 2970 1 0 3715579 0
[pid=23664/tid=23665] ppid=23661 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23664/task/23665/stat : 23665 (java) R 23661 23661 23167 0 -1 4202560 8151 0 0 0 27 2 0 0 20 0 15 0 223874422 15372775424 22408 33554432000 4194304 4196468 140736873974352 139750599548720 139750613966962 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23666] ppid=23661 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23666/stat : 23666 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 22408 33554432000 4194304 4196468 140736873974352 139750631996560 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23667] ppid=23661 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23667/stat : 23667 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 22408 33554432000 4194304 4196468 140736873974352 139750452292624 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23668] ppid=23661 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23668/stat : 23668 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 22408 33554432000 4194304 4196468 140736873974352 139750087818128 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23669] ppid=23661 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23669/stat : 23669 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15372775424 22408 33554432000 4194304 4196468 140736873974352 139750086765328 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23670] ppid=23661 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23670/stat : 23670 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 22408 33554432000 4194304 4196468 140736873974352 139749967325552 139750627764866 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23671] ppid=23661 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23671/stat : 23671 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 22408 33554432000 4194304 4196468 140736873974352 139749243216928 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23672] ppid=23661 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23672/stat : 23672 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874425 15372775424 22408 33554432000 4194304 4196468 140736873974352 139748974781296 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23673] ppid=23661 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23673/stat : 23673 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 22408 33554432000 4194304 4196468 140736873974352 139748600272720 139750627772315 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23674] ppid=23661 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23664/task/23674/stat : 23674 (java) S 23661 23661 23167 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 223874428 15372775424 22408 33554432000 4194304 4196468 140736873974352 139749966273392 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23675] ppid=23661 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23664/task/23675/stat : 23675 (java) S 23661 23661 23167 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 223874428 15372775424 22408 33554432000 4194304 4196468 140736873974352 139749965220592 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23676] ppid=23661 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23664/task/23676/stat : 23676 (java) S 23661 23661 23167 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 15 0 223874428 15372775424 22408 33554432000 4194304 4196468 140736873974352 139749964167792 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23677] ppid=23661 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23677/stat : 23677 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 22408 33554432000 4194304 4196468 140736873974352 139748102367968 139750627763925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23678] ppid=23661 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23678/stat : 23678 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874428 15372775424 22408 33554432000 4194304 4196468 140736873974352 139749963115184 139750627764866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91028 KiB

[startup+0.702101 s]
/proc/loadavg: 2.00 2.01 1.97 3/222 23678
/proc/meminfo: memFree=20461732/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223874421 115843072 349 33554432000 4194304 5098028 140732454585824 140732454583080 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 349 296 221 0 87 0
[pid=23664] ppid=23661 vsize=15020872 memory=129884 CPUtime=1.02 cores=1,3,5,7
/proc/23664/stat : 23664 (java) S 23661 23661 23167 0 -1 1077944320 17627 0 0 0 97 5 0 0 20 0 15 0 223874421 15381372928 32471 33554432000 4194304 4196468 140736873974352 140736873956896 139750627753719 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
/proc/23664/statm: 3755218 32471 3165 1 0 3716603 0
[pid=23664/tid=23665] ppid=23661 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/23664/task/23665/stat : 23665 (java) R 23661 23661 23167 0 -1 4202560 14918 0 0 0 63 4 0 0 20 0 15 0 223874422 15381372928 32471 33554432000 4194304 4196468 140736873974352 139750599587216 139750611834206 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23666] ppid=23661 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23666/stat : 23666 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15381372928 32471 33554432000 4194304 4196468 140736873974352 139750631996560 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23667] ppid=23661 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23667/stat : 23667 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874423 15381372928 32471 33554432000 4194304 4196468 140736873974352 139750452292624 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23668] ppid=23661 vsize=15020872 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23668/stat : 23668 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15381372928 32471 33554432000 4194304 4196468 140736873974352 139750087818128 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23669] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23669/stat : 23669 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223874423 15381372928 32471 33554432000 4194304 4196468 140736873974352 139750086765328 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23670] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23670/stat : 23670 (java) S 23661 23661 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223874425 15381372928 32471 33554432000 4194304 4196468 140736873974352 139749967325552 139750627764866 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23671] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23671/stat : 23671 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223874425 15381372928 32471 33554432000 4194304 4196468 140736873974352 139749243216928 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23672] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23672/stat : 23672 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874425 15381372928 32471 33554432000 4194304 4196468 140736873974352 139748974781296 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23673] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23673/stat : 23673 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15381372928 32471 33554432000 4194304 4196468 140736873974352 139748600272720 139750627772315 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23674] ppid=23661 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/23664/task/23674/stat : 23674 (java) R 23661 23661 23167 0 -1 4202560 466 0 0 0 6 0 0 0 20 0 15 0 223874428 15381372928 32471 33554432000 4194304 4196468 140736873974352 139749966265344 139750627765654 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23675] ppid=23661 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23664/task/23675/stat : 23675 (java) R 23661 23661 23167 0 -1 4202560 468 0 0 0 10 0 0 0 20 0 15 0 223874428 15381372928 32471 33554432000 4194304 4196468 140736873974352 139749965220688 139750609275943 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23676] ppid=23661 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/23664/task/23676/stat : 23676 (java) S 23661 23661 23167 0 -1 1077944384 440 0 0 0 16 0 0 0 20 0 15 0 223874428 15381372928 32471 33554432000 4194304 4196468 140736873974352 139749964167792 139750627764866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23677] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23677/stat : 23677 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223874428 15381372928 32471 33554432000 4194304 4196468 140736873974352 139748102367968 139750627763925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
[pid=23664/tid=23678] ppid=23661 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23664/task/23678/stat : 23678 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223874428 15381372928 32471 33554432000 4194304 4196468 140736873974352 139749963115184 139750627764866 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140736873976839 140736873977137 140736873977137 140736873979855 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131280 KiB

[startup+1.50379 s]
/proc/loadavg: 2.00 2.01 1.97 3/222 23678
/proc/meminfo: memFree=20433788/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 223874421 115843072 349 33554432000 4194304 5098028 140732454585824 140732454583080 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 349 296 221 0 87 0

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

[pid=23679/tid=23682] ppid=23661 vsize=8068220 memory=67204 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23682/stat : 23682 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528918051216 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23683] ppid=23661 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23683/stat : 23683 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528916998672 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23684] ppid=23661 vsize=8068220 memory=139835882241795 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23684/stat : 23684 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528915946128 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23685] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.03 cores=1,3,5,7
/proc/23679/task/23685/stat : 23685 (java) S 23661 23661 23167 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 223874714 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528358726128 140529113651842 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23686] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23686/stat : 23686 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223874715 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527974475168 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23687] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23687/stat : 23687 (java) S 23661 23661 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223874715 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527840253424 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23688] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23688/stat : 23688 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527465749200 140529113659291 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23689] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23679/task/23689/stat : 23689 (java) S 23661 23661 23167 0 -1 1077944384 614 0 0 0 8 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528357672944 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23690] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/23679/task/23690/stat : 23690 (java) S 23661 23661 23167 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528356620400 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23691] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.2 cores=1,3,5,7
/proc/23679/task/23691/stat : 23691 (java) S 23661 23661 23167 0 -1 1077944384 542 0 0 0 20 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528355567856 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23692] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23692/stat : 23692 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223874718 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526967843424 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23693] ppid=23661 vsize=8068220 memory=1472 CPUtime=1.11 cores=1,3,5,7
/proc/23679/task/23693/stat : 23693 (java) S 23661 23661 23167 0 -1 1077944384 163 0 0 0 55 56 0 0 20 0 19 0 223874718 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528354515760 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23695] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23695/stat : 23695 (java) S 23661 23661 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223874783 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528346707520 140529113665305 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23697] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23697/stat : 23697 (java) S 23661 23661 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 223874784 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526296744080 140529113662621 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23698] ppid=23661 vsize=8068220 memory=114644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23698/stat : 23698 (java) S 23661 23661 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223874784 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526699396368 140529113662621 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23699] ppid=23661 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23699/stat : 23699 (java) S 23661 23661 23167 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 223874786 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526162529312 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
Current children cumulated CPU time: 2448.08 s
Current children cumulated vsize: 8264904 KiB
Current children cumulated memory: 183320 KiB

[startup+2502.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/227 23904
/proc/meminfo: memFree=20346040/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1472 CPUtime=7.31 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 591 26199 0 0 0 0 714 17 20 0 1 0 223874421 115843072 368 33554432000 4194304 5098028 140732454585824 140732454582568 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 368 311 221 0 87 0
[pid=23679] ppid=23661 vsize=8068220 memory=114644 CPUtime=2.34 cores=1,3,5,7
/proc/23679/stat : 23679 (java) S 23661 23661 23167 0 -1 1077944320 17572 0 0 0 171 63 0 0 20 0 19 0 223874712 8261857280 28661 33554432000 4194304 4196468 140727644875456 140727644858000 140529113640695 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
/proc/23679/statm: 2017055 28661 3147 1 0 1978454 0
[pid=23694] ppid=23679 vsize=83556 memory=67204 CPUtime=2498.46 cores=1,3,5,7
/proc/23694/stat : 23694 (minisat_release) R 23679 23661 23167 0 -1 4202496 169142 0 0 0 249833 13 0 0 20 0 1 0 223874783 85561344 16801 33554432000 4194304 4308513 140732514616352 140732514613256 4276025 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 42029056 140732514620532 140732514620630 140732514620630 140732514623429 0
/proc/23694/statm: 20889 16801 341 28 0 17129 0
[pid=23679/tid=23680] ppid=23661 vsize=8068220 memory=114644 CPUtime=0.74 cores=1,3,5,7
/proc/23679/task/23680/stat : 23680 (java) S 23661 23661 23167 0 -1 1077944384 14474 0 0 0 69 5 0 0 20 0 19 0 223874712 8261857280 28661 33554432000 4194304 4196468 140727644875456 140529085480848 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23681] ppid=23661 vsize=8068220 memory=114644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23681/stat : 23681 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140529117882640 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23682] ppid=23661 vsize=8068220 memory=114644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23682/stat : 23682 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528918051216 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23683] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23683/stat : 23683 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528916998672 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23684] ppid=23661 vsize=8068220 memory=114644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23684/stat : 23684 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528915946128 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23685] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/23679/task/23685/stat : 23685 (java) S 23661 23661 23167 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 223874714 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528358726128 140529113651842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23686] ppid=23661 vsize=8068220 memory=67204 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23686/stat : 23686 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223874715 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527974475168 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23687] ppid=23661 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23687/stat : 23687 (java) S 23661 23661 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223874715 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527840253424 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23688] ppid=23661 vsize=8068220 memory=67204 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23688/stat : 23688 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527465749200 140529113659291 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23689] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23679/task/23689/stat : 23689 (java) S 23661 23661 23167 0 -1 1077944384 614 0 0 0 8 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528357672944 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23690] ppid=23661 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/23679/task/23690/stat : 23690 (java) S 23661 23661 23167 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528356620400 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23691] ppid=23661 vsize=8068220 memory=114644 CPUtime=0.2 cores=1,3,5,7
/proc/23679/task/23691/stat : 23691 (java) S 23661 23661 23167 0 -1 1077944384 542 0 0 0 20 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528355567856 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23692] ppid=23661 vsize=8068220 memory=90908 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23692/stat : 23692 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223874718 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526967843424 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23693] ppid=23661 vsize=8068220 memory=4100 CPUtime=1.14 cores=1,3,5,7
/proc/23679/task/23693/stat : 23693 (java) S 23661 23661 23167 0 -1 1077944384 167 0 0 0 56 58 0 0 20 0 19 0 223874718 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528354515760 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23695] ppid=23661 vsize=8068220 memory=114644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23695/stat : 23695 (java) S 23661 23661 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223874783 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528346707520 140529113665305 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23697] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23697/stat : 23697 (java) S 23661 23661 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 223874784 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526296744080 140529113662621 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23698] ppid=23661 vsize=8068220 memory=114644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23698/stat : 23698 (java) S 23661 23661 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223874784 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526699396368 140529113662621 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23699] ppid=23661 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23699/stat : 23699 (java) S 23661 23661 23167 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 223874786 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526162529312 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
Current children cumulated CPU time: 2508.11 s
Current children cumulated vsize: 8264904 KiB
Current children cumulated memory: 183320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.2 s]
/proc/loadavg: 2.06 2.03 2.05 3/227 23904
/proc/meminfo: memFree=20346200/32770624 swapFree=67108688/67108860
[pid=23661] ppid=23658 vsize=113128 memory=1472 CPUtime=7.31 cores=1,3,5,7
/proc/23661/stat : 23661 (scop.sh) S 23658 23661 23167 0 -1 4202496 591 26199 0 0 0 0 714 17 20 0 1 0 223874421 115843072 368 33554432000 4194304 5098028 140732454585824 140732454582568 140609149969020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12394496 140732454593601 140732454593799 140732454593799 140732454596557 0
/proc/23661/statm: 28282 368 311 221 0 87 0
[pid=23679] ppid=23661 vsize=8068220 memory=114644 CPUtime=2.35 cores=1,3,5,7
/proc/23679/stat : 23679 (java) S 23661 23661 23167 0 -1 1077944320 17579 0 0 0 172 63 0 0 20 0 19 0 223874712 8261857280 28661 33554432000 4194304 4196468 140727644875456 140727644858000 140529113640695 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
/proc/23679/statm: 2017055 28661 3147 1 0 1978454 0
[pid=23694] ppid=23679 vsize=83556 memory=67208 CPUtime=2510.35 cores=1,3,5,7
/proc/23694/stat : 23694 (minisat_release) R 23679 23661 23167 0 -1 4202496 169744 0 0 0 251022 13 0 0 20 0 1 0 223874783 85561344 16802 33554432000 4194304 4308513 140732514616352 140732514613848 4275601 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 42029056 140732514620532 140732514620630 140732514620630 140732514623429 0
/proc/23694/statm: 20889 16802 342 28 0 17129 0
[pid=23679/tid=23680] ppid=23661 vsize=8068220 memory=13565994345960240 CPUtime=0.74 cores=1,3,5,7
/proc/23679/task/23680/stat : 23680 (java) S 23661 23661 23167 0 -1 1077944384 14474 0 0 0 69 5 0 0 20 0 19 0 223874712 8261857280 28661 33554432000 4194304 4196468 140727644875456 140529085480848 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23681] ppid=23661 vsize=8068220 memory=6297834852886996834 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23681/stat : 23681 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140529117882640 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23682] ppid=23661 vsize=8068220 memory=7092437513744641644 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23682/stat : 23682 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528918051216 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23683] ppid=23661 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23683/stat : 23683 (java) S 23661 23661 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528916998672 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23684] ppid=23661 vsize=8068220 memory=28829630602021044 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23684/stat : 23684 (java) S 23661 23661 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223874713 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528915946128 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23685] ppid=23661 vsize=8068220 memory=288289978369465494 CPUtime=0.04 cores=1,3,5,7
/proc/23679/task/23685/stat : 23685 (java) S 23661 23661 23167 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 223874714 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528358726128 140529113651842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23686] ppid=23661 vsize=8068220 memory=288293255362403473 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23686/stat : 23686 (java) S 23661 23661 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223874715 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527974475168 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23687] ppid=23661 vsize=8068220 memory=1216733 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23687/stat : 23687 (java) S 23661 23661 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 223874715 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527840253424 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23688] ppid=23661 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23688/stat : 23688 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140527465749200 140529113659291 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23689] ppid=23661 vsize=8068220 memory=8747226831578988619 CPUtime=0.09 cores=1,3,5,7
/proc/23679/task/23689/stat : 23689 (java) S 23661 23661 23167 0 -1 1077944384 615 0 0 0 9 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528357672944 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23690] ppid=23661 vsize=8068220 memory=288293255362403473 CPUtime=0.09 cores=1,3,5,7
/proc/23679/task/23690/stat : 23690 (java) S 23661 23661 23167 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528356620400 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23691] ppid=23661 vsize=8068220 memory=1216733 CPUtime=0.2 cores=1,3,5,7
/proc/23679/task/23691/stat : 23691 (java) S 23661 23661 23167 0 -1 1077944384 544 0 0 0 20 0 0 0 20 0 19 0 223874717 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528355567856 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23692] ppid=23661 vsize=8068220 memory=164 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23692/stat : 23692 (java) S 23661 23661 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223874718 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526967843424 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23693] ppid=23661 vsize=8068220 memory=297290352803721507 CPUtime=1.14 cores=1,3,5,7
/proc/23679/task/23693/stat : 23693 (java) S 23661 23661 23167 0 -1 1077944384 167 0 0 0 56 58 0 0 20 0 19 0 223874718 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528354515760 140529113651842 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23695] ppid=23661 vsize=8068220 memory=16105853304461389 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23695/stat : 23695 (java) S 23661 23661 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223874783 8261857280 28661 33554432000 4194304 4196468 140727644875456 140528346707520 140529113665305 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23697] ppid=23661 vsize=8068220 memory=7588935153004602176 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23697/stat : 23697 (java) S 23661 23661 23167 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 223874784 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526296744080 140529113662621 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23698] ppid=23661 vsize=8068220 memory=279671764187696 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23698/stat : 23698 (java) S 23661 23661 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223874784 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526699396368 140529113662621 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
[pid=23679/tid=23699] ppid=23661 vsize=8068220 memory=7517182248562352228 CPUtime=0 cores=1,3,5,7
/proc/23679/task/23699/stat : 23699 (java) S 23661 23661 23167 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 223874786 8261857280 28661 33554432000 4194304 4196468 140727644875456 140526162529312 140529113650901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37900288 140727644878005 140727644878129 140727644878129 140727644880847 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8264904 KiB
Current children cumulated memory: 183324 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2514.21 s]
# the end of solver process 23661 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.14524 s, system=0.178696 s

[startup+2514.21 s]
# the end of solver process 23679 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.11 s, system=0.960794 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 1
Real time (s): 2514.21
CPU time (s): 2520.07
CPU user time (s): 2519.11
CPU system time (s): 0.960794
CPU usage (%): 100.233
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 612524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.11
system time used= 0.960794
maximum resident set size= 619920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59408
involuntary context switches= 697


# summary of solver processes directly reported to runsolver:
#   pid: 23661,23679
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2519.11
#   total CPU system time (s): 0.960794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.0775 second user time and 20.8064 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 10:38:36
IDJOB=4305574
IDBENCH=141022
IDSOLVER=2783
FILE ID=node106/4305574-1534063115
RUNJOBID= node106-1534060601-23199
PBS_JOBID= 21036975
Free space on /tmp= 39652 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-13_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-4305574-1534063115/watcher-4305574-1534063115 -o /tmp/evaluation-result-4305574-1534063115/solver-4305574-1534063115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305574-1534063115.xml

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

MD5SUM BENCH= 3785e9b0b2758b612fcaaefab5873f44
RANDOM SEED=1519313157

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:        20565928 kB
MemAvailable:   31748672 kB
Buffers:          120568 kB
Cached:         11209020 kB
SwapCached:            0 kB
Active:          5700864 kB
Inactive:        5840744 kB
Active(anon):     158696 kB
Inactive(anon):   105404 kB
Active(file):    5542168 kB
Inactive(file):  5735340 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              7844 kB
Writeback:            12 kB
AnonPages:        219120 kB
Mapped:            63420 kB
Shmem:             49632 kB
Slab:             361692 kB
SReclaimable:     333696 kB
SUnreclaim:        27996 kB
KernelStack:        3616 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5870268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 39644 MiB
End job on node106 at 2018-08-12 11:20:30