Trace number 4305704

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)SAT 844.678 830.763

General information on the benchmark

NameFrb/
frb-50-23-2-mgd_c18.xml
MD5SUM747f749c43313802f4a8e2c3a16b0378
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 benchmark844.678
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints445
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree10
Maximum variable degree27
Distribution of variable degrees[{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":10},{"degree":17,"count":5},{"degree":18,"count":8},{"degree":19,"count":5},{"degree":20,"count":3},{"degree":21,"count":3},{"degree":22,"count":4},{"degree":23,"count":1},{"degree":24,"count":1},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":445}]
Number of extensional constraints445
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":445}]
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-27406-serial-file.bin HOME/instance-4305704-1534092517.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 18:48:38 CEST 2018
0.66/0.55	c PID: 27409
0.66/0.55	c IP: 172.20.3.103
0.66/0.55	c HOST: node103.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.32/1.19	c (0,0) Parsing End
2.64/1.20	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 445 ctr, max domain size 23
2.64/1.20	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.20	c (0,0) Constraint Name Generate Begin
2.64/1.21	c (0,0) Ctr:HOME/instance-4305704-1534092517.xml,ExtensionConflict:ExtensionSupport:IntVar
2.64/1.21	c (0,0) Constraint Name Generate End
2.64/1.21	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.21	c (0,0) CSP to CSPinCNF Begin
4.95/2.06	c (1,1) translated 45 (10%) constraints
6.56/2.53	c (2,1) translated 89 (20%) constraints
7.47/2.86	c (2,2) translated 134 (30%) constraints
8.41/3.18	c (2,2) translated 178 (40%) constraints
9.59/3.50	c (2,2) translated 223 (50%) constraints
10.19/3.79	c (3,3) translated 267 (60%) constraints
11.14/4.08	c (3,3) translated 312 (70%) constraints
12.01/4.35	c (3,3) translated 356 (80%) constraints
12.92/4.63	c (4,4) translated 401 (90%) constraints
13.82/4.91	c (4,4) translated 445 (100%) constraints
14.74/5.28	c (4,4) STATISTICS1:HOME/instance-4305704-1534092517.xml,ExtensionConflict:ExtensionSupport:IntVar,234,49161,-1,23,24,1,,23:186554;2:2564,24:8;4:41987;3:6654;2:512,1:189118;0:8,
14.74/5.28	c (4,4) ==========================================
14.74/5.28	c (4,4) Both Encoding selects:
14.74/5.28	c (4,4) Order
14.74/5.28	c (4,4) ==========================================
15.37/5.40	c (4,4) translated 4917 (10%) constraints
15.73/5.52	c (4,4) translated 9833 (20%) constraints
16.06/5.65	c (5,5) translated 14749 (30%) constraints
16.36/5.76	c (5,5) translated 19665 (40%) constraints
16.66/5.85	c (5,5) translated 24581 (50%) constraints
16.90/5.94	c (5,5) translated 29497 (60%) constraints
17.04/6.02	c (5,5) translated 34413 (70%) constraints
17.14/6.11	c (5,5) translated 39329 (80%) constraints
17.14/6.19	c (5,5) translated 44245 (90%) constraints
17.23/6.28	c (5,5) translated 49161 (100%) constraints
17.23/6.28	c (5,5) CSP to CSPinCNF End
17.23/6.28	c (5,5) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
17.23/6.28	c (5,5) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.23/6.28	c (5,5) CSPinCNF Propagation Begin
18.16/6.64	c (6,6) 0 values, 4879 unsatisfiable literals, and 0 valid clauses are removed
18.16/6.64	c (6,6) CSPinCNF Propagation End
18.16/6.64	c (6,6) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
18.16/6.64	c (6,6) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.16/6.64	c (6,6) Simplify CSPinCNF Begin
18.36/6.78	c (6,6) Simplify CSPinCNF End
18.36/6.78	c (6,6) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
18.36/6.78	c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.36/6.78	c (6,6) Calculate Precise Domain Begin
18.36/6.78	c (6,6) 0 values are removed by re-calculation
18.36/6.78	c (6,6) Calculate Precise Domain End
18.36/6.78	c (6,6) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
18.36/6.78	c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.36/6.78	c (6,6) CSPinCNF to SatSolver Begin
18.89/6.92	c (6,6) 4917 (10 %) CSP clauses are encoded (1284 SAT variables, 5966 SAT clauses)
19.21/7.01	c (6,6) 9833 (20 %) CSP clauses are encoded (1284 SAT variables, 10882 SAT clauses)
19.21/7.06	c (6,6) 14749 (30 %) CSP clauses are encoded (1284 SAT variables, 15798 SAT clauses)
19.21/7.10	c (6,6) 19665 (40 %) CSP clauses are encoded (1284 SAT variables, 20714 SAT clauses)
19.49/7.13	c (6,6) 24581 (50 %) CSP clauses are encoded (1284 SAT variables, 25630 SAT clauses)
19.49/7.17	c (6,6) 29497 (60 %) CSP clauses are encoded (1284 SAT variables, 30546 SAT clauses)
19.59/7.20	c (6,6) 34413 (70 %) CSP clauses are encoded (1284 SAT variables, 35462 SAT clauses)
19.59/7.23	c (6,6) 39329 (80 %) CSP clauses are encoded (1284 SAT variables, 40378 SAT clauses)
19.59/7.27	c (6,6) 44245 (90 %) CSP clauses are encoded (1284 SAT variables, 45294 SAT clauses)
19.70/7.30	c (6,6) 49161 (100 %) CSP clauses are encoded (1284 SAT variables, 50210 SAT clauses)
19.70/7.30	c (6,6) Launch Command will be: minisat_release
19.70/7.30	c (6,6) CSPinCNF to SatSolver End
19.70/7.30	c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.27/7.58	c (7,7) STATISTICS2:HOME/instance-4305704-1534092517.xml,ExtensionConflict:ExtensionSupport:IntVar,234,49161,-1,23,23,1,,23:181683;2:2564,23:8;4:37500;3:10757;2:896,1:184247,
20.27/7.58	c (7,7) 1284 bool, 50211 clause
20.27/7.58	c (7,7) Export Begin
20.55/7.67	c (7,7) Export to HOME/scop-27406-serial-file.bin
20.55/7.67	c (7,7) Export End
20.55/7.67	c (7,7) Export File Size: 0.01 MB
20.55/7.67	c (7,7) 0,0,5,6,6,6,6,STOP-AFTER(DIMACS)
20.55/7.67	c END-Prog: Sun Aug 12 18:48:45 CEST 2018
0.00/7.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27406-serial-file.bin
21.38/8.20	c (0,0) Read Serial File Begin
21.38/8.20	c (0,0) HOME/scop-27406-serial-file.bin
21.54/8.37	c (0,0) Read Serial File End
21.54/8.38	
21.54/8.38	scop order+minisat_release (2018-07-31)
21.54/8.38	(Solving Process)
21.54/8.38	
21.69/8.40	c BEGIN-Prog: Sun Aug 12 18:48:46 CEST 2018
21.69/8.40	c PID: 27424
21.69/8.40	c IP: 172.20.3.103
21.69/8.40	c HOST: node103.alineos.net
21.69/8.41	c (0,0) SatSolver.solve Begin
21.69/8.41	c (0,0) 0 bool, 0 clause
21.69/8.41	c (0,0) minisat_release HOME/instance-4305704-1534092517.xml-scop-27409.cnf
844.42/830.67	c (822,0) c This is COMiniSatPS.
844.42/830.67	c (822,0) c WARNING: for repeatability, setting FPU to use double precision
844.42/830.67	c (822,0) c ============================[ Problem Statistics ]=============================
844.42/830.67	c (822,0) c |                                                                             |
844.42/830.67	c (822,0) c |  Number of variables:          1284                                         |
844.42/830.67	c (822,0) c |  Number of clauses:           50211                                         |
844.42/830.67	c (822,0) c |  Parse time:                   0.02 s                                       |
844.42/830.67	c (822,0) c Reduced to 1284 vars, 50211 cls (grow=0)
844.42/830.67	c (822,0) c No iterative elimination performed. (vars=1284, c/v ratio=39.1)
844.42/830.67	c (822,0) c |  Simplification time:          0.05 s                                       |
844.42/830.67	c (822,0) c |                                                                             |
844.42/830.67	c (822,0) c ============================[ Search Statistics ]==============================
844.42/830.67	c (822,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
844.42/830.67	c (822,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
844.42/830.67	c (822,0) c ===============================================================================
844.42/830.68	c (822,0) c ===============================================================================
844.42/830.68	c (822,0) c restarts              : 11423
844.42/830.68	c (822,0) c conflicts             : 7033211        (8555 /sec)
844.42/830.68	c (822,0) c decisions             : 8445877        (0.00 % random) (10273 /sec)
844.42/830.68	c (822,0) c propagations          : 1272009450     (1547188 /sec)
844.42/830.68	c (822,0) c conflict literals     : 150571719      (47.28 % deleted)
844.42/830.68	c (822,0) c CPU time              : 822.143 s
844.42/830.68	c (822,0) 
844.42/830.68	c (822,0) s SATISFIABLE
844.42/830.69	c (822,0) SatSolver.solve End
844.42/830.69	c (822,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
844.42/830.69	c (822,0) Show results Begin
844.56/830.74	s SATISFIABLE
844.56/830.75	v <instantiation>
844.56/830.75	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] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
844.56/830.75	v     <values>9 22 17 5 1 14 12 22 16 3 14 12 9 20 1 11 13 3 6 21 6 16 7 0 14 22 1 18 19 11 3 14 14 3 8 10 6 13 9 14 20 12 22 12 13 21 19 6 9 9</values>
844.56/830.75	v </instantiation>
844.56/830.75	c (822,0) Show results End
844.56/830.75	c (822,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
844.56/830.75	c (822,0) 822,822,STOP-AFTER(ALL)
844.56/830.75	c END-Prog: Sun Aug 12 19:02:28 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 (10788 MiB free)
  memory of node 1: 16384 MiB (13529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305704-1534092517/watcher-4305704-1534092517 -o /tmp/evaluation-result-4305704-1534092517/solver-4305704-1534092517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305704-1534092517.xml 

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

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

solver pid=27406, runsolver pid=27403

[startup+0.100159 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 27423
/proc/meminfo: memFree=24840180/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226814920 115843072 349 33554432000 4194304 5098028 140735021401680 140735021398936 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 349 296 221 0 87 0
[pid=27409] ppid=27406 vsize=15012476 memory=73744 CPUtime=0.11 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27406 27406 20606 0 -1 1077944320 6528 0 0 0 10 1 0 0 20 0 15 0 226814920 15372775424 18436 33554432000 4194304 4196468 140723955112560 140723955095104 140666658451191 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
/proc/27409/statm: 3753119 18436 2770 1 0 3715579 0
[pid=27409/tid=27410] ppid=27406 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/27409/task/27410/stat : 27410 (java) R 27406 27406 20606 0 -1 4202560 4628 0 0 0 8 1 0 0 20 0 15 0 226814921 15372775424 18436 33554432000 4194304 4196468 140723955112560 140666630277520 140666643616784 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27411] ppid=27406 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 18436 33554432000 4194304 4196468 140723955112560 140666662693904 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27412] ppid=27406 vsize=15012476 memory=140623771379328 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 18436 33554432000 4194304 4196468 140723955112560 140666119466128 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27413] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 18436 33554432000 4194304 4196468 140723955112560 140666118413072 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27414] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 18436 33554432000 4194304 4196468 140723955112560 140666117360528 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27415] ppid=27406 vsize=15012476 memory=140623771379328 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665998088432 140666658462338 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27416] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27406 27406 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665279210656 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27417] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665010774768 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27418] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 18436 33554432000 4194304 4196468 140723955112560 140664636266448 140666658469787 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27419] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27406 27406 20606 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665997036272 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27420] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665995983728 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27421] ppid=27406 vsize=15012476 memory=140623771379328 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27406 27406 20606 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 226814927 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665994930672 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27422] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 18436 33554432000 4194304 4196468 140723955112560 140664138361696 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27423] ppid=27406 vsize=15012476 memory=140623771379328 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 18436 33554432000 4194304 4196468 140723955112560 140665993878064 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75140 KiB

