Trace number 4305380

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameEternity/
Eternity-08-08_c18.xml
MD5SUM631cb3d235a52ad054110af2866c45e9
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 variables208
Number of constraints97
Number of domains2
Minimum domain size12
Maximum domain size64
Distribution of domain sizes[{"size":12,"count":144},{"size":64,"count":64}]
Minimum variable degree1
Maximum variable degree9
Distribution of variable degrees[{"degree":1,"count":7},{"degree":2,"count":200},{"degree":9,"count":1}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":32},{"arity":5,"count":64},{"arity":64,"count":1}]
Number of extensional constraints64
Number of intensional constraints32
Distribution of constraint types[{"type":"extension","count":64},{"type":"intension","count":32},{"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 -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23186-serial-file.bin HOME/instance-4305380-1534134732.xml
0.66/0.52	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 06:32:12 CEST 2018
0.66/0.55	c PID: 23189
0.66/0.55	c IP: 172.20.3.104
0.66/0.55	c HOST: node104.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.05/1.08	c (0,0) Parsing End
2.05/1.09	c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 97 ctr, max domain size 64
2.05/1.09	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.09	c (0,0) Constraint Name Generate Begin
2.05/1.10	c (0,0) Ctr:HOME/instance-4305380-1534134732.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.05/1.10	c (0,0) Constraint Name Generate End
2.05/1.10	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.05/1.10	c (0,0) CSP to CSPinCNF Begin
9.55/3.41	c (2,2) translated 10 (10%) constraints
12.68/4.85	c (4,4) translated 20 (20%) constraints
14.05/6.16	c (5,5) translated 30 (30%) constraints
15.55/7.35	c (6,6) translated 39 (40%) constraints
16.86/8.63	c (8,8) translated 49 (50%) constraints
18.60/9.98	c (9,9) translated 59 (60%) constraints
19.51/10.81	c (10,10) translated 68 (70%) constraints
19.51/10.81	c (10,10) translated 78 (80%) constraints
19.51/10.81	c (10,10) translated 88 (90%) constraints
19.51/10.82	c (10,10) translated 97 (100%) constraints
20.68/11.42	c (10,10) STATISTICS1:HOME/instance-4305380-1534134732.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,24336,149826,64,64,65,2,64:2016,64:12224;12:162008;2:258752;1:23176,65:64;64:2;5:2240;4:58816;3:28096;2:60576;1:32,2:2016;1:452160;0:64,
20.68/11.42	c (10,10) ==========================================
20.68/11.42	c (10,10) Order
20.68/11.42	c (10,10) ==========================================
21.88/11.84	c (11,11) translated 14983 (10%) constraints
22.45/12.08	c (11,11) translated 29966 (20%) constraints
23.03/12.32	c (11,11) translated 44948 (30%) constraints
23.44/12.56	c (12,11) translated 59931 (40%) constraints
23.79/12.79	c (12,12) translated 74913 (50%) constraints
24.01/13.00	c (12,12) translated 89896 (60%) constraints
24.33/13.22	c (12,12) translated 104879 (70%) constraints
24.53/13.44	c (12,12) translated 119861 (80%) constraints
24.73/13.66	c (13,12) translated 134844 (90%) constraints
24.93/13.89	c (13,13) translated 149826 (100%) constraints
24.93/13.89	c (13,13) CSP to CSPinCNF End
25.04/13.91	c (13,13) CSP: 208 int (0 aux), 24128 bool (24128 aux), 149858 ctr, max domain size 64
25.04/13.91	c (13,13) Heap : 2501 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
25.04/13.91	c (13,13) CSPinCNF Propagation Begin
29.77/16.92	c (16,16) 7632 values, 41237 unsatisfiable literals, and 43679 valid clauses are removed
29.77/16.92	c (16,16) CSPinCNF Propagation End
29.77/16.93	c (16,16) CSP: 6736 int (6528 aux), 17600 bool (17600 aux), 106179 ctr, max domain size 64
29.77/16.93	c (16,16) Heap : 991 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
29.77/16.93	c (16,16) Simplify CSPinCNF Begin
30.25/17.19	c (16,16) Simplify CSPinCNF End
30.36/17.20	c (16,16) CSP: 6736 int (6528 aux), 21632 bool (21632 aux), 110211 ctr, max domain size 64
30.36/17.20	c (16,16) Heap : 1102 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.36/17.20	c (16,16) Calculate Precise Domain Begin
30.36/17.20	c (16,16) 0 values are removed by re-calculation
30.36/17.20	c (16,16) Calculate Precise Domain End
30.36/17.21	c (16,16) CSP: 6736 int (6528 aux), 21632 bool (21632 aux), 110211 ctr, max domain size 64
30.36/17.21	c (16,16) Heap : 1102 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.36/17.21	c (16,16) CSPinCNF to SatSolver Begin
31.74/17.82	c (17,16) 11022 (10 %) CSP clauses are encoded (25792 SAT variables, 157421 SAT clauses)
31.74/17.88	c (17,16) 22043 (20 %) CSP clauses are encoded (25792 SAT variables, 168442 SAT clauses)
31.96/17.95	c (17,17) 33064 (30 %) CSP clauses are encoded (25792 SAT variables, 179463 SAT clauses)
31.96/18.00	c (17,17) 44085 (40 %) CSP clauses are encoded (25792 SAT variables, 190484 SAT clauses)
32.10/18.06	c (17,17) 55106 (50 %) CSP clauses are encoded (25792 SAT variables, 201505 SAT clauses)
32.20/18.12	c (17,17) 66127 (60 %) CSP clauses are encoded (25792 SAT variables, 212526 SAT clauses)
32.20/18.18	c (17,17) 77148 (70 %) CSP clauses are encoded (25792 SAT variables, 223547 SAT clauses)
32.31/18.24	c (17,17) 88169 (80 %) CSP clauses are encoded (25792 SAT variables, 234568 SAT clauses)
32.31/18.30	c (17,17) 99190 (90 %) CSP clauses are encoded (25792 SAT variables, 245589 SAT clauses)
32.41/18.35	c (17,17) 110211 (100 %) CSP clauses are encoded (25792 SAT variables, 256610 SAT clauses)
32.41/18.35	c (17,17) Launch Command will be: minisat_release
32.41/18.35	c (17,17) CSPinCNF to SatSolver End
32.41/18.35	c (17,17) Heap : 2006 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.01/18.71	c (18,17) STATISTICS2:HOME/instance-4305380-1534134732.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,28368,110211,64,64,64,2,64:1260;28:2280;4:492,64:9144;28:4344;12:127795;4:532;2:187899,64:37;36:1;28:24;5:1350;4:39168;3:19922;2:49709,2:4032;1:321650,
33.01/18.71	c (18,17) 25792 bool, 256611 clause
33.01/18.71	c (18,17) Export Begin
33.19/18.81	c (18,17) Export to HOME/scop-23186-serial-file.bin
33.19/18.81	c (18,17) Export End
33.19/18.81	c (18,17) Export File Size: 0.04 MB
33.19/18.81	c (18,17) 0,0,13,16,16,16,17,STOP-AFTER(DIMACS)
33.19/18.81	c END-Prog: Mon Aug 13 06:32:31 CEST 2018
33.19/18.83	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23186-serial-file.bin
33.84/19.33	c (0,0) Read Serial File Begin
33.84/19.33	c (0,0) HOME/scop-23186-serial-file.bin
34.15/19.52	c (0,0) Read Serial File End
34.15/19.54	
34.15/19.54	scop order+minisat_release (2018-07-31)
34.15/19.54	(Solving Process)
34.15/19.54	
34.15/19.56	c BEGIN-Prog: Mon Aug 13 06:32:31 CEST 2018
34.15/19.56	c PID: 23204
34.15/19.56	c IP: 172.20.3.104
34.15/19.56	c HOST: node104.alineos.net
34.15/19.56	c (0,0) SatSolver.solve Begin
34.15/19.56	c (0,0) 0 bool, 0 clause
34.15/19.56	c (0,0) minisat_release HOME/instance-4305380-1534134732.xml-scop-23189.cnf
2520.02/2503.01	c (2483,0) SatSolver is killed by some reasons.
2520.02/2503.01	c (2483,0) receiving signal SIGTERM
2520.02/2503.01	s UNKNOWN
2520.02/2503.02	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2503.02	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 (6655 MiB free)
  memory of node 1: 16384 MiB (7639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305380-1534134732/watcher-4305380-1534134732 -o /tmp/evaluation-result-4305380-1534134732/solver-4305380-1534134732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534132218-22636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305380-1534134732.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=23186, runsolver pid=23183
Current StackSize limit: 8192 KiB


[startup+0.10544 s]*
/proc/loadavg: 2.24 2.09 1.98 4/218 23203
/proc/meminfo: memFree=14545208/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231036347 115843072 349 33554432000 4194304 5098028 140728305707072 140728305704328 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 349 296 221 0 87 0
[pid=23189] ppid=23186 vsize=15012476 memory=73580 CPUtime=0.12 cores=0,2,4,6
/proc/23189/stat : 23189 (java) S 23186 23186 22605 0 -1 1077944320 7010 0 0 0 10 2 0 0 20 0 15 0 231036348 15372775424 18395 33554432000 4194304 4196468 140725163581296 140725163563840 140464091193079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
/proc/23189/statm: 3753119 18395 2770 1 0 3715579 0
[pid=23189/tid=23190] ppid=23186 vsize=15012476 memory=-6601833317647732518 CPUtime=0.09 cores=0,2,4,6
/proc/23189/task/23190/stat : 23190 (java) R 23186 23186 22605 0 -1 4202560 5089 0 0 0 8 1 0 0 20 0 15 0 231036348 15372775424 18410 33554432000 4194304 4196468 140725163581296 140464063005064 140464075273566 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23191] ppid=23186 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23191/stat : 23191 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 18410 33554432000 4194304 4196468 140725163581296 140464095435280 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23192] ppid=23186 vsize=15012476 memory=139873482253952 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23192/stat : 23192 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463551363728 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23193] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23193/stat : 23193 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463550310672 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23194] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23194/stat : 23194 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463549258128 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23195] ppid=23186 vsize=15012476 memory=139873482253952 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23195/stat : 23195 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036351 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463497861872 140464091204226 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23196] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23196/stat : 23196 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231036352 15372775424 18410 33554432000 4194304 4196468 140725163581296 140462677550752 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23197] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23197/stat : 23197 (java) S 23186 23186 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231036352 15372775424 18410 33554432000 4194304 4196468 140725163581296 140462543328496 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23198] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23198/stat : 23198 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036354 15372775424 18410 33554432000 4194304 4196468 140725163581296 140462168824272 140464091211675 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23199] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23199/stat : 23199 (java) S 23186 23186 22605 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 231036354 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463496808688 140464091204226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23200] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23200/stat : 23200 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036354 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463495756144 140464091204226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23201] ppid=23186 vsize=15012476 memory=139873482253952 CPUtime=0.01 cores=0,2,4,6
/proc/23189/task/23201/stat : 23201 (java) R 23186 23186 22605 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 231036354 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463494703088 140464091205014 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23202] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23202/stat : 23202 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036355 15372775424 18410 33554432000 4194304 4196468 140725163581296 140461670918496 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23203] ppid=23186 vsize=15012476 memory=139873482253952 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23203/stat : 23203 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036355 15372775424 18410 33554432000 4194304 4196468 140725163581296 140463493651504 140464091204226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74976 KiB

