Trace number 4295229

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-06-13)? (MO) 940.324 927.144

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g11-g30_c18.xml
MD5SUMbb4f87e482134ef2c2f946a146b04c70
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark192.522
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints115
Number of domains1
Minimum domain size100
Maximum domain size100
Distribution of domain sizes[{"size":100,"count":42}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":6},{"degree":8,"count":11},{"degree":9,"count":2},{"degree":11,"count":1}]
Minimum constraint arity2
Maximum constraint arity42
Distribution of constraint arities[{"arity":2,"count":114},{"arity":42,"count":1}]
Number of extensional constraints114
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":114},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
0.66/0.53	scop both+minisat_release (2018-06-13)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Wed Jul 25 19:16:52 CEST 2018
0.66/0.56	c PID: 31601
0.66/0.56	c IP: 172.20.3.102
0.66/0.56	c HOST: node102.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.57/0.92	c (0,0) Parsing End
1.57/0.93	c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 115 ctr, max domain size 100
1.57/0.93	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.57/0.93	c (0,0) Constraint Name Generate Begin
1.57/0.94	c (0,0) Ctr:HOME/instance-4295229-1532539011.xml,AllDifferent:ExtensionSupport:IntVar
1.57/0.94	c (0,0) Constraint Name Generate End
1.57/0.94	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.57/0.94	c (0,0) CSP to CSPinCNF Begin
7.86/3.23	c (2,2) translated 12 (10%) constraints
9.30/4.54	c (4,3) translated 23 (20%) constraints
10.75/5.95	c (5,5) translated 35 (30%) constraints
12.11/7.24	c (6,6) translated 46 (40%) constraints
14.27/8.74	c (8,8) translated 58 (50%) constraints
15.53/9.93	c (9,9) translated 69 (60%) constraints
16.90/11.21	c (10,10) translated 81 (70%) constraints
18.00/12.39	c (11,11) translated 92 (80%) constraints
20.40/13.93	c (13,12) translated 104 (90%) constraints
21.61/15.11	c (14,14) translated 115 (100%) constraints
23.02/16.01	c (15,15) STATISTICS1:HOME/instance-4295229-1532539011.xml,AllDifferent:ExtensionSupport:IntVar,11442,353465,100,100,101,2,100:861,100:683754;2:363888,101:114;42:2;3:329460;2:23889,2:861;1:1045920;0:114,
23.02/16.01	c (15,15) ===========================================
23.02/16.01	c (15,15) Both Encoding selects:
23.02/16.01	c (15,15) Order
23.02/16.01	c (15,15) ===========================================
24.83/16.69	c (16,15) translated 35347 (10%) constraints
25.24/17.08	c (16,16) translated 70693 (20%) constraints
25.67/17.49	c (16,16) translated 106040 (30%) constraints
27.22/18.18	c (17,16) translated 141386 (40%) constraints
27.63/18.58	c (18,17) translated 176733 (50%) constraints
28.03/18.98	c (18,17) translated 212079 (60%) constraints
28.44/19.38	c (18,18) translated 247426 (70%) constraints
28.84/19.79	c (19,18) translated 282772 (80%) constraints
29.25/20.18	c (19,18) translated 318119 (90%) constraints
29.64/20.59	c (20,19) translated 353465 (100%) constraints
29.64/20.59	c (20,19) CSP to CSPinCNF End
29.64/20.60	c (20,19) CSP: 42 int (0 aux), 11400 bool (11400 aux), 353465 ctr, max domain size 100
29.77/20.60	c (20,19) Heap : 1395 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
29.77/20.60	c (20,19) CSPinCNF Propagation Begin
31.43/21.87	c (21,20) 0 values, 114 unsatisfiable literals, and 0 valid clauses are removed
31.43/21.87	c (21,20) CSPinCNF Propagation End
31.43/21.87	c (21,20) CSP: 42 int (0 aux), 11400 bool (11400 aux), 353465 ctr, max domain size 100
31.43/21.87	c (21,20) Heap : 2841 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.43/21.87	c (21,20) Simplify CSPinCNF Begin
32.24/22.32	c (21,21) Simplify CSPinCNF End
32.24/22.33	c (21,21) CSP: 42 int (0 aux), 13122 bool (13122 aux), 355187 ctr, max domain size 100
32.24/22.33	c (21,21) Heap : 3075 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.24/22.33	c (21,21) Calculate Precise Domain Begin
32.24/22.33	c (21,21) 0 values are removed by re-calculation
32.24/22.33	c (21,21) Calculate Precise Domain End
32.24/22.33	c (21,21) CSP: 42 int (0 aux), 13122 bool (13122 aux), 355187 ctr, max domain size 100
32.24/22.33	c (21,21) Heap : 3075 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.24/22.33	c (21,21) CSPinCNF to SatSolver Begin
34.88/23.37	c (22,21) 35519 (10 %) CSP clauses are encoded (17280 SAT variables, 210112 SAT clauses)
35.10/23.53	c (22,22) 71038 (20 %) CSP clauses are encoded (17280 SAT variables, 245631 SAT clauses)
35.20/23.69	c (23,22) 106557 (30 %) CSP clauses are encoded (17280 SAT variables, 281150 SAT clauses)
35.41/23.85	c (23,22) 142075 (40 %) CSP clauses are encoded (17280 SAT variables, 316668 SAT clauses)
35.52/24.00	c (23,22) 177594 (50 %) CSP clauses are encoded (17280 SAT variables, 352187 SAT clauses)
35.75/24.16	c (23,22) 213113 (60 %) CSP clauses are encoded (17280 SAT variables, 387706 SAT clauses)
35.94/24.32	c (23,22) 248631 (70 %) CSP clauses are encoded (17280 SAT variables, 423224 SAT clauses)
36.04/24.48	c (23,22) 284150 (80 %) CSP clauses are encoded (17280 SAT variables, 458743 SAT clauses)
36.24/24.64	c (24,23) 319669 (90 %) CSP clauses are encoded (17280 SAT variables, 494262 SAT clauses)
36.33/24.79	c (24,23) 355187 (100 %) CSP clauses are encoded (17280 SAT variables, 529780 SAT clauses)
36.33/24.79	c (24,23) CSPinCNF to SatSolver End
36.33/24.79	c (24,23) Heap : 2293 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
38.05/25.67	c (25,23) STATISTICS2:HOME/instance-4295229-1532539011.xml,AllDifferent:ExtensionSupport:IntVar,13164,355187,100,100,100,2,100:1722,100:685476;2:367332,100:114;42:2;3:329460;2:25611,2:1722;1:1049364,
38.05/25.67	c (25,23) SatSolver.solve Begin
38.05/25.67	c (25,23) 17280 bool, 529781 clause
38.05/25.67	c (25,23) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295229-1532539011.xml-scop-31601.cnf HOME/instance-4295229-1532539011.xml-scop-31601.cnf.out
940.27/927.11	c (926,0) receiving signal SIGTERM
940.27/927.11	s UNKNOWN
940.27/927.12	c (926,24) SatSolver is killed by some reasons.
940.27/927.12	c (926,24) 0,0,20,21,21,21,24,TO,TO,STOP-AFTER(DIMACS)
940.27/927.12	c END-Prog: Wed Jul 25 19:32:18 CEST 2018

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295229-1532539011/watcher-4295229-1532539011 -o /tmp/evaluation-result-4295229-1532539011/solver-4295229-1532539011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295229-1532539011.xml 

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

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

solver pid=31601, runsolver pid=31598

[startup+0.100093 s]*
/proc/loadavg: 4.88 4.89 4.71 5/215 31616
/proc/meminfo: memFree=12233976/32770624 swapFree=67076460/67108860
[pid=31601] ppid=31598 vsize=15011656 memory=72276 CPUtime=0.12 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 6256 0 0 0 10 2 0 0 20 0 15 0 71464260 15371935744 18069 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3752914 18069 2780 1 0 3715374 0
[pid=31601/tid=31603] ppid=31598 vsize=15011656 memory=-8628507060847283841 CPUtime=0.09 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) R 31598 31601 29212 0 -1 4202560 4340 0 0 0 8 1 0 0 20 0 15 0 71464261 15371935744 18069 33554432000 4194304 4196468 140735297523680 140484538667400 140484550042271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 18069 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 18069 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 18069 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 18069 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464264 15371935744 18069 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71464264 15371935744 18069 33554432000 4194304 4196468 140735297523680 140483212862624 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464265 15371935744 18069 33554432000 4194304 4196468 140735297523680 140482944426736 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 18069 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 18069 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 18069 33554432000 4194304 4196468 140735297523680 140483334450032 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) R 31598 31601 29212 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 18069 33554432000 4194304 4196468 140735297523680 140483333392920 140484547182240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 18069 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 18069 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72276 KiB

