Trace number 4295274

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) 377.826 356.047

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g19-g45_c18.xml
MD5SUMd9c49275b9746ea736e23f2bca190f13
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 variables64
Number of constraints233
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":64}]
Minimum variable degree4
Maximum variable degree10
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}]
Number of extensional constraints232
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":232},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.52	
0.66/0.53	scop both+minisat_release (2018-06-13)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Wed Jul 25 19:32:19 CEST 2018
0.66/0.55	c PID: 32043
0.66/0.55	c IP: 172.20.3.102
0.66/0.55	c HOST: node102.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.56/0.98	c (0,0) Parsing End
1.56/0.99	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.56/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/0.99	c (0,0) Constraint Name Generate Begin
1.56/0.99	c (0,0) Ctr:HOME/instance-4295274-1532539939.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.56/0.99	c (0,0) Constraint Name Generate End
1.56/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.56/0.99	c (0,0) CSP to CSPinCNF Begin
11.47/5.09	c (4,4) translated 24 (10%) constraints
14.61/8.05	c (7,7) translated 47 (20%) constraints
18.20/10.96	c (10,10) translated 70 (30%) constraints
21.04/13.77	c (13,13) translated 94 (40%) constraints
24.80/16.73	c (16,15) translated 117 (50%) constraints
27.53/19.42	c (18,18) translated 140 (60%) constraints
31.61/22.55	c (22,21) translated 164 (70%) constraints
32.32/23.28	c (22,21) translated 187 (80%) constraints
32.32/23.29	c (22,22) translated 210 (90%) constraints
32.54/23.31	c (22,22) translated 233 (100%) constraints
35.72/24.89	c (24,23) STATISTICS1:HOME/instance-4295274-1532539939.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,20896,530682,123,123,125,2,123:6;121:490;103:1520,123:24452;121:315980;103:678720;2:549024,125:168;64:2;3:486192;2:44320,2:2016;1:1564144;0:168,
35.72/24.89	c (24,23) ===========================================
35.72/24.89	c (24,23) Both Encoding selects:
35.72/24.89	c (24,23) Order
35.72/24.89	c (24,23) ===========================================
37.42/25.69	c (25,24) translated 53069 (10%) constraints
38.06/26.29	c (25,24) translated 106137 (20%) constraints
38.67/26.88	c (26,25) translated 159205 (30%) constraints
39.29/27.48	c (26,25) translated 212273 (40%) constraints
39.90/28.07	c (27,26) translated 265341 (50%) constraints
40.49/28.66	c (28,27) translated 318410 (60%) constraints
41.09/29.26	c (28,27) translated 371478 (70%) constraints
41.70/29.85	c (29,28) translated 424546 (80%) constraints
42.30/30.44	c (29,28) translated 477614 (90%) constraints
44.97/31.56	c (31,29) translated 530682 (100%) constraints
44.97/31.56	c (31,29) CSP to CSPinCNF End
44.97/31.57	c (31,29) CSP: 64 int (0 aux), 20832 bool (20832 aux), 530682 ctr, max domain size 123
44.97/31.57	c (31,29) Heap : 808 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
44.97/31.57	c (31,29) CSPinCNF Propagation Begin
75.29/55.79	c (55,52) 0 values, 19064 unsatisfiable literals, and 18896 valid clauses are removed
75.29/55.79	c (55,52) CSPinCNF Propagation End
75.40/55.80	c (55,52) CSP: 64 int (0 aux), 20832 bool (20832 aux), 511786 ctr, max domain size 123
75.40/55.80	c (55,52) Heap : 1600 MiB used (max 10699 MiB), NonHeap : 30 MiB used (max 0 MiB)
75.40/55.80	c (55,52) Simplify CSPinCNF Begin
76.55/56.61	c (56,52) Simplify CSPinCNF End
76.55/56.61	c (56,52) CSP: 64 int (0 aux), 24864 bool (24864 aux), 515818 ctr, max domain size 123
76.55/56.61	c (56,52) Heap : 2020 MiB used (max 10699 MiB), NonHeap : 29 MiB used (max 0 MiB)
76.55/56.61	c (56,52) Calculate Precise Domain Begin
76.55/56.61	c (56,52) 0 values are removed by re-calculation
76.55/56.61	c (56,52) Calculate Precise Domain End
76.55/56.62	c (56,52) CSP: 64 int (0 aux), 24864 bool (24864 aux), 515818 ctr, max domain size 123
76.55/56.62	c (56,52) Heap : 2020 MiB used (max 10699 MiB), NonHeap : 29 MiB used (max 0 MiB)
76.55/56.62	c (56,52) CSPinCNF to SatSolver Begin
78.82/58.05	c (57,54) 51582 (10 %) CSP clauses are encoded (31976 SAT variables, 487773 SAT clauses)
79.30/58.36	c (57,54) 103164 (20 %) CSP clauses are encoded (31976 SAT variables, 539355 SAT clauses)
79.62/58.62	c (58,54) 154746 (30 %) CSP clauses are encoded (31976 SAT variables, 590937 SAT clauses)
79.81/58.86	c (58,55) 206328 (40 %) CSP clauses are encoded (31976 SAT variables, 642519 SAT clauses)
80.12/59.11	c (58,55) 257909 (50 %) CSP clauses are encoded (31976 SAT variables, 694100 SAT clauses)
80.31/59.36	c (58,55) 309491 (60 %) CSP clauses are encoded (31976 SAT variables, 745682 SAT clauses)
80.61/59.62	c (59,55) 361073 (70 %) CSP clauses are encoded (31976 SAT variables, 797264 SAT clauses)
80.81/59.87	c (59,56) 412655 (80 %) CSP clauses are encoded (31976 SAT variables, 848846 SAT clauses)
81.13/60.12	c (59,56) 464237 (90 %) CSP clauses are encoded (31976 SAT variables, 900428 SAT clauses)
81.32/60.37	c (59,56) 515818 (100 %) CSP clauses are encoded (31976 SAT variables, 952009 SAT clauses)
81.32/60.37	c (59,56) CSPinCNF to SatSolver End
81.32/60.37	c (59,56) Heap : 2708 MiB used (max 10712 MiB), NonHeap : 31 MiB used (max 0 MiB)
83.00/61.54	c (61,57) STATISTICS2:HOME/instance-4295274-1532539939.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,24928,515818,123,123,124,2,123:12;121:980;103:3040,123:24640;121:315920;103:644832;2:538256,124:168;64:2;3:467360;2:48288,2:4032;1:1515584,
83.00/61.54	c (61,57) SatSolver.solve Begin
83.00/61.54	c (61,57) 31976 bool, 952010 clause
83.00/61.54	c (61,57) 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-4295274-1532539939.xml-scop-32043.cnf HOME/instance-4295274-1532539939.xml-scop-32043.cnf.out
377.76/356.01	c (355,0) receiving signal SIGTERM
377.76/356.01	s UNKNOWN
377.76/356.01	c (355,57) SatSolver is killed by some reasons.
377.76/356.01	c (355,57) 0,0,31,55,56,56,59,TO,TO,STOP-AFTER(DIMACS)
377.76/356.01	c END-Prog: Wed Jul 25 19:38:15 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 (8228 MiB free)
  memory of node 1: 16384 MiB (12511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295274-1532539939/watcher-4295274-1532539939 -o /tmp/evaluation-result-4295274-1532539939/solver-4295274-1532539939 -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-4295274-1532539939.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB

solver pid=32043, runsolver pid=32040

[startup+0.100119 s]*
/proc/loadavg: 1.96 2.16 3.08 4/221 32058
/proc/meminfo: memFree=21178332/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15011656 memory=73080 CPUtime=0.11 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 6987 0 0 0 10 1 0 0 20 0 15 0 71557032 15371935744 18270 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3752914 18270 2755 1 0 3715374 0
[pid=32043/tid=32045] ppid=32040 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) R 32040 32043 29212 0 -1 4202560 5106 0 0 0 8 1 0 0 20 0 15 0 71557032 15371935744 18270 33554432000 4194304 4196468 140723772701280 140345468402064 140345476851549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 18270 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 18270 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 18270 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 18270 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 18270 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 18270 33554432000 4194304 4196468 140723772701280 140344062632864 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 18336 33554432000 4194304 4196468 140723772701280 140343827751920 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 18336 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) S 32040 32043 29212 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 18336 33554432000 4194304 4196468 140723772701280 140344902838768 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 18336 33554432000 4194304 4196468 140723772701280 140344834386544 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0.01 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) S 32040 32043 29212 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 71557039 15371935744 18336 33554432000 4194304 4196468 140723772701280 140344833334000 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 18336 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 18336 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73080 KiB

