Trace number 4305372

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-07-31)? (TO) 2520.2 2511.95

General information on the benchmark

NameMagicHexagon/
MagicHexagon-07-0002_c18.xml
MD5SUMd84d4d85366018deec6903098e084e8b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints46
Number of domains1
Minimum domain size127
Maximum domain size127
Distribution of domain sizes[{"size":127,"count":127}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity127
Distribution of constraint arities[{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22160-serial-file.bin HOME/instance-4305372-1534080749.xml
0.55/0.52	
0.67/0.52	scop order+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Sun Aug 12 15:32:30 CEST 2018
0.67/0.54	c PID: 22163
0.67/0.54	c IP: 172.20.3.139
0.67/0.54	c HOST: node139.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.41/0.91	c (0,0) Parsing End
1.41/0.91	c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
1.41/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.91	c (0,0) Constraint Name Generate Begin
1.41/0.92	c (0,0) Ctr:HOME/instance-4305372-1534080749.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.41/0.92	c (0,0) Constraint Name Generate End
1.41/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.92	c (0,0) CSP to CSPinCNF Begin
3.38/1.60	c (1,1) translated 5 (10%) constraints
3.38/1.62	c (1,1) translated 10 (20%) constraints
3.38/1.62	c (1,1) translated 14 (30%) constraints
3.38/1.62	c (1,1) translated 19 (40%) constraints
3.38/1.62	c (1,1) translated 23 (50%) constraints
3.38/1.63	c (1,1) translated 28 (60%) constraints
3.38/1.63	c (1,1) translated 33 (70%) constraints
3.38/1.63	c (1,1) translated 37 (80%) constraints
3.38/1.63	c (1,1) translated 42 (90%) constraints
3.38/1.64	c (1,1) translated 46 (100%) constraints
3.74/1.78	c (1,1) STATISTICS1:HOME/instance-4305372-1534080749.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,127,8048,9223372036854775807,127,127,13,9223372036854775807:30;8594754748609397760:12;67675234241018880:12;532875860165503:12;4130056320516:4;4097278095750:8;127:7260;126:493;125:254,127:15851;126:532;125:266,127:2;2:8001;1:45,13:6;12:12;11:12;10:12;9:12;8:12;7:12;2:8007;1:254,301401:6;258064:12;216225:12
3.74/1.78	c (1,1) ==========================================
3.74/1.78	c (1,1) Order
3.74/1.78	c (1,1) ==========================================
4.08/1.86	c (1,1) translated 805 (10%) constraints
4.39/1.91	c (1,1) translated 1610 (20%) constraints
4.39/1.96	c (1,1) translated 2415 (30%) constraints
4.72/2.01	c (1,1) translated 3220 (40%) constraints
4.72/2.05	c (1,1) translated 4024 (50%) constraints
4.72/2.08	c (1,1) translated 4829 (60%) constraints
5.03/2.11	c (1,1) translated 5634 (70%) constraints
5.03/2.14	c (1,1) translated 6439 (80%) constraints
5.03/2.17	c (1,1) translated 7244 (90%) constraints
5.30/2.29	c (1,1) translated 8048 (100%) constraints
5.30/2.29	c (1,1) CSP to CSPinCNF End
5.30/2.29	c (1,1) CSP: 391 int (264 aux), 0 bool (0 aux), 8615 ctr, max domain size 609
5.30/2.29	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.30/2.29	c (1,1) CSPinCNF Propagation Begin
5.65/2.39	c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
5.65/2.39	c (1,1) CSPinCNF Propagation End
5.65/2.39	c (1,1) CSP: 391 int (264 aux), 0 bool (0 aux), 8615 ctr, max domain size 609
5.65/2.39	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.65/2.39	c (1,1) Simplify CSPinCNF Begin
7.14/2.85	c (2,2) Simplify CSPinCNF End
7.14/2.85	c (2,2) CSP: 391 int (264 aux), 16002 bool (16002 aux), 24617 ctr, max domain size 609
7.14/2.85	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.14/2.85	c (2,2) Calculate Precise Domain Begin
7.14/2.89	c (2,2) 4 values are removed by re-calculation
7.14/2.90	c (2,2) Calculate Precise Domain End
7.47/2.90	c (2,2) CSP: 391 int (264 aux), 16002 bool (16002 aux), 24617 ctr, max domain size 609
7.47/2.90	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.47/2.90	c (2,2) CSPinCNF to SatSolver Begin
9.11/3.68	c (3,3) 2462 (10 %) CSP clauses are encoded (116612 SAT variables, 308416 SAT clauses)
9.65/4.17	c (3,3) 4924 (20 %) CSP clauses are encoded (116612 SAT variables, 517320 SAT clauses)
10.17/4.96	c (4,4) 7386 (30 %) CSP clauses are encoded (116612 SAT variables, 726490 SAT clauses)
10.76/5.45	c (4,4) 9847 (40 %) CSP clauses are encoded (116612 SAT variables, 935653 SAT clauses)
11.42/5.96	c (5,5) 12309 (50 %) CSP clauses are encoded (116612 SAT variables, 1144809 SAT clauses)
11.82/6.38	c (5,5) 14771 (60 %) CSP clauses are encoded (116612 SAT variables, 1353957 SAT clauses)
12.22/6.79	c (6,5) 17232 (70 %) CSP clauses are encoded (116612 SAT variables, 1563092 SAT clauses)
12.73/7.21	c (6,6) 19694 (80 %) CSP clauses are encoded (116612 SAT variables, 1772212 SAT clauses)
13.13/7.62	c (7,6) 22156 (90 %) CSP clauses are encoded (116612 SAT variables, 1981218 SAT clauses)
41.53/34.89	c (34,33) 24617 (100 %) CSP clauses are encoded (116612 SAT variables, 25759559 SAT clauses)
41.53/34.89	c (34,33) Launch Command will be: minisat_release
41.53/34.89	c (34,33) CSPinCNF to SatSolver End
41.53/34.89	c (34,33) Heap : 2085 MiB used (max 11193 MiB), NonHeap : 30 MiB used (max 0 MiB)
41.95/35.84	c (35,34) STATISTICS2:HOME/instance-4305372-1534080749.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,16393,24617,255025,609,125,3,255025:12;254520:6;191395:12;143641:24;95887:12;95381:6;64009:78;63756:14;63503:4;32131:96;32004:4;31877:14;16129:288;16002:18;15875:18;127:14520;126:732;125:756,609:4;608:4;607:4;505:156;504:12;379:192;377:12;262:12;261:8;260:4;253:576;252:36;251:36;127:31460;126:780;125:785;2:32004,125:1;122:1;2:24003;1:612,3:606;2:16008;1:32251,
41.95/35.84	c (35,34) 116612 bool, 25759683 clause
41.95/35.84	c (35,34) Export Begin
42.26/35.94	c (35,34) Export to HOME/scop-22160-serial-file.bin
42.26/35.94	c (35,34) Export End
42.26/35.94	c (35,34) Export File Size: 0.02 MB
42.26/35.94	c (35,34) 0,0,1,1,2,2,34,STOP-AFTER(DIMACS)
42.26/35.94	c END-Prog: Sun Aug 12 15:33:05 CEST 2018
42.26/35.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22160-serial-file.bin
42.94/36.46	c (0,0) Read Serial File Begin
42.94/36.46	c (0,0) HOME/scop-22160-serial-file.bin
43.24/36.62	c (0,0) Read Serial File End
43.24/36.64	
43.24/36.64	scop order+minisat_release (2018-07-31)
43.24/36.64	(Solving Process)
43.24/36.64	
43.24/36.66	c BEGIN-Prog: Sun Aug 12 15:33:06 CEST 2018
43.24/36.66	c PID: 22178
43.24/36.66	c IP: 172.20.3.139
43.24/36.66	c HOST: node139.alineos.net
43.24/36.66	c (0,0) SatSolver.solve Begin
43.24/36.66	c (0,0) 0 bool, 0 clause
43.24/36.66	c (0,0) minisat_release HOME/instance-4305372-1534080749.xml-scop-22163.cnf
2520.01/2511.80	c (2475,0) receiving signal SIGTERM
2520.01/2511.80	s UNKNOWN
2520.01/2511.81	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2511.81	c (scop.sh) Remove HOME/scop-22160-serial-file.bin.
2520.01/2511.81	c (scop.sh) Killing background jobs.
2520.01/2511.81	c (2475,0) receiving signal SIGTERM

Verifier Data


Watcher Data 

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

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

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

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

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

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

solver pid=22160, runsolver pid=22157

[startup+0.100138 s]*
/proc/loadavg: 2.13 2.05 2.11 3/223 22177
/proc/meminfo: memFree=12841116/32770624 swapFree=67108860/67108860
[pid=22160] ppid=22157 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22160/stat : 22160 (scop.sh) S 22157 22160 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225638070 115843072 349 33554432000 4194304 5098028 140723858007968 140723858005224 140623631676028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25522176 140723858011200 140723858011399 140723858011399 140723858014157 0
/proc/22160/statm: 28282 349 296 221 0 87 0
[pid=22163] ppid=22160 vsize=15012476 memory=73576 CPUtime=0.11 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22160 22160 16770 0 -1 1077944320 6511 0 0 0 10 1 0 0 20 0 15 0 225638070 15372775424 18394 33554432000 4194304 4196468 140737126370368 140737126352912 140309752250103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
/proc/22163/statm: 3753119 18394 2770 1 0 3715579 0
[pid=22163/tid=22164] ppid=22160 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22160 22160 16770 0 -1 4202560 4591 0 0 0 8 1 0 0 20 0 15 0 225638071 15372775424 18394 33554432000 4194304 4196468 140737126370368 140309724062088 140309736330590 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22165] ppid=22160 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 18394 33554432000 4194304 4196468 140737126370368 140309756492560 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22166] ppid=22160 vsize=15012476 memory=140567600293504 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 18394 33554432000 4194304 4196468 140737126370368 140309547576208 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22167] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 18394 33554432000 4194304 4196468 140737126370368 140309546523664 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22168] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 18394 33554432000 4194304 4196468 140737126370368 140309545471120 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22169] ppid=22160 vsize=15012476 memory=140567600293504 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308521121776 140309752261250 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22170] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22160 22160 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308394271648 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22171] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308125836272 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22172] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 18394 33554432000 4194304 4196468 140737126370368 140307751327952 140309752268699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22173] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22160 22160 16770 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308520069616 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22174] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308519017072 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22175] ppid=22160 vsize=15012476 memory=140567600293504 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) R 22160 22160 16770 0 -1 4202560 279 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308517960440 140309731683195 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22176] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 18394 33554432000 4194304 4196468 140737126370368 140307253423200 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22177] ppid=22160 vsize=15012476 memory=140567600293504 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 18394 33554432000 4194304 4196468 140737126370368 140308516911408 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74972 KiB