[startup+0.21034 s]*
/proc/loadavg: 4.88 4.89 4.71 7/215 31616
/proc/meminfo: memFree=12220996/32770624 swapFree=67076460/67108860
[pid=31601] ppid=31598 vsize=15011656 memory=87812 CPUtime=0.25 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 10415 0 0 0 21 4 0 0 20 0 15 0 71464260 15371935744 21953 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3752914 21953 2876 1 0 3715374 0
[pid=31601/tid=31603] ppid=31598 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) R 31598 31601 29212 0 -1 4202560 8314 0 0 0 17 3 0 0 20 0 15 0 71464261 15371935744 21953 33554432000 4194304 4196468 140735297523680 140484538677952 140484550935902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 21953 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15011656 memory=3616867021134177952 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 21953 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 21953 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 21953 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464264 15371935744 21953 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71464264 15371935744 21953 33554432000 4194304 4196468 140735297523680 140483212862624 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464265 15371935744 21953 33554432000 4194304 4196468 140735297523680 140482944426736 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 21953 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 71464267 15371935744 21953 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) S 31598 31601 29212 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 21953 33554432000 4194304 4196468 140735297523680 140483334450032 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0.02 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) S 31598 31601 29212 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 15 0 71464267 15371935744 21953 33554432000 4194304 4196468 140735297523680 140483333396976 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 21953 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 21953 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87812 KiB

