Trace number 4305679

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 15.7442 6.6596

General information on the benchmark

NameSportsScheduling/
SportsScheduling-10_c18.xml
MD5SUM90120b7f275ce51772dc9fcf00f05be5
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.052072
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints85
Number of domains2
Minimum domain size10
Maximum domain size45
Distribution of domain sizes[{"size":10,"count":100},{"size":45,"count":45}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":50},{"degree":4,"count":95}]
Minimum constraint arity1
Maximum constraint arity45
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":5},{"arity":3,"count":45},{"arity":5,"count":9},{"arity":10,"count":10},{"arity":18,"count":5},{"arity":20,"count":5},{"arity":45,"count":1}]
Number of extensional constraints45
Number of intensional constraints10
Distribution of constraint types[{"type":"extension","count":45},{"type":"intension","count":10},{"type":"allDifferent","count":11},{"type":"count","count":9},{"type":"cardinality","count":10}]
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-29851-serial-file.bin HOME/instance-4305679-1534129696.xml
0.55/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.54	c BEGIN-Prog: Mon Aug 13 05:08:17 CEST 2018
0.66/0.54	c PID: 29855
0.66/0.54	c IP: 172.20.3.139
0.66/0.54	c HOST: node139.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.43/0.94	c (0,0) Parsing End
1.43/0.95	c (0,0) CSP: 145 int (0 aux), 0 bool (0 aux), 85 ctr, max domain size 45
1.43/0.95	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.95	c (0,0) Constraint Name Generate Begin
1.43/0.96	c (0,0) Ctr:HOME/instance-4305679-1534129696.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.43/0.96	c (0,0) Constraint Name Generate End
1.43/0.96	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.96	c (0,0) CSP to CSPinCNF Begin
3.20/1.60	c (1,1) translated 9 (10%) constraints
3.50/1.77	c (1,1) translated 17 (20%) constraints
4.12/1.93	c (1,1) translated 26 (30%) constraints
4.46/2.05	c (1,1) translated 34 (40%) constraints
4.75/2.17	c (1,1) translated 43 (50%) constraints
5.40/2.34	c (1,1) translated 51 (60%) constraints
6.11/2.55	c (2,2) translated 60 (70%) constraints
6.11/2.59	c (2,2) translated 68 (80%) constraints
6.41/2.62	c (2,2) translated 77 (90%) constraints
6.41/2.66	c (2,2) translated 85 (100%) constraints
7.04/2.81	c (2,2) STATISTICS1:HOME/instance-4305679-1534129696.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,3620,15016,524288,45,45,20,524288:100;131072:100;45:780;16:18;9:455;1:210,45:8960;9:11390;2:23070;1:1125,45:2;10:155;9:45;8:45;7:45;6:45;5:45;4:3195;3:4240;2:7030;1:169,20:100;18:100;5:18;2:1445;1:39860;0:45,
7.04/2.81	c (2,2) ==========================================
7.04/2.81	c (2,2) Both Encoding selects:
7.04/2.81	c (2,2) Order
7.04/2.81	c (2,2) ==========================================
7.04/2.86	c (2,2) translated 1502 (10%) constraints
7.36/2.90	c (2,2) translated 3004 (20%) constraints
7.36/2.94	c (2,2) translated 4505 (30%) constraints
7.36/2.97	c (2,2) translated 6007 (40%) constraints
7.69/3.01	c (2,2) translated 7508 (50%) constraints
7.69/3.04	c (2,2) translated 9010 (60%) constraints
7.69/3.08	c (2,2) translated 10512 (70%) constraints
7.99/3.14	c (2,2) translated 12013 (80%) constraints
8.29/3.29	c (2,2) translated 13515 (90%) constraints
9.00/3.47	c (2,2) translated 15016 (100%) constraints
9.00/3.48	c (2,2) CSP to CSPinCNF End
9.00/3.48	c (2,2) CSP: 545 int (400 aux), 4520 bool (4520 aux), 17770 ctr, max domain size 43
9.00/3.48	c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
9.00/3.48	c (2,2) CSPinCNF Propagation Begin
9.98/3.76	c (3,3) 1205 values, 3964 unsatisfiable literals, and 3051 valid clauses are removed
9.98/3.76	c (3,3) CSPinCNF Propagation End
9.98/3.76	c (3,3) CSP: 1385 int (1240 aux), 3680 bool (3680 aux), 14719 ctr, max domain size 43
9.98/3.76	c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
9.98/3.76	c (3,3) Simplify CSPinCNF Begin
10.27/3.88	c (3,3) Simplify CSPinCNF End
10.27/3.88	c (3,3) CSP: 1385 int (1240 aux), 6290 bool (6290 aux), 17329 ctr, max domain size 43
10.27/3.88	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.27/3.88	c (3,3) Calculate Precise Domain Begin
10.59/3.92	c (3,3) 10 values are removed by re-calculation
10.59/3.92	c (3,3) Calculate Precise Domain End
10.59/3.92	c (3,3) CSP: 1385 int (1240 aux), 6290 bool (6290 aux), 17329 ctr, max domain size 43
10.59/3.92	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
10.59/3.92	c (3,3) CSPinCNF to SatSolver Begin
10.90/4.02	c (3,3) 1733 (10 %) CSP clauses are encoded (9595 SAT variables, 4527 SAT clauses)
10.90/4.05	c (3,3) 3466 (20 %) CSP clauses are encoded (9595 SAT variables, 6260 SAT clauses)
10.90/4.07	c (3,3) 5199 (30 %) CSP clauses are encoded (9595 SAT variables, 7993 SAT clauses)
10.90/4.08	c (3,3) 6932 (40 %) CSP clauses are encoded (9595 SAT variables, 9726 SAT clauses)
10.90/4.10	c (3,3) 8665 (50 %) CSP clauses are encoded (9595 SAT variables, 11459 SAT clauses)
11.49/4.25	c (3,3) 10398 (60 %) CSP clauses are encoded (9595 SAT variables, 35704 SAT clauses)
12.06/4.41	c (3,3) 12131 (70 %) CSP clauses are encoded (9595 SAT variables, 77925 SAT clauses)
12.06/4.47	c (3,3) 13864 (80 %) CSP clauses are encoded (9595 SAT variables, 88273 SAT clauses)
12.30/4.52	c (4,3) 15597 (90 %) CSP clauses are encoded (9595 SAT variables, 93756 SAT clauses)
12.59/4.60	c (4,4) 17329 (100 %) CSP clauses are encoded (9595 SAT variables, 102815 SAT clauses)
12.59/4.60	c (4,4) Launch Command will be: minisat_release
12.59/4.60	c (4,4) CSPinCNF to SatSolver End
12.59/4.60	c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.93/4.73	c (4,4) STATISTICS2:HOME/instance-4305679-1534129696.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7675,17329,128,43,9,8,128:70;64:210;43:1560;32:70;16:106;15:28;10:7;9:387;8:680;6:3;4:70;1:240,43:10230;9:9120;8:2440;7:70;5:70;4:30;3:830;2:27225;1:1140,9:80;8:80;7:40;6:40;5:58;4:2840;3:3185;2:10185;1:821,8:200;7:400;5:16;3:200;2:2615;1:40845,
12.93/4.74	c (4,4) 9595 bool, 102823 clause
12.93/4.74	c (4,4) Export Begin
13.24/4.83	c (4,4) Export to HOME/scop-29851-serial-file.bin
13.24/4.83	c (4,4) Export End
13.24/4.84	c (4,4) Export File Size: 0.03 MB
13.24/4.84	c (4,4) 0,0,2,3,3,3,4,STOP-AFTER(DIMACS)
13.24/4.84	c END-Prog: Mon Aug 13 05:08:21 CEST 2018
13.24/4.85	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29851-serial-file.bin
13.93/5.34	c (0,0) Read Serial File Begin
13.93/5.34	c (0,0) HOME/scop-29851-serial-file.bin
14.23/5.52	c (0,0) Read Serial File End
14.23/5.54	
14.23/5.54	scop order+minisat_release (2018-07-31)
14.23/5.54	(Solving Process)
14.23/5.54	
14.23/5.56	c BEGIN-Prog: Mon Aug 13 05:08:22 CEST 2018
14.23/5.56	c PID: 29884
14.23/5.56	c IP: 172.20.3.139
14.23/5.56	c HOST: node139.alineos.net
14.23/5.56	c (0,0) SatSolver.solve Begin
14.23/5.56	c (0,0) 0 bool, 0 clause
14.23/5.56	c (0,0) minisat_release HOME/instance-4305679-1534129696.xml-scop-29855.cnf
15.40/6.53	c (1,0) c This is COMiniSatPS.
15.40/6.53	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
15.40/6.53	c (1,0) c ============================[ Problem Statistics ]=============================
15.40/6.53	c (1,0) c |                                                                             |
15.40/6.53	c (1,0) c |  Number of variables:          9595                                         |
15.40/6.53	c (1,0) c |  Number of clauses:          102823                                         |
15.40/6.53	c (1,0) c |  Parse time:                   0.03 s                                       |
15.40/6.53	c (1,0) c |  Eliminated clauses:           0.15 Mb                                      |
15.40/6.53	c (1,0) c Reduced to 5102 vars, 91705 cls (grow=0)
15.40/6.53	c (1,0) c No iterative elimination performed. (vars=5102, c/v ratio=18.0)
15.40/6.53	c (1,0) c |  Simplification time:          0.12 s                                       |
15.40/6.53	c (1,0) c |                                                                             |
15.40/6.53	c (1,0) c ============================[ Search Statistics ]==============================
15.40/6.53	c (1,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.40/6.53	c (1,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.40/6.53	c (1,0) c ===============================================================================
15.40/6.53	c (1,0) c ===============================================================================
15.40/6.53	c (1,0) c restarts              : 98
15.40/6.53	c (1,0) c conflicts             : 11891          (12722 /sec)
15.40/6.53	c (1,0) c decisions             : 41544          (0.00 % random) (44446 /sec)
15.40/6.53	c (1,0) c propagations          : 3103764        (3320567 /sec)
15.40/6.53	c (1,0) c conflict literals     : 224382         (10.86 % deleted)
15.40/6.53	c (1,0) c CPU time              : 0.934709 s
15.40/6.53	c (1,0) 
15.40/6.53	c (1,0) s SATISFIABLE
15.40/6.56	c (1,0) SatSolver.solve End
15.40/6.56	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.40/6.56	c (1,0) Show results Begin
15.62/6.62	s SATISFIABLE
15.62/6.64	v <instantiation>
15.62/6.64	v     <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] hd[0] hd[1] hd[2] hd[3] hd[4] ad[0] ad[1] ad[2] ad[3] ad[4]</list>
15.62/6.64	v     <values>0 4 1 5 2 3 0 5 3 2 0 6 0 7 1 3 6 7 4 5 0 1 3 2 1 2 0 6 3 2 3 1 0 4 0 1 8 1 4 2 0 4 2 1 5 1 6 9 8 8 9 7 7 4 3 2 8 4 9 5 5 9 8 5 9 3 6 6 7 8 4 9 7 8 5 7 4 6 9 8 2 9 7 7 9 5 8 6 3 6 0 31 16 37 22 29 6 36 24 17 1 40 3 43 12 25 41 42 30 38 2 13 26 21 15 18 8 39 28 19 27 11 5 34 7 9 44 14 32 23 4 33 20 10 35 2 1 7 5 0 6 4 8 9 3</values>
15.62/6.64	v </instantiation>
15.62/6.64	c (1,0) Show results End
15.62/6.64	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
15.62/6.64	c (1,0) 1,1,STOP-AFTER(ALL)
15.62/6.64	c END-Prog: Mon Aug 13 05:08:23 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 (5938 MiB free)
  memory of node 1: 16384 MiB (7007 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100163 s]*
/proc/loadavg: 0.90 1.03 1.29 4/217 29883
/proc/meminfo: memFree=13135336/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230532775 115843072 349 33554432000 4194304 5098028 140732205074528 140732205071784 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 349 296 221 0 87 0
[pid=29855] ppid=29851 vsize=15012476 memory=72076 CPUtime=0.11 cores=0,2,4,6
/proc/29855/stat : 29855 (java) S 29851 29851 29789 0 -1 1077944320 6114 0 0 0 9 2 0 0 20 0 15 0 230532775 15372775424 18019 33554432000 4194304 4196468 140722677938048 140722677920592 140567507644151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
/proc/29855/statm: 3753119 18019 2770 1 0 3715579 0
[pid=29855/tid=29857] ppid=29851 vsize=15012476 memory=4711481268241530249 CPUtime=0.08 cores=0,2,4,6
/proc/29855/task/29857/stat : 29857 (java) R 29851 29851 29789 0 -1 4202560 4206 0 0 0 7 1 0 0 20 0 15 0 230532775 15372775424 18019 33554432000 4194304 4196468 140722677938048 140567479456136 140567490830985 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29862] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29862/stat : 29862 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18019 33554432000 4194304 4196468 140722677938048 140567511886096 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29863] ppid=29851 vsize=15012476 memory=139823719978624 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29863/stat : 29863 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18019 33554432000 4194304 4196468 140722677938048 140567302969744 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29864] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29864/stat : 29864 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18019 33554432000 4194304 4196468 140722677938048 140567301917200 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29865] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29865/stat : 29865 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566966123152 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29867] ppid=29851 vsize=15012476 memory=139823719978624 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29867/stat : 29867 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532778 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566276692464 140567507655298 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29869] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29869/stat : 29869 (java) S 29851 29851 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566159418784 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29871] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29871/stat : 29871 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 18019 33554432000 4194304 4196468 140722677938048 140565890983408 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29876] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29876/stat : 29876 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18019 33554432000 4194304 4196468 140722677938048 140565516475088 140567507662747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29877] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29877/stat : 29877 (java) S 29851 29851 29789 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566275639280 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29878] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29878/stat : 29878 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566274586736 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29879] ppid=29851 vsize=15012476 memory=139823719978624 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29879/stat : 29879 (java) S 29851 29851 29789 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566273534192 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29881] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29881/stat : 29881 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18019 33554432000 4194304 4196468 140722677938048 140565018569312 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29883] ppid=29851 vsize=15012476 memory=139823719978624 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29883/stat : 29883 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18019 33554432000 4194304 4196468 140722677938048 140566272482096 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73472 KiB