[startup+0.216965 s]*
/proc/loadavg: 2.24 2.09 1.98 5/218 23203
/proc/meminfo: memFree=14498220/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231036347 115843072 349 33554432000 4194304 5098028 140728305707072 140728305704328 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 349 296 221 0 87 0
[pid=23189] ppid=23186 vsize=15012476 memory=84300 CPUtime=0.27 cores=0,2,4,6
/proc/23189/stat : 23189 (java) S 23186 23186 22605 0 -1 1077944320 9964 0 0 0 25 2 0 0 20 0 15 0 231036348 15372775424 21075 33554432000 4194304 4196468 140725163581296 140725163563840 140464091193079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
/proc/23189/statm: 3753119 21075 2881 1 0 3715579 0
[pid=23189/tid=23190] ppid=23186 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23189/task/23190/stat : 23190 (java) R 23186 23186 22605 0 -1 4202560 7849 0 0 0 18 2 0 0 20 0 15 0 231036348 15372775424 21103 33554432000 4194304 4196468 140725163581296 140464063018448 140464091206928 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23191] ppid=23186 vsize=15012476 memory=11619 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23191/stat : 23191 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21103 33554432000 4194304 4196468 140725163581296 140464095435280 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23192] ppid=23186 vsize=15012476 memory=288370249633965696 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23192/stat : 23192 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463551363728 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23193] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23193/stat : 23193 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463550310672 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23194] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23194/stat : 23194 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463549258128 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23195] ppid=23186 vsize=15012476 memory=139873482253952 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23195/stat : 23195 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036351 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463497861872 140464091204226 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23196] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23196/stat : 23196 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231036352 15372775424 21103 33554432000 4194304 4196468 140725163581296 140462677550752 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23197] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23197/stat : 23197 (java) S 23186 23186 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231036352 15372775424 21103 33554432000 4194304 4196468 140725163581296 140462543328496 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23198] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23198/stat : 23198 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036354 15372775424 21103 33554432000 4194304 4196468 140725163581296 140462168824272 140464091211675 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23199] ppid=23186 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23189/task/23199/stat : 23199 (java) S 23186 23186 22605 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 231036354 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463496808688 140464091204226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23200] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23200/stat : 23200 (java) R 23186 23186 22605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 231036354 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463495756144 140464091204226 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23201] ppid=23186 vsize=15012476 memory=139873482253952 CPUtime=0.03 cores=0,2,4,6
/proc/23189/task/23201/stat : 23201 (java) R 23186 23186 22605 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 231036354 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463494703088 140464091214426 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23202] ppid=23186 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23202/stat : 23202 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036355 15372775424 21103 33554432000 4194304 4196468 140725163581296 140461670918496 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23203] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23203/stat : 23203 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036355 15372775424 21103 33554432000 4194304 4196468 140725163581296 140463493651504 140464091204226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85696 KiB