[startup+0.309964 s]*
/proc/loadavg: 4.97 4.90 4.71 6/215 31616
/proc/meminfo: memFree=12217540/32770624 swapFree=67076460/67108860
[pid=31601] ppid=31598 vsize=15011656 memory=91796 CPUtime=0.42 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 10978 0 0 0 38 4 0 0 20 0 15 0 71464260 15371935744 22949 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3752914 22949 2978 1 0 3715374 0
[pid=31601/tid=31603] ppid=31598 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) R 31598 31601 29212 0 -1 4202560 8687 0 0 0 26 3 0 0 20 0 15 0 71464261 15371935744 22949 33554432000 4194304 4196468 140735297523680 140484538655504 140484550935902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 22949 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15011656 memory=3906785147634525856 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 22949 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 22949 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464262 15371935744 22949 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464264 15371935744 22949 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71464264 15371935744 22949 33554432000 4194304 4196468 140735297523680 140483212862624 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464265 15371935744 22949 33554432000 4194304 4196468 140735297523680 140482944426736 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 22949 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 71464267 15371935744 22949 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) S 31598 31601 29212 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 71464267 15371935744 22949 33554432000 4194304 4196468 140735297523680 140483334450032 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0.07 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) S 31598 31601 29212 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 15 0 71464267 15371935744 22949 33554432000 4194304 4196468 140735297523680 140483333396976 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 22949 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15011656 memory=139824145311360 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464267 15371935744 22949 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91796 KiB

