Trace number 4305381

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.13 2502.62

General information on the benchmark

NameEternity/
Eternity-09-09_c18.xml
MD5SUM2dad1046de21c69494c3eda64529acdc
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 variables261
Number of constraints118
Number of domains2
Minimum domain size14
Maximum domain size81
Distribution of domain sizes[{"size":14,"count":180},{"size":81,"count":81}]
Minimum variable degree1
Maximum variable degree10
Distribution of variable degrees[{"degree":1,"count":8},{"degree":2,"count":252},{"degree":10,"count":1}]
Minimum constraint arity1
Maximum constraint arity81
Distribution of constraint arities[{"arity":1,"count":36},{"arity":5,"count":81},{"arity":81,"count":1}]
Number of extensional constraints81
Number of intensional constraints36
Distribution of constraint types[{"type":"extension","count":81},{"type":"intension","count":36},{"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-699-serial-file.bin HOME/instance-4305381-1534134449.xml
0.54/0.51	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Mon Aug 13 06:27:30 CEST 2018
0.66/0.54	c PID: 703
0.66/0.54	c IP: 172.20.3.103
0.66/0.54	c HOST: node103.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.42/1.14	c (0,0) Parsing End
2.42/1.15	c (0,0) CSP: 261 int (0 aux), 0 bool (0 aux), 118 ctr, max domain size 81
2.42/1.15	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.42/1.15	c (0,0) Constraint Name Generate Begin
2.42/1.16	c (0,0) Ctr:HOME/instance-4305381-1534134449.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.42/1.16	c (0,0) Constraint Name Generate End
2.42/1.16	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.42/1.16	c (0,0) CSP to CSPinCNF Begin
11.80/4.33	c (3,3) translated 12 (10%) constraints
14.57/6.46	c (5,5) translated 24 (20%) constraints
16.94/8.54	c (8,8) translated 36 (30%) constraints
19.48/10.66	c (10,9) translated 48 (40%) constraints
21.32/12.43	c (11,11) translated 59 (50%) constraints
23.29/14.36	c (13,13) translated 71 (60%) constraints
26.26/16.51	c (15,15) translated 83 (70%) constraints
26.26/16.51	c (15,15) translated 95 (80%) constraints
26.26/16.51	c (15,15) translated 107 (90%) constraints
26.26/16.51	c (15,15) translated 118 (100%) constraints
27.75/17.42	c (16,16) STATISTICS1:HOME/instance-4305381-1534134449.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,39222,244577,81,81,82,2,81:3240,81:19602;14:271656;2:420309;1:33993,82:81;81:2;5:3240;4:97686;3:44793;2:98739;1:36,2:3240;1:739116;0:81,
27.75/17.42	c (16,16) ==========================================
27.75/17.42	c (16,16) Order
27.75/17.42	c (16,16) ==========================================
29.36/18.01	c (17,17) translated 24458 (10%) constraints
29.71/18.37	c (17,17) translated 48916 (20%) constraints
30.12/18.73	c (18,17) translated 73374 (30%) constraints
30.43/19.09	c (18,18) translated 97831 (40%) constraints
30.82/19.45	c (18,18) translated 122289 (50%) constraints
31.23/19.81	c (19,18) translated 146747 (60%) constraints
31.54/20.17	c (19,19) translated 171204 (70%) constraints
31.93/20.53	c (20,19) translated 195662 (80%) constraints
32.23/20.89	c (20,19) translated 220120 (90%) constraints
32.63/21.26	c (20,20) translated 244577 (100%) constraints
32.63/21.26	c (20,20) CSP to CSPinCNF End
32.63/21.28	c (20,20) CSP: 261 int (0 aux), 38961 bool (38961 aux), 244613 ctr, max domain size 81
32.63/21.28	c (20,20) Heap : 2816 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.63/21.28	c (20,20) CSPinCNF Propagation Begin
39.15/26.10	c (25,24) 11316 values, 60533 unsatisfiable literals, and 64982 valid clauses are removed
39.15/26.10	c (25,24) CSPinCNF Propagation End
39.25/26.11	c (25,24) CSP: 9897 int (9636 aux), 29325 bool (29325 aux), 179631 ctr, max domain size 81
39.25/26.11	c (25,24) Heap : 2148 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
39.25/26.11	c (25,24) Simplify CSPinCNF Begin
40.03/26.56	c (26,25) Simplify CSPinCNF End
40.03/26.57	c (26,25) CSP: 9897 int (9636 aux), 35805 bool (35805 aux), 186111 ctr, max domain size 81
40.03/26.57	c (26,25) Heap : 2326 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
40.03/26.57	c (26,25) Calculate Precise Domain Begin
40.03/26.57	c (26,25) 0 values are removed by re-calculation
40.03/26.57	c (26,25) Calculate Precise Domain End
40.03/26.58	c (26,25) CSP: 9897 int (9636 aux), 35805 bool (35805 aux), 186111 ctr, max domain size 81
40.03/26.58	c (26,25) Heap : 2326 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
40.03/26.58	c (26,25) CSPinCNF to SatSolver Begin
42.61/27.70	c (27,26) 18612 (10 %) CSP clauses are encoded (42477 SAT variables, 323602 SAT clauses)
42.75/27.80	c (27,26) 37223 (20 %) CSP clauses are encoded (42477 SAT variables, 342213 SAT clauses)
42.75/27.89	c (27,26) 55834 (30 %) CSP clauses are encoded (42477 SAT variables, 360824 SAT clauses)
42.86/27.98	c (27,26) 74445 (40 %) CSP clauses are encoded (42477 SAT variables, 379435 SAT clauses)
42.96/28.07	c (27,26) 93056 (50 %) CSP clauses are encoded (42477 SAT variables, 398046 SAT clauses)
43.10/28.16	c (27,26) 111667 (60 %) CSP clauses are encoded (42477 SAT variables, 416657 SAT clauses)
43.19/28.25	c (27,26) 130278 (70 %) CSP clauses are encoded (42477 SAT variables, 435268 SAT clauses)
43.28/28.34	c (27,27) 148889 (80 %) CSP clauses are encoded (42477 SAT variables, 453879 SAT clauses)
43.38/28.43	c (27,27) 167500 (90 %) CSP clauses are encoded (42477 SAT variables, 472490 SAT clauses)
43.48/28.52	c (27,27) 186111 (100 %) CSP clauses are encoded (42477 SAT variables, 491101 SAT clauses)
43.48/28.52	c (27,27) Launch Command will be: minisat_release
43.48/28.52	c (27,27) CSPinCNF to SatSolver End
43.48/28.52	c (27,27) Heap : 1074 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
44.18/29.08	c (28,27) STATISTICS2:HOME/instance-4305381-1534134449.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,45702,186111,81,81,81,2,81:2352;32:3500;4:628,81:15778;32:6244;14:219716;4:668;2:316653,81:50;49:1;32:28;5:2086;4:68220;3:32822;2:82904,2:6480;1:546099,
44.18/29.08	c (28,27) 42477 bool, 491102 clause
44.18/29.08	c (28,27) Export Begin
44.30/29.18	c (28,27) Export to HOME/scop-699-serial-file.bin
44.30/29.18	c (28,27) Export End
44.47/29.31	c (28,27) Export File Size: 0.05 MB
44.47/29.31	c (28,27) 0,0,20,25,26,26,27,STOP-AFTER(DIMACS)
44.47/29.31	c END-Prog: Mon Aug 13 06:27:58 CEST 2018
44.47/29.33	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-699-serial-file.bin
44.50/29.82	c (0,0) Read Serial File Begin
44.50/29.82	c (0,0) HOME/scop-699-serial-file.bin
45.49/30.01	c (0,0) Read Serial File End
45.49/30.02	
45.49/30.02	scop order+minisat_release (2018-07-31)
45.49/30.03	(Solving Process)
45.49/30.03	
45.49/30.05	c BEGIN-Prog: Mon Aug 13 06:27:59 CEST 2018
45.49/30.05	c PID: 732
45.49/30.05	c IP: 172.20.3.103
45.49/30.05	c HOST: node103.alineos.net
45.49/30.05	c (0,0) SatSolver.solve Begin
45.49/30.05	c (0,0) 0 bool, 0 clause
45.49/30.05	c (0,0) minisat_release HOME/instance-4305381-1534134449.xml-scop-703.cnf
2520.08/2502.60	c (2472,0) receiving signal SIGTERM
2520.08/2502.60	c (2472,0) SatSolver is killed by some reasons.
2520.08/2502.60	s UNKNOWN
2520.08/2502.61	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2502.61	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 (10719 MiB free)
  memory of node 1: 16384 MiB (13595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305381-1534134449/watcher-4305381-1534134449 -o /tmp/evaluation-result-4305381-1534134449/solver-4305381-1534134449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534134449-668 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305381-1534134449.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=699, runsolver pid=691
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 1.00 1.31 1.71 4/217 731
/proc/meminfo: memFree=24780828/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231008101 115843072 349 33554432000 4194304 5098028 140722951496032 140722951493288 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 349 296 221 0 87 0
[pid=703] ppid=699 vsize=15012476 memory=71684 CPUtime=0.11 cores=0,2,4,6
/proc/703/stat : 703 (java) S 699 699 636 0 -1 1077944320 6066 0 0 0 9 2 0 0 20 0 15 0 231008102 15372775424 17921 33554432000 4194304 4196468 140728989974864 140728989957408 139642549858039 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
/proc/703/statm: 3753119 17921 2746 1 0 3715579 0
[pid=703/tid=705] ppid=699 vsize=15012476 memory=3054156605267020675 CPUtime=0.08 cores=0,2,4,6
/proc/703/task/705/stat : 705 (java) R 699 699 636 0 -1 4202560 4237 0 0 0 7 1 0 0 20 0 15 0 231008102 15372775424 18052 33554432000 4194304 4196468 140728989974864 139642521670024 139642533044869 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=710] ppid=699 vsize=15012476 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/703/task/710/stat : 710 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 18052 33554432000 4194304 4196468 140728989974864 139642554099984 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=711] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0 cores=0,2,4,6
/proc/703/task/711/stat : 711 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 18052 33554432000 4194304 4196468 140728989974864 139642345183632 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=712] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/712/stat : 712 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 18052 33554432000 4194304 4196468 140728989974864 139642344131088 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=713] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/713/stat : 713 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 18052 33554432000 4194304 4196468 140728989974864 139642343078544 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=715] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0 cores=0,2,4,6
/proc/703/task/715/stat : 715 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008105 15372775424 18052 33554432000 4194304 4196468 140728989974864 139641519806960 139642549869186 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=718] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/718/stat : 718 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231008106 15372775424 18052 33554432000 4194304 4196468 140728989974864 139641130837408 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=719] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/719/stat : 719 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008106 15372775424 18052 33554432000 4194304 4196468 140728989974864 139640862402032 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=725] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/725/stat : 725 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008108 15372775424 18052 33554432000 4194304 4196468 140728989974864 139640487893712 139642549876635 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=726] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/726/stat : 726 (java) S 699 699 636 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 231008108 15372775424 18052 33554432000 4194304 4196468 140728989974864 139641518753776 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=727] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/727/stat : 727 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008108 15372775424 18052 33554432000 4194304 4196468 140728989974864 139641517701232 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=728] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0.01 cores=0,2,4,6
/proc/703/task/728/stat : 728 (java) R 699 699 636 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 231008108 15372775424 18052 33554432000 4194304 4196468 140728989974864 139641516645800 139642528815694 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=730] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/730/stat : 730 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008109 15372775424 18052 33554432000 4194304 4196468 140728989974864 139639989987936 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=731] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0 cores=0,2,4,6
/proc/703/task/731/stat : 731 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008109 15372775424 18052 33554432000 4194304 4196468 140728989974864 139641515596592 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73080 KiB