[startup+0.210443 s]*
/proc/loadavg: 1.96 2.16 3.08 3/221 32058
/proc/meminfo: memFree=21162064/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15011656 memory=88136 CPUtime=0.25 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 10960 0 0 0 23 2 0 0 20 0 15 0 71557032 15371935744 22034 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3752914 22034 2885 1 0 3715374 0
[pid=32043/tid=32045] ppid=32040 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) R 32040 32043 29212 0 -1 4202560 8866 0 0 0 18 2 0 0 20 0 15 0 71557032 15371935744 22034 33554432000 4194304 4196468 140723772701280 140345468398080 140345496587670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22034 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15011656 memory=4049776333582436000 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22034 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22034 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22034 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 22034 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 22034 33554432000 4194304 4196468 140723772701280 140344062632864 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 22034 33554432000 4194304 4196468 140723772701280 140343827751920 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22034 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) S 32040 32043 29212 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 71557039 15371935744 22034 33554432000 4194304 4196468 140723772701280 140344902838768 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) S 32040 32043 29212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22034 33554432000 4194304 4196468 140723772701280 140344834386544 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0.03 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) R 32040 32043 29212 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 71557039 15371935744 22034 33554432000 4194304 4196468 140723772701280 140344833334000 140345475259815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22034 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22034 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88136 KiB

