Trace number 4305373

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.23 2509.65

General information on the benchmark

NameMagicHexagon/
MagicHexagon-07-m011_c18.xml
MD5SUMcb154bca5bef3b2160515065825e7dfd
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-22688-serial-file.bin HOME/instance-4305373-1534083349.xml
0.55/0.51	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 16:15:49 CEST 2018
0.66/0.54	c PID: 22691
0.66/0.54	c IP: 172.20.3.107
0.66/0.54	c HOST: node107.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.41/0.91	c (0,0) Parsing End
1.41/0.92	c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
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) Constraint Name Generate Begin
1.41/0.92	c (0,0) Ctr:HOME/instance-4305373-1534083349.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.12/1.59	c (1,1) translated 5 (10%) constraints
3.45/1.61	c (1,1) translated 10 (20%) constraints
3.45/1.61	c (1,1) translated 14 (30%) constraints
3.45/1.61	c (1,1) translated 19 (40%) constraints
3.45/1.61	c (1,1) translated 23 (50%) constraints
3.45/1.62	c (1,1) translated 28 (60%) constraints
3.45/1.62	c (1,1) translated 33 (70%) constraints
3.45/1.62	c (1,1) translated 37 (80%) constraints
3.45/1.63	c (1,1) translated 42 (90%) constraints
3.45/1.63	c (1,1) translated 46 (100%) constraints
3.79/1.74	c (1,1) STATISTICS1:HOME/instance-4305373-1534083349.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.79/1.74	c (1,1) ==========================================
3.79/1.74	c (1,1) Order
3.79/1.74	c (1,1) ==========================================
4.12/1.82	c (1,1) translated 805 (10%) constraints
4.12/1.86	c (1,1) translated 1610 (20%) constraints
4.43/1.90	c (1,1) translated 2415 (30%) constraints
4.43/1.93	c (1,1) translated 3220 (40%) constraints
4.43/1.97	c (1,1) translated 4024 (50%) constraints
4.43/2.00	c (1,1) translated 4829 (60%) constraints
4.75/2.03	c (1,1) translated 5634 (70%) constraints
4.75/2.06	c (1,1) translated 6439 (80%) constraints
4.75/2.09	c (1,1) translated 7244 (90%) constraints
5.36/2.24	c (1,1) translated 8048 (100%) constraints
5.36/2.24	c (1,1) CSP to CSPinCNF End
5.36/2.24	c (1,1) CSP: 391 int (264 aux), 0 bool (0 aux), 8615 ctr, max domain size 630
5.36/2.24	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.36/2.24	c (1,1) CSPinCNF Propagation Begin
5.69/2.32	c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
5.69/2.32	c (1,1) CSPinCNF Propagation End
5.69/2.32	c (1,1) CSP: 391 int (264 aux), 0 bool (0 aux), 8615 ctr, max domain size 630
5.69/2.32	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.69/2.32	c (1,1) Simplify CSPinCNF Begin
6.91/2.80	c (2,2) Simplify CSPinCNF End
7.21/2.80	c (2,2) CSP: 391 int (264 aux), 16002 bool (16002 aux), 24617 ctr, max domain size 630
7.21/2.80	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.21/2.80	c (2,2) Calculate Precise Domain Begin
7.21/2.84	c (2,2) 5 values are removed by re-calculation
7.21/2.84	c (2,2) Calculate Precise Domain End
7.21/2.84	c (2,2) CSP: 391 int (264 aux), 16002 bool (16002 aux), 24617 ctr, max domain size 629
7.21/2.84	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.21/2.84	c (2,2) CSPinCNF to SatSolver Begin
9.65/3.82	c (3,3) 2462 (10 %) CSP clauses are encoded (116891 SAT variables, 308695 SAT clauses)
10.27/4.34	c (3,3) 4924 (20 %) CSP clauses are encoded (116891 SAT variables, 517599 SAT clauses)
10.82/4.85	c (4,4) 7386 (30 %) CSP clauses are encoded (116891 SAT variables, 726769 SAT clauses)
11.40/5.35	c (4,4) 9847 (40 %) CSP clauses are encoded (116891 SAT variables, 935932 SAT clauses)
12.03/5.86	c (5,5) 12309 (50 %) CSP clauses are encoded (116891 SAT variables, 1145088 SAT clauses)
12.43/6.29	c (5,5) 14771 (60 %) CSP clauses are encoded (116891 SAT variables, 1354236 SAT clauses)
12.94/6.72	c (6,6) 17232 (70 %) CSP clauses are encoded (116891 SAT variables, 1563371 SAT clauses)
13.35/7.14	c (6,6) 19694 (80 %) CSP clauses are encoded (116891 SAT variables, 1772491 SAT clauses)
13.74/7.57	c (7,6) 22156 (90 %) CSP clauses are encoded (116891 SAT variables, 1981497 SAT clauses)
42.70/35.43	c (34,34) 24617 (100 %) CSP clauses are encoded (116891 SAT variables, 26182676 SAT clauses)
42.70/35.43	c (34,34) Launch Command will be: minisat_release
42.70/35.43	c (34,34) CSPinCNF to SatSolver End
42.70/35.43	c (34,34) Heap : 2600 MiB used (max 11217 MiB), NonHeap : 30 MiB used (max 0 MiB)
43.25/35.62	c (35,34) STATISTICS2:HOME/instance-4305373-1534083349.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,16393,24617,255025,629,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,629:12;505:156;504:12;379:192;377:12;298:12;297:8;296: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,
43.25/35.62	c (35,34) 116891 bool, 26182800 clause
43.25/35.62	c (35,34) Export Begin
43.60/35.71	c (35,34) Export to HOME/scop-22688-serial-file.bin
43.60/35.71	c (35,34) Export End
43.60/35.71	c (35,34) Export File Size: 0.02 MB
43.60/35.71	c (35,34) 0,0,1,1,2,2,34,STOP-AFTER(DIMACS)
43.60/35.71	c END-Prog: Sun Aug 12 16:16:24 CEST 2018
43.60/35.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22688-serial-file.bin
44.26/36.23	c (0,0) Read Serial File Begin
44.26/36.23	c (0,0) HOME/scop-22688-serial-file.bin
44.56/36.40	c (0,0) Read Serial File End
44.56/36.41	
44.56/36.41	scop order+minisat_release (2018-07-31)
44.56/36.41	(Solving Process)
44.56/36.41	
44.56/36.44	c BEGIN-Prog: Sun Aug 12 16:16:25 CEST 2018
44.56/36.44	c PID: 22706
44.56/36.44	c IP: 172.20.3.107
44.56/36.44	c HOST: node107.alineos.net
44.56/36.44	c (0,0) SatSolver.solve Begin
44.56/36.44	c (0,0) 0 bool, 0 clause
44.56/36.44	c (0,0) minisat_release HOME/instance-4305373-1534083349.xml-scop-22691.cnf
2520.05/2509.50	c (2473,0) receiving signal SIGTERM
2520.05/2509.50	s UNKNOWN
2520.05/2509.51	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.05/2509.51	c (scop.sh) Remove HOME/scop-22688-serial-file.bin.
2520.05/2509.51	c (scop.sh) Killing background jobs.
2520.05/2509.51	c (2473,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 (12973 MiB free)
  memory of node 1: 16384 MiB (5043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305373-1534083349/watcher-4305373-1534083349 -o /tmp/evaluation-result-4305373-1534083349/solver-4305373-1534083349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305373-1534083349.xml 

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

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

solver pid=22688, runsolver pid=22685

[startup+0.100178 s]*
/proc/loadavg: 2.17 2.27 2.17 3/222 22705
/proc/meminfo: memFree=18389612/32770624 swapFree=67108860/67108860
[pid=22688] ppid=22685 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22688/stat : 22688 (scop.sh) S 22685 22688 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225898059 115843072 349 33554432000 4194304 5098028 140733259185504 140733259182760 139908024369788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9949184 140733259191360 140733259191559 140733259191559 140733259194317 0
/proc/22688/statm: 28282 349 296 221 0 87 0
[pid=22691] ppid=22688 vsize=15012476 memory=72192 CPUtime=0.11 cores=0,2,4,6
/proc/22691/stat : 22691 (java) S 22688 22688 16605 0 -1 1077944320 6160 0 0 0 9 2 0 0 20 0 15 0 225898059 15372775424 18048 33554432000 4194304 4196468 140722749061008 140722749043552 140594966322935 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
/proc/22691/statm: 3753119 18048 2770 1 0 3715579 0
[pid=22691/tid=22692] ppid=22688 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (java) R 22688 22688 16605 0 -1 4202560 4244 0 0 0 7 1 0 0 20 0 15 0 225898060 15372775424 18048 33554432000 4194304 4196468 140722749061008 140594938134920 140594947887913 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22693] ppid=22688 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22693/stat : 22693 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 18048 33554432000 4194304 4196468 140722749061008 140594970565392 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22694] ppid=22688 vsize=15012476 memory=139860581746304 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22694/stat : 22694 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 18048 33554432000 4194304 4196468 140722749061008 140594761649040 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22695] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22695/stat : 22695 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 18048 33554432000 4194304 4196468 140722749061008 140594760596496 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22696] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22696/stat : 22696 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 18048 33554432000 4194304 4196468 140722749061008 140594759543952 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22697] ppid=22688 vsize=15012476 memory=139860581746304 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22697/stat : 22697 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898063 15372775424 18048 33554432000 4194304 4196468 140722749061008 140593936173040 140594966334082 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22698] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22698/stat : 22698 (java) S 22688 22688 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225898063 15372775424 18048 33554432000 4194304 4196468 140722749061008 140593539834784 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22699] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22699/stat : 22699 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898064 15372775424 18048 33554432000 4194304 4196468 140722749061008 140593271399408 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22700] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22700/stat : 22700 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 18048 33554432000 4194304 4196468 140722749061008 140592896891088 140594966341531 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22701] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22701/stat : 22701 (java) S 22688 22688 16605 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 18114 33554432000 4194304 4196468 140722749061008 140593935120880 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22702] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22702/stat : 22702 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 18114 33554432000 4194304 4196468 140722749061008 140593934068336 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22703] ppid=22688 vsize=15012476 memory=139860581746304 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22703/stat : 22703 (java) S 22688 22688 16605 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 18114 33554432000 4194304 4196468 140722749061008 140593933015792 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22704] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22704/stat : 22704 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 18114 33554432000 4194304 4196468 140722749061008 140592398986336 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22705] ppid=22688 vsize=15012476 memory=139860581746304 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22705/stat : 22705 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 18114 33554432000 4194304 4196468 140722749061008 140593931962672 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73588 KiB

