Trace number 4305714

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.15 2504.82

General information on the benchmark

NameFrb/
frb-59-26-3-mgd_c18.xml
MD5SUM4c66b19dbffc4da62838f27d220d1d7d
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 variables59
Number of constraints547
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":59}]
Minimum variable degree11
Maximum variable degree27
Distribution of variable degrees[{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":6},{"degree":17,"count":9},{"degree":18,"count":3},{"degree":19,"count":8},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":3},{"degree":24,"count":4},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":547}]
Number of extensional constraints547
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":547}]
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-30457-serial-file.bin HOME/instance-4305714-1534089232.xml
0.65/0.52	
0.65/0.52	scop both+minisat_release (2018-07-31)
0.65/0.52	(Encoding Process)
0.65/0.52	
0.65/0.55	c BEGIN-Prog: Sun Aug 12 17:53:53 CEST 2018
0.65/0.55	c PID: 30460
0.65/0.55	c IP: 172.20.3.106
0.65/0.55	c HOST: node106.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.05/1.31	c (0,0) Parsing End
3.05/1.31	c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 547 ctr, max domain size 26
3.05/1.31	c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.05/1.31	c (0,0) Constraint Name Generate Begin
3.05/1.33	c (0,0) Ctr:HOME/instance-4305714-1534089232.xml,ExtensionConflict:ExtensionSupport:IntVar
3.05/1.33	c (0,0) Constraint Name Generate End
3.05/1.33	c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.05/1.33	c (0,0) CSP to CSPinCNF Begin
6.81/2.57	c (2,2) translated 55 (10%) constraints
8.67/3.12	c (2,2) translated 110 (20%) constraints
10.15/3.63	c (3,3) translated 165 (30%) constraints
11.69/4.15	c (3,3) translated 219 (40%) constraints
12.88/4.55	c (4,4) translated 274 (50%) constraints
14.08/4.93	c (4,4) translated 329 (60%) constraints
15.00/5.26	c (4,4) translated 383 (70%) constraints
15.84/5.56	c (5,5) translated 438 (80%) constraints
16.46/5.84	c (5,5) translated 493 (90%) constraints
16.92/6.12	c (5,5) translated 547 (100%) constraints
17.93/6.54	c (6,5) STATISTICS1:HOME/instance-4305714-1534089232.xml,ExtensionConflict:ExtensionSupport:IntVar,579,78617,-1,26,27,1,,26:291911;2:7928,27:20;4:64760;3:12605;2:1232,1:299839;0:20,
17.93/6.54	c (6,5) ==========================================
17.93/6.54	c (6,5) Both Encoding selects:
17.93/6.54	c (6,5) Order
17.93/6.54	c (6,5) ==========================================
18.47/6.77	c (6,6) translated 7862 (10%) constraints
18.99/6.92	c (6,6) translated 15724 (20%) constraints
19.10/7.06	c (6,6) translated 23586 (30%) constraints
19.21/7.19	c (6,6) translated 31447 (40%) constraints
19.45/7.33	c (6,6) translated 39309 (50%) constraints
20.18/7.61	c (7,6) translated 47171 (60%) constraints
20.28/7.74	c (7,7) translated 55032 (70%) constraints
20.38/7.88	c (7,7) translated 62894 (80%) constraints
20.59/8.01	c (7,7) translated 70756 (90%) constraints
20.69/8.14	c (7,7) translated 78617 (100%) constraints
20.69/8.14	c (7,7) CSP to CSPinCNF End
20.69/8.15	c (7,7) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
20.69/8.15	c (7,7) Heap : 459 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.69/8.15	c (7,7) CSPinCNF Propagation Begin
21.50/8.55	c (8,7) 0 values, 6636 unsatisfiable literals, and 0 valid clauses are removed
21.50/8.55	c (8,7) CSPinCNF Propagation End
21.50/8.55	c (8,7) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
21.50/8.55	c (8,7) Heap : 842 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.50/8.55	c (8,7) Simplify CSPinCNF Begin
21.81/8.70	c (8,8) Simplify CSPinCNF End
21.81/8.70	c (8,8) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
21.81/8.70	c (8,8) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.81/8.70	c (8,8) Calculate Precise Domain Begin
21.81/8.70	c (8,8) 0 values are removed by re-calculation
21.81/8.70	c (8,8) Calculate Precise Domain End
21.81/8.71	c (8,8) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
21.81/8.71	c (8,8) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.81/8.71	c (8,8) CSPinCNF to SatSolver Begin
22.12/8.87	c (8,8) 7862 (10 %) CSP clauses are encoded (1995 SAT variables, 9277 SAT clauses)
22.40/8.93	c (8,8) 15724 (20 %) CSP clauses are encoded (1995 SAT variables, 17139 SAT clauses)
22.40/8.99	c (8,8) 23586 (30 %) CSP clauses are encoded (1995 SAT variables, 25001 SAT clauses)
22.68/9.04	c (8,8) 31447 (40 %) CSP clauses are encoded (1995 SAT variables, 32862 SAT clauses)
22.68/9.09	c (8,8) 39309 (50 %) CSP clauses are encoded (1995 SAT variables, 40724 SAT clauses)
22.81/9.14	c (8,8) 47171 (60 %) CSP clauses are encoded (1995 SAT variables, 48586 SAT clauses)
22.81/9.19	c (8,8) 55032 (70 %) CSP clauses are encoded (1995 SAT variables, 56447 SAT clauses)
22.90/9.24	c (8,8) 62894 (80 %) CSP clauses are encoded (1995 SAT variables, 64309 SAT clauses)
23.00/9.30	c (8,8) 70756 (90 %) CSP clauses are encoded (1995 SAT variables, 72171 SAT clauses)
23.00/9.35	c (8,8) 78617 (100 %) CSP clauses are encoded (1995 SAT variables, 80032 SAT clauses)
23.00/9.35	c (8,8) Launch Command will be: minisat_release
23.00/9.35	c (8,8) CSPinCNF to SatSolver End
23.00/9.35	c (8,8) Heap : 1388 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.63/9.63	c (9,8) STATISTICS2:HOME/instance-4305714-1534089232.xml,ExtensionConflict:ExtensionSupport:IntVar,579,78617,-1,26,26,1,,26:285295;2:7928,26:20;4:58579;3:18351;2:1667,1:293223,
23.63/9.64	c (9,8) 1995 bool, 80033 clause
23.63/9.64	c (9,8) Export Begin
23.76/9.73	c (9,9) Export to HOME/scop-30457-serial-file.bin
23.76/9.73	c (9,9) Export End
23.76/9.73	c (9,9) Export File Size: 0.01 MB
23.76/9.73	c (9,9) 0,0,7,8,8,8,8,STOP-AFTER(DIMACS)
23.76/9.73	c END-Prog: Sun Aug 12 17:54:02 CEST 2018
23.76/9.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30457-serial-file.bin
24.43/10.24	c (0,0) Read Serial File Begin
24.43/10.24	c (0,0) HOME/scop-30457-serial-file.bin
24.73/10.42	c (0,0) Read Serial File End
24.73/10.43	
24.73/10.43	scop order+minisat_release (2018-07-31)
24.73/10.43	(Solving Process)
24.73/10.43	
24.73/10.45	c BEGIN-Prog: Sun Aug 12 17:54:03 CEST 2018
24.73/10.45	c PID: 30475
24.73/10.45	c IP: 172.20.3.106
24.73/10.45	c HOST: node106.alineos.net
24.73/10.46	c (0,0) SatSolver.solve Begin
24.73/10.46	c (0,0) 0 bool, 0 clause
24.73/10.46	c (0,0) minisat_release HOME/instance-4305714-1534089232.xml-scop-30460.cnf
2520.10/2504.80	c (2494,0) SatSolver is killed by some reasons.
2520.10/2504.80	c (2494,0) receiving signal SIGTERM
2520.10/2504.80	s UNKNOWN
2520.10/2504.80	c (2494,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.10/2504.80	c END-Prog: Sun Aug 12 18:35:37 CEST 2018
2520.10/2504.81	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.10/2504.81	c (scop.sh) Killing background jobs.

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 (9800 MiB free)
  memory of node 1: 16384 MiB (12880 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.10011 s]*
/proc/loadavg: 2.00 2.02 2.05 3/223 30474
/proc/meminfo: memFree=23164532/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226486088 115843072 349 33554432000 4194304 5098028 140737480106624 140737480103880 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 349 296 221 0 87 0
[pid=30460] ppid=30457 vsize=15012476 memory=73436 CPUtime=0.11 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30457 23167 0 -1 1077944320 6956 0 0 0 9 2 0 0 20 0 15 0 226486089 15372775424 18294 33554432000 4194304 4196468 140730593902368 140730593884912 140144131043063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
/proc/30460/statm: 3753119 18294 2739 1 0 3715579 0
[pid=30460/tid=30461] ppid=30457 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=0,2,4,6
/proc/30460/task/30461/stat : 30461 (java) R 30457 30457 23167 0 -1 4202560 5068 0 0 0 7 1 0 0 20 0 15 0 226486089 15372775424 18359 33554432000 4194304 4196468 140730593902368 140144102855048 140144115123550 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30462] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 18359 33554432000 4194304 4196468 140730593902368 140144135285392 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30463] ppid=30457 vsize=15012476 memory=139994390644352 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143591680528 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30464] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143590627728 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30465] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143589574928 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30466] ppid=30457 vsize=15012476 memory=139994390644352 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486092 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143100930928 140144131054210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30467] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226486093 15372775424 18359 33554432000 4194304 4196468 140730593902368 140142702487072 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30468] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486093 15372775424 18359 33554432000 4194304 4196468 140730593902368 140142434051440 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30469] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 18359 33554432000 4194304 4196468 140730593902368 140142059542864 140144131061659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30470] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30457 23167 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143099877744 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30471] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143098824944 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30472] ppid=30457 vsize=15012476 memory=139994390644352 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) R 30457 30457 23167 0 -1 4202560 270 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143097772144 140144123280190 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30473] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486096 15372775424 18359 33554432000 4194304 4196468 140730593902368 140141561637088 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30474] ppid=30457 vsize=15012476 memory=139994390644352 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486096 15372775424 18359 33554432000 4194304 4196468 140730593902368 140143096720560 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74832 KiB