[startup+0.210405 s]*
/proc/loadavg: 0.90 1.03 1.29 5/217 29883
/proc/meminfo: memFree=13107384/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230532775 115843072 349 33554432000 4194304 5098028 140732205074528 140732205071784 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 349 296 221 0 87 0
[pid=29855] ppid=29851 vsize=15012476 memory=85692 CPUtime=0.25 cores=0,2,4,6
/proc/29855/stat : 29855 (java) S 29851 29851 29789 0 -1 1077944320 9763 0 0 0 22 3 0 0 20 0 15 0 230532775 15372775424 21423 33554432000 4194304 4196468 140722677938048 140722677920592 140567507644151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
/proc/29855/statm: 3753119 21423 2880 1 0 3715579 0
[pid=29855/tid=29857] ppid=29851 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/29855/task/29857/stat : 29857 (java) R 29851 29851 29789 0 -1 4202560 7659 0 0 0 17 2 0 0 20 0 15 0 230532775 15372775424 21423 33554432000 4194304 4196468 140722677938048 140567479470544 140567507666077 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29862] ppid=29851 vsize=15012476 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29862/stat : 29862 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21423 33554432000 4194304 4196468 140722677938048 140567511886096 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29863] ppid=29851 vsize=15012476 memory=3832762721597462176 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29863/stat : 29863 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21423 33554432000 4194304 4196468 140722677938048 140567302969744 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29864] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29864/stat : 29864 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21423 33554432000 4194304 4196468 140722677938048 140567301917200 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29865] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29865/stat : 29865 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566966123152 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29867] ppid=29851 vsize=15012476 memory=139823719978624 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29867/stat : 29867 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532778 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566276692464 140567507655298 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29869] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29869/stat : 29869 (java) S 29851 29851 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566159418784 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29871] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29871/stat : 29871 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 21423 33554432000 4194304 4196468 140722677938048 140565890983408 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29876] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29876/stat : 29876 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 21423 33554432000 4194304 4196468 140722677938048 140565516475088 140567507662747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29877] ppid=29851 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29855/task/29877/stat : 29877 (java) S 29851 29851 29789 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 230532782 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566275639280 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29878] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29878/stat : 29878 (java) S 29851 29851 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566274586736 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29879] ppid=29851 vsize=15012476 memory=139823719978624 CPUtime=0.03 cores=0,2,4,6
/proc/29855/task/29879/stat : 29879 (java) R 29851 29851 29789 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 230532782 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566273534192 140567507665498 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29881] ppid=29851 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29881/stat : 29881 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 21423 33554432000 4194304 4196468 140722677938048 140565018569312 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29883] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29883/stat : 29883 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 21423 33554432000 4194304 4196468 140722677938048 140566272482096 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87088 KiB

