Trace number 4305623

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)? (TO) 2520.1 2488.43

General information on the benchmark

NameEternity/
Eternity-12-12_c18.xml
MD5SUM72288e631366ae5e472c0848b2762e00
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 variables456
Number of constraints193
Number of domains2
Minimum domain size17
Maximum domain size144
Distribution of domain sizes[{"size":17,"count":312},{"size":144,"count":144}]
Minimum variable degree1
Maximum variable degree13
Distribution of variable degrees[{"degree":1,"count":11},{"degree":2,"count":444},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity144
Distribution of constraint arities[{"arity":1,"count":48},{"arity":5,"count":144},{"arity":144,"count":1}]
Number of extensional constraints144
Number of intensional constraints48
Distribution of constraint types[{"type":"extension","count":144},{"type":"intension","count":48},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-31197-serial-file.bin HOME/instance-4305623-1534137230.xml
0.55/0.51	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Mon Aug 13 07:13:50 CEST 2018
0.66/0.54	c PID: 31200
0.66/0.54	c IP: 172.20.3.139
0.66/0.54	c HOST: node139.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.86/1.34	c (0,0) Parsing End
2.86/1.35	c (0,0) CSP: 456 int (0 aux), 0 bool (0 aux), 193 ctr, max domain size 144
2.86/1.35	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.86/1.35	c (0,0) Constraint Name Generate Begin
2.86/1.36	c (0,0) Ctr:HOME/instance-4305623-1534137230.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.86/1.36	c (0,0) Constraint Name Generate End
2.86/1.36	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.86/1.36	c (0,0) CSP to CSPinCNF Begin
20.31/10.22	c (9,9) translated 20 (10%) constraints
28.18/17.48	c (16,16) translated 39 (20%) constraints
36.20/24.77	c (24,23) translated 58 (30%) constraints
44.80/32.45	c (31,31) translated 78 (40%) constraints
53.16/39.81	c (39,38) translated 97 (50%) constraints
61.69/47.23	c (46,45) translated 116 (60%) constraints
70.73/55.07	c (54,52) translated 136 (70%) constraints
75.95/59.15	c (58,56) translated 155 (80%) constraints
75.95/59.15	c (58,56) translated 174 (90%) constraints
75.95/59.15	c (58,56) translated 193 (100%) constraints
80.05/61.76	c (61,58) STATISTICS1:HOME/instance-4305623-1534137230.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,120552,772250,144,144,145,2,144:10296,144:62064;17:899712;2:1322064;1:81840,145:144;144:2;5:12528;4:316656;3:129600;2:313272;1:48,2:10296;1:2345136;0:144,
80.05/61.76	c (61,58) ==========================================
80.05/61.76	c (61,58) Both Encoding selects:
80.05/61.76	c (61,58) Order
80.05/61.76	c (61,58) ==========================================
82.88/63.20	c (62,60) translated 77225 (10%) constraints
83.92/64.27	c (63,61) translated 154450 (20%) constraints
86.00/65.59	c (65,62) translated 231675 (30%) constraints
87.10/66.65	c (66,63) translated 308900 (40%) constraints
88.20/67.71	c (67,64) translated 386125 (50%) constraints
89.20/68.77	c (68,65) translated 463350 (60%) constraints
90.30/69.83	c (69,66) translated 540575 (70%) constraints
91.30/70.89	c (70,67) translated 617800 (80%) constraints
93.67/72.27	c (71,68) translated 695025 (90%) constraints
94.76/73.34	c (72,69) translated 772250 (100%) constraints
94.76/73.34	c (72,69) CSP to CSPinCNF End
94.76/73.39	c (72,69) CSP: 456 int (0 aux), 120096 bool (120096 aux), 772298 ctr, max domain size 144
94.76/73.39	c (72,69) Heap : 1391 MiB used (max 10744 MiB), NonHeap : 30 MiB used (max 0 MiB)
94.76/73.39	c (72,69) CSPinCNF Propagation Begin
114.25/88.18	c (87,83) 28557 values, 151339 unsatisfiable literals, and 165348 valid clauses are removed
114.25/88.18	c (87,83) CSPinCNF Propagation End
114.34/88.22	c (87,83) CSP: 24453 int (23997 aux), 96099 bool (96099 aux), 606950 ctr, max domain size 144
114.34/88.22	c (87,83) Heap : 1661 MiB used (max 10771 MiB), NonHeap : 31 MiB used (max 0 MiB)
114.34/88.22	c (87,83) Simplify CSPinCNF Begin
115.99/89.38	c (88,84) Simplify CSPinCNF End
116.09/89.42	c (88,84) CSP: 24453 int (23997 aux), 116691 bool (116691 aux), 627542 ctr, max domain size 144
116.09/89.42	c (88,84) Heap : 2327 MiB used (max 10771 MiB), NonHeap : 31 MiB used (max 0 MiB)
116.09/89.42	c (88,84) Calculate Precise Domain Begin
116.09/89.43	c (88,84) 0 values are removed by re-calculation
116.09/89.43	c (88,84) Calculate Precise Domain End
116.09/89.47	c (88,84) CSP: 24453 int (23997 aux), 116691 bool (116691 aux), 627542 ctr, max domain size 144
116.09/89.47	c (88,84) Heap : 2327 MiB used (max 10771 MiB), NonHeap : 31 MiB used (max 0 MiB)
116.09/89.47	c (88,84) CSPinCNF to SatSolver Begin
123.70/94.99	c (94,89) 62755 (10 %) CSP clauses are encoded (136947 SAT variables, 1912778 SAT clauses)
124.39/95.32	c (94,89) 125509 (20 %) CSP clauses are encoded (136947 SAT variables, 1975532 SAT clauses)
124.69/95.65	c (95,90) 188263 (30 %) CSP clauses are encoded (136947 SAT variables, 2038286 SAT clauses)
124.99/95.98	c (95,90) 251017 (40 %) CSP clauses are encoded (136947 SAT variables, 2101040 SAT clauses)
125.39/96.31	c (95,90) 313771 (50 %) CSP clauses are encoded (136947 SAT variables, 2163794 SAT clauses)
125.69/96.64	c (96,91) 376526 (60 %) CSP clauses are encoded (136947 SAT variables, 2226549 SAT clauses)
125.98/96.97	c (96,91) 439280 (70 %) CSP clauses are encoded (136947 SAT variables, 2289303 SAT clauses)
126.29/97.29	c (96,91) 502034 (80 %) CSP clauses are encoded (136947 SAT variables, 2352057 SAT clauses)
126.69/97.62	c (97,92) 564788 (90 %) CSP clauses are encoded (136947 SAT variables, 2414811 SAT clauses)
126.99/97.95	c (97,92) 627542 (100 %) CSP clauses are encoded (136947 SAT variables, 2477565 SAT clauses)
126.99/97.95	c (97,92) Launch Command will be: minisat_release
126.99/97.95	c (97,92) CSPinCNF to SatSolver End
126.99/97.95	c (97,92) Heap : 4063 MiB used (max 10777 MiB), NonHeap : 33 MiB used (max 0 MiB)
129.01/99.52	c (98,93) STATISTICS2:HOME/instance-4305623-1534137230.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,141144,627542,144,144,144,2,144:9900;44:9560;4:1132,144:57400;44:14920;17:760099;4:1172;2:1068710,144:101;100:1;44:40;5:9000;4:241120;3:101265;2:276015,2:20592;1:1861117,
129.01/99.52	c (98,93) 136947 bool, 2477566 clause
129.01/99.52	c (98,93) Export Begin
129.18/99.64	c (99,94) Export to HOME/scop-31197-serial-file.bin
129.18/99.64	c (99,94) Export End
129.18/99.64	c (99,94) Export File Size: 0.10 MB
129.18/99.64	c (99,94) 0,0,72,87,88,88,97,STOP-AFTER(DIMACS)
129.18/99.64	c END-Prog: Mon Aug 13 07:15:29 CEST 2018
129.18/99.68	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-31197-serial-file.bin
129.89/100.17	c (0,0) Read Serial File Begin
129.89/100.17	c (0,0) HOME/scop-31197-serial-file.bin
130.18/100.37	c (0,0) Read Serial File End
130.18/100.39	
130.18/100.39	scop order+minisat_release (2018-07-31)
130.18/100.39	(Solving Process)
130.18/100.39	
130.41/100.41	c BEGIN-Prog: Mon Aug 13 07:15:30 CEST 2018
130.41/100.41	c PID: 31367
130.41/100.41	c IP: 172.20.3.139
130.41/100.41	c HOST: node139.alineos.net
130.41/100.41	c (0,0) SatSolver.solve Begin
130.41/100.41	c (0,0) 0 bool, 0 clause
130.41/100.41	c (0,0) minisat_release HOME/instance-4305623-1534137230.xml-scop-31200.cnf
2520.03/2488.40	c (2388,0) receiving signal SIGTERM
2520.03/2488.40	s UNKNOWN
2520.03/2488.41	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2488.41	c (scop.sh) Remove HOME/scop-31197-serial-file.bin.
2520.03/2488.41	c (scop.sh) Killing background jobs.
2520.03/2488.41	c (2388,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 (4737 MiB free)
  memory of node 1: 16384 MiB (7005 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305623-1534137230/watcher-4305623-1534137230 -o /tmp/evaluation-result-4305623-1534137230/solver-4305623-1534137230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29821 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305623-1534137230.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
solver pid=31197, runsolver pid=31194
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 2.38 2.13 2.09 3/223 31214
/proc/meminfo: memFree=11963680/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231286150 115843072 348 33554432000 4194304 5098028 140729593015344 140729593012600 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 348 296 221 0 87 0
[pid=31200] ppid=31197 vsize=15012476 memory=72344 CPUtime=0.11 cores=1,3,5,7
/proc/31200/stat : 31200 (java) S 31197 31197 29789 0 -1 1077944320 6695 0 0 0 10 1 0 0 20 0 15 0 231286151 15372775424 18086 33554432000 4194304 4196468 140737412648496 140737412631040 140463316655863 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
/proc/31200/statm: 3753119 18086 2768 1 0 3715579 0
[pid=31200/tid=31201] ppid=31197 vsize=15012476 memory=-6150928374978363333 CPUtime=0.09 cores=1,3,5,7
/proc/31200/task/31201/stat : 31201 (java) R 31197 31197 29789 0 -1 4202560 4790 0 0 0 8 1 0 0 20 0 15 0 231286151 15372775424 18086 33554432000 4194304 4196468 140737412648496 140463288461336 140463299842672 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31202] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31202/stat : 31202 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 18086 33554432000 4194304 4196468 140737412648496 140463320898704 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31203] ppid=31197 vsize=15012476 memory=139658743371392 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31203/stat : 31203 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462777433104 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31204] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31204/stat : 31204 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462776380304 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31205] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31205/stat : 31205 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462775327504 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31206] ppid=31197 vsize=15012476 memory=139658743371392 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31206/stat : 31206 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286154 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462354200944 140463316667010 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31207] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31207/stat : 31207 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231286155 15372775424 18086 33554432000 4194304 4196468 140737412648496 140461872243744 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31208] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31208/stat : 31208 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286155 15372775424 18086 33554432000 4194304 4196468 140737412648496 140461603808112 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31209] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31209/stat : 31209 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286157 15372775424 18086 33554432000 4194304 4196468 140737412648496 140461229299536 140463316674459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31210] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31210/stat : 31210 (java) S 31197 31197 29789 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 231286157 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462353148784 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31211] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31211/stat : 31211 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286157 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462352095984 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31212] ppid=31197 vsize=15012476 memory=139658743371392 CPUtime=0.01 cores=1,3,5,7
/proc/31200/task/31212/stat : 31212 (java) S 31197 31197 29789 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 231286157 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462351043184 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31213] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31213/stat : 31213 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286158 15372775424 18086 33554432000 4194304 4196468 140737412648496 140460731394784 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31214] ppid=31197 vsize=15012476 memory=139658743371392 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31214/stat : 31214 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286158 15372775424 18086 33554432000 4194304 4196468 140737412648496 140462349990576 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73736 KiB