[startup+0.210598 s]*
/proc/loadavg: 2.00 2.02 2.05 3/223 30474
/proc/meminfo: memFree=23150952/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226486088 115843072 349 33554432000 4194304 5098028 140737480106624 140737480103880 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 349 296 221 0 87 0
[pid=30460] ppid=30457 vsize=15012476 memory=86524 CPUtime=0.25 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30457 23167 0 -1 1077944320 10476 0 0 0 22 3 0 0 20 0 15 0 226486089 15372775424 21631 33554432000 4194304 4196468 140730593902368 140730593884912 140144131043063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
/proc/30460/statm: 3753119 21631 2876 1 0 3715579 0
[pid=30460/tid=30461] ppid=30457 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/30460/task/30461/stat : 30461 (java) R 30457 30457 23167 0 -1 4202560 8392 0 0 0 17 2 0 0 20 0 15 0 226486089 15372775424 21631 33554432000 4194304 4196468 140730593902368 140144102862976 140144131064989 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30462] ppid=30457 vsize=15012476 memory=553 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 21631 33554432000 4194304 4196468 140730593902368 140144135285392 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30463] ppid=30457 vsize=15012476 memory=3690335454540908192 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143591680528 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30464] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143590627728 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30465] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143589574928 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30466] ppid=30457 vsize=15012476 memory=139994390644352 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486092 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143100930928 140144131054210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30467] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226486093 15372775424 21631 33554432000 4194304 4196468 140730593902368 140142702487072 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30468] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486093 15372775424 21631 33554432000 4194304 4196468 140730593902368 140142434051440 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30469] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 21631 33554432000 4194304 4196468 140730593902368 140142059542864 140144131061659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30470] ppid=30457 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) R 30457 30457 23167 0 -1 4202560 427 0 0 0 1 0 0 0 20 0 15 0 226486095 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143099877744 140144131064410 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30471] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30457 23167 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143098824944 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30472] ppid=30457 vsize=15012476 memory=139994390644352 CPUtime=0.03 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) R 30457 30457 23167 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 226486095 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143097772144 140144131054998 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30473] ppid=30457 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486096 15372775424 21631 33554432000 4194304 4196468 140730593902368 140141561637088 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30474] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486096 15372775424 21631 33554432000 4194304 4196468 140730593902368 140143096720560 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87920 KiB

