Trace number 4305464

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 order+MapleCOMSPS (2018-07-31)SAT 18.5511 10.2316

General information on the benchmark

NameFrb/
frb-35-17-1_c18.xml
MD5SUM938558367576662423373d61b63119a7
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 benchmark2.37354
Satisfiable
(Un)Satisfiability was proved
Number of variables35
Number of constraints346
Number of domains1
Minimum domain size17
Maximum domain size17
Distribution of domain sizes[{"size":17,"count":35}]
Minimum variable degree12
Maximum variable degree28
Distribution of variable degrees[{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":17,"count":1},{"degree":18,"count":3},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":4},{"degree":22,"count":3},{"degree":23,"count":4},{"degree":24,"count":1},{"degree":25,"count":3},{"degree":26,"count":1},{"degree":28,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":346}]
Number of extensional constraints346
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":346}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22735-serial-file.bin HOME/instance-4305464-1534085776.xml
0.55/0.51	
0.66/0.52	scop order+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 16:56:16 CEST 2018
0.66/0.54	c PID: 22738
0.66/0.54	c IP: 172.20.3.139
0.66/0.55	c HOST: node139.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.03/1.08	c (0,0) Parsing End
2.03/1.09	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 346 ctr, max domain size 17
2.03/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.03/1.09	c (0,0) Constraint Name Generate Begin
2.03/1.10	c (0,0) Ctr:HOME/instance-4305464-1534085776.xml,ExtensionConflict:IntVar
2.03/1.10	c (0,0) Constraint Name Generate End
2.03/1.10	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.03/1.10	c (0,0) CSP to CSPinCNF Begin
4.12/1.72	c (1,1) translated 35 (10%) constraints
4.44/1.89	c (1,1) translated 70 (20%) constraints
5.07/2.05	c (1,1) translated 104 (30%) constraints
5.65/2.20	c (1,1) translated 139 (40%) constraints
5.96/2.33	c (1,1) translated 173 (50%) constraints
6.27/2.45	c (1,1) translated 208 (60%) constraints
6.57/2.56	c (2,2) translated 243 (70%) constraints
6.87/2.67	c (2,2) translated 277 (80%) constraints
7.19/2.77	c (2,2) translated 312 (90%) constraints
7.48/2.88	c (2,2) translated 346 (100%) constraints
8.12/3.02	c (2,2) STATISTICS1:HOME/instance-4305464-1534085776.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:73576,4:16554;3:2404;2:74,1:73576,
8.12/3.02	c (2,2) ==========================================
8.12/3.02	c (2,2) Order
8.12/3.03	c (2,2) ==========================================
8.48/3.11	c (2,2) translated 1904 (10%) constraints
8.48/3.16	c (2,2) translated 3807 (20%) constraints
8.76/3.22	c (2,2) translated 5710 (30%) constraints
8.76/3.27	c (2,2) translated 7613 (40%) constraints
9.05/3.33	c (2,2) translated 9516 (50%) constraints
9.05/3.38	c (2,2) translated 11420 (60%) constraints
9.35/3.44	c (2,2) translated 13323 (70%) constraints
9.35/3.49	c (2,2) translated 15226 (80%) constraints
9.65/3.54	c (3,3) translated 17129 (90%) constraints
9.65/3.59	c (3,3) translated 19032 (100%) constraints
9.65/3.59	c (3,3) CSP to CSPinCNF End
9.65/3.59	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
9.65/3.59	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.65/3.59	c (3,3) CSPinCNF Propagation Begin
10.66/3.82	c (3,3) 0 values, 2612 unsatisfiable literals, and 0 valid clauses are removed
10.66/3.82	c (3,3) CSPinCNF Propagation End
10.66/3.82	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.66/3.82	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.66/3.82	c (3,3) Simplify CSPinCNF Begin
10.66/3.88	c (3,3) Simplify CSPinCNF End
10.66/3.88	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.66/3.88	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.66/3.88	c (3,3) Calculate Precise Domain Begin
10.66/3.88	c (3,3) 0 values are removed by re-calculation
10.66/3.88	c (3,3) Calculate Precise Domain End
10.66/3.88	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.66/3.88	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.66/3.88	c (3,3) CSPinCNF to SatSolver Begin
10.96/3.97	c (3,3) 1904 (10 %) CSP clauses are encoded (560 SAT variables, 2428 SAT clauses)
11.26/4.01	c (3,3) 3807 (20 %) CSP clauses are encoded (560 SAT variables, 4331 SAT clauses)
11.26/4.04	c (3,3) 5710 (30 %) CSP clauses are encoded (560 SAT variables, 6234 SAT clauses)
11.26/4.07	c (3,3) 7613 (40 %) CSP clauses are encoded (560 SAT variables, 8137 SAT clauses)
11.26/4.09	c (3,3) 9516 (50 %) CSP clauses are encoded (560 SAT variables, 10040 SAT clauses)
11.56/4.11	c (3,3) 11420 (60 %) CSP clauses are encoded (560 SAT variables, 11944 SAT clauses)
11.56/4.12	c (3,3) 13323 (70 %) CSP clauses are encoded (560 SAT variables, 13847 SAT clauses)
11.56/4.14	c (3,3) 15226 (80 %) CSP clauses are encoded (560 SAT variables, 15750 SAT clauses)
11.56/4.15	c (3,3) 17129 (90 %) CSP clauses are encoded (560 SAT variables, 17653 SAT clauses)
11.56/4.16	c (3,3) 19032 (100 %) CSP clauses are encoded (560 SAT variables, 19556 SAT clauses)
11.56/4.16	c (3,3) Launch Command will be: minisat_release
11.56/4.16	c (3,3) CSPinCNF to SatSolver End
11.56/4.17	c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.79/4.27	c (3,3) STATISTICS2:HOME/instance-4305464-1534085776.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:70964,4:14212;3:4476;2:344,1:70964,
11.79/4.27	c (3,3) 560 bool, 19557 clause
11.79/4.27	c (3,3) Export Begin
12.09/4.35	c (3,3) Export to HOME/scop-22735-serial-file.bin
12.09/4.35	c (3,3) Export End
12.09/4.35	c (3,3) Export File Size: 0.01 MB
12.09/4.35	c (3,3) 0,0,3,3,3,3,3,STOP-AFTER(DIMACS)
12.09/4.35	c END-Prog: Sun Aug 12 16:56:20 CEST 2018
12.09/4.37	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22735-serial-file.bin
12.22/4.86	c (0,0) Read Serial File Begin
12.22/4.86	c (0,0) HOME/scop-22735-serial-file.bin
13.10/5.02	c (0,0) Read Serial File End
13.10/5.03	
13.10/5.03	scop order+minisat_release (2018-07-31)
13.10/5.03	(Solving Process)
13.10/5.03	
13.10/5.06	c BEGIN-Prog: Sun Aug 12 16:56:21 CEST 2018
13.10/5.06	c PID: 22753
13.10/5.06	c IP: 172.20.3.139
13.10/5.06	c HOST: node139.alineos.net
13.10/5.06	c (0,0) SatSolver.solve Begin
13.10/5.06	c (0,0) 0 bool, 0 clause
13.10/5.06	c (0,0) minisat_release HOME/instance-4305464-1534085776.xml-scop-22738.cnf
18.36/10.15	c (5,0) c This is COMiniSatPS.
18.36/10.15	c (5,0) c WARNING: for repeatability, setting FPU to use double precision
18.36/10.15	c (5,0) c ============================[ Problem Statistics ]=============================
18.36/10.15	c (5,0) c |                                                                             |
18.36/10.15	c (5,0) c |  Number of variables:           560                                         |
18.36/10.15	c (5,0) c |  Number of clauses:           19557                                         |
18.36/10.15	c (5,0) c |  Parse time:                   0.00 s                                       |
18.36/10.15	c (5,0) c Reduced to 560 vars, 18824 cls (grow=0)
18.36/10.15	c (5,0) c No iterative elimination performed. (vars=560, c/v ratio=33.6)
18.36/10.15	c (5,0) c |  Simplification time:          0.02 s                                       |
18.36/10.15	c (5,0) c |                                                                             |
18.36/10.15	c (5,0) c ============================[ Search Statistics ]==============================
18.36/10.15	c (5,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.36/10.15	c (5,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.36/10.15	c (5,0) c ===============================================================================
18.36/10.15	c (5,0) c ===============================================================================
18.36/10.15	c (5,0) c restarts              : 259
18.36/10.15	c (5,0) c conflicts             : 105697         (20900 /sec)
18.36/10.15	c (5,0) c decisions             : 134320         (0.00 % random) (26559 /sec)
18.36/10.15	c (5,0) c propagations          : 9113435        (1802010 /sec)
18.36/10.15	c (5,0) c conflict literals     : 1245611        (39.13 % deleted)
18.36/10.15	c (5,0) c CPU time              : 5.05737 s
18.36/10.15	c (5,0) 
18.36/10.15	c (5,0) s SATISFIABLE
18.36/10.16	c (5,0) SatSolver.solve End
18.36/10.16	c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
18.36/10.16	c (5,0) Show results Begin
18.47/10.21	s SATISFIABLE
18.47/10.22	v <instantiation>
18.47/10.22	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34]</list>
18.47/10.22	v     <values>4 4 6 10 15 3 7 15 2 7 9 1 6 11 0 1 1 14 10 9 15 15 6 5 3 9 6 6 6 7 2 10 12 5 14</values>
18.47/10.22	v </instantiation>
18.47/10.22	c (5,0) Show results End
18.47/10.22	c (5,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
18.47/10.22	c (5,0) 5,5,STOP-AFTER(ALL)
18.47/10.22	c END-Prog: Sun Aug 12 16:56:26 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 (5569 MiB free)
  memory of node 1: 16384 MiB (7043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305464-1534085776/watcher-4305464-1534085776 -o /tmp/evaluation-result-4305464-1534085776/solver-4305464-1534085776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305464-1534085776.xml 

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

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

solver pid=22735, runsolver pid=22732

[startup+0.100139 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 22752
/proc/meminfo: memFree=12857984/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226140750 115843072 349 33554432000 4194304 5098028 140733549490864 140733549488120 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 349 296 221 0 87 0
[pid=22738] ppid=22735 vsize=15012476 memory=70056 CPUtime=0.11 cores=1,3,5,7
/proc/22738/stat : 22738 (java) S 22735 22735 16770 0 -1 1077944320 6657 0 0 0 9 2 0 0 20 0 15 0 226140750 15372775424 17514 33554432000 4194304 4196468 140725381605600 140725381588144 140685056855799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
/proc/22738/statm: 3753119 17514 2770 1 0 3715579 0
[pid=22738/tid=22739] ppid=22735 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/22738/task/22739/stat : 22739 (java) R 22735 22735 16770 0 -1 4202560 4764 0 0 0 7 1 0 0 20 0 15 0 226140751 15372775424 17514 33554432000 4194304 4196468 140725381605600 140685028667784 140685037132624 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22740] ppid=22735 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22740/stat : 22740 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 17580 33554432000 4194304 4196468 140725381605600 140685061098384 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22741] ppid=22735 vsize=15012476 memory=140331531269760 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22741/stat : 22741 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684517780240 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22742] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22742/stat : 22742 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684516727952 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22743] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22743/stat : 22743 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684515675152 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22744] ppid=22735 vsize=15012476 memory=140331531269760 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22744/stat : 22744 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140754 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684094412912 140685056866946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22745] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22745/stat : 22745 (java) S 22735 22735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226140754 15372775424 17580 33554432000 4194304 4196468 140725381605600 140683599930144 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22746] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22746/stat : 22746 (java) S 22735 22735 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226140755 15372775424 17580 33554432000 4194304 4196468 140725381605600 140683465708656 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22747] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22747/stat : 22747 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 17580 33554432000 4194304 4196468 140725381605600 140683091204176 140685056874395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22748] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22748/stat : 22748 (java) S 22735 22735 16770 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684093360752 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22749] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22749/stat : 22749 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684092307952 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22750] ppid=22735 vsize=15012476 memory=140331531269760 CPUtime=0.01 cores=1,3,5,7
/proc/22738/task/22750/stat : 22750 (java) S 22735 22735 16770 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 226140757 15372775424 17580 33554432000 4194304 4196468 140725381605600 140684091255664 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22751] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22751/stat : 22751 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 17646 33554432000 4194304 4196468 140725381605600 140682593299424 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22752] ppid=22735 vsize=15012476 memory=140331531269760 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22752/stat : 22752 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 17646 33554432000 4194304 4196468 140725381605600 140684090202544 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71452 KiB