[startup+0.3103 s]*
/proc/loadavg: 1.96 2.16 3.08 3/221 32058
/proc/meminfo: memFree=21157824/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15011656 memory=91836 CPUtime=0.43 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 11503 0 0 0 40 3 0 0 20 0 15 0 71557032 15371935744 22959 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3752914 22959 2987 1 0 3715374 0
[pid=32043/tid=32045] ppid=32040 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) R 32040 32043 29212 0 -1 4202560 9221 0 0 0 28 2 0 0 20 0 15 0 71557032 15371935744 22959 33554432000 4194304 4196468 140723772701280 140345468379888 140345496587670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22959 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15011656 memory=3616867819401447072 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22959 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22959 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557034 15371935744 22959 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 22959 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 22959 33554432000 4194304 4196468 140723772701280 140344062632864 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557036 15371935744 22959 33554432000 4194304 4196468 140723772701280 140343827751920 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22959 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) R 32040 32043 29212 0 -1 4202560 549 0 0 0 3 0 0 0 20 0 15 0 71557039 15371935744 22959 33554432000 4194304 4196468 140723772701280 140344902838768 140345474210384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) R 32040 32043 29212 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 71557039 15371935744 22959 33554432000 4194304 4196468 140723772701280 140344834386544 140345496586882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0.07 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) R 32040 32043 29212 0 -1 4202560 333 0 0 0 7 0 0 0 20 0 15 0 71557039 15371935744 22959 33554432000 4194304 4196468 140723772701280 140344833334000 140345480656222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22959 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15011656 memory=140622412580480 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557039 15371935744 22959 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91836 KiB