[startup+0.700689 s]
/proc/loadavg: 4.97 4.90 4.71 6/215 31616
/proc/meminfo: memFree=12195632/32770624 swapFree=67076460/67108860
[pid=31601] ppid=31598 vsize=15020052 memory=129576 CPUtime=0.98 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 17595 0 0 0 92 6 0 0 20 0 15 0 71464260 15380533248 32394 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3755013 32394 3156 1 0 3716398 0
[pid=31601/tid=31603] ppid=31598 vsize=15020052 memory=9972 CPUtime=0.67 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) R 31598 31601 29212 0 -1 4202560 14858 0 0 0 62 5 0 0 20 0 15 0 71464261 15380533248 32394 33554432000 4194304 4196468 140735297523680 140484538687328 140484559092542 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15020052 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464262 15380533248 32394 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15020052 memory=640 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15380533248 32394 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15020052 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15380533248 32394 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15020052 memory=960 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464262 15380533248 32394 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15020052 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71464264 15380533248 32394 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15020052 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71464264 15380533248 32394 33554432000 4194304 4196468 140735297523680 140483212862624 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15020052 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464265 15380533248 32394 33554432000 4194304 4196468 140735297523680 140482944426736 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15020052 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15380533248 32394 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15020052 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 15 0 71464267 15380533248 32394 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15020052 memory=7019257425709197167 CPUtime=0.07 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) R 31598 31601 29212 0 -1 4202560 416 0 0 0 7 0 0 0 20 0 15 0 71464267 15380533248 32394 33554432000 4194304 4196468 140735297523680 140483334450032 140484551254967 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15020052 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) S 31598 31601 29212 0 -1 1077944384 470 0 0 0 15 0 0 0 20 0 15 0 71464267 15380533248 32394 33554432000 4194304 4196468 140735297523680 140483333396976 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464267 15380533248 32394 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15020052 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464267 15380533248 32394 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129576 KiB

[startup+1.50309 s]
/proc/loadavg: 4.97 4.90 4.71 4/215 31616
/proc/meminfo: memFree=12165268/32770624 swapFree=67076460/67108860
[pid=31601] ppid=31598 vsize=15024148 memory=186292 CPUtime=3.16 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 22085 0 0 0 307 9 0 0 20 0 15 0 71464260 15384727552 46573 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3756037 46573 3203 1 0 3717422 0
[pid=31601/tid=31603] ppid=31598 vsize=15024148 memory=163912 CPUtime=1.47 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) R 31598 31601 29212 0 -1 4202560 16114 0 0 0 141 6 0 0 20 0 15 0 71464261 15384727552 46573 33554432000 4194304 4196468 140735297523680 140484538684400 140484566876762 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71464262 15384727552 46573 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15384727552 46573 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71464262 15384727552 46573 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71464262 15384727552 46573 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71464264 15384727552 46573 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0

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