[startup+0.310445 s]*
/proc/loadavg: 0.90 1.03 1.29 4/217 29883
/proc/meminfo: memFree=13100188/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230532775 115843072 349 33554432000 4194304 5098028 140732205074528 140732205071784 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 349 296 221 0 87 0
[pid=29855] ppid=29851 vsize=15012476 memory=89664 CPUtime=0.42 cores=0,2,4,6
/proc/29855/stat : 29855 (java) S 29851 29851 29789 0 -1 1077944320 10383 0 0 0 39 3 0 0 20 0 15 0 230532775 15372775424 22416 33554432000 4194304 4196468 140722677938048 140722677920592 140567507644151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
/proc/29855/statm: 3753119 22416 2984 1 0 3715579 0
[pid=29855/tid=29857] ppid=29851 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29855/task/29857/stat : 29857 (java) R 29851 29851 29789 0 -1 4202560 8096 0 0 0 27 2 0 0 20 0 15 0 230532775 15372775424 22416 33554432000 4194304 4196468 140722677938048 140567479439152 140567491724638 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29862] ppid=29851 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29862/stat : 29862 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22416 33554432000 4194304 4196468 140722677938048 140567511886096 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29863] ppid=29851 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29863/stat : 29863 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22416 33554432000 4194304 4196468 140722677938048 140567302969744 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29864] ppid=29851 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29864/stat : 29864 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22416 33554432000 4194304 4196468 140722677938048 140567301917200 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29865] ppid=29851 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29865/stat : 29865 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566966123152 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29867] ppid=29851 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29867/stat : 29867 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532778 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566276692464 140567507655298 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29869] ppid=29851 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29869/stat : 29869 (java) S 29851 29851 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566159418784 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29871] ppid=29851 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29871/stat : 29871 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 22416 33554432000 4194304 4196468 140722677938048 140565890983408 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29876] ppid=29851 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29876/stat : 29876 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 22416 33554432000 4194304 4196468 140722677938048 140565516475088 140567507662747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29877] ppid=29851 vsize=15012476 memory=7031125463459224206 CPUtime=0.02 cores=0,2,4,6
/proc/29855/task/29877/stat : 29877 (java) R 29851 29851 29789 0 -1 4202560 497 0 0 0 2 0 0 0 20 0 15 0 230532782 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566275639280 140567487568353 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29878] ppid=29851 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29855/task/29878/stat : 29878 (java) R 29851 29851 29789 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 230532782 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566274586736 140567507655298 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29879] ppid=29851 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29855/task/29879/stat : 29879 (java) R 29851 29851 29789 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 15 0 230532782 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566273534192 140567487035456 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29881] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29881/stat : 29881 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 22416 33554432000 4194304 4196468 140722677938048 140565018569312 140567507654357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29883] ppid=29851 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29883/stat : 29883 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 22416 33554432000 4194304 4196468 140722677938048 140566272482096 140567507655298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91060 KiB