[startup+0.310723 s]*
/proc/loadavg: 2.24 2.09 1.98 3/218 23203
/proc/meminfo: memFree=14465836/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231036347 115843072 349 33554432000 4194304 5098028 140728305707072 140728305704328 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 349 296 221 0 87 0
[pid=23189] ppid=23186 vsize=15012476 memory=87828 CPUtime=0.43 cores=0,2,4,6
/proc/23189/stat : 23189 (java) S 23186 23186 22605 0 -1 1077944320 10476 0 0 0 40 3 0 0 20 0 15 0 231036348 15372775424 21957 33554432000 4194304 4196468 140725163581296 140725163563840 140464091193079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
/proc/23189/statm: 3753119 21957 2987 1 0 3715579 0
[pid=23189/tid=23190] ppid=23186 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23189/task/23190/stat : 23190 (java) R 23186 23186 22605 0 -1 4202560 8214 0 0 0 27 2 0 0 20 0 15 0 231036348 15372775424 21957 33554432000 4194304 4196468 140725163581296 140464062983760 140464091215005 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23191] ppid=23186 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23191/stat : 23191 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21957 33554432000 4194304 4196468 140725163581296 140464095435280 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23192] ppid=23186 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23192/stat : 23192 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463551363728 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23193] ppid=23186 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23193/stat : 23193 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463550310672 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23194] ppid=23186 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23194/stat : 23194 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463549258128 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23195] ppid=23186 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23195/stat : 23195 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036351 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463497861872 140464091204226 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23196] ppid=23186 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23196/stat : 23196 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231036352 15372775424 21957 33554432000 4194304 4196468 140725163581296 140462677550752 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23197] ppid=23186 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23197/stat : 23197 (java) S 23186 23186 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231036352 15372775424 21957 33554432000 4194304 4196468 140725163581296 140462543328496 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23198] ppid=23186 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23198/stat : 23198 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036354 15372775424 21957 33554432000 4194304 4196468 140725163581296 140462168824272 140464091211675 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23199] ppid=23186 vsize=15012476 memory=4426078206164241782 CPUtime=0.02 cores=0,2,4,6
/proc/23189/task/23199/stat : 23199 (java) R 23186 23186 22605 0 -1 4202560 472 0 0 0 2 0 0 0 20 0 15 0 231036354 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463496808688 140464072554616 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23200] ppid=23186 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23189/task/23200/stat : 23200 (java) R 23186 23186 22605 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 231036354 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463495756144 140464091204226 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23201] ppid=23186 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23189/task/23201/stat : 23201 (java) R 23186 23186 22605 0 -1 4202560 309 0 0 0 7 0 0 0 20 0 15 0 231036354 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463494703088 140464069357716 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23202] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23202/stat : 23202 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036355 15372775424 21957 33554432000 4194304 4196468 140725163581296 140461670918496 140464091203285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23203] ppid=23186 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23203/stat : 23203 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036355 15372775424 21957 33554432000 4194304 4196468 140725163581296 140463493651504 140464091204226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89224 KiB