[startup+0.210589 s]*
/proc/loadavg: 2.00 2.02 2.05 4/222 27423
/proc/meminfo: memFree=24825892/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226814920 115843072 349 33554432000 4194304 5098028 140735021401680 140735021398936 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 349 296 221 0 87 0
[pid=27409] ppid=27406 vsize=15012476 memory=86812 CPUtime=0.25 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27406 27406 20606 0 -1 1077944320 10039 0 0 0 23 2 0 0 20 0 15 0 226814920 15372775424 21703 33554432000 4194304 4196468 140723955112560 140723955095104 140666658451191 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
/proc/27409/statm: 3753119 21703 2905 1 0 3715579 0
[pid=27409/tid=27410] ppid=27406 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/27409/task/27410/stat : 27410 (java) R 27406 27406 20606 0 -1 4202560 7959 0 0 0 18 2 0 0 20 0 15 0 226814921 15372775424 21703 33554432000 4194304 4196468 140723955112560 140666630276240 140666161988628 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27411] ppid=27406 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 21703 33554432000 4194304 4196468 140723955112560 140666662693904 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27412] ppid=27406 vsize=15012476 memory=288370999923091072 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 21703 33554432000 4194304 4196468 140723955112560 140666119466128 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27413] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 21703 33554432000 4194304 4196468 140723955112560 140666118413072 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27414] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 21703 33554432000 4194304 4196468 140723955112560 140666117360528 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27415] ppid=27406 vsize=15012476 memory=140623771379328 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665998088432 140666658462338 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27416] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27406 27406 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665279210656 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27417] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665010774768 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27418] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 21703 33554432000 4194304 4196468 140723955112560 140664636266448 140666658469787 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27419] ppid=27406 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27406 27406 20606 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 226814927 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665997036272 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27420] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27406 27406 20606 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665995983728 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27421] ppid=27406 vsize=15012476 memory=140623771379328 CPUtime=0.03 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27406 27406 20606 0 -1 1077944384 282 0 0 0 3 0 0 0 20 0 15 0 226814927 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665994930672 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27422] ppid=27406 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 21703 33554432000 4194304 4196468 140723955112560 140664138361696 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27423] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 21703 33554432000 4194304 4196468 140723955112560 140665993878064 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88208 KiB