[startup+0.210804 s]*
/proc/loadavg: 1.92 2.00 2.04 4/222 22752
/proc/meminfo: memFree=12844128/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226140750 115843072 349 33554432000 4194304 5098028 140733549490864 140733549488120 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 349 296 221 0 87 0
[pid=22738] ppid=22735 vsize=15012476 memory=83868 CPUtime=0.26 cores=1,3,5,7
/proc/22738/stat : 22738 (java) S 22735 22735 16770 0 -1 1077944320 10296 0 0 0 23 3 0 0 20 0 15 0 226140750 15372775424 20967 33554432000 4194304 4196468 140725381605600 140725381588144 140685056855799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
/proc/22738/statm: 3753119 20967 2935 1 0 3715579 0
[pid=22738/tid=22739] ppid=22735 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/22738/task/22739/stat : 22739 (java) R 22735 22735 16770 0 -1 4202560 8162 0 0 0 18 2 0 0 20 0 15 0 226140751 15372775424 20967 33554432000 4194304 4196468 140725381605600 140685028644584 140685056867734 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22740] ppid=22735 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22740/stat : 22740 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 20967 33554432000 4194304 4196468 140725381605600 140685061098384 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22741] ppid=22735 vsize=15012476 memory=140331531419977 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22741/stat : 22741 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684517780240 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22742] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22742/stat : 22742 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684516727952 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22743] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22743/stat : 22743 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684515675152 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22744] ppid=22735 vsize=15012476 memory=140331531269760 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22744/stat : 22744 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140754 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684094412912 140685056866946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22745] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22745/stat : 22745 (java) S 22735 22735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226140754 15372775424 20967 33554432000 4194304 4196468 140725381605600 140683599930144 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22746] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22746/stat : 22746 (java) S 22735 22735 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226140755 15372775424 20967 33554432000 4194304 4196468 140725381605600 140683465708656 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22747] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22747/stat : 22747 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 20967 33554432000 4194304 4196468 140725381605600 140683091204176 140685056874395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22748] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22748/stat : 22748 (java) S 22735 22735 16770 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684093360752 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22749] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22749/stat : 22749 (java) S 22735 22735 16770 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684092307952 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22750] ppid=22735 vsize=15012476 memory=140331531269760 CPUtime=0.03 cores=1,3,5,7
/proc/22738/task/22750/stat : 22750 (java) R 22735 22735 16770 0 -1 4202560 313 0 0 0 3 0 0 0 20 0 15 0 226140757 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684091255664 140685035794108 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22751] ppid=22735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22751/stat : 22751 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 20967 33554432000 4194304 4196468 140725381605600 140682593299424 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22752] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22752/stat : 22752 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 20967 33554432000 4194304 4196468 140725381605600 140684090202544 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85264 KiB