[startup+0.210734 s]*
/proc/loadavg: 2.38 2.13 2.09 4/223 31214
/proc/meminfo: memFree=11949728/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231286150 115843072 348 33554432000 4194304 5098028 140729593015344 140729593012600 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 348 296 221 0 87 0
[pid=31200] ppid=31197 vsize=15012476 memory=85688 CPUtime=0.25 cores=1,3,5,7
/proc/31200/stat : 31200 (java) S 31197 31197 29789 0 -1 1077944320 10318 0 0 0 23 2 0 0 20 0 15 0 231286151 15372775424 21422 33554432000 4194304 4196468 140737412648496 140737412631040 140463316655863 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
/proc/31200/statm: 3753119 21422 2876 1 0 3715579 0
[pid=31200/tid=31201] ppid=31197 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/31200/task/31201/stat : 31201 (java) R 31197 31197 29789 0 -1 4202560 8230 0 0 0 18 2 0 0 20 0 15 0 231286151 15372775424 21422 33554432000 4194304 4196468 140737412648496 140463288480672 140462819965636 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31202] ppid=31197 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31202/stat : 31202 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 21422 33554432000 4194304 4196468 140737412648496 140463320898704 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31203] ppid=31197 vsize=15012476 memory=3473039739702859424 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31203/stat : 31203 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462777433104 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31204] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31204/stat : 31204 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462776380304 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31205] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31205/stat : 31205 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462775327504 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31206] ppid=31197 vsize=15012476 memory=139658743371392 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31206/stat : 31206 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286154 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462354200944 140463316667010 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31207] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31207/stat : 31207 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231286155 15372775424 21422 33554432000 4194304 4196468 140737412648496 140461872243744 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31208] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31208/stat : 31208 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286155 15372775424 21422 33554432000 4194304 4196468 140737412648496 140461603808112 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31209] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31209/stat : 31209 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286157 15372775424 21422 33554432000 4194304 4196468 140737412648496 140461229299536 140463316674459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31210] ppid=31197 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31200/task/31210/stat : 31210 (java) S 31197 31197 29789 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 231286157 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462353148784 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31211] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31211/stat : 31211 (java) S 31197 31197 29789 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 231286157 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462352095984 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31212] ppid=31197 vsize=15012476 memory=139658743371392 CPUtime=0.03 cores=1,3,5,7
/proc/31200/task/31212/stat : 31212 (java) R 31197 31197 29789 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 15 0 231286157 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462351043184 140463300736350 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31213] ppid=31197 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31213/stat : 31213 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286158 15372775424 21422 33554432000 4194304 4196468 140737412648496 140460731394784 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31214] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31214/stat : 31214 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286158 15372775424 21422 33554432000 4194304 4196468 140737412648496 140462349990576 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87080 KiB