[startup+0.210632 s]*
/proc/loadavg: 2.13 2.05 2.11 4/223 22177
/proc/meminfo: memFree=12826916/32770624 swapFree=67108860/67108860
[pid=22160] ppid=22157 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22160/stat : 22160 (scop.sh) S 22157 22160 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225638070 115843072 349 33554432000 4194304 5098028 140723858007968 140723858005224 140623631676028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25522176 140723858011200 140723858011399 140723858011399 140723858014157 0
/proc/22160/statm: 28282 349 296 221 0 87 0
[pid=22163] ppid=22160 vsize=15012476 memory=86616 CPUtime=0.25 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22160 22160 16770 0 -1 1077944320 10007 0 0 0 23 2 0 0 20 0 15 0 225638070 15372775424 21654 33554432000 4194304 4196468 140737126370368 140737126352912 140309752250103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
/proc/22163/statm: 3753119 21654 2871 1 0 3715579 0
[pid=22163/tid=22164] ppid=22160 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22160 22160 16770 0 -1 4202560 7905 0 0 0 18 2 0 0 20 0 15 0 225638071 15372775424 21654 33554432000 4194304 4196468 140737126370368 140309724058848 140309752272029 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22165] ppid=22160 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 21654 33554432000 4194304 4196468 140737126370368 140309756492560 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22166] ppid=22160 vsize=15012476 memory=140567601497003 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 21654 33554432000 4194304 4196468 140737126370368 140309547576208 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22167] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 21654 33554432000 4194304 4196468 140737126370368 140309546523664 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22168] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 21654 33554432000 4194304 4196468 140737126370368 140309545471120 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22169] ppid=22160 vsize=15012476 memory=140567600293504 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308521121776 140309752261250 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22170] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22160 22160 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308394271648 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22171] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308125836272 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22172] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 21654 33554432000 4194304 4196468 140737126370368 140307751327952 140309752268699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22173] ppid=22160 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22160 22160 16770 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 15 0 225638077 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308520069616 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22174] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) S 22160 22160 16770 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308519017072 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22175] ppid=22160 vsize=15012476 memory=140567600293504 CPUtime=0.03 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) S 22160 22160 16770 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 15 0 225638077 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308517964528 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22176] ppid=22160 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 21654 33554432000 4194304 4196468 140737126370368 140307253423200 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22177] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 21654 33554432000 4194304 4196468 140737126370368 140308516911408 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88012 KiB