[startup+0.310817 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 22752
/proc/meminfo: memFree=12840840/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226140750 115843072 349 33554432000 4194304 5098028 140733549490864 140733549488120 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 349 296 221 0 87 0
[pid=22738] ppid=22735 vsize=15012476 memory=87568 CPUtime=0.42 cores=1,3,5,7
/proc/22738/stat : 22738 (java) S 22735 22735 16770 0 -1 1077944320 10912 0 0 0 39 3 0 0 20 0 15 0 226140750 15372775424 21892 33554432000 4194304 4196468 140725381605600 140725381588144 140685056855799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
/proc/22738/statm: 3753119 21892 2981 1 0 3715579 0
[pid=22738/tid=22739] ppid=22735 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22738/task/22739/stat : 22739 (java) R 22735 22735 16770 0 -1 4202560 8599 0 0 0 27 2 0 0 20 0 15 0 226140751 15372775424 21892 33554432000 4194304 4196468 140725381605600 140685028650800 140685056879389 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22740] ppid=22735 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22740/stat : 22740 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 21892 33554432000 4194304 4196468 140725381605600 140685061098384 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22741] ppid=22735 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22741/stat : 22741 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684517780240 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22742] ppid=22735 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22742/stat : 22742 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684516727952 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22743] ppid=22735 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22743/stat : 22743 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684515675152 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22744] ppid=22735 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22744/stat : 22744 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140754 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684094412912 140685056866946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22745] ppid=22735 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22745/stat : 22745 (java) S 22735 22735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226140754 15372775424 21892 33554432000 4194304 4196468 140725381605600 140683599930144 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22746] ppid=22735 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22746/stat : 22746 (java) S 22735 22735 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226140755 15372775424 21892 33554432000 4194304 4196468 140725381605600 140683465708656 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22747] ppid=22735 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22747/stat : 22747 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 21892 33554432000 4194304 4196468 140725381605600 140683091204176 140685056874395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22748] ppid=22735 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22738/task/22748/stat : 22748 (java) R 22735 22735 16770 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 15 0 226140757 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684093360752 140685049840841 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22749] ppid=22735 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22738/task/22749/stat : 22749 (java) R 22735 22735 16770 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 15 0 226140757 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684092307952 140685056866946 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22750] ppid=22735 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22738/task/22750/stat : 22750 (java) R 22735 22735 16770 0 -1 4202560 354 0 0 0 7 0 0 0 20 0 15 0 226140757 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684091255664 140685040936286 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22751] ppid=22735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22751/stat : 22751 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 21892 33554432000 4194304 4196468 140725381605600 140682593299424 140685056866005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22752] ppid=22735 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22752/stat : 22752 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140757 15372775424 21892 33554432000 4194304 4196468 140725381605600 140684090202544 140685056866946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88964 KiB