[startup+0.700827 s]
/proc/loadavg: 2.24 2.09 1.98 3/218 23203
/proc/meminfo: memFree=14373944/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231036347 115843072 349 33554432000 4194304 5098028 140728305707072 140728305704328 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 349 296 221 0 87 0
[pid=23189] ppid=23186 vsize=15020872 memory=127428 CPUtime=1.02 cores=0,2,4,6
/proc/23189/stat : 23189 (java) S 23186 23186 22605 0 -1 1077944320 17523 0 0 0 97 5 0 0 20 0 15 0 231036348 15381372928 31857 33554432000 4194304 4196468 140725163581296 140725163563840 140464091193079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
/proc/23189/statm: 3755218 31857 3147 1 0 3716603 0
[pid=23189/tid=23190] ppid=23186 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/23189/task/23190/stat : 23190 (java) R 23186 23186 22605 0 -1 4202560 14793 0 0 0 63 4 0 0 20 0 15 0 231036348 15381372928 31857 33554432000 4194304 4196468 140725163581296 140464063024976 140464091215005 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23191] ppid=23186 vsize=15020872 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23191/stat : 23191 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15381372928 31857 33554432000 4194304 4196468 140725163581296 140464095435280 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23192] ppid=23186 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23192/stat : 23192 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463551363728 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23193] ppid=23186 vsize=15020872 memory=62664 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23193/stat : 23193 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036350 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463550310672 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23194] ppid=23186 vsize=15020872 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23194/stat : 23194 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231036350 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463549258128 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23195] ppid=23186 vsize=15020872 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23195/stat : 23195 (java) S 23186 23186 22605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231036351 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463497861872 140464091204226 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23196] ppid=23186 vsize=15020872 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23196/stat : 23196 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231036352 15381372928 31857 33554432000 4194304 4196468 140725163581296 140462677550752 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23197] ppid=23186 vsize=15020872 memory=748 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23197/stat : 23197 (java) S 23186 23186 22605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231036352 15381372928 31857 33554432000 4194304 4196468 140725163581296 140462543328496 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23198] ppid=23186 vsize=15020872 memory=1820 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23198/stat : 23198 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036354 15381372928 31857 33554432000 4194304 4196468 140725163581296 140462168824272 140464091211675 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23199] ppid=23186 vsize=15020872 memory=4552 CPUtime=0.09 cores=0,2,4,6
/proc/23189/task/23199/stat : 23199 (java) S 23186 23186 22605 0 -1 1077944384 722 0 0 0 9 0 0 0 20 0 15 0 231036354 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463496808688 140464091204226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23200] ppid=23186 vsize=15020872 memory=3732 CPUtime=0.06 cores=0,2,4,6
/proc/23189/task/23200/stat : 23200 (java) S 23186 23186 22605 0 -1 1077944384 207 0 0 0 6 0 0 0 20 0 15 0 231036354 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463495756144 140464091204226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23201] ppid=23186 vsize=15020872 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/23189/task/23201/stat : 23201 (java) R 23186 23186 22605 0 -1 4202560 446 0 0 0 16 0 0 0 20 0 15 0 231036354 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463494703088 140464072603087 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23202] ppid=23186 vsize=15020872 memory=10624 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23202/stat : 23202 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231036355 15381372928 31857 33554432000 4194304 4196468 140725163581296 140461670918496 140464091203285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
[pid=23189/tid=23203] ppid=23186 vsize=15020872 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/23189/task/23203/stat : 23203 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231036355 15381372928 31857 33554432000 4194304 4196468 140725163581296 140463493651504 140464091204226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140725163582470 140725163582769 140725163582769 140725163585487 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128824 KiB