[startup+0.712382 s]
/proc/loadavg: 1.96 2.16 3.08 4/221 32058
/proc/meminfo: memFree=21135796/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15020052 memory=129936 CPUtime=1.03 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 18263 0 0 0 97 6 0 0 20 0 15 0 71557032 15380533248 32484 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3755013 32484 3155 1 0 3716398 0
[pid=32043/tid=32045] ppid=32040 vsize=15020052 memory=278275964309649 CPUtime=0.69 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) R 32040 32043 29212 0 -1 4202560 15467 0 0 0 64 5 0 0 20 0 15 0 71557032 15380533248 32484 33554432000 4194304 4196468 140723772701280 140345468413248 140345480656222 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15020052 memory=397245 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15380533248 32484 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15380533248 32484 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15380533248 32484 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557034 15380533248 32484 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71557036 15380533248 32484 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71557036 15380533248 32484 33554432000 4194304 4196468 140723772701280 140344062632864 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557036 15380533248 32484 33554432000 4194304 4196468 140723772701280 140343827751920 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15380533248 32484 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15020052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) S 32040 32043 29212 0 -1 1077944384 660 0 0 0 9 0 0 0 20 0 15 0 71557039 15380533248 32484 33554432000 4194304 4196468 140723772701280 140344902838768 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) R 32040 32043 29212 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 15 0 71557039 15380533248 32484 33554432000 4194304 4196468 140723772701280 140344834376928 140345480969488 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) R 32040 32043 29212 0 -1 4202560 491 0 0 0 17 0 0 0 20 0 15 0 71557039 15380533248 32484 33554432000 4194304 4196468 140723772701280 140344833329760 140345496597082 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71557039 15380533248 32484 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557039 15380533248 32484 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129936 KiB

[startup+1.50732 s]
/proc/loadavg: 1.96 2.16 3.08 5/221 32058
/proc/meminfo: memFree=21098828/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15022100 memory=190088 CPUtime=3.51 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 24798 0 0 0 342 9 0 0 20 0 15 0 71557032 15382630400 47522 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3755525 47522 3201 1 0 3716910 0
[pid=32043/tid=32045] ppid=32040 vsize=15022100 memory=7234278993258636116 CPUtime=1.48 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) R 32040 32043 29212 0 -1 4202560 17097 0 0 0 142 6 0 0 20 0 15 0 71557032 15382630400 47522 33554432000 4194304 4196468 140723772701280 140345468408456 140344993332603 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15022100 memory=7089319380252648276 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15382630400 47522 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15022100 memory=6008734758541289574 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15382630400 47522 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15022100 memory=7738421533145846119 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71557034 15382630400 47522 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15022100 memory=6935651454800449616 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71557034 15382630400 47522 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15022100 memory=7161690292358436716 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71557036 15382630400 47522 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0

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