[startup+0.700778 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 22752
/proc/meminfo: memFree=12815788/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226140750 115843072 349 33554432000 4194304 5098028 140733549490864 140733549488120 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 349 296 221 0 87 0
[pid=22738] ppid=22735 vsize=15020872 memory=127352 CPUtime=1.03 cores=1,3,5,7
/proc/22738/stat : 22738 (java) S 22735 22735 16770 0 -1 1077944320 18016 0 0 0 98 5 0 0 20 0 15 0 226140750 15381372928 31838 33554432000 4194304 4196468 140725381605600 140725381588144 140685056855799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
/proc/22738/statm: 3755218 31838 3136 1 0 3716603 0
[pid=22738/tid=22739] ppid=22735 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/22738/task/22739/stat : 22739 (java) R 22735 22735 16770 0 -1 4202560 15200 0 0 0 63 4 0 0 20 0 15 0 226140751 15381372928 31838 33554432000 4194304 4196468 140725381605600 140685028687696 140685040936286 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22740] ppid=22735 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22740/stat : 22740 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15381372928 31838 33554432000 4194304 4196468 140725381605600 140685061098384 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22741] ppid=22735 vsize=15020872 memory=61364 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22741/stat : 22741 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684517780240 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22742] ppid=22735 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22742/stat : 22742 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140752 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684516727952 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22743] ppid=22735 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22743/stat : 22743 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226140752 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684515675152 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22744] ppid=22735 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22744/stat : 22744 (java) S 22735 22735 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226140754 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684094412912 140685056866946 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22745] ppid=22735 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22745/stat : 22745 (java) S 22735 22735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226140754 15381372928 31838 33554432000 4194304 4196468 140725381605600 140683599930144 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22746] ppid=22735 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22746/stat : 22746 (java) S 22735 22735 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226140755 15381372928 31838 33554432000 4194304 4196468 140725381605600 140683465708656 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22747] ppid=22735 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22747/stat : 22747 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15381372928 31838 33554432000 4194304 4196468 140725381605600 140683091204176 140685056874395 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22748] ppid=22735 vsize=15020872 memory=876 CPUtime=0.08 cores=1,3,5,7
/proc/22738/task/22748/stat : 22748 (java) S 22735 22735 16770 0 -1 1077944384 511 0 0 0 8 0 0 0 20 0 15 0 226140757 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684093360752 140685056866946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22749] ppid=22735 vsize=15020872 memory=10096 CPUtime=0.09 cores=1,3,5,7
/proc/22738/task/22749/stat : 22749 (java) S 22735 22735 16770 0 -1 1077944384 424 0 0 0 9 0 0 0 20 0 15 0 226140757 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684092307952 140685056866946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22750] ppid=22735 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/22738/task/22750/stat : 22750 (java) S 22735 22735 16770 0 -1 1077944384 527 0 0 0 16 0 0 0 20 0 15 0 226140757 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684091255664 140685056866946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22751] ppid=22735 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22751/stat : 22751 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226140757 15381372928 31838 33554432000 4194304 4196468 140725381605600 140682593299424 140685056866005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
[pid=22738/tid=22752] ppid=22735 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/22738/task/22752/stat : 22752 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226140757 15381372928 31838 33554432000 4194304 4196468 140725381605600 140684090202544 140685056866946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35811328 140725381612550 140725381612849 140725381612849 140725381615567 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128748 KiB