[startup+0.310737 s]*
/proc/loadavg: 2.38 2.13 2.09 3/223 31214
/proc/meminfo: memFree=11945308/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231286150 115843072 348 33554432000 4194304 5098028 140729593015344 140729593012600 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 348 296 221 0 87 0
[pid=31200] ppid=31197 vsize=15012476 memory=89872 CPUtime=0.43 cores=1,3,5,7
/proc/31200/stat : 31200 (java) S 31197 31197 29789 0 -1 1077944320 10935 0 0 0 40 3 0 0 20 0 15 0 231286151 15372775424 22468 33554432000 4194304 4196468 140737412648496 140737412631040 140463316655863 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
/proc/31200/statm: 3753119 22468 2985 1 0 3715579 0
[pid=31200/tid=31201] ppid=31197 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/31200/task/31201/stat : 31201 (java) R 31197 31197 29789 0 -1 4202560 8662 0 0 0 27 2 0 0 20 0 15 0 231286151 15372775424 22468 33554432000 4194304 4196468 140737412648496 140463288462592 140462819920335 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31202] ppid=31197 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31202/stat : 31202 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 22468 33554432000 4194304 4196468 140737412648496 140463320898704 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31203] ppid=31197 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31203/stat : 31203 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462777433104 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31204] ppid=31197 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31204/stat : 31204 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462776380304 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31205] ppid=31197 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31205/stat : 31205 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286153 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462775327504 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31206] ppid=31197 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31206/stat : 31206 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286154 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462354200944 140463316667010 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31207] ppid=31197 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31207/stat : 31207 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231286155 15372775424 22468 33554432000 4194304 4196468 140737412648496 140461872243744 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31208] ppid=31197 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31208/stat : 31208 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286155 15372775424 22468 33554432000 4194304 4196468 140737412648496 140461603808112 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31209] ppid=31197 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31209/stat : 31209 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286157 15372775424 22468 33554432000 4194304 4196468 140737412648496 140461229299536 140463316674459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31210] ppid=31197 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31200/task/31210/stat : 31210 (java) R 31197 31197 29789 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 15 0 231286157 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462353148784 140463316667010 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31211] ppid=31197 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31200/task/31211/stat : 31211 (java) R 31197 31197 29789 0 -1 4202560 64 0 0 0 1 0 0 0 20 0 15 0 231286157 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462352095984 140463300192805 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31212] ppid=31197 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31200/task/31212/stat : 31212 (java) R 31197 31197 29789 0 -1 4202560 335 0 0 0 7 0 0 0 20 0 15 0 231286157 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462351043184 140463295460191 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31213] ppid=31197 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31213/stat : 31213 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286158 15372775424 22468 33554432000 4194304 4196468 140737412648496 140460731394784 140463316666069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31214] ppid=31197 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31214/stat : 31214 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286158 15372775424 22468 33554432000 4194304 4196468 140737412648496 140462349990576 140463316667010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91264 KiB