[startup+0.31066 s]*
/proc/loadavg: 2.00 2.02 2.05 3/222 27423
/proc/meminfo: memFree=24822928/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226814920 115843072 349 33554432000 4194304 5098028 140735021401680 140735021398936 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 349 296 221 0 87 0
[pid=27409] ppid=27406 vsize=15012476 memory=90332 CPUtime=0.42 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27406 27406 20606 0 -1 1077944320 10571 0 0 0 39 3 0 0 20 0 15 0 226814920 15372775424 22583 33554432000 4194304 4196468 140723955112560 140723955095104 140666658451191 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
/proc/27409/statm: 3753119 22583 2978 1 0 3715579 0
[pid=27409/tid=27410] ppid=27406 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27409/task/27410/stat : 27410 (java) R 27406 27406 20606 0 -1 4202560 8329 0 0 0 27 2 0 0 20 0 15 0 226814921 15372775424 22583 33554432000 4194304 4196468 140723955112560 140666630246640 140666658473117 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27411] ppid=27406 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 22583 33554432000 4194304 4196468 140723955112560 140666662693904 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27412] ppid=27406 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 22583 33554432000 4194304 4196468 140723955112560 140666119466128 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27413] ppid=27406 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 22583 33554432000 4194304 4196468 140723955112560 140666118413072 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27414] ppid=27406 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814922 15372775424 22583 33554432000 4194304 4196468 140723955112560 140666117360528 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27415] ppid=27406 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665998088432 140666658462338 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27416] ppid=27406 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27406 27406 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665279210656 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27417] ppid=27406 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814924 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665010774768 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27418] ppid=27406 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 22583 33554432000 4194304 4196468 140723955112560 140664636266448 140666658469787 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27419] ppid=27406 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) R 27406 27406 20606 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 226814927 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665997036272 140666642838529 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27420] ppid=27406 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) R 27406 27406 20606 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 226814927 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665995983728 140666658462338 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27421] ppid=27406 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) R 27406 27406 20606 0 -1 4202560 300 0 0 0 7 0 0 0 20 0 15 0 226814927 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665994930672 140666658465078 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27422] ppid=27406 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 22583 33554432000 4194304 4196468 140723955112560 140664138361696 140666658461397 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27423] ppid=27406 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814927 15372775424 22583 33554432000 4194304 4196468 140723955112560 140665993878064 140666658462338 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91728 KiB