[startup+1.5059 s]
/proc/loadavg: 1.92 2.00 2.04 6/222 22752
/proc/meminfo: memFree=12763608/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226140750 115843072 349 33554432000 4194304 5098028 140733549490864 140733549488120 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 349 296 221 0 87 0

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

/proc/22753/task/22769/stat : 22769 (java) S 22735 22735 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226141259 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174274430272 140174907272985 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22771] ppid=22735 vsize=8068220 memory=5792825811789107814 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22771/stat : 22771 (java) S 22735 22735 16770 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 226141260 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172163263888 140174907270301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22772] ppid=22735 vsize=8068220 memory=7588676806697113448 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22772/stat : 22772 (java) S 22735 22735 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226141260 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172297486352 140174907270301 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22773] ppid=22735 vsize=8068220 memory=5864320447300325987 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22773/stat : 22773 (java) S 22735 22735 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226141262 8261857280 29709 33554432000 4194304 4196468 140734570465760 140171894841120 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 8212096 KiB
Current children cumulated memory: 132804 KiB

[startup+9.60087 s]
/proc/loadavg: 1.85 1.98 2.03 3/227 22773
/proc/meminfo: memFree=12797032/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1472 CPUtime=12.22 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 591 32667 0 0 0 0 1193 29 20 0 1 0 226140750 115843072 368 33554432000 4194304 5098028 140733549490864 140733549487608 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 368 311 221 0 87 0
[pid=22753] ppid=22735 vsize=8068220 memory=118836 CPUtime=1.12 cores=1,3,5,7
/proc/22753/stat : 22753 (java) S 22735 22735 16770 0 -1 1077944320 17402 0 0 0 106 6 0 0 20 0 19 0 226141187 8261857280 29709 33554432000 4194304 4196468 140734570465760 140734570448304 140174907248375 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
/proc/22753/statm: 2017055 29709 3146 1 0 1978454 0
[pid=22768] ppid=22753 vsize=30748 memory=13020 CPUtime=4.51 cores=1,3,5,7
/proc/22768/stat : 22768 (minisat_release) R 22753 22735 16770 0 -1 4202496 6746 0 0 0 450 1 0 0 20 0 1 0 226141259 31485952 3255 33554432000 4194304 4308513 140732486001792 140732485998696 4275920 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 19529728 140732486009972 140732486010070 140732486010070 140732486012869 0
/proc/22768/statm: 7687 3255 336 28 0 3927 0
[pid=22753/tid=22754] ppid=22735 vsize=8068220 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/22753/task/22754/stat : 22754 (java) S 22735 22735 16770 0 -1 1077944384 14482 0 0 0 69 4 0 0 20 0 19 0 226141188 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174879088528 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22755] ppid=22735 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22755/stat : 22755 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174911491088 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22756] ppid=22735 vsize=8068220 memory=61364 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22756/stat : 22756 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174717254800 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22757] ppid=22735 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22757/stat : 22757 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174716201744 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22758] ppid=22735 vsize=8068220 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22758/stat : 22758 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174715149200 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22759] ppid=22735 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22759/stat : 22759 (java) S 22735 22735 16770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 226141190 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174286448880 140174907259522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22760] ppid=22735 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22760/stat : 22760 (java) S 22735 22735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226141191 8261857280 29709 33554432000 4194304 4196468 140734570465760 140173840999584 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22761] ppid=22735 vsize=8068220 memory=118836 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22761/stat : 22761 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226141191 8261857280 29709 33554432000 4194304 4196468 140734570465760 140173572563696 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22762] ppid=22735 vsize=8068220 memory=9188 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22762/stat : 22762 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140173198055376 140174907266971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22763] ppid=22735 vsize=8068220 memory=5408 CPUtime=0.08 cores=1,3,5,7
/proc/22753/task/22763/stat : 22763 (java) S 22735 22735 16770 0 -1 1077944384 616 0 0 0 8 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174285396720 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22764] ppid=22735 vsize=8068220 memory=876 CPUtime=0.08 cores=1,3,5,7
/proc/22753/task/22764/stat : 22764 (java) S 22735 22735 16770 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174284344176 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22765] ppid=22735 vsize=8068220 memory=10096 CPUtime=0.19 cores=1,3,5,7
/proc/22753/task/22765/stat : 22765 (java) S 22735 22735 16770 0 -1 1077944384 547 0 0 0 19 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174283291120 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22766] ppid=22735 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22766/stat : 22766 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226141194 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172700150624 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22767] ppid=22735 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22767/stat : 22767 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226141194 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174282238512 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22769] ppid=22735 vsize=8068220 memory=33 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22769/stat : 22769 (java) S 22735 22735 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226141259 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174274430272 140174907272985 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22771] ppid=22735 vsize=8068220 memory=-7824251494390847588 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22771/stat : 22771 (java) S 22735 22735 16770 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 226141260 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172163263888 140174907270301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22772] ppid=22735 vsize=8068220 memory=46468 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22772/stat : 22772 (java) S 22735 22735 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226141260 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172297486352 140174907270301 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22773] ppid=22735 vsize=8068220 memory=48676 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22773/stat : 22773 (java) S 22735 22735 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226141262 8261857280 29709 33554432000 4194304 4196468 140734570465760 140171894841120 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
Current children cumulated CPU time: 17.85 s
Current children cumulated vsize: 8212096 KiB
Current children cumulated memory: 133328 KiB