[startup+0.210354 s]*
/proc/loadavg: 1.00 1.31 1.71 6/217 731
/proc/meminfo: memFree=24752256/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231008101 115843072 349 33554432000 4194304 5098028 140722951496032 140722951493288 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 349 296 221 0 87 0
[pid=703] ppid=699 vsize=15012476 memory=85544 CPUtime=0.25 cores=0,2,4,6
/proc/703/stat : 703 (java) S 699 699 636 0 -1 1077944320 9743 0 0 0 22 3 0 0 20 0 15 0 231008102 15372775424 21386 33554432000 4194304 4196468 140728989974864 140728989957408 139642549858039 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
/proc/703/statm: 3753119 21386 2902 1 0 3715579 0
[pid=703/tid=705] ppid=699 vsize=15012476 memory=3054156605267020675 CPUtime=0.19 cores=0,2,4,6
/proc/703/task/705/stat : 705 (java) R 699 699 636 0 -1 4202560 7665 0 0 0 17 2 0 0 20 0 15 0 231008102 15372775424 21386 33554432000 4194304 4196468 140728989974864 139642521684432 139642533938526 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=710] ppid=699 vsize=15012476 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/703/task/710/stat : 710 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 21386 33554432000 4194304 4196468 140728989974864 139642554099984 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=711] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0 cores=0,2,4,6
/proc/703/task/711/stat : 711 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 21386 33554432000 4194304 4196468 140728989974864 139642345183632 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=712] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/712/stat : 712 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 21386 33554432000 4194304 4196468 140728989974864 139642344131088 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=713] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/713/stat : 713 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 21386 33554432000 4194304 4196468 140728989974864 139642343078544 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=715] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0 cores=0,2,4,6
/proc/703/task/715/stat : 715 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008105 15372775424 21386 33554432000 4194304 4196468 140728989974864 139641519806960 139642549869186 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=718] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/718/stat : 718 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231008106 15372775424 21386 33554432000 4194304 4196468 140728989974864 139641130837408 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=719] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/719/stat : 719 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008106 15372775424 21386 33554432000 4194304 4196468 140728989974864 139640862402032 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=725] ppid=699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/703/task/725/stat : 725 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008108 15372775424 21386 33554432000 4194304 4196468 140728989974864 139640487893712 139642549876635 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=726] ppid=699 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/703/task/726/stat : 726 (java) S 699 699 636 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 231008108 15372775424 21386 33554432000 4194304 4196468 140728989974864 139641518753776 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=727] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/727/stat : 727 (java) S 699 699 636 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 231008108 15372775424 21386 33554432000 4194304 4196468 140728989974864 139641517701232 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=728] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0.03 cores=0,2,4,6
/proc/703/task/728/stat : 728 (java) S 699 699 636 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 231008108 15372775424 21386 33554432000 4194304 4196468 140728989974864 139641516648688 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=730] ppid=699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/703/task/730/stat : 730 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008109 15372775424 21386 33554432000 4194304 4196468 140728989974864 139639989987936 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=731] ppid=699 vsize=15012476 memory=140203235657344 CPUtime=0 cores=0,2,4,6
/proc/703/task/731/stat : 731 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008109 15372775424 21386 33554432000 4194304 4196468 140728989974864 139641515596592 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86940 KiB