[startup+0.21066 s]*
/proc/loadavg: 2.17 2.27 2.17 4/222 22705
/proc/meminfo: memFree=18376352/32770624 swapFree=67108860/67108860
[pid=22688] ppid=22685 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22688/stat : 22688 (scop.sh) S 22685 22688 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225898059 115843072 349 33554432000 4194304 5098028 140733259185504 140733259182760 139908024369788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9949184 140733259191360 140733259191559 140733259191559 140733259194317 0
/proc/22688/statm: 28282 349 296 221 0 87 0
[pid=22691] ppid=22688 vsize=15012476 memory=85516 CPUtime=0.25 cores=0,2,4,6
/proc/22691/stat : 22691 (java) S 22688 22688 16605 0 -1 1077944320 9763 0 0 0 22 3 0 0 20 0 15 0 225898059 15372775424 21379 33554432000 4194304 4196468 140722749061008 140722749043552 140594966322935 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
/proc/22691/statm: 3753119 21379 2880 1 0 3715579 0
[pid=22691/tid=22692] ppid=22688 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (java) R 22688 22688 16605 0 -1 4202560 7664 0 0 0 18 2 0 0 20 0 15 0 225898060 15372775424 21379 33554432000 4194304 4196468 140722749061008 140594938147744 140594966334870 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22693] ppid=22688 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22693/stat : 22693 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 21379 33554432000 4194304 4196468 140722749061008 140594970565392 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22694] ppid=22688 vsize=15012476 memory=139860581765787 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22694/stat : 22694 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 21379 33554432000 4194304 4196468 140722749061008 140594761649040 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22695] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22695/stat : 22695 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 21379 33554432000 4194304 4196468 140722749061008 140594760596496 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22696] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22696/stat : 22696 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 21379 33554432000 4194304 4196468 140722749061008 140594759543952 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22697] ppid=22688 vsize=15012476 memory=139860581746304 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22697/stat : 22697 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898063 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593936173040 140594966334082 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22698] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22698/stat : 22698 (java) S 22688 22688 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225898063 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593539834784 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22699] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22699/stat : 22699 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898064 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593271399408 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22700] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22700/stat : 22700 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 21379 33554432000 4194304 4196468 140722749061008 140592896891088 140594966341531 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22701] ppid=22688 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22691/task/22701/stat : 22701 (java) S 22688 22688 16605 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 15 0 225898066 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593935120880 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22702] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22702/stat : 22702 (java) S 22688 22688 16605 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593934068336 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22703] ppid=22688 vsize=15012476 memory=139860581746304 CPUtime=0.03 cores=0,2,4,6
/proc/22691/task/22703/stat : 22703 (java) R 22688 22688 16605 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 225898066 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593933015792 140594950403422 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22704] ppid=22688 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22704/stat : 22704 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 21379 33554432000 4194304 4196468 140722749061008 140592398986336 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22705] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22705/stat : 22705 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 21379 33554432000 4194304 4196468 140722749061008 140593931962672 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86912 KiB