[startup+0.700789 s]
/proc/loadavg: 2.00 2.02 2.05 3/222 27423
/proc/meminfo: memFree=24798308/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226814920 115843072 349 33554432000 4194304 5098028 140735021401680 140735021398936 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 349 296 221 0 87 0
[pid=27409] ppid=27406 vsize=15018748 memory=129044 CPUtime=1.02 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27406 27406 20606 0 -1 1077944320 17439 0 0 0 97 5 0 0 20 0 15 0 226814920 15379197952 32261 33554432000 4194304 4196468 140723955112560 140723955095104 140666658451191 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
/proc/27409/statm: 3754687 32261 3133 1 0 3716091 0
[pid=27409/tid=27410] ppid=27406 vsize=15018748 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/27409/task/27410/stat : 27410 (java) R 27406 27406 20606 0 -1 4202560 14704 0 0 0 63 4 0 0 20 0 15 0 226814921 15379197952 32261 33554432000 4194304 4196468 140723955112560 140666630283088 140666642531678 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27411] ppid=27406 vsize=15018748 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15379197952 32261 33554432000 4194304 4196468 140723955112560 140666662693904 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27412] ppid=27406 vsize=15018748 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15379197952 32261 33554432000 4194304 4196468 140723955112560 140666119466128 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27413] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814922 15379197952 32261 33554432000 4194304 4196468 140723955112560 140666118413072 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27414] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226814922 15379197952 32261 33554432000 4194304 4196468 140723955112560 140666117360528 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27415] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27406 27406 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226814924 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665998088432 140666658462338 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27416] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27406 27406 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226814924 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665279210656 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27417] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814924 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665010774768 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27418] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15379197952 32261 33554432000 4194304 4196468 140723955112560 140664636266448 140666658469787 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27419] ppid=27406 vsize=15018748 memory=281247343444208 CPUtime=0.07 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27406 27406 20606 0 -1 1077944384 520 0 0 0 7 0 0 0 20 0 15 0 226814927 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665997036272 140666658462338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27420] ppid=27406 vsize=15018748 memory=7234030490512222553 CPUtime=0.09 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27406 27406 20606 0 -1 1077944384 462 0 0 0 9 0 0 0 20 0 15 0 226814927 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665995983728 140666658462338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27421] ppid=27406 vsize=15018748 memory=7594587674001172330 CPUtime=0.17 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) R 27406 27406 20606 0 -1 4202560 419 0 0 0 17 0 0 0 20 0 15 0 226814927 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665994927408 140666637742602 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27422] ppid=27406 vsize=15018748 memory=7649399362756556594 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226814927 15379197952 32261 33554432000 4194304 4196468 140723955112560 140664138361696 140666658461397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
[pid=27409/tid=27423] ppid=27406 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226814927 15379197952 32261 33554432000 4194304 4196468 140723955112560 140665993878064 140666658462338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140723955115015 140723955115313 140723955115313 140723955118031 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130440 KiB