/proc/meminfo: memFree=18534324/32770624 swapFree=67076476/67108860
[pid=31601] ppid=31598 vsize=15683912 memory=3635136 CPUtime=38.8 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 52849 0 0 0 3736 144 0 0 20 0 19 0 71464260 16060325888 908784 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3920978 908784 3260 1 0 3881834 0
[pid=31617] ppid=31601 vsize=124788 memory=92472 CPUtime=856.63 cores=0,2,4,6
/proc/31617/stat : 31617 (minisat_release) R 31601 31601 29212 0 -1 4202496 177732 0 0 0 85646 17 0 0 20 0 1 0 71466829 127782912 23118 33554432000 4194304 4308513 140726378426368 140726378423576 4251650 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14921728 140726378431151 140726378431662 140726378431662 140726378434501 0
/proc/31617/statm: 31197 23118 353 28 0 27437 0
[pid=31601/tid=31603] ppid=31598 vsize=15683912 memory=3635136 CPUtime=24.52 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) S 31598 31601 29212 0 -1 1077944384 23358 0 0 0 2407 45 0 0 20 0 19 0 71464261 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484538694656 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.13 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 449 0 0 0 96 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.07 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 410 0 0 0 91 16 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.14 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 590 0 0 0 97 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.13 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 869 0 0 0 96 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0.04 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 188 0 0 0 4 0 0 0 20 0 19 0 71464264 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71464264 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483212862688 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464265 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482944426752 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15683912 memory=3032 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15683912 memory=2764 CPUtime=3.81 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 7618 0 0 0 380 1 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15683912 memory=3544 CPUtime=3.95 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) S 31598 31601 29212 0 -1 1077944384 7735 0 0 0 392 3 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483334450032 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15683912 memory=18508 CPUtime=1.35 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) S 31598 31601 29212 0 -1 1077944384 9458 0 0 0 132 3 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483333396976 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0.56 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 766 0 0 0 28 28 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31618] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31618/stat : 31618 (java) S 31598 31601 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483316409664 140484566880025 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31620] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31620/stat : 31620 (java) S 31598 31601 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481535126832 140484566877341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31621] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31621/stat : 31621 (java) S 31598 31601 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481266696112 140484566877341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31622] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31622/stat : 31622 (java) S 31598 31601 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71466831 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481669357344 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 895.43 s
Current children cumulated vsize: 15808700 KiB
Current children cumulated memory: 3727608 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+927.11 s]
/proc/loadavg: 1.96 2.16 3.08 3/226 31982
/proc/meminfo: memFree=17471688/32770624 swapFree=67076476/67108860
[pid=31601] ppid=31598 vsize=15683912 memory=3635136 CPUtime=38.83 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 52851 0 0 0 3739 144 0 0 20 0 19 0 71464260 16060325888 908784 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3920978 908784 3260 1 0 3881834 0
[pid=31617] ppid=31601 vsize=204456 memory=159912 CPUtime=901.44 cores=0,2,4,6
/proc/31617/stat : 31617 (minisat_release) R 31601 31601 29212 0 -1 4202496 185945 0 0 0 90124 20 0 0 20 0 1 0 71466829 209362944 39978 33554432000 4194304 4308513 140726378426368 140726378423368 4285060 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14921728 140726378431151 140726378431662 140726378431662 140726378434501 0
/proc/31617/statm: 51114 39978 353 28 0 47354 0
[pid=31601/tid=31603] ppid=31598 vsize=15683912 memory=124740 CPUtime=24.52 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) S 31598 31601 29212 0 -1 1077944384 23358 0 0 0 2407 45 0 0 20 0 19 0 71464261 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484538694656 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15683912 memory=124740 CPUtime=1.13 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 449 0 0 0 96 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.07 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 410 0 0 0 91 16 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.14 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 590 0 0 0 97 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.13 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 869 0 0 0 96 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15683912 memory=124740 CPUtime=0.04 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 188 0 0 0 4 0 0 0 20 0 19 0 71464264 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15683912 memory=279648006109920 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71464264 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483212862688 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15683912 memory=2314885530818448299 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464265 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482944426752 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15683912 memory=9988 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15683912 memory=15104 CPUtime=3.81 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 7618 0 0 0 380 1 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15683912 memory=2160 CPUtime=3.95 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) S 31598 31601 29212 0 -1 1077944384 7735 0 0 0 392 3 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483334450032 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.35 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) S 31598 31601 29212 0 -1 1077944384 9458 0 0 0 132 3 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483333396976 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15683912 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15683912 memory=800 CPUtime=0.59 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 768 0 0 0 30 29 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31618] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31618/stat : 31618 (java) S 31598 31601 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483316409664 140484566880025 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31620] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31620/stat : 31620 (java) S 31598 31601 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481535126832 140484566877341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31621] ppid=31598 vsize=15683912 memory=124740 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31621/stat : 31621 (java) S 31598 31601 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481266696112 140484566877341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31622] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31622/stat : 31622 (java) S 31598 31601 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71466831 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481669357344 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 940.27 s
Current children cumulated vsize: 15888368 KiB
Current children cumulated memory: 3795048 KiB

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