[startup+0.310502 s]*
/proc/loadavg: 2.17 2.27 2.17 3/222 22705
/proc/meminfo: memFree=18372692/32770624 swapFree=67108860/67108860
[pid=22688] ppid=22685 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22688/stat : 22688 (scop.sh) S 22685 22688 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225898059 115843072 349 33554432000 4194304 5098028 140733259185504 140733259182760 139908024369788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9949184 140733259191360 140733259191559 140733259191559 140733259194317 0
/proc/22688/statm: 28282 349 296 221 0 87 0
[pid=22691] ppid=22688 vsize=15012476 memory=89676 CPUtime=0.42 cores=0,2,4,6
/proc/22691/stat : 22691 (java) S 22688 22688 16605 0 -1 1077944320 10364 0 0 0 39 3 0 0 20 0 15 0 225898059 15372775424 22419 33554432000 4194304 4196468 140722749061008 140722749043552 140594966322935 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
/proc/22691/statm: 3753119 22419 2982 1 0 3715579 0
[pid=22691/tid=22692] ppid=22688 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (java) R 22688 22688 16605 0 -1 4202560 8102 0 0 0 27 2 0 0 20 0 15 0 225898060 15372775424 22419 33554432000 4194304 4196468 140722749061008 140594938117936 140594966344861 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22693] ppid=22688 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22693/stat : 22693 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 22419 33554432000 4194304 4196468 140722749061008 140594970565392 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22694] ppid=22688 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22694/stat : 22694 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 22419 33554432000 4194304 4196468 140722749061008 140594761649040 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22695] ppid=22688 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22695/stat : 22695 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 22419 33554432000 4194304 4196468 140722749061008 140594760596496 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22696] ppid=22688 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22696/stat : 22696 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15372775424 22419 33554432000 4194304 4196468 140722749061008 140594759543952 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22697] ppid=22688 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22697/stat : 22697 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898063 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593936173040 140594966334082 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22698] ppid=22688 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22698/stat : 22698 (java) S 22688 22688 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225898063 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593539834784 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22699] ppid=22688 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22699/stat : 22699 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898064 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593271399408 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22700] ppid=22688 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22700/stat : 22700 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 22419 33554432000 4194304 4196468 140722749061008 140592896891088 140594966341531 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22701] ppid=22688 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22691/task/22701/stat : 22701 (java) R 22688 22688 16605 0 -1 4202560 531 0 0 0 3 0 0 0 20 0 15 0 225898066 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593935120880 140594966334870 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22702] ppid=22688 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22691/task/22702/stat : 22702 (java) R 22688 22688 16605 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 225898066 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593934068336 140594966334082 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22703] ppid=22688 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22691/task/22703/stat : 22703 (java) R 22688 22688 16605 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 225898066 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593933015792 140594966344282 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22704] ppid=22688 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22704/stat : 22704 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 22419 33554432000 4194304 4196468 140722749061008 140592398986336 140594966333141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22705] ppid=22688 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22705/stat : 22705 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898066 15372775424 22419 33554432000 4194304 4196468 140722749061008 140593931962672 140594966334082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91072 KiB