[startup+0.310452 s]*
/proc/loadavg: 1.00 1.31 1.71 4/217 731
/proc/meminfo: memFree=24745028/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231008101 115843072 349 33554432000 4194304 5098028 140722951496032 140722951493288 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 349 296 221 0 87 0
[pid=703] ppid=699 vsize=15012476 memory=89680 CPUtime=0.42 cores=0,2,4,6
/proc/703/stat : 703 (java) S 699 699 636 0 -1 1077944320 10356 0 0 0 39 3 0 0 20 0 15 0 231008102 15372775424 22420 33554432000 4194304 4196468 140728989974864 140728989957408 139642549858039 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
/proc/703/statm: 3753119 22420 2973 1 0 3715579 0
[pid=703/tid=705] ppid=699 vsize=15012476 memory=7156894261176002131 CPUtime=0.3 cores=0,2,4,6
/proc/703/task/705/stat : 705 (java) R 699 699 636 0 -1 4202560 8103 0 0 0 27 3 0 0 20 0 15 0 231008102 15372775424 22420 33554432000 4194304 4196468 140728989974864 139642521653040 139642020068608 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=710] ppid=699 vsize=15012476 memory=3762813792270497590 CPUtime=0 cores=0,2,4,6
/proc/703/task/710/stat : 710 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 22420 33554432000 4194304 4196468 140728989974864 139642554099984 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=711] ppid=699 vsize=15012476 memory=3472732386497590944 CPUtime=0 cores=0,2,4,6
/proc/703/task/711/stat : 711 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 22420 33554432000 4194304 4196468 140728989974864 139642345183632 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=712] ppid=699 vsize=15012476 memory=7235405971237463895 CPUtime=0 cores=0,2,4,6
/proc/703/task/712/stat : 712 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 22420 33554432000 4194304 4196468 140728989974864 139642344131088 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=713] ppid=699 vsize=15012476 memory=3762813787975530294 CPUtime=0 cores=0,2,4,6
/proc/703/task/713/stat : 713 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15372775424 22420 33554432000 4194304 4196468 140728989974864 139642343078544 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=715] ppid=699 vsize=15012476 memory=3472732386497590944 CPUtime=0 cores=0,2,4,6
/proc/703/task/715/stat : 715 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008105 15372775424 22420 33554432000 4194304 4196468 140728989974864 139641519806960 139642549869186 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=718] ppid=699 vsize=15012476 memory=3762813787975530294 CPUtime=0 cores=0,2,4,6
/proc/703/task/718/stat : 718 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231008106 15372775424 22420 33554432000 4194304 4196468 140728989974864 139641130837408 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=719] ppid=699 vsize=15012476 memory=7235405971237463895 CPUtime=0 cores=0,2,4,6
/proc/703/task/719/stat : 719 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008106 15372775424 22420 33554432000 4194304 4196468 140728989974864 139640862402032 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=725] ppid=699 vsize=15012476 memory=7235405971237463895 CPUtime=0 cores=0,2,4,6
/proc/703/task/725/stat : 725 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008108 15372775424 22420 33554432000 4194304 4196468 140728989974864 139640487893712 139642549876635 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=726] ppid=699 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/703/task/726/stat : 726 (java) R 699 699 636 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 231008108 15372775424 22420 33554432000 4194304 4196468 140728989974864 139641518753776 139642549869186 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=727] ppid=699 vsize=15012476 memory=3762813787975530294 CPUtime=0.01 cores=0,2,4,6
/proc/703/task/727/stat : 727 (java) R 699 699 636 0 -1 4202560 183 0 0 0 1 0 0 0 20 0 15 0 231008108 15372775424 22420 33554432000 4194304 4196468 140728989974864 139641517701232 139642542099429 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=728] ppid=699 vsize=15012476 memory=3617691999503578784 CPUtime=0.07 cores=0,2,4,6
/proc/703/task/728/stat : 728 (java) R 699 699 636 0 -1 4202560 334 0 0 0 7 0 0 0 20 0 15 0 231008108 15372775424 22420 33554432000 4194304 4196468 140728989974864 139641516648688 139642533938526 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=730] ppid=699 vsize=15012476 memory=3762813787975530294 CPUtime=0 cores=0,2,4,6
/proc/703/task/730/stat : 730 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008109 15372775424 22420 33554432000 4194304 4196468 140728989974864 139639989987936 139642549868245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=731] ppid=699 vsize=15012476 memory=3472732386497590944 CPUtime=0 cores=0,2,4,6
/proc/703/task/731/stat : 731 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008109 15372775424 22420 33554432000 4194304 4196468 140728989974864 139641515596592 139642549869186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91076 KiB