[startup+0.701372 s]
/proc/loadavg: 0.90 1.03 1.29 4/217 29883
/proc/meminfo: memFree=13050952/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230532775 115843072 349 33554432000 4194304 5098028 140732205074528 140732205071784 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 349 296 221 0 87 0
[pid=29855] ppid=29851 vsize=15020872 memory=129748 CPUtime=1.02 cores=0,2,4,6
/proc/29855/stat : 29855 (java) S 29851 29851 29789 0 -1 1077944320 17620 0 0 0 96 6 0 0 20 0 15 0 230532775 15381372928 32437 33554432000 4194304 4196468 140722677938048 140722677920592 140567507644151 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
/proc/29855/statm: 3755218 32437 3164 1 0 3716603 0
[pid=29855/tid=29857] ppid=29851 vsize=15020872 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/29855/task/29857/stat : 29857 (java) R 29851 29851 29789 0 -1 4202560 14870 0 0 0 63 4 0 0 20 0 15 0 230532775 15381372928 32437 33554432000 4194304 4196468 140722677938048 140567479477840 140567491724638 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29862] ppid=29851 vsize=15020872 memory=62524 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29862/stat : 29862 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32437 33554432000 4194304 4196468 140722677938048 140567511886096 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29863] ppid=29851 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29863/stat : 29863 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32437 33554432000 4194304 4196468 140722677938048 140567302969744 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29864] ppid=29851 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29864/stat : 29864 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32437 33554432000 4194304 4196468 140722677938048 140567301917200 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29865] ppid=29851 vsize=15020872 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29865/stat : 29865 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566966123152 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29867] ppid=29851 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29867/stat : 29867 (java) S 29851 29851 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230532778 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566276692464 140567507655298 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29869] ppid=29851 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29869/stat : 29869 (java) S 29851 29851 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566159418784 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29871] ppid=29851 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29871/stat : 29871 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15381372928 32437 33554432000 4194304 4196468 140722677938048 140565890983408 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29876] ppid=29851 vsize=15020872 memory=876 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29876/stat : 29876 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15381372928 32437 33554432000 4194304 4196468 140722677938048 140565516475088 140567507662747 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29877] ppid=29851 vsize=15020872 memory=10096 CPUtime=0.07 cores=0,2,4,6
/proc/29855/task/29877/stat : 29877 (java) S 29851 29851 29789 0 -1 1077944384 588 0 0 0 7 0 0 0 20 0 15 0 230532782 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566275639280 140567507655298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29878] ppid=29851 vsize=15020872 memory=1228 CPUtime=0.09 cores=0,2,4,6
/proc/29855/task/29878/stat : 29878 (java) R 29851 29851 29789 0 -1 4202560 340 0 0 0 9 0 0 0 20 0 15 0 230532782 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566274576000 140567488970426 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29879] ppid=29851 vsize=15020872 memory=1952 CPUtime=0.16 cores=0,2,4,6
/proc/29855/task/29879/stat : 29879 (java) S 29851 29851 29789 0 -1 1077944384 489 0 0 0 16 0 0 0 20 0 15 0 230532782 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566273534192 140567507655298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29881] ppid=29851 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29881/stat : 29881 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15381372928 32437 33554432000 4194304 4196468 140722677938048 140565018569312 140567507654357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
[pid=29855/tid=29883] ppid=29851 vsize=15020872 memory=10828 CPUtime=0 cores=0,2,4,6
/proc/29855/task/29883/stat : 29883 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15381372928 32437 33554432000 4194304 4196468 140722677938048 140566272482096 140567507655298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140722677941255 140722677941553 140722677941553 140722677944271 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131144 KiB