[startup+0.310645 s]*
/proc/loadavg: 2.13 2.05 2.11 3/223 22177
/proc/meminfo: memFree=12823628/32770624 swapFree=67108860/67108860
[pid=22160] ppid=22157 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22160/stat : 22160 (scop.sh) S 22157 22160 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225638070 115843072 349 33554432000 4194304 5098028 140723858007968 140723858005224 140623631676028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25522176 140723858011200 140723858011399 140723858011399 140723858014157 0
/proc/22160/statm: 28282 349 296 221 0 87 0
[pid=22163] ppid=22160 vsize=15012476 memory=90400 CPUtime=0.43 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22160 22160 16770 0 -1 1077944320 10538 0 0 0 40 3 0 0 20 0 15 0 225638070 15372775424 22600 33554432000 4194304 4196468 140737126370368 140737126352912 140309752250103 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
/proc/22163/statm: 3753119 22600 3024 1 0 3715579 0
[pid=22163/tid=22164] ppid=22160 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22160 22160 16770 0 -1 4202560 8276 0 0 0 27 2 0 0 20 0 15 0 225638071 15372775424 22600 33554432000 4194304 4196468 140737126370368 140309724045104 140309752262038 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22165] ppid=22160 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 22600 33554432000 4194304 4196468 140737126370368 140309756492560 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22166] ppid=22160 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 22600 33554432000 4194304 4196468 140737126370368 140309547576208 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22167] ppid=22160 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 22600 33554432000 4194304 4196468 140737126370368 140309546523664 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22168] ppid=22160 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15372775424 22600 33554432000 4194304 4196468 140737126370368 140309545471120 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22169] ppid=22160 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308521121776 140309752261250 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22170] ppid=22160 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22160 22160 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308394271648 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22171] ppid=22160 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638074 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308125836272 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22172] ppid=22160 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 22600 33554432000 4194304 4196468 140737126370368 140307751327952 140309752268699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22173] ppid=22160 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) R 22160 22160 16770 0 -1 4202560 478 0 0 0 2 0 0 0 20 0 15 0 225638077 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308520069616 140309752262038 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22174] ppid=22160 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) R 22160 22160 16770 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 225638077 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308519017072 140309752261250 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22175] ppid=22160 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) R 22160 22160 16770 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 15 0 225638077 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308517964528 140309752262038 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22176] ppid=22160 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 22600 33554432000 4194304 4196468 140737126370368 140307253423200 140309752260309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22177] ppid=22160 vsize=15012476 memory=3761129318981378097 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638077 15372775424 22600 33554432000 4194304 4196468 140737126370368 140308516911408 140309752261250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91796 KiB