[startup+0.700787 s]
/proc/loadavg: 1.00 1.31 1.71 4/217 731
/proc/meminfo: memFree=24695916/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231008101 115843072 349 33554432000 4194304 5098028 140722951496032 140722951493288 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 349 296 221 0 87 0
[pid=703] ppid=699 vsize=15020872 memory=129924 CPUtime=1.01 cores=0,2,4,6
/proc/703/stat : 703 (java) S 699 699 636 0 -1 1077944320 17593 0 0 0 96 5 0 0 20 0 15 0 231008102 15381372928 32481 33554432000 4194304 4196468 140728989974864 140728989957408 139642549858039 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
/proc/703/statm: 3755218 32481 3153 1 0 3716603 0
[pid=703/tid=705] ppid=699 vsize=15020872 memory=976 CPUtime=0.67 cores=0,2,4,6
/proc/703/task/705/stat : 705 (java) R 699 699 636 0 -1 4202560 14776 0 0 0 63 4 0 0 20 0 15 0 231008102 15381372928 32481 33554432000 4194304 4196468 140728989974864 139642521696064 139642533938526 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=710] ppid=699 vsize=15020872 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/703/task/710/stat : 710 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15381372928 32481 33554432000 4194304 4196468 140728989974864 139642554099984 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=711] ppid=699 vsize=15020872 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/703/task/711/stat : 711 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008104 15381372928 32481 33554432000 4194304 4196468 140728989974864 139642345183632 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=712] ppid=699 vsize=15020872 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/703/task/712/stat : 712 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15381372928 32481 33554432000 4194304 4196468 140728989974864 139642344131088 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=713] ppid=699 vsize=15020872 memory=7668598073586115904 CPUtime=0 cores=0,2,4,6
/proc/703/task/713/stat : 713 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231008104 15381372928 32481 33554432000 4194304 4196468 140728989974864 139642343078544 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=715] ppid=699 vsize=15020872 memory=8025788831308076138 CPUtime=0 cores=0,2,4,6
/proc/703/task/715/stat : 715 (java) S 699 699 636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231008105 15381372928 32481 33554432000 4194304 4196468 140728989974864 139641519806960 139642549869186 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=718] ppid=699 vsize=15020872 memory=5787213831426565969 CPUtime=0 cores=0,2,4,6
/proc/703/task/718/stat : 718 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231008106 15381372928 32481 33554432000 4194304 4196468 140728989974864 139641130837408 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=719] ppid=699 vsize=15020872 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/703/task/719/stat : 719 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008106 15381372928 32481 33554432000 4194304 4196468 140728989974864 139640862402032 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=725] ppid=699 vsize=15020872 memory=61532 CPUtime=0 cores=0,2,4,6
/proc/703/task/725/stat : 725 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008108 15381372928 32481 33554432000 4194304 4196468 140728989974864 139640487893712 139642549876635 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=726] ppid=699 vsize=15020872 memory=780 CPUtime=0.07 cores=0,2,4,6
/proc/703/task/726/stat : 726 (java) R 699 699 636 0 -1 4202560 573 0 0 0 7 0 0 0 20 0 15 0 231008108 15381372928 32481 33554432000 4194304 4196468 140728989974864 139641518753776 139642533358616 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=727] ppid=699 vsize=15020872 memory=1948 CPUtime=0.09 cores=0,2,4,6
/proc/703/task/727/stat : 727 (java) S 699 699 636 0 -1 1077944384 437 0 0 0 9 0 0 0 20 0 15 0 231008108 15381372928 32481 33554432000 4194304 4196468 140728989974864 139641517701232 139642549869186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=728] ppid=699 vsize=15020872 memory=1328 CPUtime=0.16 cores=0,2,4,6
/proc/703/task/728/stat : 728 (java) S 699 699 636 0 -1 1077944384 473 0 0 0 16 0 0 0 20 0 15 0 231008108 15381372928 32481 33554432000 4194304 4196468 140728989974864 139641516648688 139642549869186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=730] ppid=699 vsize=15020872 memory=976 CPUtime=0 cores=0,2,4,6
/proc/703/task/730/stat : 730 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231008109 15381372928 32481 33554432000 4194304 4196468 140728989974864 139639989987936 139642549868245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
[pid=703/tid=731] ppid=699 vsize=15020872 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/703/task/731/stat : 731 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231008109 15381372928 32481 33554432000 4194304 4196468 140728989974864 139641515596592 139642549869186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26132480 140728989979656 140728989979953 140728989979953 140728989982671 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131320 KiB