[startup+1.50105 s]
/proc/loadavg: 0.90 1.03 1.29 6/217 29883
/proc/meminfo: memFree=12992344/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230532775 115843072 349 33554432000 4194304 5098028 140732205074528 140732205071784 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 349 296 221 0 87 0

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

Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 570268 KiB

[startup+6.30105 s]
/proc/loadavg: 1.15 1.08 1.31 5/222 29904
/proc/meminfo: memFree=11270760/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1472 CPUtime=13.34 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 591 28881 0 0 0 0 1305 29 20 0 1 0 230532775 115843072 368 33554432000 4194304 5098028 140732205074528 140732205071272 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 368 311 221 0 87 0
[pid=29884] ppid=29851 vsize=8068220 memory=117004 CPUtime=1.16 cores=0,2,4,6
/proc/29884/stat : 29884 (java) S 29851 29851 29789 0 -1 1077944320 17994 0 0 0 109 7 0 0 20 0 19 0 230533260 8261857280 29251 33554432000 4194304 4196468 140730083934288 140730083916832 139965202874103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
/proc/29884/statm: 2017055 29251 3142 1 0 1978454 0
[pid=29899] ppid=29884 vsize=30300 memory=13864 CPUtime=0.7 cores=0,2,4,6
/proc/29899/stat : 29899 (minisat_release) R 29884 29851 29789 0 -1 4202496 5034 0 0 0 70 0 0 0 20 0 1 0 230533334 31027200 3466 33554432000 4194304 4308513 140721769391376 140721769389000 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 32956416 140721769395316 140721769395414 140721769395414 140721769398213 0
/proc/29899/statm: 7575 3466 340 28 0 3815 0
[pid=29884/tid=29885] ppid=29851 vsize=8068220 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/29884/task/29885/stat : 29885 (java) S 29851 29851 29789 0 -1 1077944384 15061 0 0 0 70 5 0 0 20 0 19 0 230533261 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965174714256 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29886] ppid=29851 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29886/stat : 29886 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965207116432 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29887] ppid=29851 vsize=8068220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29887/stat : 29887 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965007284752 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29888] ppid=29851 vsize=8068220 memory=13612 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29888/stat : 29888 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965006231952 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29889] ppid=29851 vsize=8068220 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29889/stat : 29889 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965005179152 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29890] ppid=29851 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29890/stat : 29890 (java) S 29851 29851 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230533263 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964313820016 139965202885250 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29891] ppid=29851 vsize=8068220 memory=62524 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29891/stat : 29891 (java) S 29851 29851 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230533264 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964125799968 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29892] ppid=29851 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29892/stat : 29892 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230533264 8261857280 29251 33554432000 4194304 4196468 140730083934288 139963857364336 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29893] ppid=29851 vsize=8068220 memory=6788 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29893/stat : 29893 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139963482855760 139965202892699 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29894] ppid=29851 vsize=8068220 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/29884/task/29894/stat : 29894 (java) S 29851 29851 29789 0 -1 1077944384 510 0 0 0 8 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964312766832 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29895] ppid=29851 vsize=8068220 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/29884/task/29895/stat : 29895 (java) S 29851 29851 29789 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964311714032 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29896] ppid=29851 vsize=8068220 memory=6944656592455097440 CPUtime=0.21 cores=0,2,4,6
/proc/29884/task/29896/stat : 29896 (java) S 29851 29851 29789 0 -1 1077944384 574 0 0 0 21 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964310661232 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29897] ppid=29851 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29897/stat : 29897 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230533267 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962984949984 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29898] ppid=29851 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29898/stat : 29898 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230533267 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964309609648 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29900] ppid=29851 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29900/stat : 29900 (java) S 29851 29851 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230533334 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964301801152 139965202898713 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29902] ppid=29851 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29902/stat : 29902 (java) S 29851 29851 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230533334 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962448064272 139965202896029 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29903] ppid=29851 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29903/stat : 29903 (java) S 29851 29851 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230533334 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962582285968 139965202896029 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29904] ppid=29851 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29904/stat : 29904 (java) S 29851 29851 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230533336 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962179640480 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 8211648 KiB
Current children cumulated memory: 132340 KiB