[startup+0.31056 s]*
/proc/loadavg: 2.00 2.02 2.05 3/223 30474
/proc/meminfo: memFree=23147540/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226486088 115843072 349 33554432000 4194304 5098028 140737480106624 140737480103880 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 349 296 221 0 87 0
[pid=30460] ppid=30457 vsize=15012476 memory=90048 CPUtime=0.42 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30457 23167 0 -1 1077944320 10992 0 0 0 39 3 0 0 20 0 15 0 226486089 15372775424 22512 33554432000 4194304 4196468 140730593902368 140730593884912 140144131043063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
/proc/30460/statm: 3753119 22512 2976 1 0 3715579 0
[pid=30460/tid=30461] ppid=30457 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30460/task/30461/stat : 30461 (java) R 30457 30457 23167 0 -1 4202560 8762 0 0 0 27 2 0 0 20 0 15 0 226486089 15372775424 22512 33554432000 4194304 4196468 140730593902368 140144102838064 140144115123580 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30462] ppid=30457 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 22512 33554432000 4194304 4196468 140730593902368 140144135285392 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30463] ppid=30457 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143591680528 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30464] ppid=30457 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143590627728 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30465] ppid=30457 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143589574928 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30466] ppid=30457 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486092 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143100930928 140144131054210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30467] ppid=30457 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226486093 15372775424 22512 33554432000 4194304 4196468 140730593902368 140142702487072 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30468] ppid=30457 vsize=15012476 memory=7755356400017183579 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486093 15372775424 22512 33554432000 4194304 4196468 140730593902368 140142434051440 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30469] ppid=30457 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486095 15372775424 22512 33554432000 4194304 4196468 140730593902368 140142059542864 140144131061659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30470] ppid=30457 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30457 23167 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 226486095 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143099877744 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30471] ppid=30457 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30457 23167 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 226486095 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143098824944 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30472] ppid=30457 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30457 23167 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 15 0 226486095 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143097772144 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30473] ppid=30457 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486096 15372775424 22512 33554432000 4194304 4196468 140730593902368 140141561637088 140144131053269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30474] ppid=30457 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486096 15372775424 22512 33554432000 4194304 4196468 140730593902368 140143096720560 140144131054210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91444 KiB