[startup+1.51044 s]
/proc/loadavg: 1.16 1.34 1.72 8/217 731
/proc/meminfo: memFree=24566136/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 231008101 115843072 349 33554432000 4194304 5098028 140722951496032 140722951493288 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 349 296 221 0 87 0

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

[pid=732/tid=735] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/735/stat : 735 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774144862736 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=736] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/736/stat : 736 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774143809936 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=737] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/737/stat : 737 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774142757136 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=738] ppid=699 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/732/task/738/stat : 738 (java) S 699 699 636 0 -1 1077944384 5 0 0 0 4 5 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773713775472 139774334868098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=739] ppid=699 vsize=8068220 memory=173028 CPUtime=0 cores=0,2,4,6
/proc/732/task/739/stat : 739 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773201081888 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=740] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/740/stat : 740 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772932646256 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=741] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/741/stat : 741 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772558137680 139774334875547 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=742] ppid=699 vsize=8068220 memory=1472 CPUtime=0.16 cores=0,2,4,6
/proc/732/task/742/stat : 742 (java) S 699 699 636 0 -1 1077944384 943 0 0 0 16 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773712722288 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=743] ppid=699 vsize=8068220 memory=118200 CPUtime=0.1 cores=0,2,4,6
/proc/732/task/743/stat : 743 (java) S 699 699 636 0 -1 1077944384 325 0 0 0 10 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773711669488 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=744] ppid=699 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/732/task/744/stat : 744 (java) S 699 699 636 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773710616688 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=745] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/745/stat : 745 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772060231904 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=746] ppid=699 vsize=8068220 memory=118200 CPUtime=1.65 cores=0,2,4,6
/proc/732/task/746/stat : 746 (java) S 699 699 636 0 -1 1077944384 163 0 0 0 76 89 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773709565104 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=748] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/748/stat : 748 (java) S 699 699 636 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231011109 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773702088384 139774334881561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=750] ppid=699 vsize=8068220 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/732/task/750/stat : 750 (java) S 699 699 636 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 231011109 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771523346224 139774334878877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=751] ppid=699 vsize=8068220 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/732/task/751/stat : 751 (java) S 699 699 636 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231011110 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771657567920 139774334878877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=752] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/752/stat : 752 (java) S 699 699 636 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231011112 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771254922400 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 2459.74 s
Current children cumulated vsize: 8378240 KiB
Current children cumulated memory: 280412 KiB