[startup+1.50087 s]
/proc/loadavg: 2.00 2.02 2.05 5/222 27423
/proc/meminfo: memFree=24705104/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226814920 115843072 349 33554432000 4194304 5098028 140735021401680 140735021398936 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 349 296 221 0 87 0

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

/proc/27424/task/27440/stat : 27440 (java) S 27406 27406 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294167581888 140294831591193 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27442] ppid=27406 vsize=8068220 memory=1860 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27442/stat : 27442 (java) S 27406 27406 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292153912592 140294831588509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27443] ppid=27406 vsize=8068220 memory=32516 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27443/stat : 27443 (java) S 27406 27406 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292288135312 140294831588509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27444] ppid=27406 vsize=8068220 memory=13808 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27444/stat : 27444 (java) S 27406 27406 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226815766 8261857280 28704 33554432000 4194304 4196468 140724924659648 140291885489824 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
Current children cumulated CPU time: 843.42 s
Current children cumulated vsize: 8278660 KiB
Current children cumulated memory: 191424 KiB

[startup+830.401 s]
/proc/loadavg: 2.11 2.04 2.05 3/228 27498
/proc/meminfo: memFree=24694364/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1472 CPUtime=20.74 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 591 34330 0 0 0 0 2016 58 20 0 1 0 226814920 115843072 368 33554432000 4194304 5098028 140735021401680 140735021398424 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 368 311 221 0 87 0
[pid=27424] ppid=27406 vsize=8068220 memory=114816 CPUtime=1.55 cores=0,2,4,6
/proc/27424/stat : 27424 (java) S 27406 27406 20606 0 -1 1077944320 18037 0 0 0 133 22 0 0 20 0 19 0 226815691 8261857280 28704 33554432000 4194304 4196468 140724924659648 140724924642192 140294831566583 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
/proc/27424/statm: 2017055 28704 3150 1 0 1978454 0
[pid=27439] ppid=27424 vsize=97312 memory=75136 CPUtime=821.93 cores=0,2,4,6
/proc/27439/stat : 27439 (minisat_release) R 27424 27406 20606 0 -1 4202496 59860 0 0 0 82186 7 0 0 20 0 1 0 226815763 99647488 18784 33554432000 4194304 4308513 140733700511712 140733700508616 4276392 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 40919040 140733700514932 140733700515030 140733700515030 140733700517829 0
/proc/27439/statm: 24328 18784 341 28 0 20568 0
[pid=27424/tid=27425] ppid=27406 vsize=8068220 memory=1140 CPUtime=0.75 cores=0,2,4,6
/proc/27424/task/27425/stat : 27425 (java) S 27406 27406 20606 0 -1 1077944384 15020 0 0 0 70 5 0 0 20 0 19 0 226815691 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294803406736 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27426] ppid=27406 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27426/stat : 27426 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294835809424 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27427] ppid=27406 vsize=8068220 memory=114816 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27427/stat : 27427 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294641572880 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27428] ppid=27406 vsize=8068220 memory=75136 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27428/stat : 27428 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294640520080 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27429] ppid=27406 vsize=8068220 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27429/stat : 27429 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294639467280 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27430] ppid=27406 vsize=8068220 memory=1548 CPUtime=0.01 cores=0,2,4,6
/proc/27424/task/27430/stat : 27430 (java) S 27406 27406 20606 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 226815694 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294084295024 140294831577730 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27431] ppid=27406 vsize=8068220 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27431/stat : 27431 (java) S 27406 27406 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226815694 8261857280 28704 33554432000 4194304 4196468 140724924659648 140293697430560 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27432] ppid=27406 vsize=8068220 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27432/stat : 27432 (java) S 27406 27406 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226815694 8261857280 28704 33554432000 4194304 4196468 140724924659648 140293563208560 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27433] ppid=27406 vsize=8068220 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27433/stat : 27433 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140293188704080 140294831585179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27434] ppid=27406 vsize=8068220 memory=9004 CPUtime=0.08 cores=0,2,4,6
/proc/27424/task/27434/stat : 27434 (java) S 27406 27406 20606 0 -1 1077944384 507 0 0 0 8 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294083242864 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27435] ppid=27406 vsize=8068220 memory=768 CPUtime=0.09 cores=0,2,4,6
/proc/27424/task/27435/stat : 27435 (java) S 27406 27406 20606 0 -1 1077944384 453 0 0 0 9 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294082190064 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27436] ppid=27406 vsize=8068220 memory=736 CPUtime=0.2 cores=0,2,4,6
/proc/27424/task/27436/stat : 27436 (java) S 27406 27406 20606 0 -1 1077944384 572 0 0 0 20 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294081137264 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27437] ppid=27406 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27437/stat : 27437 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292690799328 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27438] ppid=27406 vsize=8068220 memory=3848 CPUtime=0.37 cores=0,2,4,6
/proc/27424/task/27438/stat : 27438 (java) S 27406 27406 20606 0 -1 1077944384 57 0 0 0 20 17 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294080084656 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27440] ppid=27406 vsize=8068220 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27440/stat : 27440 (java) S 27406 27406 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294167581888 140294831591193 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27442] ppid=27406 vsize=8068220 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27442/stat : 27442 (java) S 27406 27406 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292153912592 140294831588509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27443] ppid=27406 vsize=8068220 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27443/stat : 27443 (java) S 27406 27406 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292288135312 140294831588509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27444] ppid=27406 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27444/stat : 27444 (java) S 27406 27406 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226815766 8261857280 28704 33554432000 4194304 4196468 140724924659648 140291885489824 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
Current children cumulated CPU time: 844.22 s
Current children cumulated vsize: 8278660 KiB
Current children cumulated memory: 191424 KiB