[startup+10.0009 s]*
/proc/loadavg: 1.86 1.98 2.03 3/227 22773
/proc/meminfo: memFree=12796908/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1472 CPUtime=12.22 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 591 32667 0 0 0 0 1193 29 20 0 1 0 226140750 115843072 368 33554432000 4194304 5098028 140733549490864 140733549487608 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 368 311 221 0 87 0
[pid=22753] ppid=22735 vsize=8068220 memory=118836 CPUtime=1.12 cores=1,3,5,7
/proc/22753/stat : 22753 (java) S 22735 22735 16770 0 -1 1077944320 17402 0 0 0 106 6 0 0 20 0 19 0 226141187 8261857280 29709 33554432000 4194304 4196468 140734570465760 140734570448304 140174907248375 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
/proc/22753/statm: 2017055 29709 3146 1 0 1978454 0
[pid=22768] ppid=22753 vsize=30748 memory=13020 CPUtime=4.92 cores=1,3,5,7
/proc/22768/stat : 22768 (minisat_release) R 22753 22735 16770 0 -1 4202496 6807 0 0 0 491 1 0 0 20 0 1 0 226141259 31485952 3255 33554432000 4194304 4308513 140732486001792 140732485998696 4288751 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 19529728 140732486009972 140732486010070 140732486010070 140732486012869 0
/proc/22768/statm: 7687 3255 336 28 0 3927 0
[pid=22753/tid=22754] ppid=22735 vsize=8068220 memory=237975547982262 CPUtime=0.73 cores=1,3,5,7
/proc/22753/task/22754/stat : 22754 (java) S 22735 22735 16770 0 -1 1077944384 14482 0 0 0 69 4 0 0 20 0 19 0 226141188 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174879088528 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22755] ppid=22735 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22755/stat : 22755 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174911491088 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22756] ppid=22735 vsize=8068220 memory=2319555927952830129 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22756/stat : 22756 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174717254800 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22757] ppid=22735 vsize=8068220 memory=3762530096795164725 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22757/stat : 22757 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174716201744 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22758] ppid=22735 vsize=8068220 memory=3618558538836060851 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22758/stat : 22758 (java) S 22735 22735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226141189 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174715149200 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22759] ppid=22735 vsize=8068220 memory=7022364632946311227 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22759/stat : 22759 (java) S 22735 22735 16770 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 226141190 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174286448880 140174907259522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22760] ppid=22735 vsize=8068220 memory=301741407901843824 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22760/stat : 22760 (java) S 22735 22735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226141191 8261857280 29709 33554432000 4194304 4196468 140734570465760 140173840999584 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22761] ppid=22735 vsize=8068220 memory=1212894 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22761/stat : 22761 (java) S 22735 22735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226141191 8261857280 29709 33554432000 4194304 4196468 140734570465760 140173572563696 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22762] ppid=22735 vsize=8068220 memory=-7233780906022726806 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22762/stat : 22762 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140173198055376 140174907266971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22763] ppid=22735 vsize=8068220 memory=7679937539659563795 CPUtime=0.08 cores=1,3,5,7
/proc/22753/task/22763/stat : 22763 (java) S 22735 22735 16770 0 -1 1077944384 616 0 0 0 8 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174285396720 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22764] ppid=22735 vsize=8068220 memory=-9001734013606258791 CPUtime=0.08 cores=1,3,5,7
/proc/22753/task/22764/stat : 22764 (java) S 22735 22735 16770 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174284344176 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22765] ppid=22735 vsize=8068220 memory=4206468019014099040 CPUtime=0.19 cores=1,3,5,7
/proc/22753/task/22765/stat : 22765 (java) S 22735 22735 16770 0 -1 1077944384 547 0 0 0 19 0 0 0 20 0 19 0 226141193 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174283291120 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22766] ppid=22735 vsize=8068220 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22766/stat : 22766 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226141194 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172700150624 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22767] ppid=22735 vsize=8068220 memory=-7233780906022726806 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22767/stat : 22767 (java) S 22735 22735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226141194 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174282238512 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22769] ppid=22735 vsize=8068220 memory=-7233780906022726806 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22769/stat : 22769 (java) S 22735 22735 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226141259 8261857280 29709 33554432000 4194304 4196468 140734570465760 140174274430272 140174907272985 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22771] ppid=22735 vsize=8068220 memory=7679937539659563795 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22771/stat : 22771 (java) S 22735 22735 16770 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 226141260 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172163263888 140174907270301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22772] ppid=22735 vsize=8068220 memory=-9001734013606258791 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22772/stat : 22772 (java) S 22735 22735 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226141260 8261857280 29709 33554432000 4194304 4196468 140734570465760 140172297486352 140174907270301 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22773] ppid=22735 vsize=8068220 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/22753/task/22773/stat : 22773 (java) S 22735 22735 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226141262 8261857280 29709 33554432000 4194304 4196468 140734570465760 140171894841120 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
Current children cumulated CPU time: 18.26 s
Current children cumulated vsize: 8212096 KiB
Current children cumulated memory: 133328 KiB