[startup+1.50091 s]
/proc/loadavg: 2.24 2.09 1.98 5/218 23203
/proc/meminfo: memFree=14154760/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231036347 115843072 349 33554432000 4194304 5098028 140728305707072 140728305704328 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 349 296 221 0 87 0

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

[pid=23204/tid=23207] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23207/stat : 23207 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413987011088 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23208] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23208/stat : 23208 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413985958288 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23209] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23209/stat : 23209 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413984905488 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23210] ppid=23186 vsize=8068220 memory=119288 CPUtime=0.05 cores=0,2,4,6
/proc/23204/task/23210/stat : 23210 (java) S 23186 23186 22605 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 231038234 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413629057904 140414182611586 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23211] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23211/stat : 23211 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231038235 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413016991264 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23212] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23212/stat : 23212 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038235 8261857280 29822 33554432000 4194304 4196468 140729214735680 140412748555632 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23213] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23213/stat : 23213 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140412374047056 140414182619035 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23214] ppid=23186 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/23204/task/23214/stat : 23214 (java) S 23186 23186 22605 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413628004720 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23215] ppid=23186 vsize=8068220 memory=1472 CPUtime=0.15 cores=0,2,4,6
/proc/23204/task/23215/stat : 23215 (java) S 23186 23186 22605 0 -1 1077944384 645 0 0 0 14 1 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413626951920 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23216] ppid=23186 vsize=8068220 memory=119288 CPUtime=0.23 cores=0,2,4,6
/proc/23204/task/23216/stat : 23216 (java) S 23186 23186 22605 0 -1 1077944384 583 0 0 0 22 1 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413625899120 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23217] ppid=23186 vsize=8068220 memory=107808 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23217/stat : 23217 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231038238 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411876141280 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23218] ppid=23186 vsize=8068220 memory=-7824251494390783337 CPUtime=1.68 cores=0,2,4,6
/proc/23204/task/23218/stat : 23218 (java) S 23186 23186 22605 0 -1 1077944384 163 0 0 0 87 81 0 0 20 0 19 0 231038238 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413624847536 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23220] ppid=23186 vsize=8068220 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23220/stat : 23220 (java) S 23186 23186 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231038306 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413621327552 140414182625049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23222] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23222/stat : 23222 (java) S 23186 23186 22605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 231038307 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411339255600 140414182622365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23223] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23223/stat : 23223 (java) S 23186 23186 22605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231038307 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411205033648 140414182622365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23224] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23224/stat : 23224 (java) S 23186 23186 22605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231038309 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411473484960 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
Current children cumulated CPU time: 2459.25 s
Current children cumulated vsize: 8319444 KiB
Current children cumulated memory: 228568 KiB