[startup+6.65955 s]
# the end of solver process 29851 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.35 s, system=0.394165 s

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

[startup+6.40117 s]
/proc/loadavg: 1.15 1.08 1.31 5/222 29904
/proc/meminfo: memFree=11270760/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1472 CPUtime=13.34 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 591 28881 0 0 0 0 1305 29 20 0 1 0 230532775 115843072 368 33554432000 4194304 5098028 140732205074528 140732205071272 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 368 311 221 0 87 0
[pid=29884] ppid=29851 vsize=8068220 memory=117004 CPUtime=1.16 cores=0,2,4,6
/proc/29884/stat : 29884 (java) S 29851 29851 29789 0 -1 1077944320 17994 0 0 0 109 7 0 0 20 0 19 0 230533260 8261857280 29251 33554432000 4194304 4196468 140730083934288 140730083916832 139965202874103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
/proc/29884/statm: 2017055 29251 3142 1 0 1978454 0
[pid=29899] ppid=29884 vsize=34656 memory=17960 CPUtime=0.8 cores=0,2,4,6
/proc/29899/stat : 29899 (minisat_release) R 29884 29851 29789 0 -1 4202496 5066 0 0 0 80 0 0 0 20 0 1 0 230533334 35487744 4490 33554432000 4194304 4308513 140721769391376 140721769389000 4250693 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 32956416 140721769395316 140721769395414 140721769395414 140721769398213 0
/proc/29899/statm: 8664 4490 340 28 0 4904 0
[pid=29884/tid=29885] ppid=29851 vsize=8068220 memory=387 CPUtime=0.75 cores=0,2,4,6
/proc/29884/task/29885/stat : 29885 (java) S 29851 29851 29789 0 -1 1077944384 15061 0 0 0 70 5 0 0 20 0 19 0 230533261 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965174714256 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29886] ppid=29851 vsize=8068220 memory=690 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29886/stat : 29886 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965207116432 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29887] ppid=29851 vsize=8068220 memory=146 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29887/stat : 29887 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965007284752 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29888] ppid=29851 vsize=8068220 memory=177 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29888/stat : 29888 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965006231952 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29889] ppid=29851 vsize=8068220 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29889/stat : 29889 (java) S 29851 29851 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230533262 8261857280 29251 33554432000 4194304 4196468 140730083934288 139965005179152 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29890] ppid=29851 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29890/stat : 29890 (java) S 29851 29851 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230533263 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964313820016 139965202885250 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29891] ppid=29851 vsize=8068220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29891/stat : 29891 (java) S 29851 29851 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230533264 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964125799968 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29892] ppid=29851 vsize=8068220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29892/stat : 29892 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230533264 8261857280 29251 33554432000 4194304 4196468 140730083934288 139963857364336 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29893] ppid=29851 vsize=8068220 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29893/stat : 29893 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139963482855760 139965202892699 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29894] ppid=29851 vsize=8068220 memory=876 CPUtime=0.08 cores=0,2,4,6
/proc/29884/task/29894/stat : 29894 (java) S 29851 29851 29789 0 -1 1077944384 510 0 0 0 8 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964312766832 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29895] ppid=29851 vsize=8068220 memory=10096 CPUtime=0.08 cores=0,2,4,6
/proc/29884/task/29895/stat : 29895 (java) S 29851 29851 29789 0 -1 1077944384 437 0 0 0 8 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964311714032 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29896] ppid=29851 vsize=8068220 memory=1228 CPUtime=0.21 cores=0,2,4,6
/proc/29884/task/29896/stat : 29896 (java) S 29851 29851 29789 0 -1 1077944384 574 0 0 0 21 0 0 0 20 0 19 0 230533266 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964310661232 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29897] ppid=29851 vsize=8068220 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29897/stat : 29897 (java) S 29851 29851 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230533267 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962984949984 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29898] ppid=29851 vsize=8068220 memory=191044 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29898/stat : 29898 (java) S 29851 29851 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230533267 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964309609648 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29900] ppid=29851 vsize=8068220 memory=279647199954976 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29900/stat : 29900 (java) S 29851 29851 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230533334 8261857280 29251 33554432000 4194304 4196468 140730083934288 139964301801152 139965202898713 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29902] ppid=29851 vsize=8068220 memory=279647199832584 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29902/stat : 29902 (java) S 29851 29851 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230533334 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962448064272 139965202896029 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29903] ppid=29851 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29903/stat : 29903 (java) S 29851 29851 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230533334 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962582285968 139965202896029 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29904] ppid=29851 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29884/task/29904/stat : 29904 (java) S 29851 29851 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230533336 8261857280 29251 33554432000 4194304 4196468 140730083934288 139962179640480 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 8216004 KiB
Current children cumulated memory: 136436 KiB