[startup+10.2008 s]
/proc/loadavg: 1.86 1.98 2.03 3/227 22773
/proc/meminfo: memFree=12796908/32770624 swapFree=67108860/67108860
[pid=22735] ppid=22732 vsize=113128 memory=1472 CPUtime=12.22 cores=1,3,5,7
/proc/22735/stat : 22735 (scop.sh) S 22732 22735 16770 0 -1 4202496 591 32667 0 0 0 0 1193 29 20 0 1 0 226140750 115843072 368 33554432000 4194304 5098028 140733549490864 140733549487608 140209869120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9248768 140733549499456 140733549499655 140733549499655 140733549502413 0
/proc/22735/statm: 28282 368 311 221 0 87 0
[pid=22753] ppid=22735 vsize=7937144 memory=121828 CPUtime=6.25 cores=1,3,5,7
/proc/22753/stat : 22753 (java) S 22735 22735 16770 0 -1 1077944320 17691 6868 0 0 113 6 505 1 20 0 17 0 226141187 8127635456 30457 33554432000 4194304 4196468 140734570465760 140734570448304 140174907248375 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
/proc/22753/statm: 1984286 30457 3148 1 0 1945685 0
[pid=22753/tid=22754] ppid=22735 vsize=7937144 memory=-7449647134945354940 CPUtime=5.82 cores=1,3,5,7
/proc/22753/task/22754/stat : 22754 (java) R 22735 22735 16770 0 -1 4202560 14617 6868 0 0 72 4 505 1 20 0 17 0 226141188 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174879071840 140174890434802 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22755] ppid=22735 vsize=7937144 memory=8514701219931451533 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22755/stat : 22755 (java) S 22735 22735 16770 0 -1 1077944384 1 6868 0 0 0 0 505 1 20 0 17 0 226141189 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174911491088 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22756] ppid=22735 vsize=7937144 memory=4134930537816160314 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22756/stat : 22756 (java) S 22735 22735 16770 0 -1 1077944384 1 6868 0 0 0 0 505 1 20 0 17 0 226141189 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174717254800 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22757] ppid=22735 vsize=7937144 memory=6656426216303648864 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22757/stat : 22757 (java) S 22735 22735 16770 0 -1 1077944384 2 6868 0 0 0 0 505 1 20 0 17 0 226141189 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174716201744 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22758] ppid=22735 vsize=7937144 memory=7446812387659178340 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22758/stat : 22758 (java) S 22735 22735 16770 0 -1 1077944384 2 6868 0 0 0 0 505 1 20 0 17 0 226141189 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174715149200 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22759] ppid=22735 vsize=7937144 memory=6442235806494380388 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22759/stat : 22759 (java) S 22735 22735 16770 0 -1 1077944384 7 6868 0 0 0 0 505 1 20 0 17 0 226141190 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174286448880 140174907259522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22760] ppid=22735 vsize=7937144 memory=7373045057100273761 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22760/stat : 22760 (java) S 22735 22735 16770 0 -1 1077944384 13 6868 0 0 0 0 505 1 20 0 17 0 226141191 8127635456 30457 33554432000 4194304 4196468 140734570465760 140173840999584 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22761] ppid=22735 vsize=7937144 memory=7084281332243853396 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22761/stat : 22761 (java) S 22735 22735 16770 0 -1 1077944384 1 6868 0 0 0 0 505 1 20 0 17 0 226141191 8127635456 30457 33554432000 4194304 4196468 140734570465760 140173572563696 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22762] ppid=22735 vsize=7937144 memory=7594848331236732248 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22762/stat : 22762 (java) S 22735 22735 16770 0 -1 1077944384 3 6868 0 0 0 0 505 1 20 0 17 0 226141193 8127635456 30457 33554432000 4194304 4196468 140734570465760 140173198055376 140174907266971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22763] ppid=22735 vsize=7937144 memory=7309178837960058450 CPUtime=5.14 cores=1,3,5,7
/proc/22753/task/22763/stat : 22763 (java) S 22735 22735 16770 0 -1 1077944384 622 6868 0 0 8 0 505 1 20 0 17 0 226141193 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174285396720 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22764] ppid=22735 vsize=7937144 memory=7309178837960058450 CPUtime=5.14 cores=1,3,5,7
/proc/22753/task/22764/stat : 22764 (java) S 22735 22735 16770 0 -1 1077944384 346 6868 0 0 8 0 505 1 20 0 17 0 226141193 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174284344176 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22765] ppid=22735 vsize=7937144 memory=7309178837960058450 CPUtime=5.27 cores=1,3,5,7
/proc/22753/task/22765/stat : 22765 (java) S 22735 22735 16770 0 -1 1077944384 643 6868 0 0 21 0 505 1 20 0 17 0 226141193 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174283291120 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22766] ppid=22735 vsize=7937144 memory=19 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22766/stat : 22766 (java) S 22735 22735 16770 0 -1 1077944384 3 6868 0 0 0 0 505 1 20 0 17 0 226141194 8127635456 30457 33554432000 4194304 4196468 140734570465760 140172700150624 140174907258581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22767] ppid=22735 vsize=7937144 memory=0 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22767/stat : 22767 (java) S 22735 22735 16770 0 -1 1077944384 3 6868 0 0 0 0 505 1 20 0 17 0 226141194 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174282238512 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22769] ppid=22735 vsize=7937144 memory=0 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22769/stat : 22769 (java) S 22735 22735 16770 0 -1 1077944384 23 6868 0 0 0 0 505 1 20 0 17 0 226141259 8127635456 30457 33554432000 4194304 4196468 140734570465760 140174274429456 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
[pid=22753/tid=22773] ppid=22735 vsize=7937144 memory=0 CPUtime=5.06 cores=1,3,5,7
/proc/22753/task/22773/stat : 22773 (java) S 22735 22735 16770 0 -1 1077944384 8 6868 0 0 0 0 505 1 20 0 17 0 226141262 8127635456 30457 33554432000 4194304 4196468 140734570465760 140171894842928 140174907259522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140734570472629 140734570472753 140734570472753 140734570475471 0
Current children cumulated CPU time: 18.47 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 123300 KiB