[startup+0.703063 s]
/proc/loadavg: 2.17 2.27 2.17 3/222 22705
/proc/meminfo: memFree=18347648/32770624 swapFree=67108860/67108860
[pid=22688] ppid=22685 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22688/stat : 22688 (scop.sh) S 22685 22688 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225898059 115843072 349 33554432000 4194304 5098028 140733259185504 140733259182760 139908024369788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9949184 140733259191360 140733259191559 140733259191559 140733259194317 0
/proc/22688/statm: 28282 349 296 221 0 87 0
[pid=22691] ppid=22688 vsize=15020872 memory=129752 CPUtime=1.01 cores=0,2,4,6
/proc/22691/stat : 22691 (java) S 22688 22688 16605 0 -1 1077944320 17604 0 0 0 95 6 0 0 20 0 15 0 225898059 15381372928 32438 33554432000 4194304 4196468 140722749061008 140722749043552 140594966322935 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
/proc/22691/statm: 3755218 32438 3150 1 0 3716603 0
[pid=22691/tid=22692] ppid=22688 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (java) R 22688 22688 16605 0 -1 4202560 14858 0 0 0 62 5 0 0 20 0 15 0 225898060 15381372928 32438 33554432000 4194304 4196468 140722749061008 140594938160944 140594950403422 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22693] ppid=22688 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22693/stat : 22693 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15381372928 32438 33554432000 4194304 4196468 140722749061008 140594970565392 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22694] ppid=22688 vsize=15020872 memory=61488 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22694/stat : 22694 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15381372928 32438 33554432000 4194304 4196468 140722749061008 140594761649040 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22695] ppid=22688 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22695/stat : 22695 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898061 15381372928 32438 33554432000 4194304 4196468 140722749061008 140594760596496 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22696] ppid=22688 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22696/stat : 22696 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225898061 15381372928 32438 33554432000 4194304 4196468 140722749061008 140594759543952 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22697] ppid=22688 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22697/stat : 22697 (java) S 22688 22688 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225898063 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593936173040 140594966334082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22698] ppid=22688 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22698/stat : 22698 (java) S 22688 22688 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225898063 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593539834784 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22699] ppid=22688 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22699/stat : 22699 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898064 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593271399408 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22700] ppid=22688 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22700/stat : 22700 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15381372928 32438 33554432000 4194304 4196468 140722749061008 140592896891088 140594966341531 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22701] ppid=22688 vsize=15020872 memory=1120 CPUtime=0.08 cores=0,2,4,6
/proc/22691/task/22701/stat : 22701 (java) S 22688 22688 16605 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 15 0 225898066 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593935120880 140594966334082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22702] ppid=22688 vsize=15020872 memory=6120 CPUtime=0.08 cores=0,2,4,6
/proc/22691/task/22702/stat : 22702 (java) R 22688 22688 16605 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 15 0 225898066 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593934068432 140594966333141 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22703] ppid=22688 vsize=15020872 memory=1724 CPUtime=0.15 cores=0,2,4,6
/proc/22691/task/22703/stat : 22703 (java) R 22688 22688 16605 0 -1 4202560 479 0 0 0 15 0 0 0 20 0 15 0 225898066 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593933010832 140594959428670 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22704] ppid=22688 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22704/stat : 22704 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225898066 15381372928 32438 33554432000 4194304 4196468 140722749061008 140592398986336 140594966333141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
[pid=22691/tid=22705] ppid=22688 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22705/stat : 22705 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225898066 15381372928 32438 33554432000 4194304 4196468 140722749061008 140593931962672 140594966334082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140722749064198 140722749064497 140722749064497 140722749067215 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131148 KiB