[startup+927.144 s]
# the end of solver process 31601 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=938.641 s, system=1.68303 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+927.11 s]
/proc/loadavg: 1.96 2.16 3.08 3/226 31982
/proc/meminfo: memFree=17471688/32770624 swapFree=67076476/67108860
[pid=31601] ppid=31598 vsize=15683912 memory=3635136 CPUtime=38.83 cores=0,2,4,6
/proc/31601/stat : 31601 (java) S 31598 31601 29212 0 -1 1077944320 52851 0 0 0 3739 144 0 0 20 0 19 0 71464260 16060325888 908784 33554432000 4194304 4196468 140735297523680 140735297506224 140484566855415 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
/proc/31601/statm: 3920978 908784 3260 1 0 3881834 0
[pid=31617] ppid=31601 vsize=204456 memory=159912 CPUtime=901.44 cores=0,2,4,6
/proc/31617/stat : 31617 (minisat_release) R 31601 31601 29212 0 -1 4202496 185945 0 0 0 90124 20 0 0 20 0 1 0 71466829 209362944 39978 33554432000 4194304 4308513 140726378426368 140726378423368 4285060 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14921728 140726378431151 140726378431662 140726378431662 140726378434501 0
/proc/31617/statm: 51114 39978 353 28 0 47354 0
[pid=31601/tid=31603] ppid=31598 vsize=15683912 memory=124740 CPUtime=24.52 cores=0,2,4,6
/proc/31601/task/31603/stat : 31603 (java) S 31598 31601 29212 0 -1 1077944384 23358 0 0 0 2407 45 0 0 20 0 19 0 71464261 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484538694656 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31604] ppid=31598 vsize=15683912 memory=124740 CPUtime=1.13 cores=0,2,4,6
/proc/31601/task/31604/stat : 31604 (java) S 31598 31601 29212 0 -1 1077944384 449 0 0 0 96 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484571098128 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31605] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.07 cores=0,2,4,6
/proc/31601/task/31605/stat : 31605 (java) S 31598 31601 29212 0 -1 1077944384 410 0 0 0 91 16 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484362181776 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31606] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.14 cores=0,2,4,6
/proc/31601/task/31606/stat : 31606 (java) S 31598 31601 29212 0 -1 1077944384 590 0 0 0 97 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484361128720 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31607] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.13 cores=0,2,4,6
/proc/31601/task/31607/stat : 31607 (java) S 31598 31601 29212 0 -1 1077944384 869 0 0 0 96 17 0 0 20 0 19 0 71464262 16060325888 908784 33554432000 4194304 4196468 140735297523680 140484360076176 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31608] ppid=31598 vsize=15683912 memory=124740 CPUtime=0.04 cores=0,2,4,6
/proc/31601/task/31608/stat : 31608 (java) S 31598 31601 29212 0 -1 1077944384 188 0 0 0 4 0 0 0 20 0 19 0 71464264 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483336554736 140484566866562 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31609] ppid=31598 vsize=15683912 memory=279648006109920 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31609/stat : 31609 (java) S 31598 31601 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71464264 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483212862688 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31610] ppid=31598 vsize=15683912 memory=2314885530818448299 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31610/stat : 31610 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464265 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482944426752 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31611] ppid=31598 vsize=15683912 memory=9988 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31611/stat : 31611 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482569918416 140484566874011 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31612] ppid=31598 vsize=15683912 memory=15104 CPUtime=3.81 cores=0,2,4,6
/proc/31601/task/31612/stat : 31612 (java) S 31598 31601 29212 0 -1 1077944384 7618 0 0 0 380 1 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483335502576 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31613] ppid=31598 vsize=15683912 memory=2160 CPUtime=3.95 cores=0,2,4,6
/proc/31601/task/31613/stat : 31613 (java) S 31598 31601 29212 0 -1 1077944384 7735 0 0 0 392 3 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483334450032 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31614] ppid=31598 vsize=15683912 memory=3635136 CPUtime=1.35 cores=0,2,4,6
/proc/31601/task/31614/stat : 31614 (java) S 31598 31601 29212 0 -1 1077944384 9458 0 0 0 132 3 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483333396976 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31615] ppid=31598 vsize=15683912 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31615/stat : 31615 (java) S 31598 31601 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140482072013664 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31616] ppid=31598 vsize=15683912 memory=800 CPUtime=0.59 cores=0,2,4,6
/proc/31601/task/31616/stat : 31616 (java) S 31598 31601 29212 0 -1 1077944384 768 0 0 0 30 29 0 0 20 0 19 0 71464267 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483332344368 140484566866562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31618] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31618/stat : 31618 (java) S 31598 31601 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140483316409664 140484566880025 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31620] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31620/stat : 31620 (java) S 31598 31601 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481535126832 140484566877341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31621] ppid=31598 vsize=15683912 memory=124740 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31621/stat : 31621 (java) S 31598 31601 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71466829 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481266696112 140484566877341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
[pid=31601/tid=31622] ppid=31598 vsize=15683912 memory=3635136 CPUtime=0 cores=0,2,4,6
/proc/31601/task/31622/stat : 31622 (java) S 31598 31601 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71466831 16060325888 908784 33554432000 4194304 4196468 140735297523680 140481669357344 140484566865621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12177408 140735297524724 140735297525001 140735297525001 140735297527759 0
Current children cumulated CPU time: 940.27 s
Current children cumulated vsize: 15888368 KiB
Current children cumulated memory: 3795048 KiB