[startup+2502.3 s]
/proc/loadavg: 1.97 2.01 1.99 2/200 948
/proc/meminfo: memFree=24626764/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1472 CPUtime=44.5 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 589 52937 0 0 0 0 4339 111 20 0 1 0 231008101 115843072 368 33554432000 4194304 5098028 140722951496032 140722951492776 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 368 311 221 0 87 0
[pid=732] ppid=699 vsize=8068220 memory=118200 CPUtime=3.09 cores=0,2,4,6
/proc/732/stat : 732 (java) S 699 699 636 0 -1 1077944320 17964 0 0 0 214 95 0 0 20 0 19 0 231011035 8261857280 29550 33554432000 4194304 4196468 140725751814496 140725751797040 139774334856951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
/proc/732/statm: 2017055 29550 3151 1 0 1978454 0
[pid=747] ppid=732 vsize=196892 memory=163056 CPUtime=2472.19 cores=0,2,4,6
/proc/747/stat : 747 (minisat_release) R 732 699 636 0 -1 4202496 641770 0 0 0 247045 174 0 0 20 0 1 0 231011109 201617408 40764 33554432000 4194304 4308513 140736062337008 140736062334456 4269647 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 23252992 140736062338166 140736062338262 140736062338262 140736062341061 0
/proc/747/statm: 49223 40764 342 28 0 45463 0
[pid=732/tid=733] ppid=699 vsize=8068220 memory=118200 CPUtime=0.76 cores=0,2,4,6
/proc/732/task/733/stat : 733 (java) S 699 699 636 0 -1 1077944384 14544 0 0 0 71 5 0 0 20 0 19 0 231011035 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774306697104 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=734] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/734/stat : 734 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774339099280 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=735] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/735/stat : 735 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774144862736 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=736] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/736/stat : 736 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774143809936 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=737] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/737/stat : 737 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774142757136 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=738] ppid=699 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/732/task/738/stat : 738 (java) S 699 699 636 0 -1 1077944384 5 0 0 0 4 5 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773713775472 139774334868098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=739] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/739/stat : 739 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773201081888 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=740] ppid=699 vsize=8068220 memory=154864 CPUtime=0 cores=0,2,4,6
/proc/732/task/740/stat : 740 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772932646256 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=741] ppid=699 vsize=8068220 memory=61612 CPUtime=0 cores=0,2,4,6
/proc/732/task/741/stat : 741 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772558137680 139774334875547 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=742] ppid=699 vsize=8068220 memory=1472 CPUtime=0.17 cores=0,2,4,6
/proc/732/task/742/stat : 742 (java) S 699 699 636 0 -1 1077944384 943 0 0 0 16 1 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773712722288 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=743] ppid=699 vsize=8068220 memory=118200 CPUtime=0.1 cores=0,2,4,6
/proc/732/task/743/stat : 743 (java) S 699 699 636 0 -1 1077944384 325 0 0 0 10 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773711669488 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=744] ppid=699 vsize=8068220 memory=161008 CPUtime=0.22 cores=0,2,4,6
/proc/732/task/744/stat : 744 (java) S 699 699 636 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773710616688 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=745] ppid=699 vsize=8068220 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/732/task/745/stat : 745 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772060231904 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=746] ppid=699 vsize=8068220 memory=1472 CPUtime=1.69 cores=0,2,4,6
/proc/732/task/746/stat : 746 (java) S 699 699 636 0 -1 1077944384 165 0 0 0 77 92 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773709565104 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=748] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/748/stat : 748 (java) S 699 699 636 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231011109 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773702088384 139774334881561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=750] ppid=699 vsize=8068220 memory=161008 CPUtime=0 cores=0,2,4,6
/proc/732/task/750/stat : 750 (java) S 699 699 636 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 231011109 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771523346224 139774334878877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=751] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/751/stat : 751 (java) S 699 699 636 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231011110 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771657567920 139774334878877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=752] ppid=699 vsize=8068220 memory=158960 CPUtime=0 cores=0,2,4,6
/proc/732/task/752/stat : 752 (java) S 699 699 636 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231011112 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771254922400 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 8378240 KiB
Current children cumulated memory: 282728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502.6 s]
/proc/loadavg: 1.97 2.01 1.99 2/200 948
/proc/meminfo: memFree=24626764/32770624 swapFree=67058936/67108860
[pid=699] ppid=691 vsize=113128 memory=1472 CPUtime=44.5 cores=0,2,4,6
/proc/699/stat : 699 (scop.sh) S 691 699 636 0 -1 4202496 589 52937 0 0 0 0 4339 111 20 0 1 0 231008101 115843072 368 33554432000 4194304 5098028 140722951496032 140722951492776 140168613491324 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28397568 140722951500864 140722951501063 140722951501063 140722951503821 0
/proc/699/statm: 28282 368 311 221 0 87 0
[pid=732] ppid=699 vsize=8068220 memory=118200 CPUtime=3.09 cores=0,2,4,6
/proc/732/stat : 732 (java) S 699 699 636 0 -1 1077944320 17964 0 0 0 214 95 0 0 20 0 19 0 231011035 8261857280 29550 33554432000 4194304 4196468 140725751814496 140725751797040 139774334856951 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
/proc/732/statm: 2017055 29550 3151 1 0 1978454 0
[pid=747] ppid=732 vsize=196892 memory=163056 CPUtime=2472.49 cores=0,2,4,6
/proc/747/stat : 747 (minisat_release) R 732 699 636 0 -1 4202496 641770 0 0 0 247075 174 0 0 20 0 1 0 231011109 201617408 40764 33554432000 4194304 4308513 140736062337008 140736062334456 4269966 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 23252992 140736062338166 140736062338262 140736062338262 140736062341061 0
/proc/747/statm: 49223 40764 342 28 0 45463 0
[pid=732/tid=733] ppid=699 vsize=8068220 memory=2292 CPUtime=0.76 cores=0,2,4,6
/proc/732/task/733/stat : 733 (java) S 699 699 636 0 -1 1077944384 14544 0 0 0 71 5 0 0 20 0 19 0 231011035 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774306697104 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=734] ppid=699 vsize=8068220 memory=2292 CPUtime=0 cores=0,2,4,6
/proc/732/task/734/stat : 734 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774339099280 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=735] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/735/stat : 735 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774144862736 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=736] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/736/stat : 736 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774143809936 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=737] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/737/stat : 737 (java) S 699 699 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231011036 8261857280 29550 33554432000 4194304 4196468 140725751814496 139774142757136 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=738] ppid=699 vsize=8068220 memory=163056 CPUtime=0.09 cores=0,2,4,6
/proc/732/task/738/stat : 738 (java) S 699 699 636 0 -1 1077944384 5 0 0 0 4 5 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773713775472 139774334868098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=739] ppid=699 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/732/task/739/stat : 739 (java) S 699 699 636 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773201081888 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=740] ppid=699 vsize=8068220 memory=3548 CPUtime=0 cores=0,2,4,6
/proc/732/task/740/stat : 740 (java) S 699 699 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231011038 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772932646256 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=741] ppid=699 vsize=8068220 memory=118200 CPUtime=0 cores=0,2,4,6
/proc/732/task/741/stat : 741 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772558137680 139774334875547 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=742] ppid=699 vsize=8068220 memory=163056 CPUtime=0.17 cores=0,2,4,6
/proc/732/task/742/stat : 742 (java) S 699 699 636 0 -1 1077944384 943 0 0 0 16 1 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773712722288 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=743] ppid=699 vsize=8068220 memory=14971161599542635 CPUtime=0.1 cores=0,2,4,6
/proc/732/task/743/stat : 743 (java) S 699 699 636 0 -1 1077944384 325 0 0 0 10 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773711669488 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=744] ppid=699 vsize=8068220 memory=3548 CPUtime=0.22 cores=0,2,4,6
/proc/732/task/744/stat : 744 (java) S 699 699 636 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773710616688 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=745] ppid=699 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/732/task/745/stat : 745 (java) S 699 699 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139772060231904 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=746] ppid=699 vsize=8068220 memory=1472 CPUtime=1.69 cores=0,2,4,6
/proc/732/task/746/stat : 746 (java) S 699 699 636 0 -1 1077944384 165 0 0 0 77 92 0 0 20 0 19 0 231011041 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773709565104 139774334868098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=748] ppid=699 vsize=8068220 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/732/task/748/stat : 748 (java) S 699 699 636 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231011109 8261857280 29550 33554432000 4194304 4196468 140725751814496 139773702088384 139774334881561 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=750] ppid=699 vsize=8068220 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/732/task/750/stat : 750 (java) S 699 699 636 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 231011109 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771523346224 139774334878877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=751] ppid=699 vsize=8068220 memory=768 CPUtime=0 cores=0,2,4,6
/proc/732/task/751/stat : 751 (java) S 699 699 636 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231011110 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771657567920 139774334878877 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
[pid=732/tid=752] ppid=699 vsize=8068220 memory=736 CPUtime=0 cores=0,2,4,6
/proc/732/task/752/stat : 752 (java) S 699 699 636 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231011112 8261857280 29550 33554432000 4194304 4196468 140725751814496 139771254922400 139774334867157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140725751821495 140725751821617 140725751821617 140725751824335 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8378240 KiB
Current children cumulated memory: 282728 KiB

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