[startup+1.50252 s]
/proc/loadavg: 2.17 2.27 2.17 5/222 22705
/proc/meminfo: memFree=18319856/32770624 swapFree=67108860/67108860
[pid=22688] ppid=22685 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22688/stat : 22688 (scop.sh) S 22685 22688 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225898059 115843072 349 33554432000 4194304 5098028 140733259185504 140733259182760 139908024369788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9949184 140733259191360 140733259191559 140733259191559 140733259194317 0
/proc/22688/statm: 28282 349 296 221 0 87 0

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

[pid=22721] ppid=22706 vsize=2015404 memory=1689136 CPUtime=2465.97 cores=0,2,4,6
/proc/22721/stat : 22721 (minisat_release) R 22706 22688 16605 0 -1 4202496 7449005 0 0 0 246085 512 0 0 20 0 1 0 225901706 2063773696 422284 33554432000 4194304 4308513 140731660727584 140731660725208 4275992 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 10727424 140731660731508 140731660731606 140731660731606 140731660734405 0
/proc/22721/statm: 503851 422284 342 28 0 500091 0
[pid=22706/tid=22707] ppid=22688 vsize=8068220 memory=1472 CPUtime=0.73 cores=0,2,4,6
/proc/22706/task/22707/stat : 22707 (java) S 22688 22688 16605 0 -1 1077944384 14467 0 0 0 69 4 0 0 20 0 19 0 225901635 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386804170640 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22708] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386836573072 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22709] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386645134096 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22710] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386316049552 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22711] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386314996752 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22712] ppid=22688 vsize=8068220 memory=118624 CPUtime=0.07 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22688 22688 16605 0 -1 1077944384 7 0 0 0 3 4 0 0 20 0 19 0 225901637 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385875978352 140386832341634 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22713] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22688 22688 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225901637 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385770791712 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22714] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901638 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385502356592 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22715] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385127848016 140386832349083 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22716] ppid=22688 vsize=8068220 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22688 22688 16605 0 -1 1077944384 608 0 0 0 10 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385874926192 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22717] ppid=22688 vsize=8068220 memory=118624 CPUtime=0.09 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22688 22688 16605 0 -1 1077944384 356 0 0 0 9 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385873873392 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22718] ppid=22688 vsize=8068220 memory=118624 CPUtime=0.2 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22688 22688 16605 0 -1 1077944384 519 0 0 0 20 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385872821104 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22719] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140384629943264 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22720] ppid=22688 vsize=8068220 memory=1472 CPUtime=1.95 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22688 22688 16605 0 -1 1077944384 165 0 0 0 92 103 0 0 20 0 19 0 225901641 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385871767984 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22722] ppid=22688 vsize=8068220 memory=15712 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22722/stat : 22722 (java) S 22688 22688 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225901706 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385863959488 140386832355097 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22724] ppid=22688 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22724/stat : 22724 (java) S 22688 22688 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225901706 8261857280 29656 33554432000 4194304 4196468 140726524243696 140384093056528 140386832352413 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22725] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22725/stat : 22725 (java) S 22688 22688 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225901706 8261857280 29656 33554432000 4194304 4196468 140726524243696 140384227278736 140386832352413 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22726] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22726/stat : 22726 (java) S 22688 22688 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225901708 8261857280 29656 33554432000 4194304 4196468 140726524243696 140383824633248 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
Current children cumulated CPU time: 2512.83 s
Current children cumulated vsize: 10196752 KiB
Current children cumulated memory: 1809232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.5 s]
/proc/loadavg: 2.00 2.05 2.06 3/227 22998
/proc/meminfo: memFree=22413084/32770624 swapFree=67108860/67108860
[pid=22688] ppid=22685 vsize=113128 memory=1472 CPUtime=43.67 cores=0,2,4,6
/proc/22688/stat : 22688 (scop.sh) S 22685 22688 16605 0 -1 4202496 591 45751 0 0 0 0 4203 164 20 0 1 0 225898059 115843072 368 33554432000 4194304 5098028 140733259185504 140733259182248 139908024369788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 9949184 140733259191360 140733259191559 140733259191559 140733259194317 0
/proc/22688/statm: 28282 368 311 221 0 87 0
[pid=22706] ppid=22688 vsize=8068220 memory=118624 CPUtime=3.21 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22688 22688 16605 0 -1 1077944320 17504 0 0 0 223 98 0 0 20 0 19 0 225901634 8261857280 29656 33554432000 4194304 4196468 140726524243696 140726524226240 140386832330487 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
/proc/22706/statm: 2017055 29656 3151 1 0 1978454 0
[pid=22721] ppid=22706 vsize=2015404 memory=1689136 CPUtime=2473.17 cores=0,2,4,6
/proc/22721/stat : 22721 (minisat_release) R 22706 22688 16605 0 -1 4202496 7499528 0 0 0 246802 515 0 0 20 0 1 0 225901706 2063773696 422284 33554432000 4194304 4308513 140731660727584 140731660725208 4276004 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 10727424 140731660731508 140731660731606 140731660731606 140731660734405 0
/proc/22721/statm: 503851 422284 342 28 0 500091 0
[pid=22706/tid=22707] ppid=22688 vsize=8068220 memory=118624 CPUtime=0.73 cores=0,2,4,6
/proc/22706/task/22707/stat : 22707 (java) S 22688 22688 16605 0 -1 1077944384 14467 0 0 0 69 4 0 0 20 0 19 0 225901635 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386804170640 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22708] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) S 22688 22688 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386836573072 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22709] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386645134096 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22710] ppid=22688 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386316049552 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22711] ppid=22688 vsize=8068220 memory=118624 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901636 8261857280 29656 33554432000 4194304 4196468 140726524243696 140386314996752 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22712] ppid=22688 vsize=8068220 memory=118624 CPUtime=0.07 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22688 22688 16605 0 -1 1077944384 7 0 0 0 3 4 0 0 20 0 19 0 225901637 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385875978352 140386832341634 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22713] ppid=22688 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22688 22688 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225901637 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385770791712 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22714] ppid=22688 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22688 22688 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225901638 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385502356592 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22715] ppid=22688 vsize=8068220 memory=1689136 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385127848016 140386832349083 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22716] ppid=22688 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22688 22688 16605 0 -1 1077944384 608 0 0 0 10 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385874926192 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22717] ppid=22688 vsize=8068220 memory=118624 CPUtime=0.09 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22688 22688 16605 0 -1 1077944384 356 0 0 0 9 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385873873392 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22718] ppid=22688 vsize=8068220 memory=61540 CPUtime=0.2 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22688 22688 16605 0 -1 1077944384 519 0 0 0 20 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385872821104 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22719] ppid=22688 vsize=8068220 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22688 22688 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225901640 8261857280 29656 33554432000 4194304 4196468 140726524243696 140384629943264 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22720] ppid=22688 vsize=8068220 memory=1689136 CPUtime=1.95 cores=0,2,4,6
/proc/22706/task/22720/stat : 22720 (java) S 22688 22688 16605 0 -1 1077944384 165 0 0 0 92 103 0 0 20 0 19 0 225901641 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385871767984 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22722] ppid=22688 vsize=8068220 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22722/stat : 22722 (java) S 22688 22688 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225901706 8261857280 29656 33554432000 4194304 4196468 140726524243696 140385863959488 140386832355097 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22724] ppid=22688 vsize=8068220 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22724/stat : 22724 (java) S 22688 22688 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225901706 8261857280 29656 33554432000 4194304 4196468 140726524243696 140384093056528 140386832352413 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22725] ppid=22688 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22725/stat : 22725 (java) S 22688 22688 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225901706 8261857280 29656 33554432000 4194304 4196468 140726524243696 140384227278736 140386832352413 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22726] ppid=22688 vsize=8068220 memory=61540 CPUtime=0 cores=0,2,4,6
/proc/22706/task/22726/stat : 22726 (java) S 22688 22688 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225901708 8261857280 29656 33554432000 4194304 4196468 140726524243696 140383824633248 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10196752 KiB
Current children cumulated memory: 1809232 KiB

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