[startup+0.700825 s]
/proc/loadavg: 2.04 2.03 2.11 3/223 22177
/proc/meminfo: memFree=12799320/32770624 swapFree=67108860/67108860
[pid=22160] ppid=22157 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22160/stat : 22160 (scop.sh) S 22157 22160 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225638070 115843072 349 33554432000 4194304 5098028 140723858007968 140723858005224 140623631676028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25522176 140723858011200 140723858011399 140723858011399 140723858014157 0
/proc/22160/statm: 28282 349 296 221 0 87 0
[pid=22163] ppid=22160 vsize=15020872 memory=129632 CPUtime=1.01 cores=1,3,5,7
/proc/22163/stat : 22163 (java) S 22160 22160 16770 0 -1 1077944320 17578 0 0 0 97 4 0 0 20 0 15 0 225638070 15381372928 32408 33554432000 4194304 4196468 140737126370368 140737126352912 140309752250103 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
/proc/22163/statm: 3755218 32408 3155 1 0 3716603 0
[pid=22163/tid=22164] ppid=22160 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/22163/task/22164/stat : 22164 (java) R 22160 22160 16770 0 -1 4202560 14887 0 0 0 63 4 0 0 20 0 15 0 225638071 15381372928 32408 33554432000 4194304 4196468 140737126370368 140309724085216 140309216439424 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22165] ppid=22160 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22165/stat : 22165 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15381372928 32408 33554432000 4194304 4196468 140737126370368 140309756492560 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22166] ppid=22160 vsize=15020872 memory=61232 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22166/stat : 22166 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638072 15381372928 32408 33554432000 4194304 4196468 140737126370368 140309547576208 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22167] ppid=22160 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22167/stat : 22167 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15381372928 32408 33554432000 4194304 4196468 140737126370368 140309546523664 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22168] ppid=22160 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22168/stat : 22168 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225638072 15381372928 32408 33554432000 4194304 4196468 140737126370368 140309545471120 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22169] ppid=22160 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22169/stat : 22169 (java) S 22160 22160 16770 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225638074 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308521121776 140309752261250 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22170] ppid=22160 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22170/stat : 22170 (java) S 22160 22160 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225638074 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308394271648 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22171] ppid=22160 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22171/stat : 22171 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638074 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308125836272 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22172] ppid=22160 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22172/stat : 22172 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15381372928 32408 33554432000 4194304 4196468 140737126370368 140307751327952 140309752268699 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22173] ppid=22160 vsize=15020872 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/22163/task/22173/stat : 22173 (java) S 22160 22160 16770 0 -1 1077944384 573 0 0 0 7 0 0 0 20 0 15 0 225638077 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308520069616 140309752261250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22174] ppid=22160 vsize=15020872 memory=10096 CPUtime=0.1 cores=1,3,5,7
/proc/22163/task/22174/stat : 22174 (java) R 22160 22160 16770 0 -1 4202560 354 0 0 0 10 0 0 0 20 0 15 0 225638077 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308519004624 140309737375509 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22175] ppid=22160 vsize=15020872 memory=1228 CPUtime=0.15 cores=1,3,5,7
/proc/22163/task/22175/stat : 22175 (java) R 22160 22160 16770 0 -1 4202560 425 0 0 0 15 0 0 0 20 0 15 0 225638077 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308517964528 140309752271450 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22176] ppid=22160 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22176/stat : 22176 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225638077 15381372928 32408 33554432000 4194304 4196468 140737126370368 140307253423200 140309752260309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
[pid=22163/tid=22177] ppid=22160 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/22163/task/22177/stat : 22177 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225638077 15381372928 32408 33554432000 4194304 4196468 140737126370368 140308516911408 140309752261250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29700096 140737126376454 140737126376753 140737126376753 140737126379471 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131028 KiB