[startup+2502.61 s]
# the end of solver process 699 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=43.3927 s, system=1.1154 s

[startup+2502.62 s]
# the end of solver process 732 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.3 s, system=3.8248 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): 2502.62
CPU time (s): 2520.13
CPU user time (s): 2516.3
CPU system time (s): 3.8248
CPU usage (%): 100.7
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3479612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.8248
maximum resident set size= 3478216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60766
involuntary context switches= 3312


# summary of solver processes directly reported to runsolver:
#   pid: 699,732
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.3
#   total CPU system time (s): 3.8248

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.773 second user time and 26.7295 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-13 06:27:29
IDJOB=4305381
IDBENCH=141657
IDSOLVER=2782
FILE ID=node103/4305381-1534134449
RUNJOBID= node103-1534134449-668
PBS_JOBID= 21037024
Free space on /tmp= 34632 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-09-09_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-4305381-1534134449/watcher-4305381-1534134449 -o /tmp/evaluation-result-4305381-1534134449/solver-4305381-1534134449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534134449-668 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305381-1534134449.xml

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

MD5SUM BENCH= 2dad1046de21c69494c3eda64529acdc
RANDOM SEED=668484276

node103.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.48
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.48
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.48
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.48
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:        24899008 kB
MemAvailable:   31944952 kB
Buffers:          138552 kB
Cached:          7090252 kB
SwapCached:         5336 kB
Active:          3932824 kB
Inactive:        3308544 kB
Active(anon):       4044 kB
Inactive(anon):    59464 kB
Active(file):    3928780 kB
Inactive(file):  3249080 kB
Unevictable:        7796 kB
Mlocked:            7796 kB
SwapTotal:      67108860 kB
SwapFree:       67058936 kB
Dirty:             16420 kB
Writeback:             0 kB
AnonPages:         15556 kB
Mapped:            50248 kB
Shmem:             48668 kB
Slab:             325576 kB
SReclaimable:     296544 kB
SUnreclaim:        29032 kB
KernelStack:        3152 kB
PageTables:         5736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34628 MiB
End job on node103 at 2018-08-13 07:09:12