/proc/meminfo: memFree=16515984/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15683912 memory=4567884 CPUtime=83.29 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 65119 0 0 0 8080 249 0 0 20 0 19 0 71557032 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3920978 1141971 3263 1 0 3881834 0
[pid=32060] ppid=32043 vsize=152448 memory=122192 CPUtime=220.72 cores=0,2,4,6
/proc/32060/stat : 32060 (minisat_release) R 32043 32043 29212 0 -1 4202496 136289 0 0 0 22055 17 0 0 20 0 1 0 71563188 156106752 30548 33554432000 4194304 4308513 140736890944464 140736890941368 4276089 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 20246528 140736890946223 140736890946734 140736890946734 140736890949573 0
/proc/32060/statm: 38112 30548 353 28 0 34352 0
[pid=32043/tid=32045] ppid=32040 vsize=15683912 memory=4567884 CPUtime=58.21 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) S 32040 32043 29212 0 -1 1077944384 27369 0 0 0 5772 49 0 0 20 0 19 0 71557032 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345468414976 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15683912 memory=3032 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1498 0 0 0 283 46 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15683912 memory=2764 CPUtime=3.3 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1781 0 0 0 285 45 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15683912 memory=4567884 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1145 0 0 0 284 45 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15683912 memory=288230574492221466 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2693 0 0 0 283 46 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15683912 memory=122192 CPUtime=0.04 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 1214 0 0 0 4 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15683912 memory=120144 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344062632928 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140343827751936 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15683912 memory=85616 CPUtime=5.16 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) S 32040 32043 29212 0 -1 1077944384 10424 0 0 0 514 2 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344902838768 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15683912 memory=118096 CPUtime=5 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) S 32040 32043 29212 0 -1 1077944384 7168 0 0 0 498 2 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344834386544 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15683912 memory=85616 CPUtime=1.43 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) S 32040 32043 29212 0 -1 1077944384 9843 0 0 0 140 3 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344833334000 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15683912 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15683912 memory=118096 CPUtime=0.17 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 569 0 0 0 10 7 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32061] ppid=32040 vsize=15683912 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32061/stat : 32061 (java) S 32040 32043 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345304441920 140345496600345 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32063] ppid=32040 vsize=15683912 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32063/stat : 32063 (java) S 32040 32043 29212 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342418452016 140345496597661 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32064] ppid=32040 vsize=15683912 memory=796 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32064/stat : 32064 (java) S 32040 32043 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342552673968 140345496597661 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32065] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32065/stat : 32065 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71563191 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342150028832 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 304.01 s
Current children cumulated vsize: 15836360 KiB
Current children cumulated memory: 4690076 KiB