[startup+830.601 s]
/proc/loadavg: 2.11 2.04 2.05 3/228 27498
/proc/meminfo: memFree=24694364/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1472 CPUtime=20.74 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 591 34330 0 0 0 0 2016 58 20 0 1 0 226814920 115843072 368 33554432000 4194304 5098028 140735021401680 140735021398424 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 368 311 221 0 87 0
[pid=27424] ppid=27406 vsize=8068220 memory=114816 CPUtime=1.55 cores=0,2,4,6
/proc/27424/stat : 27424 (java) S 27406 27406 20606 0 -1 1077944320 18037 0 0 0 133 22 0 0 20 0 19 0 226815691 8261857280 28704 33554432000 4194304 4196468 140724924659648 140724924642192 140294831566583 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
/proc/27424/statm: 2017055 28704 3150 1 0 1978454 0
[pid=27439] ppid=27424 vsize=97312 memory=75136 CPUtime=822.13 cores=0,2,4,6
/proc/27439/stat : 27439 (minisat_release) R 27424 27406 20606 0 -1 4202496 59861 0 0 0 82206 7 0 0 20 0 1 0 226815763 99647488 18784 33554432000 4194304 4308513 140733700511712 140733700508616 4276015 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 40919040 140733700514932 140733700515030 140733700515030 140733700517829 0
/proc/27439/statm: 24328 18784 341 28 0 20568 0
[pid=27424/tid=27425] ppid=27406 vsize=8068220 memory=1528 CPUtime=0.75 cores=0,2,4,6
/proc/27424/task/27425/stat : 27425 (java) S 27406 27406 20606 0 -1 1077944384 15020 0 0 0 70 5 0 0 20 0 19 0 226815691 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294803406736 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27426] ppid=27406 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27426/stat : 27426 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294835809424 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27427] ppid=27406 vsize=8068220 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27427/stat : 27427 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294641572880 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27428] ppid=27406 vsize=8068220 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27428/stat : 27428 (java) S 27406 27406 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294640520080 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27429] ppid=27406 vsize=8068220 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27429/stat : 27429 (java) S 27406 27406 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226815692 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294639467280 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27430] ppid=27406 vsize=8068220 memory=800 CPUtime=0.01 cores=0,2,4,6
/proc/27424/task/27430/stat : 27430 (java) S 27406 27406 20606 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 19 0 226815694 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294084295024 140294831577730 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27431] ppid=27406 vsize=8068220 memory=8514726395714825349 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27431/stat : 27431 (java) S 27406 27406 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226815694 8261857280 28704 33554432000 4194304 4196468 140724924659648 140293697430560 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27432] ppid=27406 vsize=8068220 memory=7822038051842261661 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27432/stat : 27432 (java) S 27406 27406 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226815694 8261857280 28704 33554432000 4194304 4196468 140724924659648 140293563208560 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27433] ppid=27406 vsize=8068220 memory=-6520471753822164382 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27433/stat : 27433 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140293188704080 140294831585179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27434] ppid=27406 vsize=8068220 memory=8514701219730522529 CPUtime=0.08 cores=0,2,4,6
/proc/27424/task/27434/stat : 27434 (java) S 27406 27406 20606 0 -1 1077944384 507 0 0 0 8 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294083242864 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27435] ppid=27406 vsize=8068220 memory=2588 CPUtime=0.09 cores=0,2,4,6
/proc/27424/task/27435/stat : 27435 (java) S 27406 27406 20606 0 -1 1077944384 453 0 0 0 9 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294082190064 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27436] ppid=27406 vsize=8068220 memory=4100 CPUtime=0.2 cores=0,2,4,6
/proc/27424/task/27436/stat : 27436 (java) S 27406 27406 20606 0 -1 1077944384 572 0 0 0 20 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294081137264 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27437] ppid=27406 vsize=8068220 memory=816 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27437/stat : 27437 (java) S 27406 27406 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292690799328 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27438] ppid=27406 vsize=8068220 memory=1932 CPUtime=0.37 cores=0,2,4,6
/proc/27424/task/27438/stat : 27438 (java) S 27406 27406 20606 0 -1 1077944384 57 0 0 0 20 17 0 0 20 0 19 0 226815697 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294080084656 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27440] ppid=27406 vsize=8068220 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27440/stat : 27440 (java) S 27406 27406 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140294167581888 140294831591193 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27442] ppid=27406 vsize=8068220 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27442/stat : 27442 (java) S 27406 27406 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292153912592 140294831588509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27443] ppid=27406 vsize=8068220 memory=7904 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27443/stat : 27443 (java) S 27406 27406 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226815764 8261857280 28704 33554432000 4194304 4196468 140724924659648 140292288135312 140294831588509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27444] ppid=27406 vsize=8068220 memory=800 CPUtime=0 cores=0,2,4,6
/proc/27424/task/27444/stat : 27444 (java) S 27406 27406 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226815766 8261857280 28704 33554432000 4194304 4196468 140724924659648 140291885489824 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
Current children cumulated CPU time: 844.42 s
Current children cumulated vsize: 8278660 KiB
Current children cumulated memory: 191424 KiB