[startup+1.50149 s]
/proc/loadavg: 2.04 2.03 2.11 5/223 22177
/proc/meminfo: memFree=12771192/32770624 swapFree=67108860/67108860
[pid=22160] ppid=22157 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22160/stat : 22160 (scop.sh) S 22157 22160 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225638070 115843072 349 33554432000 4194304 5098028 140723858007968 140723858005224 140623631676028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25522176 140723858011200 140723858011399 140723858011399 140723858014157 0
/proc/22160/statm: 28282 349 296 221 0 87 0

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

/proc/22178/stat : 22178 (java) S 22160 22160 16770 0 -1 1077944320 18026 0 0 0 178 80 0 0 20 0 19 0 225641666 8261857280 29648 33554432000 4194304 4196468 140730095832800 140730095815344 140152815734519 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
/proc/22178/statm: 2017055 29648 3152 1 0 1978454 0
[pid=22193] ppid=22178 vsize=2000764 memory=1651280 CPUtime=2465.56 cores=1,3,5,7
/proc/22193/stat : 22193 (minisat_release) R 22178 22160 16770 0 -1 4202496 7166105 0 0 0 246047 509 0 0 20 0 1 0 225641739 2048782336 412820 33554432000 4194304 4308513 140732775583312 140732775580936 4276025 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 23130112 140732775584884 140732775584982 140732775584982 140732775587781 0
/proc/22193/statm: 500191 412820 341 28 0 496431 0
[pid=22178/tid=22179] ppid=22160 vsize=8068220 memory=1472 CPUtime=0.74 cores=1,3,5,7
/proc/22178/task/22179/stat : 22179 (java) S 22160 22160 16770 0 -1 1077944384 14954 0 0 0 69 5 0 0 20 0 19 0 225641667 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152787574672 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22180] ppid=22160 vsize=8068220 memory=1651280 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22180/stat : 22180 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152819977104 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22181] ppid=22160 vsize=8068220 memory=118592 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22181/stat : 22181 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152638065424 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22182] ppid=22160 vsize=8068220 memory=118592 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22182/stat : 22182 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152637013136 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22183] ppid=22160 vsize=8068220 memory=118592 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22183/stat : 22183 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152635960336 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22184] ppid=22160 vsize=8068220 memory=1651280 CPUtime=0.06 cores=1,3,5,7
/proc/22178/task/22184/stat : 22184 (java) S 22160 22160 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225641670 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152262195312 140152815745666 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22185] ppid=22160 vsize=8068220 memory=118592 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22185/stat : 22185 (java) S 22160 22160 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225641670 8261857280 29648 33554432000 4194304 4196468 140730095832800 140151627965216 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22186] ppid=22160 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22186/stat : 22186 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641670 8261857280 29648 33554432000 4194304 4196468 140730095832800 140151359530096 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22187] ppid=22160 vsize=8068220 memory=118592 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22187/stat : 22187 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140150985021520 140152815753115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22188] ppid=22160 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/22178/task/22188/stat : 22188 (java) S 22160 22160 16770 0 -1 1077944384 652 0 0 0 9 0 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152261143152 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22189] ppid=22160 vsize=8068220 memory=118592 CPUtime=0.09 cores=1,3,5,7
/proc/22178/task/22189/stat : 22189 (java) S 22160 22160 16770 0 -1 1077944384 296 0 0 0 8 1 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152260090352 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22190] ppid=22160 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/22178/task/22190/stat : 22190 (java) S 22160 22160 16770 0 -1 1077944384 571 0 0 0 20 1 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152259038064 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22191] ppid=22160 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22191/stat : 22191 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140150487116768 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22192] ppid=22160 vsize=8068220 memory=1472 CPUtime=1.34 cores=1,3,5,7
/proc/22178/task/22192/stat : 22192 (java) S 22160 22160 16770 0 -1 1077944384 165 0 0 0 63 71 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152257984944 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22194] ppid=22160 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22194/stat : 22194 (java) S 22160 22160 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225641739 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152250176448 140152815759129 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22196] ppid=22160 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22196/stat : 22196 (java) S 22160 22160 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225641739 8261857280 29648 33554432000 4194304 4196468 140730095832800 140149950230032 140152815756445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22197] ppid=22160 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22197/stat : 22197 (java) S 22160 22160 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225641739 8261857280 29648 33554432000 4194304 4196468 140730095832800 140150084452240 140152815756445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22198] ppid=22160 vsize=8068220 memory=61312 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22198/stat : 22198 (java) S 22160 22160 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225641741 8261857280 29648 33554432000 4194304 4196468 140730095832800 140149681806752 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
Current children cumulated CPU time: 2510.51 s
Current children cumulated vsize: 10182112 KiB
Current children cumulated memory: 1771344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.8 s]
/proc/loadavg: 2.05 2.03 2.05 3/228 22397
/proc/meminfo: memFree=10646228/32770624 swapFree=67108860/67108860
[pid=22160] ppid=22157 vsize=113128 memory=1472 CPUtime=42.37 cores=1,3,5,7
/proc/22160/stat : 22160 (scop.sh) S 22157 22160 16770 0 -1 4202496 590 44479 0 0 0 0 4085 152 20 0 1 0 225638070 115843072 368 33554432000 4194304 5098028 140723858007968 140723858004712 140623631676028 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25522176 140723858011200 140723858011399 140723858011399 140723858014157 0
/proc/22160/statm: 28282 368 311 221 0 87 0
[pid=22178] ppid=22160 vsize=8068220 memory=118592 CPUtime=2.59 cores=1,3,5,7
/proc/22178/stat : 22178 (java) S 22160 22160 16770 0 -1 1077944320 18026 0 0 0 179 80 0 0 20 0 19 0 225641666 8261857280 29648 33554432000 4194304 4196468 140730095832800 140730095815344 140152815734519 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
/proc/22178/statm: 2017055 29648 3152 1 0 1978454 0
[pid=22193] ppid=22178 vsize=2000764 memory=1651280 CPUtime=2475.05 cores=1,3,5,7
/proc/22193/stat : 22193 (minisat_release) R 22178 22160 16770 0 -1 4202496 7171163 0 0 0 246996 509 0 0 20 0 1 0 225641739 2048782336 412820 33554432000 4194304 4308513 140732775583312 140732775580936 4276004 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 23130112 140732775584884 140732775584982 140732775584982 140732775587781 0
/proc/22193/statm: 500191 412820 341 28 0 496431 0
[pid=22178/tid=22179] ppid=22160 vsize=8068220 memory=10096 CPUtime=0.74 cores=1,3,5,7
/proc/22178/task/22179/stat : 22179 (java) S 22160 22160 16770 0 -1 1077944384 14954 0 0 0 69 5 0 0 20 0 19 0 225641667 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152787574672 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22180] ppid=22160 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22180/stat : 22180 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152819977104 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22181] ppid=22160 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22181/stat : 22181 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152638065424 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22182] ppid=22160 vsize=8068220 memory=61312 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22182/stat : 22182 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152637013136 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22183] ppid=22160 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22183/stat : 22183 (java) S 22160 22160 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225641668 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152635960336 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22184] ppid=22160 vsize=8068220 memory=2416 CPUtime=0.06 cores=1,3,5,7
/proc/22178/task/22184/stat : 22184 (java) S 22160 22160 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225641670 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152262195312 140152815745666 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22185] ppid=22160 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22185/stat : 22185 (java) S 22160 22160 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225641670 8261857280 29648 33554432000 4194304 4196468 140730095832800 140151627965216 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22186] ppid=22160 vsize=8068220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22186/stat : 22186 (java) S 22160 22160 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225641670 8261857280 29648 33554432000 4194304 4196468 140730095832800 140151359530096 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22187] ppid=22160 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22187/stat : 22187 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140150985021520 140152815753115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22188] ppid=22160 vsize=8068220 memory=34088 CPUtime=0.09 cores=1,3,5,7
/proc/22178/task/22188/stat : 22188 (java) S 22160 22160 16770 0 -1 1077944384 652 0 0 0 9 0 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152261143152 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22189] ppid=22160 vsize=8068220 memory=4048 CPUtime=0.09 cores=1,3,5,7
/proc/22178/task/22189/stat : 22189 (java) S 22160 22160 16770 0 -1 1077944384 296 0 0 0 8 1 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152260090352 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22190] ppid=22160 vsize=8068220 memory=1796 CPUtime=0.21 cores=1,3,5,7
/proc/22178/task/22190/stat : 22190 (java) S 22160 22160 16770 0 -1 1077944384 571 0 0 0 20 1 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152259038064 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22191] ppid=22160 vsize=8068220 memory=636 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22191/stat : 22191 (java) S 22160 22160 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140150487116768 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22192] ppid=22160 vsize=8068220 memory=960 CPUtime=1.35 cores=1,3,5,7
/proc/22178/task/22192/stat : 22192 (java) S 22160 22160 16770 0 -1 1077944384 165 0 0 0 64 71 0 0 20 0 19 0 225641673 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152257984944 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22194] ppid=22160 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22194/stat : 22194 (java) S 22160 22160 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225641739 8261857280 29648 33554432000 4194304 4196468 140730095832800 140152250176448 140152815759129 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22196] ppid=22160 vsize=8068220 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22196/stat : 22196 (java) S 22160 22160 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225641739 8261857280 29648 33554432000 4194304 4196468 140730095832800 140149950230032 140152815756445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22197] ppid=22160 vsize=8068220 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22197/stat : 22197 (java) S 22160 22160 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225641739 8261857280 29648 33554432000 4194304 4196468 140730095832800 140150084452240 140152815756445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22198] ppid=22160 vsize=8068220 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/22178/task/22198/stat : 22198 (java) S 22160 22160 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225641741 8261857280 29648 33554432000 4194304 4196468 140730095832800 140149681806752 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10182112 KiB
Current children cumulated memory: 1771344 KiB

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