Child status: 1
Real time (s): 927.144
CPU time (s): 940.324
CPU user time (s): 938.641
CPU system time (s): 1.68303
CPU usage (%): 101.422
Max. virtual memory (cumulated for all children) (KiB): 15888368
Max. memory (cumulated for all children) (KiB): 3795048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 938.64
system time used= 1.68303
maximum resident set size= 3636488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25472
involuntary context switches= 521


# summary of solver processes directly reported to runsolver:
#   pid: 31601
#   total CPU time (s): 940.324
#   total CPU user time (s): 938.641
#   total CPU system time (s): 1.68303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85712 second user time and 9.07971 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-25 19:16:51
IDJOB=4295229
IDBENCH=141495
IDSOLVER=2755
FILE ID=node102/4295229-1532539011
RUNJOBID= node102-1532535327-29243
PBS_JOBID= 21021949
Free space on /tmp= 52736 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g11-g30_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295229-1532539011/watcher-4295229-1532539011 -o /tmp/evaluation-result-4295229-1532539011/solver-4295229-1532539011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295229-1532539011.xml

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

MD5SUM BENCH= bb4f87e482134ef2c2f946a146b04c70
RANDOM SEED=676821953

node102.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.51
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.51
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.51
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.51
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:        12298616 kB
MemAvailable:   19873008 kB
Buffers:          156840 kB
Cached:          7653420 kB
SwapCached:         5708 kB
Active:         13290248 kB
Inactive:        6622860 kB
Active(anon):   12071608 kB
Inactive(anon):    55316 kB
Active(file):    1218640 kB
Inactive(file):  6567544 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076460 kB
Dirty:              8016 kB
Writeback:             0 kB
AnonPages:      12102012 kB
Mapped:            44488 kB
Shmem:             21392 kB
Slab:             236192 kB
SReclaimable:     208088 kB
SUnreclaim:        28104 kB
KernelStack:        3888 kB
PageTables:        28388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13018320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11945984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52728 MiB
End job on node102 at 2018-07-25 19:32:18