[startup+342.301 s]
/proc/loadavg: 2.04 2.07 2.75 3/225 32069
/proc/meminfo: memFree=16551936/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15683912 memory=4567884 CPUtime=83.32 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 65123 0 0 0 8082 250 0 0 20 0 19 0 71557032 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3920978 1141971 3263 1 0 3881834 0
[pid=32060] ppid=32043 vsize=103128 memory=85616 CPUtime=280.73 cores=0,2,4,6
/proc/32060/stat : 32060 (minisat_release) R 32043 32043 29212 0 -1 4202496 150695 0 0 0 28053 20 0 0 20 0 1 0 71563188 105603072 21404 33554432000 4194304 4308513 140736890944464 140736890941912 4276008 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 20246528 140736890946223 140736890946734 140736890946734 140736890949573 0
/proc/32060/statm: 25782 21404 353 28 0 22022 0
[pid=32043/tid=32045] ppid=32040 vsize=15683912 memory=4567884 CPUtime=58.21 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) S 32040 32043 29212 0 -1 1077944384 27369 0 0 0 5772 49 0 0 20 0 19 0 71557032 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345468414976 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15683912 memory=4567884 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1498 0 0 0 283 46 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15683912 memory=120144 CPUtime=3.3 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1781 0 0 0 285 45 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15683912 memory=4567884 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1145 0 0 0 284 45 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15683912 memory=122192 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2693 0 0 0 283 46 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0.04 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 1214 0 0 0 4 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344062632928 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15683912 memory=-7824251494390847851 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140343827751936 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15683912 memory=120144 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15683912 memory=15316 CPUtime=5.16 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) S 32040 32043 29212 0 -1 1077944384 10424 0 0 0 514 2 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344902838768 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15683912 memory=3604 CPUtime=5 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) S 32040 32043 29212 0 -1 1077944384 7168 0 0 0 498 2 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344834386544 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15683912 memory=4567884 CPUtime=1.43 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) S 32040 32043 29212 0 -1 1077944384 9843 0 0 0 140 3 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344833334000 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0.21 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 573 0 0 0 12 9 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32061] ppid=32040 vsize=15683912 memory=82956 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32061/stat : 32061 (java) S 32040 32043 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345304441920 140345496600345 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32063] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32063/stat : 32063 (java) S 32040 32043 29212 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342418452016 140345496597661 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32064] ppid=32040 vsize=15683912 memory=85616 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32064/stat : 32064 (java) S 32040 32043 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342552673968 140345496597661 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32065] ppid=32040 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32065/stat : 32065 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71563191 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342150028832 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 364.05 s
Current children cumulated vsize: 15787040 KiB
Current children cumulated memory: 4653500 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+356.001 s]*
/proc/loadavg: 2.03 2.06 2.74 3/225 32069
/proc/meminfo: memFree=16485224/32770624 swapFree=67076476/67108860
[pid=32043] ppid=32040 vsize=15683912 memory=4567884 CPUtime=83.33 cores=0,2,4,6
/proc/32043/stat : 32043 (java) S 32040 32043 29212 0 -1 1077944320 65123 0 0 0 8083 250 0 0 20 0 19 0 71557032 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140723772683824 140345496575735 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
/proc/32043/statm: 3920978 1141971 3263 1 0 3881834 0
[pid=32060] ppid=32043 vsize=201768 memory=154804 CPUtime=294.43 cores=0,2,4,6
/proc/32060/stat : 32060 (minisat_release) R 32043 32043 29212 0 -1 4202496 151777 0 0 0 29422 21 0 0 20 0 1 0 71563188 206610432 38701 33554432000 4194304 4308513 140736890944464 140736890941368 4280654 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 20246528 140736890946223 140736890946734 140736890946734 140736890949573 0
/proc/32060/statm: 50442 38701 353 28 0 46682 0
[pid=32043/tid=32045] ppid=32040 vsize=15683912 memory=-7824251494390847851 CPUtime=58.21 cores=0,2,4,6
/proc/32043/task/32045/stat : 32045 (java) S 32040 32043 29212 0 -1 1077944384 27369 0 0 0 5772 49 0 0 20 0 19 0 71557032 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345468414976 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32046] ppid=32040 vsize=15683912 memory=-7824251494390847851 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32046/stat : 32046 (java) S 32040 32043 29212 0 -1 1077944384 1498 0 0 0 283 46 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345500818192 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32047] ppid=32040 vsize=15683912 memory=2164 CPUtime=3.3 cores=0,2,4,6
/proc/32043/task/32047/stat : 32047 (java) S 32040 32043 29212 0 -1 1077944384 1781 0 0 0 285 45 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345314974608 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32048] ppid=32040 vsize=15683912 memory=3700 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32048/stat : 32048 (java) S 32040 32043 29212 0 -1 1077944384 1145 0 0 0 284 45 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345313922064 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32049] ppid=32040 vsize=15683912 memory=844 CPUtime=3.29 cores=0,2,4,6
/proc/32043/task/32049/stat : 32049 (java) S 32040 32043 29212 0 -1 1077944384 2693 0 0 0 283 46 0 0 20 0 19 0 71557034 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345312869520 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32050] ppid=32040 vsize=15683912 memory=1460 CPUtime=0.04 cores=0,2,4,6
/proc/32043/task/32050/stat : 32050 (java) S 32040 32043 29212 0 -1 1077944384 1214 0 0 0 4 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344903890928 140345496586882 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32051] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32051/stat : 32051 (java) S 32040 32043 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344062632928 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32052] ppid=32040 vsize=15683912 memory=120144 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32052/stat : 32052 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557036 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140343827751936 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32053] ppid=32040 vsize=15683912 memory=4567884 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32053/stat : 32053 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140343453243600 140345496594331 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32054] ppid=32040 vsize=15683912 memory=117896 CPUtime=5.16 cores=0,2,4,6
/proc/32043/task/32054/stat : 32054 (java) S 32040 32043 29212 0 -1 1077944384 10424 0 0 0 514 2 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344902838768 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32055] ppid=32040 vsize=15683912 memory=3460 CPUtime=5 cores=0,2,4,6
/proc/32043/task/32055/stat : 32055 (java) S 32040 32043 29212 0 -1 1077944384 7168 0 0 0 498 2 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344834386544 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32056] ppid=32040 vsize=15683912 memory=3109868 CPUtime=1.43 cores=0,2,4,6
/proc/32043/task/32056/stat : 32056 (java) S 32040 32043 29212 0 -1 1077944384 9843 0 0 0 140 3 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344833334000 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32057] ppid=32040 vsize=15683912 memory=63900 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32057/stat : 32057 (java) S 32040 32043 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342955338848 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32058] ppid=32040 vsize=15683912 memory=124240 CPUtime=0.23 cores=0,2,4,6
/proc/32043/task/32058/stat : 32058 (java) S 32040 32043 29212 0 -1 1077944384 573 0 0 0 13 10 0 0 20 0 19 0 71557039 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140344832280880 140345496586882 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32061] ppid=32040 vsize=15683912 memory=124240 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32061/stat : 32061 (java) S 32040 32043 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140345304441920 140345496600345 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32063] ppid=32040 vsize=15683912 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32063/stat : 32063 (java) S 32040 32043 29212 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342418452016 140345496597661 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32064] ppid=32040 vsize=15683912 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32064/stat : 32064 (java) S 32040 32043 29212 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 71563189 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342552673968 140345496597661 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
[pid=32043/tid=32065] ppid=32040 vsize=15683912 memory=3460 CPUtime=0 cores=0,2,4,6
/proc/32043/task/32065/stat : 32065 (java) S 32040 32043 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71563191 16060325888 1141971 33554432000 4194304 4196468 140723772701280 140342150028832 140345496585941 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10633216 140723772707828 140723772708105 140723772708105 140723772710863 0
Current children cumulated CPU time: 377.76 s
Current children cumulated vsize: 15885680 KiB
Current children cumulated memory: 4722688 KiB

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