Child status: 0
Real time (s): 10.2316
CPU time (s): 18.5511
CPU user time (s): 18.1723
CPU system time (s): 0.378832
CPU usage (%): 181.312
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 1262568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1723
system time used= 0.378832
maximum resident set size= 1266476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57975
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4942
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 22735
#   total CPU time (s): 18.5511
#   total CPU user time (s): 18.1723
#   total CPU system time (s): 0.378832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08405 second user time and 0.160281 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 16:56:16
IDJOB=4305464
IDBENCH=141582
IDSOLVER=2782
FILE ID=node139/4305464-1534085776
RUNJOBID= node139-1534060441-16802
PBS_JOBID= 21036974
Free space on /tmp= 28404 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Frb/frb-35-17-1_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305464-1534085776/watcher-4305464-1534085776 -o /tmp/evaluation-result-4305464-1534085776/solver-4305464-1534085776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305464-1534085776.xml

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

MD5SUM BENCH= 938558367576662423373d61b63119a7
RANDOM SEED=245842439

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
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:        12916696 kB
MemAvailable:   31730616 kB
Buffers:          230160 kB
Cached:         18550764 kB
SwapCached:            0 kB
Active:          7877520 kB
Inactive:       11134748 kB
Active(anon):     182176 kB
Inactive(anon):   101200 kB
Active(file):    7695344 kB
Inactive(file): 11033548 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:        287372 kB
Mapped:            73584 kB
Shmem:             49804 kB
Slab:             541120 kB
SReclaimable:     513488 kB
SUnreclaim:        27632 kB
KernelStack:        4000 kB
PageTables:         6172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5895624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28396 MiB
End job on node139 at 2018-08-12 16:56:26