[startup+2509.51 s]
# the end of solver process 22688 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=42.033 s, system=1.64369 s

[startup+2509.65 s]
# the end of solver process 22706 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.29 s, system=7.93992 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+2509.61 s]*
/proc/loadavg: 2.00 2.05 2.06 3/224 23002
/proc/meminfo: memFree=24429292/32770624 swapFree=67108860/67108860
[pid=22706] ppid=22685 vsize=8199292 memory=128852 CPUtime=2476.51 cores=0,2,4,6
/proc/22706/stat : 22706 (java) S 22685 22688 16605 0 -1 1077944320 17540 7499534 0 0 223 105 246802 521 20 0 18 0 225901634 8396075008 32213 33554432000 4194304 4196468 140726524243696 140726524226240 140386832330487 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
/proc/22706/statm: 2049823 32213 3151 1 0 2011222 0
[pid=22706/tid=22707] ppid=22685 vsize=8199292 memory=-7824251494390586210 CPUtime=2473.96 cores=0,2,4,6
/proc/22706/task/22707/stat : 22707 (java) S 22685 22688 16605 0 -1 1077944384 14467 7499534 0 0 69 4 246802 521 20 0 18 0 225901635 8396075008 32213 33554432000 4194304 4196468 140726524243696 140386804170640 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22708] ppid=22685 vsize=8199292 memory=1472 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22708/stat : 22708 (java) S 22685 22688 16605 0 -1 1077944384 2 7499534 0 0 0 0 246802 521 20 0 18 0 225901636 8396075008 32213 33554432000 4194304 4196468 140726524243696 140386836573072 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22709] ppid=22685 vsize=8199292 memory=118624 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22709/stat : 22709 (java) S 22685 22688 16605 0 -1 1077944384 1 7499534 0 0 0 0 246802 521 20 0 18 0 225901636 8396075008 32213 33554432000 4194304 4196468 140726524243696 140386645134096 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22710] ppid=22685 vsize=8199292 memory=1689136 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22710/stat : 22710 (java) S 22685 22688 16605 0 -1 1077944384 1 7499534 0 0 0 0 246802 521 20 0 18 0 225901636 8396075008 32213 33554432000 4194304 4196468 140726524243696 140386316049552 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22711] ppid=22685 vsize=8199292 memory=4872558044660077418 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22711/stat : 22711 (java) S 22685 22688 16605 0 -1 1077944384 1 7499534 0 0 0 0 246802 521 20 0 18 0 225901636 8396075008 32213 33554432000 4194304 4196468 140726524243696 140386314996752 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22712] ppid=22685 vsize=8199292 memory=3484 CPUtime=2473.3 cores=0,2,4,6
/proc/22706/task/22712/stat : 22712 (java) S 22685 22688 16605 0 -1 1077944384 7 7499534 0 0 3 4 246802 521 20 0 18 0 225901637 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385875977856 140386832341634 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22713] ppid=22685 vsize=8199292 memory=1472 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22713/stat : 22713 (java) S 22685 22688 16605 0 -1 1077944384 13 7499534 0 0 0 0 246802 521 20 0 18 0 225901637 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385770791712 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22714] ppid=22685 vsize=8199292 memory=118616 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22714/stat : 22714 (java) S 22685 22688 16605 0 -1 1077944384 1 7499534 0 0 0 0 246802 521 20 0 18 0 225901638 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385502356592 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22715] ppid=22685 vsize=8199292 memory=4872558044660077418 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22715/stat : 22715 (java) S 22685 22688 16605 0 -1 1077944384 33 7499534 0 0 0 0 246802 521 20 0 18 0 225901640 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385127847728 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22716] ppid=22685 vsize=8199292 memory=6656426216303648864 CPUtime=2473.33 cores=0,2,4,6
/proc/22706/task/22716/stat : 22716 (java) S 22685 22688 16605 0 -1 1077944384 608 7499534 0 0 10 0 246802 521 20 0 18 0 225901640 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385874926192 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22717] ppid=22685 vsize=8199292 memory=6655300316396806240 CPUtime=2473.32 cores=0,2,4,6
/proc/22706/task/22717/stat : 22717 (java) S 22685 22688 16605 0 -1 1077944384 356 7499534 0 0 9 0 246802 521 20 0 18 0 225901640 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385873873392 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22718] ppid=22685 vsize=8199292 memory=8242475861831659826 CPUtime=2473.43 cores=0,2,4,6
/proc/22706/task/22718/stat : 22718 (java) S 22685 22688 16605 0 -1 1077944384 519 7499534 0 0 20 0 246802 521 20 0 18 0 225901640 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385872821104 140386832341634 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22719] ppid=22685 vsize=8199292 memory=61540 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22719/stat : 22719 (java) S 22685 22688 16605 0 -1 1077944384 3 7499534 0 0 0 0 246802 521 20 0 18 0 225901640 8396075008 32213 33554432000 4194304 4196468 140726524243696 140384629943264 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22722] ppid=22685 vsize=8199292 memory=1064 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22722/stat : 22722 (java) S 22685 22688 16605 0 -1 1077944384 22 7499534 0 0 0 0 246802 521 20 0 18 0 225901706 8396075008 32213 33554432000 4194304 4196468 140726524243696 140385863957040 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22726] ppid=22685 vsize=8199292 memory=2072 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22726/stat : 22726 (java) S 22685 22688 16605 0 -1 1077944384 4 7499534 0 0 0 0 246802 521 20 0 18 0 225901708 8396075008 32213 33554432000 4194304 4196468 140726524243696 140383824632848 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=22999] ppid=22685 vsize=8199292 memory=1740 CPUtime=2473.23 cores=0,2,4,6
/proc/22706/task/22999/stat : 22999 (java) S 22685 22688 16605 0 -1 1077944384 3 7499534 0 0 0 0 246802 521 20 0 18 0 226149010 8396075008 32213 33554432000 4194304 4196468 140726524243696 140383556198992 140386832340693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
[pid=22706/tid=23002] ppid=22685 vsize=8199292 memory=11192 CPUtime=2473.28 cores=0,2,4,6
/proc/22706/task/23002/stat : 23002 (java) R 22685 22688 16605 0 -1 4202560 2 7499534 0 0 0 5 246802 521 20 0 18 0 226149010 8396075008 32213 33554432000 4194304 4196468 140726524243696 140383287764256 140386825016119 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36143104 140726524249269 140726524249393 140726524249393 140726524252111 0
Current cumulated CPU time of completed processes: 43.6767 s
Current children cumulated CPU time: 2476.51 s
Current children cumulated vsize: 8199292 KiB
Current children cumulated memory: 128852 KiB