[startup+0.702496 s]
/proc/loadavg: 2.00 2.02 2.05 3/223 30474
/proc/meminfo: memFree=23123728/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226486088 115843072 349 33554432000 4194304 5098028 140737480106624 140737480103880 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 349 296 221 0 87 0
[pid=30460] ppid=30457 vsize=15018748 memory=130532 CPUtime=1.03 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30457 23167 0 -1 1077944320 17800 0 0 0 98 5 0 0 20 0 15 0 226486089 15379197952 32633 33554432000 4194304 4196468 140730593902368 140730593884912 140144131043063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
/proc/30460/statm: 3754687 32633 3127 1 0 3716091 0
[pid=30460/tid=30461] ppid=30457 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/30460/task/30461/stat : 30461 (java) R 30457 30457 23167 0 -1 4202560 15095 0 0 0 63 4 0 0 20 0 15 0 226486089 15379197952 32633 33554432000 4194304 4196468 140730593902368 140144102880464 140144131064989 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30462] ppid=30457 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15379197952 32633 33554432000 4194304 4196468 140730593902368 140144135285392 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30463] ppid=30457 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143591680528 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30464] ppid=30457 vsize=15018748 memory=25008 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486091 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143590627728 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30465] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226486091 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143589574928 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30466] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30457 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226486092 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143100930928 140144131054210 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30467] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226486093 15379197952 32633 33554432000 4194304 4196468 140730593902368 140142702487072 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30468] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486093 15379197952 32633 33554432000 4194304 4196468 140730593902368 140142434051440 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30469] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486095 15379197952 32633 33554432000 4194304 4196468 140730593902368 140142059542864 140144131061659 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30470] ppid=30457 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) R 30457 30457 23167 0 -1 4202560 707 0 0 0 9 0 0 0 20 0 15 0 226486095 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143099877744 140144112560975 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30471] ppid=30457 vsize=15018748 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) R 30457 30457 23167 0 -1 4202560 215 0 0 0 8 0 0 0 20 0 15 0 226486095 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143098814752 140144117367412 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30472] ppid=30457 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) R 30457 30457 23167 0 -1 4202560 448 0 0 0 17 0 0 0 20 0 15 0 226486095 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143097769080 140144109846287 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30473] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226486096 15379197952 32633 33554432000 4194304 4196468 140730593902368 140141561637088 140144131053269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
[pid=30460/tid=30474] ppid=30457 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226486096 15379197952 32633 33554432000 4194304 4196468 140730593902368 140143096720560 140144131054210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35147776 140730593903623 140730593903921 140730593903921 140730593906639 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131928 KiB