[startup+2502.3 s]
/proc/loadavg: 1.61 1.92 1.95 2/200 23395
/proc/meminfo: memFree=16221020/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1472 CPUtime=33.24 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 591 47932 0 0 0 0 3231 93 20 0 1 0 231036347 115843072 368 33554432000 4194304 5098028 140728305707072 140728305703816 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 368 311 221 0 87 0
[pid=23204] ppid=23186 vsize=8068220 memory=119288 CPUtime=3.07 cores=0,2,4,6
/proc/23204/stat : 23204 (java) S 23186 23186 22605 0 -1 1077944320 18186 0 0 0 218 89 0 0 20 0 19 0 231038231 8261857280 29822 33554432000 4194304 4196468 140729214735680 140729214718224 140414182600439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
/proc/23204/statm: 2017055 29822 3157 1 0 1978454 0
[pid=23219] ppid=23204 vsize=138096 memory=105760 CPUtime=2483 cores=0,2,4,6
/proc/23219/stat : 23219 (minisat_release) R 23204 23186 22605 0 -1 4202496 209976 0 0 0 248186 114 0 0 20 0 1 0 231038306 141410304 26440 33554432000 4194304 4308513 140728654294976 140728654292424 4262599 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 26783744 140728654300276 140728654300374 140728654300374 140728654303173 0
/proc/23219/statm: 34524 26440 342 28 0 30764 0
[pid=23204/tid=23205] ppid=23186 vsize=8068220 memory=119288 CPUtime=0.76 cores=0,2,4,6
/proc/23204/task/23205/stat : 23205 (java) S 23186 23186 22605 0 -1 1077944384 15038 0 0 0 71 5 0 0 20 0 19 0 231038232 8261857280 29822 33554432000 4194304 4196468 140729214735680 140414154440592 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23206] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23206/stat : 23206 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140414186842768 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23207] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23207/stat : 23207 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413987011088 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23208] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23208/stat : 23208 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413985958288 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23209] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23209/stat : 23209 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413984905488 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23210] ppid=23186 vsize=8068220 memory=1472 CPUtime=0.06 cores=0,2,4,6
/proc/23204/task/23210/stat : 23210 (java) S 23186 23186 22605 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 231038234 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413629057904 140414182611586 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23211] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23211/stat : 23211 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231038235 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413016991264 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23212] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23212/stat : 23212 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038235 8261857280 29822 33554432000 4194304 4196468 140729214735680 140412748555632 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23213] ppid=23186 vsize=8068220 memory=119288 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23213/stat : 23213 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140412374047056 140414182619035 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23214] ppid=23186 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/23204/task/23214/stat : 23214 (java) S 23186 23186 22605 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413628004720 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23215] ppid=23186 vsize=8068220 memory=1472 CPUtime=0.15 cores=0,2,4,6
/proc/23204/task/23215/stat : 23215 (java) S 23186 23186 22605 0 -1 1077944384 645 0 0 0 14 1 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413626951920 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23216] ppid=23186 vsize=8068220 memory=3356 CPUtime=0.23 cores=0,2,4,6
/proc/23204/task/23216/stat : 23216 (java) S 23186 23186 22605 0 -1 1077944384 583 0 0 0 22 1 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413625899120 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23217] ppid=23186 vsize=8068220 memory=492 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23217/stat : 23217 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231038238 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411876141280 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23218] ppid=23186 vsize=8068220 memory=1116 CPUtime=1.73 cores=0,2,4,6
/proc/23204/task/23218/stat : 23218 (java) S 23186 23186 22605 0 -1 1077944384 167 0 0 0 89 84 0 0 20 0 19 0 231038238 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413624847536 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23220] ppid=23186 vsize=8068220 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23220/stat : 23220 (java) S 23186 23186 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231038306 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413621327552 140414182625049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23222] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23222/stat : 23222 (java) S 23186 23186 22605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 231038307 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411339255600 140414182622365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23223] ppid=23186 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23223/stat : 23223 (java) S 23186 23186 22605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231038307 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411205033648 140414182622365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23224] ppid=23186 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23224/stat : 23224 (java) S 23186 23186 22605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231038309 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411473484960 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
Current children cumulated CPU time: 2519.31 s
Current children cumulated vsize: 8319444 KiB
Current children cumulated memory: 226520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2503 s]*
/proc/loadavg: 1.61 1.92 1.95 2/200 23395
/proc/meminfo: memFree=16221020/32770624 swapFree=67108504/67108860
[pid=23186] ppid=23183 vsize=113128 memory=1472 CPUtime=33.24 cores=0,2,4,6
/proc/23186/stat : 23186 (scop.sh) S 23183 23186 22605 0 -1 4202496 591 47932 0 0 0 0 3231 93 20 0 1 0 231036347 115843072 368 33554432000 4194304 5098028 140728305707072 140728305703816 139921141940860 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15601664 140728305714240 140728305714439 140728305714439 140728305717197 0
/proc/23186/statm: 28282 368 311 221 0 87 0
[pid=23204] ppid=23186 vsize=8068220 memory=119288 CPUtime=3.07 cores=0,2,4,6
/proc/23204/stat : 23204 (java) S 23186 23186 22605 0 -1 1077944320 18186 0 0 0 218 89 0 0 20 0 19 0 231038231 8261857280 29822 33554432000 4194304 4196468 140729214735680 140729214718224 140414182600439 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
/proc/23204/statm: 2017055 29822 3157 1 0 1978454 0
[pid=23219] ppid=23204 vsize=138096 memory=105760 CPUtime=2483.71 cores=0,2,4,6
/proc/23219/stat : 23219 (minisat_release) R 23204 23186 22605 0 -1 4202496 209976 0 0 0 248257 114 0 0 20 0 1 0 231038306 141410304 26440 33554432000 4194304 4308513 140728654294976 140728654292424 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 26783744 140728654300276 140728654300374 140728654300374 140728654303173 0
/proc/23219/statm: 34524 26440 342 28 0 30764 0
[pid=23204/tid=23205] ppid=23186 vsize=8068220 memory=1398720917958146503 CPUtime=0.76 cores=0,2,4,6
/proc/23204/task/23205/stat : 23205 (java) S 23186 23186 22605 0 -1 1077944384 15038 0 0 0 71 5 0 0 20 0 19 0 231038232 8261857280 29822 33554432000 4194304 4196468 140729214735680 140414154440592 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23206] ppid=23186 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23206/stat : 23206 (java) S 23186 23186 22605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140414186842768 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23207] ppid=23186 vsize=8068220 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23207/stat : 23207 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413987011088 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23208] ppid=23186 vsize=8068220 memory=932 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23208/stat : 23208 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413985958288 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23209] ppid=23186 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23209/stat : 23209 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038233 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413984905488 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23210] ppid=23186 vsize=8068220 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/23204/task/23210/stat : 23210 (java) S 23186 23186 22605 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 231038234 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413629057904 140414182611586 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23211] ppid=23186 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23211/stat : 23211 (java) S 23186 23186 22605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231038235 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413016991264 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23212] ppid=23186 vsize=8068220 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23212/stat : 23212 (java) S 23186 23186 22605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231038235 8261857280 29822 33554432000 4194304 4196468 140729214735680 140412748555632 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23213] ppid=23186 vsize=8068220 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23213/stat : 23213 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140412374047056 140414182619035 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23214] ppid=23186 vsize=8068220 memory=30961 CPUtime=0.08 cores=0,2,4,6
/proc/23204/task/23214/stat : 23214 (java) S 23186 23186 22605 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413628004720 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23215] ppid=23186 vsize=8068220 memory=4420 CPUtime=0.15 cores=0,2,4,6
/proc/23204/task/23215/stat : 23215 (java) S 23186 23186 22605 0 -1 1077944384 645 0 0 0 14 1 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413626951920 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23216] ppid=23186 vsize=8068220 memory=6628 CPUtime=0.23 cores=0,2,4,6
/proc/23204/task/23216/stat : 23216 (java) S 23186 23186 22605 0 -1 1077944384 583 0 0 0 22 1 0 0 20 0 19 0 231038237 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413625899120 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23217] ppid=23186 vsize=8068220 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23217/stat : 23217 (java) S 23186 23186 22605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231038238 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411876141280 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23218] ppid=23186 vsize=8068220 memory=4420 CPUtime=1.73 cores=0,2,4,6
/proc/23204/task/23218/stat : 23218 (java) S 23186 23186 22605 0 -1 1077944384 167 0 0 0 89 84 0 0 20 0 19 0 231038238 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413624847536 140414182611586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23220] ppid=23186 vsize=8068220 memory=24289 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23220/stat : 23220 (java) S 23186 23186 22605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231038306 8261857280 29822 33554432000 4194304 4196468 140729214735680 140413621327552 140414182625049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23222] ppid=23186 vsize=8068220 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23222/stat : 23222 (java) S 23186 23186 22605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 231038307 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411339255600 140414182622365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23223] ppid=23186 vsize=8068220 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23223/stat : 23223 (java) S 23186 23186 22605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 231038307 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411205033648 140414182622365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
[pid=23204/tid=23224] ppid=23186 vsize=8068220 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/23204/task/23224/stat : 23224 (java) S 23186 23186 22605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231038309 8261857280 29822 33554432000 4194304 4196468 140729214735680 140411473484960 140414182610645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13856768 140729214739637 140729214739761 140729214739761 140729214742479 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8319444 KiB
Current children cumulated memory: 226520 KiB

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