[startup+830.708 s]
/proc/loadavg: 2.11 2.04 2.05 3/228 27498
/proc/meminfo: memFree=24694364/32770624 swapFree=67058900/67108860
[pid=27406] ppid=27403 vsize=113128 memory=1472 CPUtime=20.74 cores=0,2,4,6
/proc/27406/stat : 27406 (scop.sh) S 27403 27406 20606 0 -1 4202496 591 34330 0 0 0 0 2016 58 20 0 1 0 226814920 115843072 368 33554432000 4194304 5098028 140735021401680 140735021398424 140695092331132 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 19681280 140735021409345 140735021409543 140735021409543 140735021412301 0
/proc/27406/statm: 28282 368 311 221 0 87 0
[pid=27424] ppid=27406 vsize=7937144 memory=117692 CPUtime=823.82 cores=0,2,4,6
/proc/27424/stat : 27424 (java) S 27406 27406 20606 0 -1 1077944320 18207 59877 0 0 139 22 82214 7 20 0 17 0 226815691 8127635456 29423 33554432000 4194304 4196468 140724924659648 140724924642192 140294831566583 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
/proc/27424/statm: 1984286 29423 3158 1 0 1945685 0
[pid=27424/tid=27425] ppid=27406 vsize=7937144 memory=114816 CPUtime=822.98 cores=0,2,4,6
/proc/27424/task/27425/stat : 27425 (java) R 27406 27406 20606 0 -1 4202560 15106 59877 0 0 72 5 82214 7 20 0 17 0 226815691 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294803391144 140294816934735 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27426] ppid=27406 vsize=7937144 memory=0 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27426/stat : 27426 (java) S 27406 27406 20606 0 -1 1077944384 1 59877 0 0 0 0 82214 7 20 0 17 0 226815692 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294835809424 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27427] ppid=27406 vsize=7937144 memory=4420 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27427/stat : 27427 (java) S 27406 27406 20606 0 -1 1077944384 2 59877 0 0 0 0 82214 7 20 0 17 0 226815692 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294641572880 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27428] ppid=27406 vsize=7937144 memory=75136 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27428/stat : 27428 (java) S 27406 27406 20606 0 -1 1077944384 1 59877 0 0 0 0 82214 7 20 0 17 0 226815692 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294640520080 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27429] ppid=27406 vsize=7937144 memory=114816 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27429/stat : 27429 (java) S 27406 27406 20606 0 -1 1077944384 2 59877 0 0 0 0 82214 7 20 0 17 0 226815692 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294639467280 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27430] ppid=27406 vsize=7937144 memory=1840 CPUtime=822.22 cores=0,2,4,6
/proc/27424/task/27430/stat : 27430 (java) S 27406 27406 20606 0 -1 1077944384 5 59877 0 0 1 0 82214 7 20 0 17 0 226815694 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294084295024 140294831577730 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27431] ppid=27406 vsize=7937144 memory=7904 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27431/stat : 27431 (java) S 27406 27406 20606 0 -1 1077944384 13 59877 0 0 0 0 82214 7 20 0 17 0 226815694 8127635456 29423 33554432000 4194304 4196468 140724924659648 140293697430560 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27432] ppid=27406 vsize=7937144 memory=114816 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27432/stat : 27432 (java) S 27406 27406 20606 0 -1 1077944384 21 59877 0 0 0 0 82214 7 20 0 17 0 226815694 8127635456 29423 33554432000 4194304 4196468 140724924659648 140293563208560 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27433] ppid=27406 vsize=7937144 memory=3544 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27433/stat : 27433 (java) S 27406 27406 20606 0 -1 1077944384 3 59877 0 0 0 0 82214 7 20 0 17 0 226815697 8127635456 29423 33554432000 4194304 4196468 140724924659648 140293188704080 140294831585179 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27434] ppid=27406 vsize=7937144 memory=1796 CPUtime=822.3 cores=0,2,4,6
/proc/27424/task/27434/stat : 27434 (java) S 27406 27406 20606 0 -1 1077944384 511 59877 0 0 9 0 82214 7 20 0 17 0 226815697 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294083242864 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27435] ppid=27406 vsize=7937144 memory=75136 CPUtime=822.31 cores=0,2,4,6
/proc/27424/task/27435/stat : 27435 (java) S 27406 27406 20606 0 -1 1077944384 459 59877 0 0 10 0 82214 7 20 0 17 0 226815697 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294082190064 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27436] ppid=27406 vsize=7937144 memory=1140 CPUtime=822.42 cores=0,2,4,6
/proc/27424/task/27436/stat : 27436 (java) S 27406 27406 20606 0 -1 1077944384 595 59877 0 0 21 0 82214 7 20 0 17 0 226815697 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294081137264 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27437] ppid=27406 vsize=7937144 memory=1024 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27437/stat : 27437 (java) S 27406 27406 20606 0 -1 1077944384 3 59877 0 0 0 0 82214 7 20 0 17 0 226815697 8127635456 29423 33554432000 4194304 4196468 140724924659648 140292690799328 140294831576789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27438] ppid=27406 vsize=7937144 memory=3172 CPUtime=822.58 cores=0,2,4,6
/proc/27424/task/27438/stat : 27438 (java) S 27406 27406 20606 0 -1 1077944384 57 59877 0 0 20 17 82214 7 20 0 17 0 226815697 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294080084656 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27440] ppid=27406 vsize=7937144 memory=1472 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27440/stat : 27440 (java) S 27406 27406 20606 0 -1 1077944384 24 59877 0 0 0 0 82214 7 20 0 17 0 226815764 8127635456 29423 33554432000 4194304 4196468 140724924659648 140294167581072 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
[pid=27424/tid=27444] ppid=27406 vsize=7937144 memory=-7824251494390782823 CPUtime=822.21 cores=0,2,4,6
/proc/27424/task/27444/stat : 27444 (java) S 27406 27406 20606 0 -1 1077944384 9 59877 0 0 0 0 82214 7 20 0 17 0 226815766 8127635456 29423 33554432000 4194304 4196468 140724924659648 140291885491632 140294831577730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16343040 140724924662965 140724924663089 140724924663089 140724924665807 0
Current children cumulated CPU time: 844.56 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 119164 KiB