[startup+2511.81 s]
# the end of solver process 22160 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=40.8603 s, system=1.52916 s

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

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

[startup+2511.91 s]*
/proc/loadavg: 2.05 2.03 2.05 3/224 22401
/proc/meminfo: memFree=12607704/32770624 swapFree=67108860/67108860
[pid=22178] ppid=22157 vsize=8198264 memory=128852 CPUtime=2477.77 cores=1,3,5,7
/proc/22178/stat : 22178 (java) S 22157 22160 16770 0 -1 1077944320 18064 7171163 0 0 179 87 246996 515 20 0 17 0 225641666 8395022336 32213 33554432000 4194304 4196468 140730095832800 140730095815344 140152815734519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
/proc/22178/statm: 2049566 32213 3153 1 0 2010965 0
[pid=22178/tid=22179] ppid=22157 vsize=8198264 memory=1472 CPUtime=2475.85 cores=1,3,5,7
/proc/22178/task/22179/stat : 22179 (java) S 22157 22160 16770 0 -1 1077944384 14954 7171163 0 0 69 5 246996 515 20 0 17 0 225641667 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152787574672 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22180] ppid=22157 vsize=8198264 memory=4126316290023845779 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22180/stat : 22180 (java) S 22157 22160 16770 0 -1 1077944384 1 7171163 0 0 0 0 246996 515 20 0 17 0 225641668 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152819977104 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22181] ppid=22157 vsize=8198264 memory=50644 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22181/stat : 22181 (java) S 22157 22160 16770 0 -1 1077944384 1 7171163 0 0 0 0 246996 515 20 0 17 0 225641668 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152638065424 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22182] ppid=22157 vsize=8198264 memory=-7824251494390584936 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22182/stat : 22182 (java) S 22157 22160 16770 0 -1 1077944384 1 7171163 0 0 0 0 246996 515 20 0 17 0 225641668 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152637013136 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22183] ppid=22157 vsize=8198264 memory=4126316290023845779 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22183/stat : 22183 (java) S 22157 22160 16770 0 -1 1077944384 2 7171163 0 0 0 0 246996 515 20 0 17 0 225641668 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152635960336 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22184] ppid=22157 vsize=8198264 memory=1408 CPUtime=2475.17 cores=1,3,5,7
/proc/22178/task/22184/stat : 22184 (java) S 22157 22160 16770 0 -1 1077944384 7 7171163 0 0 3 3 246996 515 20 0 17 0 225641670 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152262194816 140152815745666 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22185] ppid=22157 vsize=8198264 memory=3528 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22185/stat : 22185 (java) S 22157 22160 16770 0 -1 1077944384 13 7171163 0 0 0 0 246996 515 20 0 17 0 225641670 8395022336 32213 33554432000 4194304 4196468 140730095832800 140151627965216 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22186] ppid=22157 vsize=8198264 memory=1472 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22186/stat : 22186 (java) S 22157 22160 16770 0 -1 1077944384 1 7171163 0 0 0 0 246996 515 20 0 17 0 225641670 8395022336 32213 33554432000 4194304 4196468 140730095832800 140151359530096 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22188] ppid=22157 vsize=8198264 memory=118592 CPUtime=2475.2 cores=1,3,5,7
/proc/22178/task/22188/stat : 22188 (java) S 22157 22160 16770 0 -1 1077944384 652 7171163 0 0 9 0 246996 515 20 0 17 0 225641673 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152261143152 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22189] ppid=22157 vsize=8198264 memory=796 CPUtime=2475.2 cores=1,3,5,7
/proc/22178/task/22189/stat : 22189 (java) S 22157 22160 16770 0 -1 1077944384 296 7171163 0 0 8 1 246996 515 20 0 17 0 225641673 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152260090352 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22190] ppid=22157 vsize=8198264 memory=5408 CPUtime=2475.32 cores=1,3,5,7
/proc/22178/task/22190/stat : 22190 (java) S 22157 22160 16770 0 -1 1077944384 571 7171163 0 0 20 1 246996 515 20 0 17 0 225641673 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152259038064 140152815745666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22191] ppid=22157 vsize=8198264 memory=876 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22191/stat : 22191 (java) S 22157 22160 16770 0 -1 1077944384 3 7171163 0 0 0 0 246996 515 20 0 17 0 225641673 8395022336 32213 33554432000 4194304 4196468 140730095832800 140150487116768 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22194] ppid=22157 vsize=8198264 memory=10096 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22194/stat : 22194 (java) S 22157 22160 16770 0 -1 1077944384 24 7171163 0 0 0 0 246996 515 20 0 17 0 225641739 8395022336 32213 33554432000 4194304 4196468 140730095832800 140152250173712 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22198] ppid=22157 vsize=8198264 memory=1228 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22198/stat : 22198 (java) S 22157 22160 16770 0 -1 1077944384 5 7171163 0 0 0 0 246996 515 20 0 17 0 225641741 8395022336 32213 33554432000 4194304 4196468 140730095832800 140149681797008 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22398] ppid=22157 vsize=8198264 memory=1952 CPUtime=2475.11 cores=1,3,5,7
/proc/22178/task/22398/stat : 22398 (java) S 22157 22160 16770 0 -1 1077944384 3 7171163 0 0 0 0 246996 515 20 0 17 0 225889251 8395022336 32213 33554432000 4194304 4196468 140730095832800 140149413372496 140152815744725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
[pid=22178/tid=22401] ppid=22157 vsize=8198264 memory=1160 CPUtime=2475.16 cores=1,3,5,7
/proc/22178/task/22401/stat : 22401 (java) R 22157 22160 16770 0 -1 4202560 2 7171163 0 0 0 5 246996 515 20 0 17 0 225889251 8395022336 32213 33554432000 4194304 4196468 140730095832800 140149144937760 140152808420151 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140730095834293 140730095834417 140730095834417 140730095837135 0
Current cumulated CPU time of completed processes: 42.3895 s
Current children cumulated CPU time: 2477.77 s
Current children cumulated vsize: 8198264 KiB
Current children cumulated memory: 128852 KiB