[startup+1.50078 s]
/proc/loadavg: 2.00 2.02 2.05 5/223 30474
/proc/meminfo: memFree=23023368/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 226486088 115843072 349 33554432000 4194304 5098028 140737480106624 140737480103880 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 349 296 221 0 87 0

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

[pid=30475/tid=30478] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30478/stat : 30478 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016932780944 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30479] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30479/stat : 30479 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016931728400 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30480] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30480/stat : 30480 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016930675856 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30481] ppid=30457 vsize=8068220 memory=1472 CPUtime=0.02 cores=0,2,4,6
/proc/30475/task/30481/stat : 30481 (java) S 30457 30457 23167 0 -1 1077944384 6 0 0 0 1 1 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016893634544 140017447225986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30482] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30482/stat : 30482 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016336495520 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30483] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30483/stat : 30483 (java) S 30457 30457 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016202273776 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30484] ppid=30457 vsize=8068220 memory=-7824251494390716007 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30484/stat : 30484 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140015827769552 140017447233435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30485] ppid=30457 vsize=8068220 memory=4452 CPUtime=0.09 cores=0,2,4,6
/proc/30475/task/30485/stat : 30485 (java) S 30457 30457 23167 0 -1 1077944384 627 0 0 0 9 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016892582384 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30486] ppid=30457 vsize=8068220 memory=61676 CPUtime=0.09 cores=0,2,4,6
/proc/30475/task/30486/stat : 30486 (java) S 30457 30457 23167 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016891529840 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30487] ppid=30457 vsize=8068220 memory=1224 CPUtime=0.2 cores=0,2,4,6
/proc/30475/task/30487/stat : 30487 (java) S 30457 30457 23167 0 -1 1077944384 541 0 0 0 20 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016890477296 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30488] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30488/stat : 30488 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140015329864800 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30489] ppid=30457 vsize=8068220 memory=116800 CPUtime=1.05 cores=0,2,4,6
/proc/30475/task/30489/stat : 30489 (java) S 30457 30457 23167 0 -1 1077944384 163 0 0 0 56 49 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016889424176 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30491] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30491/stat : 30491 (java) S 30457 30457 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016881615936 140017447239449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30493] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30493/stat : 30493 (java) S 30457 30457 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014792978064 140017447236765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30494] ppid=30457 vsize=8068220 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30494/stat : 30494 (java) S 30457 30457 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014927200016 140017447236765 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30495] ppid=30457 vsize=8068220 memory=61676 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30495/stat : 30495 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487139 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014524554784 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
Current children cumulated CPU time: 2457.58 s
Current children cumulated vsize: 8268284 KiB
Current children cumulated memory: 189348 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 30694
/proc/meminfo: memFree=23444696/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1472 CPUtime=23.84 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 591 37296 0 0 0 0 2315 69 20 0 1 0 226486088 115843072 368 33554432000 4194304 5098028 140737480106624 140737480103368 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 368 311 221 0 87 0
[pid=30475] ppid=30457 vsize=8068220 memory=116800 CPUtime=2.3 cores=0,2,4,6
/proc/30475/stat : 30475 (java) S 30457 30457 23167 0 -1 1077944320 18619 0 0 0 176 54 0 0 20 0 19 0 226487064 8261857280 29200 33554432000 4194304 4196468 140733795387200 140733795369744 140017447214839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
/proc/30475/statm: 2017055 29200 3145 1 0 1978454 0
[pid=30490] ppid=30475 vsize=86936 memory=71076 CPUtime=2491.46 cores=0,2,4,6
/proc/30490/stat : 30490 (minisat_release) R 30475 30457 23167 0 -1 4202496 161134 0 0 0 249125 21 0 0 20 0 1 0 226487137 89022464 17769 33554432000 4194304 4308513 140735781521952 140735781518856 4276025 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36769792 140735781524596 140735781524694 140735781524694 140735781527493 0
/proc/30490/statm: 21734 17769 340 28 0 17974 0
[pid=30475/tid=30476] ppid=30457 vsize=8068220 memory=1472 CPUtime=0.74 cores=0,2,4,6
/proc/30475/task/30476/stat : 30476 (java) S 30457 30457 23167 0 -1 1077944384 15549 0 0 0 70 4 0 0 20 0 19 0 226487064 8261857280 29200 33554432000 4194304 4196468 140733795387200 140017419054992 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30477] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30477/stat : 30477 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140017451457296 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30478] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30478/stat : 30478 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016932780944 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30479] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30479/stat : 30479 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016931728400 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30480] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30480/stat : 30480 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016930675856 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30481] ppid=30457 vsize=8068220 memory=116800 CPUtime=0.03 cores=0,2,4,6
/proc/30475/task/30481/stat : 30481 (java) S 30457 30457 23167 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016893634544 140017447225986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30482] ppid=30457 vsize=8068220 memory=71076 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30482/stat : 30482 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016336495520 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30483] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30483/stat : 30483 (java) S 30457 30457 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016202273776 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30484] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30484/stat : 30484 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140015827769552 140017447233435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30485] ppid=30457 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/30475/task/30485/stat : 30485 (java) S 30457 30457 23167 0 -1 1077944384 627 0 0 0 9 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016892582384 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30486] ppid=30457 vsize=8068220 memory=116800 CPUtime=0.09 cores=0,2,4,6
/proc/30475/task/30486/stat : 30486 (java) S 30457 30457 23167 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016891529840 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30487] ppid=30457 vsize=8068220 memory=3980 CPUtime=0.2 cores=0,2,4,6
/proc/30475/task/30487/stat : 30487 (java) S 30457 30457 23167 0 -1 1077944384 541 0 0 0 20 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016890477296 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30488] ppid=30457 vsize=8068220 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30488/stat : 30488 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140015329864800 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30489] ppid=30457 vsize=8068220 memory=1472 CPUtime=1.08 cores=0,2,4,6
/proc/30475/task/30489/stat : 30489 (java) S 30457 30457 23167 0 -1 1077944384 167 0 0 0 57 51 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016889424176 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30491] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30491/stat : 30491 (java) S 30457 30457 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016881615936 140017447239449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30493] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30493/stat : 30493 (java) S 30457 30457 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014792978064 140017447236765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30494] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30494/stat : 30494 (java) S 30457 30457 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014927200016 140017447236765 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30495] ppid=30457 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30495/stat : 30495 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487139 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014524554784 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
Current children cumulated CPU time: 2517.6 s
Current children cumulated vsize: 8268284 KiB
Current children cumulated memory: 189348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 30694
/proc/meminfo: memFree=23444696/32770624 swapFree=67108688/67108860
[pid=30457] ppid=30454 vsize=113128 memory=1472 CPUtime=23.84 cores=0,2,4,6
/proc/30457/stat : 30457 (scop.sh) S 30454 30457 23167 0 -1 4202496 591 37296 0 0 0 0 2315 69 20 0 1 0 226486088 115843072 368 33554432000 4194304 5098028 140737480106624 140737480103368 140698729276028 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13082624 140737480115265 140737480115463 140737480115463 140737480118221 0
/proc/30457/statm: 28282 368 311 221 0 87 0
[pid=30475] ppid=30457 vsize=8068220 memory=116800 CPUtime=2.3 cores=0,2,4,6
/proc/30475/stat : 30475 (java) S 30457 30457 23167 0 -1 1077944320 18619 0 0 0 176 54 0 0 20 0 19 0 226487064 8261857280 29200 33554432000 4194304 4196468 140733795387200 140733795369744 140017447214839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
/proc/30475/statm: 2017055 29200 3145 1 0 1978454 0
[pid=30490] ppid=30475 vsize=86936 memory=71076 CPUtime=2493.96 cores=0,2,4,6
/proc/30490/stat : 30490 (minisat_release) R 30475 30457 23167 0 -1 4202496 161145 0 0 0 249375 21 0 0 20 0 1 0 226487137 89022464 17769 33554432000 4194304 4308513 140735781521952 140735781518856 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36769792 140735781524596 140735781524694 140735781524694 140735781527493 0
/proc/30490/statm: 21734 17769 340 28 0 17974 0
[pid=30475/tid=30476] ppid=30457 vsize=8068220 memory=1752 CPUtime=0.74 cores=0,2,4,6
/proc/30475/task/30476/stat : 30476 (java) S 30457 30457 23167 0 -1 1077944384 15549 0 0 0 70 4 0 0 20 0 19 0 226487064 8261857280 29200 33554432000 4194304 4196468 140733795387200 140017419054992 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30477] ppid=30457 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30477/stat : 30477 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140017451457296 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30478] ppid=30457 vsize=8068220 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30478/stat : 30478 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016932780944 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30479] ppid=30457 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30479/stat : 30479 (java) S 30457 30457 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016931728400 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30480] ppid=30457 vsize=8068220 memory=748 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30480/stat : 30480 (java) S 30457 30457 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226487065 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016930675856 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30481] ppid=30457 vsize=8068220 memory=1220 CPUtime=0.03 cores=0,2,4,6
/proc/30475/task/30481/stat : 30481 (java) S 30457 30457 23167 0 -1 1077944384 6 0 0 0 1 2 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016893634544 140017447225986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30482] ppid=30457 vsize=8068220 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30482/stat : 30482 (java) S 30457 30457 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016336495520 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30483] ppid=30457 vsize=8068220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30483/stat : 30483 (java) S 30457 30457 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226487067 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016202273776 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30484] ppid=30457 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30484/stat : 30484 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140015827769552 140017447233435 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30485] ppid=30457 vsize=8068220 memory=3732 CPUtime=0.09 cores=0,2,4,6
/proc/30475/task/30485/stat : 30485 (java) S 30457 30457 23167 0 -1 1077944384 627 0 0 0 9 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016892582384 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30486] ppid=30457 vsize=8068220 memory=12668 CPUtime=0.09 cores=0,2,4,6
/proc/30475/task/30486/stat : 30486 (java) S 30457 30457 23167 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016891529840 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30487] ppid=30457 vsize=8068220 memory=1072 CPUtime=0.2 cores=0,2,4,6
/proc/30475/task/30487/stat : 30487 (java) S 30457 30457 23167 0 -1 1077944384 541 0 0 0 20 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016890477296 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30488] ppid=30457 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30488/stat : 30488 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140015329864800 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30489] ppid=30457 vsize=8068220 memory=3316 CPUtime=1.08 cores=0,2,4,6
/proc/30475/task/30489/stat : 30489 (java) S 30457 30457 23167 0 -1 1077944384 167 0 0 0 57 51 0 0 20 0 19 0 226487070 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016889424176 140017447225986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30491] ppid=30457 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30491/stat : 30491 (java) S 30457 30457 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140016881615936 140017447239449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30493] ppid=30457 vsize=8068220 memory=34828 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30493/stat : 30493 (java) S 30457 30457 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014792978064 140017447236765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30494] ppid=30457 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30494/stat : 30494 (java) S 30457 30457 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226487137 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014927200016 140017447236765 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
[pid=30475/tid=30495] ppid=30457 vsize=8068220 memory=116800 CPUtime=0 cores=0,2,4,6
/proc/30475/task/30495/stat : 30495 (java) S 30457 30457 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226487139 8261857280 29200 33554432000 4194304 4196468 140733795387200 140014524554784 140017447225045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19189760 140733795390645 140733795390769 140733795390769 140733795393487 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 8268284 KiB
Current children cumulated memory: 189348 KiB

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