Child status: 1
Real time (s): 2509.65
CPU time (s): 2520.23
CPU user time (s): 2512.29
CPU system time (s): 7.93992
CPU usage (%): 100.422
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3974992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.29
system time used= 7.93992
maximum resident set size= 3974596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7563919
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1079088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59982
involuntary context switches= 777


# summary of solver processes directly reported to runsolver:
#   pid: 22688,22706
#   total CPU time (s): 2520.23
#   total CPU user time (s): 2512.29
#   total CPU system time (s): 7.93992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6356 second user time and 27.3335 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 16:15:49
IDJOB=4305373
IDBENCH=141566
IDSOLVER=2782
FILE ID=node107/4305373-1534083349
RUNJOBID= node107-1534064712-16636
PBS_JOBID= 21036990
Free space on /tmp= 37932 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-07-m011_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-4305373-1534083349/watcher-4305373-1534083349 -o /tmp/evaluation-result-4305373-1534083349/solver-4305373-1534083349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305373-1534083349.xml

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

MD5SUM BENCH= cb154bca5bef3b2160515065825e7dfd
RANDOM SEED=1091398318

node107.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.40
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.40
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.40
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.40
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:        18451004 kB
MemAvailable:   26988640 kB
Buffers:          207556 kB
Cached:          8520952 kB
SwapCached:            0 kB
Active:         10080160 kB
Inactive:        3610936 kB
Active(anon):    4910928 kB
Inactive(anon):   104180 kB
Active(file):    5169232 kB
Inactive(file):  3506756 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7968 kB
Writeback:             0 kB
AnonPages:       5021060 kB
Mapped:            63916 kB
Shmem:             49804 kB
Slab:             318716 kB
SReclaimable:     290108 kB
SUnreclaim:        28608 kB
KernelStack:        4000 kB
PageTables:        15608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11397148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39460 MiB
End job on node107 at 2018-08-12 16:57:38