[startup+0.700861 s]
/proc/loadavg: 2.38 2.13 2.09 3/223 31214
/proc/meminfo: memFree=11921000/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231286150 115843072 348 33554432000 4194304 5098028 140729593015344 140729593012600 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 348 296 221 0 87 0
[pid=31200] ppid=31197 vsize=15018748 memory=128600 CPUtime=1.03 cores=1,3,5,7
/proc/31200/stat : 31200 (java) S 31197 31197 29789 0 -1 1077944320 17879 0 0 0 99 4 0 0 20 0 15 0 231286151 15379197952 32150 33554432000 4194304 4196468 140737412648496 140737412631040 140463316655863 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
/proc/31200/statm: 3754687 32150 3118 1 0 3716091 0
[pid=31200/tid=31201] ppid=31197 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/31200/task/31201/stat : 31201 (java) R 31197 31197 29789 0 -1 4202560 15190 0 0 0 63 4 0 0 20 0 15 0 231286151 15379197952 32150 33554432000 4194304 4196468 140737412648496 140463288485376 140463316677789 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31202] ppid=31197 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31202/stat : 31202 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15379197952 32150 33554432000 4194304 4196468 140737412648496 140463320898704 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31203] ppid=31197 vsize=15018748 memory=62712 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31203/stat : 31203 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462777433104 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31204] ppid=31197 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31204/stat : 31204 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231286153 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462776380304 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31205] ppid=31197 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31205/stat : 31205 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286153 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462775327504 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31206] ppid=31197 vsize=15018748 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31206/stat : 31206 (java) S 31197 31197 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231286154 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462354200944 140463316667010 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31207] ppid=31197 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31207/stat : 31207 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231286155 15379197952 32150 33554432000 4194304 4196468 140737412648496 140461872243744 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31208] ppid=31197 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31208/stat : 31208 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286155 15379197952 32150 33554432000 4194304 4196468 140737412648496 140461603808112 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31209] ppid=31197 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31209/stat : 31209 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286157 15379197952 32150 33554432000 4194304 4196468 140737412648496 140461229299536 140463316674459 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31210] ppid=31197 vsize=15018748 memory=876 CPUtime=0.08 cores=1,3,5,7
/proc/31200/task/31210/stat : 31210 (java) S 31197 31197 29789 0 -1 1077944384 588 0 0 0 8 0 0 0 20 0 15 0 231286157 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462353148784 140463316667010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31211] ppid=31197 vsize=15018748 memory=10096 CPUtime=0.1 cores=1,3,5,7
/proc/31200/task/31211/stat : 31211 (java) S 31197 31197 29789 0 -1 1077944384 310 0 0 0 10 0 0 0 20 0 15 0 231286157 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462352095984 140463316667010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31212] ppid=31197 vsize=15018748 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/31200/task/31212/stat : 31212 (java) S 31197 31197 29789 0 -1 1077944384 455 0 0 0 17 0 0 0 20 0 15 0 231286157 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462351043184 140463316667010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31213] ppid=31197 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31213/stat : 31213 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231286158 15379197952 32150 33554432000 4194304 4196468 140737412648496 140460731394784 140463316666069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
[pid=31200/tid=31214] ppid=31197 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/31200/task/31214/stat : 31214 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231286158 15379197952 32150 33554432000 4194304 4196468 140737412648496 140462349990576 140463316667010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140737412649991 140737412650289 140737412650289 140737412653007 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 129992 KiB