Child status: 0
Real time (s): 830.763
CPU time (s): 844.678
CPU user time (s): 843.782
CPU system time (s): 0.895991
CPU usage (%): 101.675
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 2915592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.782
system time used= 0.895991
maximum resident set size= 2930084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23673
involuntary context switches= 1110


# summary of solver processes directly reported to runsolver:
#   pid: 27406
#   total CPU time (s): 844.678
#   total CPU user time (s): 843.782
#   total CPU system time (s): 0.895991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31729 second user time and 9.29618 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 18:48:37
IDJOB=4305704
IDBENCH=141588
IDSOLVER=2783
FILE ID=node103/4305704-1534092517
RUNJOBID= node103-1534064938-20637
PBS_JOBID= 21036991
Free space on /tmp= 34676 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Frb/frb-50-23-2-mgd_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-4305704-1534092517/watcher-4305704-1534092517 -o /tmp/evaluation-result-4305704-1534092517/solver-4305704-1534092517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305704-1534092517.xml

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

MD5SUM BENCH= 747f749c43313802f4a8e2c3a16b0378
RANDOM SEED=452780145

node103.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.48
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.48
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.48
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.48
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:        24901752 kB
MemAvailable:   31799824 kB
Buffers:          113688 kB
Cached:          6969260 kB
SwapCached:         5364 kB
Active:          3950596 kB
Inactive:        3291836 kB
Active(anon):     150248 kB
Inactive(anon):    60856 kB
Active(file):    3800348 kB
Inactive(file):  3230980 kB
Unevictable:        7796 kB
Mlocked:            7796 kB
SwapTotal:      67108860 kB
SwapFree:       67058900 kB
Dirty:              8164 kB
Writeback:             0 kB
AnonPages:        143856 kB
Mapped:            62308 kB
Shmem:             48632 kB
Slab:             323868 kB
SReclaimable:     295204 kB
SUnreclaim:        28664 kB
KernelStack:        3792 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5860756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34668 MiB
End job on node103 at 2018-08-12 19:02:28