Child status: 1
Real time (s): 2511.95
CPU time (s): 2520.2
CPU user time (s): 2512.62
CPU system time (s): 7.58246
CPU usage (%): 100.328
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 3990720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.62
system time used= 7.58246
maximum resident set size= 3990020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7234798
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1061096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60281
involuntary context switches= 853


# summary of solver processes directly reported to runsolver:
#   pid: 22160,22178
#   total CPU time (s): 2520.2
#   total CPU user time (s): 2512.62
#   total CPU system time (s): 7.58246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9003 second user time and 27.2072 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 15:32:29
IDJOB=4305372
IDBENCH=141558
IDSOLVER=2782
FILE ID=node139/4305372-1534080749
RUNJOBID= node139-1534060441-16802
PBS_JOBID= 21036974
Free space on /tmp= 28392 MiB

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

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

MD5SUM BENCH= d84d4d85366018deec6903098e084e8b
RANDOM SEED=877334580

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:        12902452 kB
MemAvailable:   31724892 kB
Buffers:          228188 kB
Cached:         18561848 kB
SwapCached:            0 kB
Active:          7891668 kB
Inactive:       11133900 kB
Active(anon):     184920 kB
Inactive(anon):   103060 kB
Active(file):    7706748 kB
Inactive(file): 11030840 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7856 kB
Writeback:             0 kB
AnonPages:        292136 kB
Mapped:            73524 kB
Shmem:             49804 kB
Slab:             541488 kB
SReclaimable:     513312 kB
SUnreclaim:        28176 kB
KernelStack:        4016 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5923080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 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= 28392 MiB
End job on node139 at 2018-08-12 16:14:21