[startup+2504.81 s]
# the end of solver process 30457 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=23.1533 s, system=0.700931 s

[startup+2504.82 s]
# the end of solver process 30475 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.68 s, system=1.474 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): 2504.82
CPU time (s): 2520.15
CPU user time (s): 2518.68
CPU system time (s): 1.474
CPU usage (%): 100.612
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3126700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.474
maximum resident set size= 3126012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59282
involuntary context switches= 3212


# summary of solver processes directly reported to runsolver:
#   pid: 30457,30475
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2518.68
#   total CPU system time (s): 1.474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.73 second user time and 26.046 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-12 17:53:52
IDJOB=4305714
IDBENCH=141579
IDSOLVER=2783
FILE ID=node106/4305714-1534089232
RUNJOBID= node106-1534060601-23198
PBS_JOBID= 21036975
Free space on /tmp= 39864 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Frb/frb-59-26-3-mgd_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305714-1534089232/watcher-4305714-1534089232 -o /tmp/evaluation-result-4305714-1534089232/solver-4305714-1534089232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305714-1534089232.xml

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

MD5SUM BENCH= 4c66b19dbffc4da62838f27d220d1d7d
RANDOM SEED=1238747965

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        23227260 kB
MemAvailable:   31364592 kB
Buffers:          126808 kB
Cached:          8202292 kB
SwapCached:            0 kB
Active:          4732224 kB
Inactive:        4192316 kB
Active(anon):     540008 kB
Inactive(anon):   107660 kB
Active(file):    4192216 kB
Inactive(file):  4084656 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              8520 kB
Writeback:            12 kB
AnonPages:        600076 kB
Mapped:            63852 kB
Shmem:             49632 kB
Slab:             317008 kB
SReclaimable:     288920 kB
SUnreclaim:        28088 kB
KernelStack:        3632 kB
PageTables:         6808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6297844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39892 MiB
End job on node106 at 2018-08-12 18:35:37