[startup+6.60698 s]
/proc/loadavg: 1.15 1.08 1.31 5/222 29904
/proc/meminfo: memFree=11270760/32770624 swapFree=67108860/67108860
[pid=29851] ppid=29843 vsize=113128 memory=1472 CPUtime=13.34 cores=0,2,4,6
/proc/29851/stat : 29851 (scop.sh) S 29843 29851 29789 0 -1 4202496 591 28881 0 0 0 0 1305 29 20 0 1 0 230532775 115843072 368 33554432000 4194304 5098028 140732205074528 140732205071272 140297277096572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38137856 140732205077569 140732205077767 140732205077767 140732205080525 0
/proc/29851/statm: 28282 368 311 221 0 87 0
[pid=29884] ppid=29851 vsize=7937144 memory=122792 CPUtime=2.28 cores=0,2,4,6
/proc/29884/stat : 29884 (java) S 29851 29851 29789 0 -1 1077944320 18411 5112 0 0 127 8 93 0 20 0 17 0 230533260 8127635456 30698 33554432000 4194304 4196468 140730083934288 140730083916832 139965202874103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
/proc/29884/statm: 1984286 30698 3167 1 0 1945685 0
[pid=29884/tid=29885] ppid=29851 vsize=7937144 memory=0 CPUtime=1.73 cores=0,2,4,6
/proc/29884/task/29885/stat : 29885 (java) R 29851 29851 29789 0 -1 4202560 15226 5112 0 0 75 5 93 0 20 0 17 0 230533261 8127635456 30698 33554432000 4194304 4196468 140730083934288 139965174711152 139965186954590 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29886] ppid=29851 vsize=7937144 memory=98801 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29886/stat : 29886 (java) S 29851 29851 29789 0 -1 1077944384 2 5112 0 0 0 0 93 0 20 0 17 0 230533262 8127635456 30698 33554432000 4194304 4196468 140730083934288 139965207116432 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29887] ppid=29851 vsize=7937144 memory=4420 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29887/stat : 29887 (java) S 29851 29851 29789 0 -1 1077944384 1 5112 0 0 0 0 93 0 20 0 17 0 230533262 8127635456 30698 33554432000 4194304 4196468 140730083934288 139965007284752 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29888] ppid=29851 vsize=7937144 memory=6628 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29888/stat : 29888 (java) S 29851 29851 29789 0 -1 1077944384 2 5112 0 0 0 0 93 0 20 0 17 0 230533262 8127635456 30698 33554432000 4194304 4196468 140730083934288 139965006231952 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29889] ppid=29851 vsize=7937144 memory=8836 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29889/stat : 29889 (java) S 29851 29851 29789 0 -1 1077944384 2 5112 0 0 0 0 93 0 20 0 17 0 230533262 8127635456 30698 33554432000 4194304 4196468 140730083934288 139965005179152 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29890] ppid=29851 vsize=7937144 memory=11044 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29890/stat : 29890 (java) S 29851 29851 29789 0 -1 1077944384 5 5112 0 0 0 0 93 0 20 0 17 0 230533263 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964313820016 139965202885250 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29891] ppid=29851 vsize=7937144 memory=13252 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29891/stat : 29891 (java) S 29851 29851 29789 0 -1 1077944384 13 5112 0 0 0 0 93 0 20 0 17 0 230533264 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964125799968 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29892] ppid=29851 vsize=7937144 memory=15460 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29892/stat : 29892 (java) S 29851 29851 29789 0 -1 1077944384 1 5112 0 0 0 0 93 0 20 0 17 0 230533264 8127635456 30698 33554432000 4194304 4196468 140730083934288 139963857364336 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29893] ppid=29851 vsize=7937144 memory=17668 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29893/stat : 29893 (java) S 29851 29851 29789 0 -1 1077944384 3 5112 0 0 0 0 93 0 20 0 17 0 230533266 8127635456 30698 33554432000 4194304 4196468 140730083934288 139963482855760 139965202892699 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29894] ppid=29851 vsize=7937144 memory=19876 CPUtime=1.05 cores=0,2,4,6
/proc/29884/task/29894/stat : 29894 (java) R 29851 29851 29789 0 -1 4202560 601 5112 0 0 12 0 93 0 20 0 17 0 230533266 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964312757808 139965186842021 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29895] ppid=29851 vsize=7937144 memory=22084 CPUtime=1.04 cores=0,2,4,6
/proc/29884/task/29895/stat : 29895 (java) S 29851 29851 29789 0 -1 1077944384 456 5112 0 0 11 0 93 0 20 0 17 0 230533266 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964311714032 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29896] ppid=29851 vsize=7937144 memory=24292 CPUtime=1.17 cores=0,2,4,6
/proc/29884/task/29896/stat : 29896 (java) S 29851 29851 29789 0 -1 1077944384 654 5112 0 0 24 0 93 0 20 0 17 0 230533266 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964310661232 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29897] ppid=29851 vsize=7937144 memory=128410932245705 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29897/stat : 29897 (java) S 29851 29851 29789 0 -1 1077944384 3 5112 0 0 0 0 93 0 20 0 17 0 230533267 8127635456 30698 33554432000 4194304 4196468 140730083934288 139962984949984 139965202884309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29898] ppid=29851 vsize=7937144 memory=7236554900927636584 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29898/stat : 29898 (java) S 29851 29851 29789 0 -1 1077944384 1 5112 0 0 0 0 93 0 20 0 17 0 230533267 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964309609648 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29900] ppid=29851 vsize=7937144 memory=7740962534463787370 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29900/stat : 29900 (java) S 29851 29851 29789 0 -1 1077944384 35 5112 0 0 0 0 93 0 20 0 17 0 230533334 8127635456 30698 33554432000 4194304 4196468 140730083934288 139964301800336 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
[pid=29884/tid=29904] ppid=29851 vsize=7937144 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/29884/task/29904/stat : 29904 (java) S 29851 29851 29789 0 -1 1077944384 10 5112 0 0 0 0 93 0 20 0 17 0 230533336 8127635456 30698 33554432000 4194304 4196468 140730083934288 139962179642288 139965202885250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18456576 140730083935413 140730083935537 140730083935537 140730083938255 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 124264 KiB