[startup+1.50087 s]
/proc/loadavg: 2.51 2.16 2.10 4/223 31214
/proc/meminfo: memFree=11803096/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 231286150 115843072 348 33554432000 4194304 5098028 140729593015344 140729593012600 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 348 296 221 0 87 0

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

[pid=31367/tid=31370] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31370/stat : 31370 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190558689680 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31371] ppid=31197 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31371/stat : 31371 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190557637136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31372] ppid=31197 vsize=8068220 memory=4486604260213485459 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31372/stat : 31372 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190556584592 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31373] ppid=31197 vsize=8068220 memory=118788 CPUtime=0.06 cores=1,3,5,7
/proc/31367/task/31373/stat : 31373 (java) S 31197 31197 29789 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189999364592 140190754290306 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31374] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31374/stat : 31374 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189611582880 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31375] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31375/stat : 31375 (java) S 31197 31197 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189477361136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31376] ppid=31197 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31376/stat : 31376 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189102856912 140190754297755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31377] ppid=31197 vsize=8068220 memory=1232 CPUtime=0.14 cores=1,3,5,7
/proc/31367/task/31377/stat : 31377 (java) S 31197 31197 29789 0 -1 1077944384 890 0 0 0 14 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189998311408 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31378] ppid=31197 vsize=8068220 memory=6944656575208382560 CPUtime=0.13 cores=1,3,5,7
/proc/31367/task/31378/stat : 31378 (java) S 31197 31197 29789 0 -1 1077944384 470 0 0 0 12 1 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189997258864 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31379] ppid=31197 vsize=8068220 memory=6944656592455097440 CPUtime=0.23 cores=1,3,5,7
/proc/31367/task/31379/stat : 31379 (java) S 31197 31197 29789 0 -1 1077944384 591 0 0 0 23 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189996206320 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31380] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31380/stat : 31380 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188604951136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31381] ppid=31197 vsize=8068220 memory=373252 CPUtime=1.52 cores=1,3,5,7
/proc/31367/task/31381/stat : 31381 (java) S 31197 31197 29789 0 -1 1077944384 153 0 0 0 72 80 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189995154224 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31383] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31383/stat : 31383 (java) S 31197 31197 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231296194 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189987345984 140190754303769 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31385] ppid=31197 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31385/stat : 31385 (java) S 31197 31197 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231296195 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188068065456 140190754301085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31386] ppid=31197 vsize=8068220 memory=62760 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31386/stat : 31386 (java) S 31197 31197 29789 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231296195 8261857280 29697 33554432000 4194304 4196468 140729787282944 140187799633200 140190754301085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31387] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31387/stat : 31387 (java) S 31197 31197 29789 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231296197 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188202294304 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
Current children cumulated CPU time: 2413.85 s
Current children cumulated vsize: 8623412 KiB
Current children cumulated memory: 489052 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/201 31460
/proc/meminfo: memFree=12713760/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1468 CPUtime=129.32 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 590 72196 0 0 0 0 12617 315 20 0 1 0 231286150 115843072 367 33554432000 4194304 5098028 140729593015344 140729593012088 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 367 311 221 0 87 0
[pid=31367] ppid=31197 vsize=8068220 memory=118788 CPUtime=2.96 cores=1,3,5,7
/proc/31367/stat : 31367 (java) S 31197 31197 29789 0 -1 1077944320 18084 0 0 0 202 94 0 0 20 0 19 0 231296119 8261857280 29697 33554432000 4194304 4196468 140729787282944 140729787265488 140190754279159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
/proc/31367/statm: 2017055 29697 3154 1 0 1978454 0
[pid=31382] ppid=31367 vsize=442924 memory=388824 CPUtime=2341.62 cores=1,3,5,7
/proc/31382/stat : 31382 (minisat_release) R 31367 31197 29789 0 -1 4202496 2240272 0 0 0 233834 328 0 0 20 0 1 0 231296194 453554176 97206 33554432000 4194304 4308513 140732841470208 140732841466952 4262652 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 35971072 140732841477236 140732841477334 140732841477334 140732841480133 0
/proc/31382/statm: 110731 97206 341 28 0 106971 0
[pid=31367/tid=31368] ppid=31197 vsize=8068220 memory=118788 CPUtime=0.78 cores=1,3,5,7
/proc/31367/task/31368/stat : 31368 (java) S 31197 31197 29789 0 -1 1077944384 14560 0 0 0 72 6 0 0 20 0 19 0 231296119 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190726119312 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31369] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31369/stat : 31369 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190758521104 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31370] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31370/stat : 31370 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190558689680 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31371] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31371/stat : 31371 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190557637136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31372] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31372/stat : 31372 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190556584592 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31373] ppid=31197 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/31367/task/31373/stat : 31373 (java) S 31197 31197 29789 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189999364592 140190754290306 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31374] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31374/stat : 31374 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189611582880 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31375] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31375/stat : 31375 (java) S 31197 31197 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189477361136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31376] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31376/stat : 31376 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189102856912 140190754297755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31377] ppid=31197 vsize=8068220 memory=1468 CPUtime=0.14 cores=1,3,5,7
/proc/31367/task/31377/stat : 31377 (java) S 31197 31197 29789 0 -1 1077944384 890 0 0 0 14 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189998311408 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31378] ppid=31197 vsize=8068220 memory=2588 CPUtime=0.13 cores=1,3,5,7
/proc/31367/task/31378/stat : 31378 (java) S 31197 31197 29789 0 -1 1077944384 470 0 0 0 12 1 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189997258864 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31379] ppid=31197 vsize=8068220 memory=4108 CPUtime=0.23 cores=1,3,5,7
/proc/31367/task/31379/stat : 31379 (java) S 31197 31197 29789 0 -1 1077944384 591 0 0 0 23 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189996206320 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31380] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31380/stat : 31380 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188604951136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31381] ppid=31197 vsize=8068220 memory=1468 CPUtime=1.56 cores=1,3,5,7
/proc/31367/task/31381/stat : 31381 (java) S 31197 31197 29789 0 -1 1077944384 157 0 0 0 74 82 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189995154224 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31383] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31383/stat : 31383 (java) S 31197 31197 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231296194 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189987345984 140190754303769 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31385] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31385/stat : 31385 (java) S 31197 31197 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231296195 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188068065456 140190754301085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31386] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31386/stat : 31386 (java) S 31197 31197 29789 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231296195 8261857280 29697 33554432000 4194304 4196468 140729787282944 140187799633200 140190754301085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31387] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31387/stat : 31387 (java) S 31197 31197 29789 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231296197 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188202294304 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
Current children cumulated CPU time: 2473.9 s
Current children cumulated vsize: 8624272 KiB
Current children cumulated memory: 509080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2488.4 s]
/proc/loadavg: 1.00 1.01 1.11 2/200 31462
/proc/meminfo: memFree=12699972/32770624 swapFree=67108860/67108860
[pid=31197] ppid=31194 vsize=113128 memory=1468 CPUtime=129.32 cores=1,3,5,7
/proc/31197/stat : 31197 (scop.sh) S 31194 31197 29789 0 -1 4202496 590 72196 0 0 0 0 12617 315 20 0 1 0 231286150 115843072 367 33554432000 4194304 5098028 140729593015344 140729593012088 139721677845116 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32755712 140729593021505 140729593021703 140729593021703 140729593024461 0
/proc/31197/statm: 28282 367 311 221 0 87 0
[pid=31367] ppid=31197 vsize=8068220 memory=118788 CPUtime=2.99 cores=1,3,5,7
/proc/31367/stat : 31367 (java) S 31197 31197 29789 0 -1 1077944320 18088 0 0 0 203 96 0 0 20 0 19 0 231296119 8261857280 29697 33554432000 4194304 4196468 140729787282944 140729787265488 140190754279159 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
/proc/31367/statm: 2017055 29697 3154 1 0 1978454 0
[pid=31382] ppid=31367 vsize=443380 memory=400920 CPUtime=2387.72 cores=1,3,5,7
/proc/31382/stat : 31382 (minisat_release) R 31367 31197 29789 0 -1 4202496 2284031 0 0 0 238438 334 0 0 20 0 1 0 231296194 454021120 100230 33554432000 4194304 4308513 140732841470208 140732841466968 4276097 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 35971072 140732841477236 140732841477334 140732841477334 140732841480133 0
/proc/31382/statm: 110845 100230 341 28 0 107085 0
[pid=31367/tid=31368] ppid=31197 vsize=8068220 memory=1228 CPUtime=0.78 cores=1,3,5,7
/proc/31367/task/31368/stat : 31368 (java) S 31197 31197 29789 0 -1 1077944384 14560 0 0 0 72 6 0 0 20 0 19 0 231296119 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190726119312 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31369] ppid=31197 vsize=8068220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31369/stat : 31369 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190758521104 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31370] ppid=31197 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31370/stat : 31370 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190558689680 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31371] ppid=31197 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31371/stat : 31371 (java) S 31197 31197 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190557637136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31372] ppid=31197 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31372/stat : 31372 (java) S 31197 31197 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231296120 8261857280 29697 33554432000 4194304 4196468 140729787282944 140190556584592 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31373] ppid=31197 vsize=8068220 memory=34960 CPUtime=0.06 cores=1,3,5,7
/proc/31367/task/31373/stat : 31373 (java) S 31197 31197 29789 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189999364592 140190754290306 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31374] ppid=31197 vsize=8068220 memory=3368 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31374/stat : 31374 (java) S 31197 31197 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189611582880 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31375] ppid=31197 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31375/stat : 31375 (java) S 31197 31197 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231296122 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189477361136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31376] ppid=31197 vsize=8068220 memory=118788 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31376/stat : 31376 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189102856912 140190754297755 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31377] ppid=31197 vsize=8068220 memory=-7824251494390585192 CPUtime=0.14 cores=1,3,5,7
/proc/31367/task/31377/stat : 31377 (java) S 31197 31197 29789 0 -1 1077944384 890 0 0 0 14 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189998311408 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31378] ppid=31197 vsize=8068220 memory=-7824251494390585192 CPUtime=0.13 cores=1,3,5,7
/proc/31367/task/31378/stat : 31378 (java) S 31197 31197 29789 0 -1 1077944384 470 0 0 0 12 1 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189997258864 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31379] ppid=31197 vsize=8068220 memory=4126316290023845779 CPUtime=0.23 cores=1,3,5,7
/proc/31367/task/31379/stat : 31379 (java) S 31197 31197 29789 0 -1 1077944384 591 0 0 0 23 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189996206320 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31380] ppid=31197 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31380/stat : 31380 (java) S 31197 31197 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188604951136 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31381] ppid=31197 vsize=8068220 memory=16228 CPUtime=1.59 cores=1,3,5,7
/proc/31367/task/31381/stat : 31381 (java) S 31197 31197 29789 0 -1 1077944384 161 0 0 0 75 84 0 0 20 0 19 0 231296125 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189995154224 140190754290306 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31383] ppid=31197 vsize=8068220 memory=34960 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31383/stat : 31383 (java) S 31197 31197 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231296194 8261857280 29697 33554432000 4194304 4196468 140729787282944 140189987345984 140190754303769 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31385] ppid=31197 vsize=8068220 memory=-7824251494390585192 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31385/stat : 31385 (java) S 31197 31197 29789 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 231296195 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188068065456 140190754301085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31386] ppid=31197 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31386/stat : 31386 (java) S 31197 31197 29789 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231296195 8261857280 29697 33554432000 4194304 4196468 140729787282944 140187799633200 140190754301085 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
[pid=31367/tid=31387] ppid=31197 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/31367/task/31387/stat : 31387 (java) S 31197 31197 29789 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231296197 8261857280 29697 33554432000 4194304 4196468 140729787282944 140188202294304 140190754289365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140729787286709 140729787286833 140729787286833 140729787289551 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8624728 KiB
Current children cumulated memory: 521176 KiB

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