[startup+2503.02 s]
# the end of solver process 23186 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=32.317 s, system=0.934757 s

[startup+2503.02 s]
# the end of solver process 23204 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.08 s, system=2.97862 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): 2503.02
CPU time (s): 2520.06
CPU user time (s): 2517.08
CPU system time (s): 2.97862
CPU usage (%): 100.681
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3289772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.08
system time used= 2.97862
maximum resident set size= 3288952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60210
involuntary context switches= 779


# summary of solver processes directly reported to runsolver:
#   pid: 23186,23204
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.08
#   total CPU system time (s): 2.97862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.197 second user time and 26.4518 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-13 06:32:12
IDJOB=4305380
IDBENCH=141661
IDSOLVER=2782
FILE ID=node104/4305380-1534134732
RUNJOBID= node104-1534132218-22636
PBS_JOBID= 21037018
Free space on /tmp= 37544 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-08-08_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305380-1534134732/watcher-4305380-1534134732 -o /tmp/evaluation-result-4305380-1534134732/solver-4305380-1534134732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534132218-22636 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305380-1534134732.xml

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

MD5SUM BENCH= 631cb3d235a52ad054110af2866c45e9
RANDOM SEED=89032198

node104.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.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	: 5333.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	: 5333.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	: 5333.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:        14648932 kB
MemAvailable:   30124408 kB
Buffers:          210072 kB
Cached:         15302924 kB
SwapCached:            8 kB
Active:          9423832 kB
Inactive:        7922568 kB
Active(anon):    1784384 kB
Inactive(anon):   100964 kB
Active(file):    7639448 kB
Inactive(file):  7821604 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:              8552 kB
Writeback:             0 kB
AnonPages:       1871316 kB
Mapped:            64496 kB
Shmem:             49636 kB
Slab:             471332 kB
SReclaimable:     442884 kB
SUnreclaim:        28448 kB
KernelStack:        3600 kB
PageTables:         9168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13049840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 37544 MiB
End job on node104 at 2018-08-13 07:13:55