Child status: 0
Real time (s): 6.6596
CPU time (s): 15.7442
CPU user time (s): 15.35
CPU system time (s): 0.394165
CPU usage (%): 236.414
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1166392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.35
system time used= 0.394165
maximum resident set size= 1170160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6781
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 29851
#   total CPU time (s): 15.7442
#   total CPU user time (s): 15.35
#   total CPU system time (s): 0.394165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049811 second user time and 0.12648 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-13 05:08:16
IDJOB=4305679
IDBENCH=141598
IDSOLVER=2783
FILE ID=node139/4305679-1534129696
RUNJOBID= node139-1534129696-29820
PBS_JOBID= 21037010
Free space on /tmp= 28412 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-10_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-4305679-1534129696/watcher-4305679-1534129696 -o /tmp/evaluation-result-4305679-1534129696/solver-4305679-1534129696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29820 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305679-1534129696.xml

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

MD5SUM BENCH= 90120b7f275ce51772dc9fcf00f05be5
RANDOM SEED=914433848

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:        13257212 kB
MemAvailable:   31907548 kB
Buffers:          249904 kB
Cached:         18372696 kB
SwapCached:            0 kB
Active:          7731392 kB
Inactive:       10942320 kB
Active(anon):       5020 kB
Inactive(anon):    98592 kB
Active(file):    7726372 kB
Inactive(file): 10843728 kB
Unevictable:        7232 kB
Mlocked:            7232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15844 kB
Writeback:             0 kB
AnonPages:         58392 kB
Mapped:            62404 kB
Shmem:             49804 kB
Slab:             536608 kB
SReclaimable:     508696 kB
SUnreclaim:        27912 kB
KernelStack:        3280 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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-13 05:08:23