[startup+2488.41 s]
# the end of solver process 31197 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=126.178 s, system=3.15629 s

[startup+2488.43 s]
# the end of solver process 31367 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.6 s, system=7.49998 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

Child status: 1
Real time (s): 2488.43
CPU time (s): 2520.1
CPU user time (s): 2512.6
CPU system time (s): 7.49998
CPU usage (%): 101.272
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 5417480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.6
system time used= 7.49998
maximum resident set size= 5416636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2375448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61472
involuntary context switches= 4295


# summary of solver processes directly reported to runsolver:
#   pid: 31197,31367
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2512.6
#   total CPU system time (s): 7.49998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1672 second user time and 29.1222 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-13 07:13:50
IDJOB=4305623
IDBENCH=141662
IDSOLVER=2783
FILE ID=node139/4305623-1534137230
RUNJOBID= node139-1534129696-29821
PBS_JOBID= 21037010
Free space on /tmp= 28204 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-12-12_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305623-1534137230/watcher-4305623-1534137230 -o /tmp/evaluation-result-4305623-1534137230/solver-4305623-1534137230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29821 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305623-1534137230.xml

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

MD5SUM BENCH= 72288e631366ae5e472c0848b2762e00
RANDOM SEED=1888780369

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:        12024132 kB
MemAvailable:   30885312 kB
Buffers:          251900 kB
Cached:         18581376 kB
SwapCached:            0 kB
Active:          8960856 kB
Inactive:       10944904 kB
Active(anon):    1026504 kB
Inactive(anon):    98568 kB
Active(file):    7934352 kB
Inactive(file): 10846336 kB
Unevictable:        7232 kB
Mlocked:            7232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8964 kB
Writeback:             0 kB
AnonPages:       1079548 kB
Mapped:            74420 kB
Shmem:             49804 kB
Slab:             537108 kB
SReclaimable:     508952 kB
SUnreclaim:        28156 kB
KernelStack:        3600 kB
PageTables:         7616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6967692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 28404 MiB
End job on node139 at 2018-08-13 07:55:18