[startup+356.047 s]
# the end of solver process 32043 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=375.068 s, system=2.75764 s

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

Child status: 1
Real time (s): 356.047
CPU time (s): 377.826
CPU user time (s): 375.068
CPU system time (s): 2.75764
CPU usage (%): 106.117
Max. virtual memory (cumulated for all children) (KiB): 15885680
Max. memory (cumulated for all children) (KiB): 4722688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 375.068
system time used= 2.75765
maximum resident set size= 4568304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12947
involuntary context switches= 702


# summary of solver processes directly reported to runsolver:
#   pid: 32043
#   total CPU time (s): 377.826
#   total CPU user time (s): 375.068
#   total CPU system time (s): 2.75764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37636 second user time and 3.69152 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-25 19:32:19
IDJOB=4295274
IDBENCH=141500
IDSOLVER=2755
FILE ID=node102/4295274-1532539939
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-g19-g45_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-4295274-1532539939/watcher-4295274-1532539939 -o /tmp/evaluation-result-4295274-1532539939/solver-4295274-1532539939 -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-4295274-1532539939.xml

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

MD5SUM BENCH= d9c49275b9746ea736e23f2bca190f13
RANDOM SEED=356595993

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:        21237916 kB
MemAvailable:   28814484 kB
Buffers:          157444 kB
Cached:          7655080 kB
SwapCached:         5692 kB
Active:          4365796 kB
Inactive:        6623668 kB
Active(anon):    3145732 kB
Inactive(anon):    55316 kB
Active(file):    1220064 kB
Inactive(file):  6568352 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076476 kB
Dirty:              7900 kB
Writeback:             0 kB
AnonPages:       3270064 kB
Mapped:            44588 kB
Shmem:             21408 kB
Slab:             235728 kB
SReclaimable:     207972 kB
SUnreclaim:        27756 kB
KernelStack:        3984 kB
PageTables:        11288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13468912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3110912 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:38:15