Trace number 4294857

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)SAT 39.6068 25.3798

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-04-05_c18.xml
MD5SUM340365fb59c69c653973bf6f753c5e6c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.04534
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints9
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":20}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":20}]
Minimum constraint arity4
Maximum constraint arity5
Distribution of constraint arities[{"arity":4,"count":5},{"arity":5,"count":4}]
Number of extensional constraints9
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":9}]
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.59	c BEGIN-Prog: Wed Jul 25 18:15:28 CEST 2018
0.66/0.59	c PID: 29271
0.66/0.59	c IP: 172.20.3.102
0.66/0.59	c HOST: node102.alineos.net
0.73/0.61	c (0,0) Parsing Begin
1.80/1.05	c (0,0) Parsing End
1.80/1.06	c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 9 ctr, max domain size 26
2.02/1.11	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.02/1.11	c (0,0) Constraint Name Generate Begin
2.02/1.11	c (0,0) Ctr:HOME/instance-4294857-1532535327.xml,ExtensionSupport:IntVar
2.02/1.11	c (0,0) Constraint Name Generate End
2.02/1.11	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.02/1.11	c (0,0) CSP to CSPinCNF Begin
2.02/1.15	c (0,0) translated 1 (10%) constraints
13.06/6.59	c (6,5) translated 2 (20%) constraints
17.12/8.78	c (8,8) translated 3 (30%) constraints
19.84/10.82	c (10,9) translated 4 (40%) constraints
21.90/12.66	c (12,11) translated 5 (50%) constraints
23.02/13.60	c (13,12) translated 6 (60%) constraints
23.55/14.16	c (13,13) translated 7 (70%) constraints
24.14/14.73	c (14,13) translated 8 (80%) constraints
24.64/15.29	c (14,14) translated 9 (90%) constraints
27.50/16.79	c (16,15) STATISTICS1:HOME/instance-4294857-1532535327.xml,ExtensionSupport:IntVar,22058,269366,-1,26,27,1,,26:458087;2:479995,27:51;26:53;25:58;24:52;23:58;22:80;21:79;20:66;19:69;18:70;17:113;16:105;15:113;14:150;13:111;12:173;11:233;10:303;9:333;8:619;7:849;6:1101;5:1434;4:128643;3:96346;2:38104,1:938082;0:9,
27.50/16.79	c (16,15) ===========================================
27.50/16.79	c (16,15) Both Encoding selects:
27.50/16.79	c (16,15) Order
27.50/16.79	c (16,15) ===========================================
28.42/17.20	c (16,16) translated 26937 (10%) constraints
28.75/17.56	c (17,16) translated 53874 (20%) constraints
29.23/17.92	c (17,16) translated 80810 (30%) constraints
29.53/18.28	c (17,17) translated 107747 (40%) constraints
29.93/18.64	c (18,17) translated 134683 (50%) constraints
30.23/18.99	c (18,17) translated 161620 (60%) constraints
30.63/19.35	c (18,18) translated 188557 (70%) constraints
31.07/19.70	c (19,18) translated 215493 (80%) constraints
31.38/20.03	c (19,18) translated 242430 (90%) constraints
31.68/20.37	c (19,19) translated 269366 (100%) constraints
31.68/20.37	c (19,19) CSP to CSPinCNF End
31.68/20.39	c (19,19) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
31.68/20.39	c (19,19) Heap : 2743 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
31.68/20.39	c (19,19) CSPinCNF Propagation Begin
34.31/21.85	c (21,20) 0 values, 9 unsatisfiable literals, and 0 valid clauses are removed
34.31/21.85	c (21,20) CSPinCNF Propagation End
34.31/21.86	c (21,20) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
34.31/21.86	c (21,20) Heap : 1362 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
34.31/21.86	c (21,20) Simplify CSPinCNF Begin
34.79/22.24	c (21,20) Simplify CSPinCNF End
34.79/22.25	c (21,20) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
34.79/22.25	c (21,20) Heap : 1529 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
34.79/22.25	c (21,20) Calculate Precise Domain Begin
34.79/22.25	c (21,20) 0 values are removed by re-calculation
34.79/22.25	c (21,20) Calculate Precise Domain End
34.79/22.25	c (21,20) CSP: 20 int (0 aux), 22038 bool (22038 aux), 269366 ctr, max domain size 26
34.79/22.25	c (21,20) Heap : 1529 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
34.79/22.25	c (21,20) CSPinCNF to SatSolver Begin
35.81/22.61	c (22,21) 26937 (10 %) CSP clauses are encoded (22538 SAT variables, 27416 SAT clauses)
35.93/22.77	c (22,21) 53874 (20 %) CSP clauses are encoded (22538 SAT variables, 54353 SAT clauses)
36.16/22.91	c (22,21) 80810 (30 %) CSP clauses are encoded (22538 SAT variables, 81289 SAT clauses)
36.28/23.06	c (22,21) 107747 (40 %) CSP clauses are encoded (22538 SAT variables, 108226 SAT clauses)
36.47/23.20	c (22,21) 134683 (50 %) CSP clauses are encoded (22538 SAT variables, 135162 SAT clauses)
36.57/23.34	c (22,21) 161620 (60 %) CSP clauses are encoded (22538 SAT variables, 162099 SAT clauses)
36.67/23.48	c (22,22) 188557 (70 %) CSP clauses are encoded (22538 SAT variables, 189036 SAT clauses)
36.88/23.62	c (23,22) 215493 (80 %) CSP clauses are encoded (22538 SAT variables, 215972 SAT clauses)
36.98/23.76	c (23,22) 242430 (90 %) CSP clauses are encoded (22538 SAT variables, 242909 SAT clauses)
37.08/23.89	c (23,22) 269366 (100 %) CSP clauses are encoded (22538 SAT variables, 269845 SAT clauses)
37.08/23.89	c (23,22) CSPinCNF to SatSolver End
37.08/23.89	c (23,22) Heap : 2986 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
38.76/24.73	c (24,23) STATISTICS2:HOME/instance-4294857-1532535327.xml,ExtensionSupport:IntVar,22058,269366,-1,26,27,1,,26:458087;2:479995,27:42;26:62;25:58;24:52;23:58;22:80;21:79;20:66;19:69;18:70;17:113;16:105;15:113;14:150;13:111;12:173;11:233;10:303;9:333;8:619;7:849;6:1101;5:1434;4:128643;3:96346;2:38104,1:938082,
38.76/24.73	c (24,23) SatSolver.solve Begin
38.76/24.73	c (24,23) 22538 bool, 269846 clause
38.76/24.73	c (24,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-4294857-1532535327.xml-scop-29271.cnf HOME/instance-4294857-1532535327.xml-scop-29271.cnf.out
39.28/25.27	c (24,0) c This is COMiniSatPS.
39.28/25.27	c (24,0) c WARNING: for repeatability, setting FPU to use double precision
39.28/25.27	c (24,0) c ============================[ Problem Statistics ]=============================
39.28/25.27	c (24,0) c |                                                                             |
39.28/25.27	c (24,0) c |  Number of variables:         22538                                         |
39.28/25.27	c (24,0) c |  Number of clauses:          269846                                         |
39.28/25.27	c (24,0) c |  Parse time:                   0.08 s                                       |
39.28/25.27	c (24,0) c |  Eliminated clauses:           0.07 Mb                                      |
39.28/25.27	c (24,0) c Reduced to 21650 vars, 266628 cls (grow=0)
39.28/25.27	c (24,0) c No iterative elimination performed. (vars=21650, c/v ratio=12.3)
39.28/25.27	c (24,0) c |  Simplification time:          0.33 s                                       |
39.28/25.27	c (24,0) c |                                                                             |
39.28/25.27	c (24,0) c ============================[ Search Statistics ]==============================
39.28/25.27	c (24,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.28/25.27	c (24,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
39.28/25.27	c (24,0) c ===============================================================================
39.28/25.27	c (24,0) c ===============================================================================
39.28/25.27	c (24,0) c restarts              : 2
39.28/25.27	c (24,0) c conflicts             : 213            (466 /sec)
39.28/25.27	c (24,0) c decisions             : 1882           (0.00 % random) (4114 /sec)
39.28/25.27	c (24,0) c propagations          : 167241         (365620 /sec)
39.28/25.27	c (24,0) c conflict literals     : 26993          (21.21 % deleted)
39.28/25.27	c (24,0) c CPU time              : 0.457418 s
39.28/25.27	c (24,0) 
39.28/25.27	c (24,0) s SATISFIABLE
39.43/25.32	c (24,23) SatSolver.solve End
39.43/25.32	c (24,23) Heap : 1447 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
39.43/25.32	c (24,23) Show results Begin
39.43/25.33	c (24,23) x[0][0] = 1
39.43/25.33	c (24,23) x[0][1] = 0
39.43/25.33	c (24,23) x[0][2] = 13
39.43/25.33	c (24,23) x[0][3] = 25
39.43/25.33	c (24,23) x[0][4] = 20
39.43/25.33	c (24,23) x[1][0] = 14
39.43/25.33	c (24,23) x[1][1] = 3
39.43/25.33	c (24,23) x[1][2] = 4
39.43/25.33	c (24,23) x[1][3] = 20
39.43/25.33	c (24,23) x[1][4] = 17
39.43/25.33	c (24,23) x[2][0] = 13
39.43/25.33	c (24,23) x[2][1] = 0
39.43/25.33	c (24,23) x[2][2] = 0
39.43/25.33	c (24,23) x[2][3] = 17
39.43/25.33	c (24,23) x[2][4] = 13
39.43/25.33	c (24,23) x[3][0] = 0
39.43/25.33	c (24,23) x[3][1] = 17
39.43/25.33	c (24,23) x[3][2] = 2
39.43/25.33	c (24,23) x[3][3] = 7
39.43/25.33	c (24,23) x[3][4] = 4
39.43/25.33	s SATISFIABLE
39.43/25.33	v <instantiation>
39.43/25.33	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4]</list>
39.43/25.33	v     <values>1 0 13 25 20 14 3 4 20 17 13 0 0 17 13 0 17 2 7 4</values>
39.43/25.33	v </instantiation>
39.43/25.33	c (24,23) Show results End
39.43/25.33	c (24,23) Heap : 1447 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
39.43/25.33	c (24,23) 0,0,19,21,21,21,23,24,24,STOP-AFTER(ALL)
39.43/25.33	c END-Prog: Wed Jul 25 18:15:53 CEST 2018

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294857-1532535327/watcher-4294857-1532535327 -o /tmp/evaluation-result-4294857-1532535327/solver-4294857-1532535327 -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-4294857-1532535327.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 0.92 0.99 1.04 5/215 29302
/proc/meminfo: memFree=19011092/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15011656 memory=69692 CPUtime=0.11 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 6165 0 0 0 9 2 0 0 20 0 15 0 71095881 15371935744 17423 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3752914 17423 2750 1 0 3715374 0
[pid=29271/tid=29275] ppid=29265 vsize=15011656 memory=6735269665583770266 CPUtime=0.08 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) R 29265 29271 29212 0 -1 4202560 4261 0 0 0 7 1 0 0 20 0 15 0 71095882 15371935744 17423 33554432000 4194304 4196468 140724816989312 140104431350432 140104443635038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15011656 memory=4211974242213498250 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 17423 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 17423 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 17423 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 17423 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095885 15371935744 17423 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71095886 15371935744 17423 33554432000 4194304 4196468 140724816989312 140103041148320 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71095886 15371935744 17423 33554432000 4194304 4196468 140724816989312 140102906926576 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 17423 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) S 29265 29271 29212 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 17423 33554432000 4194304 4196468 140724816989312 140103519746032 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 17423 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) R 29265 29271 29212 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 17423 33554432000 4194304 4196468 140724816989312 140103517640944 140104438371552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 17423 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 17423 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 69692 KiB

[startup+0.210501 s]*
/proc/loadavg: 0.92 0.99 1.04 4/215 29302
/proc/meminfo: memFree=18982144/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15011656 memory=83584 CPUtime=0.25 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 9850 0 0 0 22 3 0 0 20 0 15 0 71095881 15371935744 20896 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3752914 20896 2913 1 0 3715374 0
[pid=29271/tid=29275] ppid=29265 vsize=15011656 memory=4871374705135476842 CPUtime=0.19 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) R 29265 29271 29212 0 -1 4202560 7735 0 0 0 17 2 0 0 20 0 15 0 71095882 15371935744 20896 33554432000 4194304 4196468 140724816989312 140104431345216 140104459566486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15011656 memory=4211974242213498250 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 20896 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 20896 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 20896 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 20896 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095885 15371935744 20896 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71095886 15371935744 20896 33554432000 4194304 4196468 140724816989312 140103041148320 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71095886 15371935744 20896 33554432000 4194304 4196468 140724816989312 140102906926576 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 20896 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) S 29265 29271 29212 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 20896 33554432000 4194304 4196468 140724816989312 140103519746032 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 20896 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0.02 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) R 29265 29271 29212 0 -1 4202560 282 0 0 0 2 0 0 0 20 0 15 0 71095889 15371935744 20896 33554432000 4194304 4196468 140724816989312 140103517640944 140104459575898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 20896 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 20896 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83584 KiB

[startup+0.310064 s]*
/proc/loadavg: 0.92 0.99 1.04 4/215 29302
/proc/meminfo: memFree=18975136/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15011656 memory=87404 CPUtime=0.42 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 10458 0 0 0 39 3 0 0 20 0 15 0 71095881 15371935744 21851 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3752914 21851 2975 1 0 3715374 0
[pid=29271/tid=29275] ppid=29265 vsize=15011656 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) R 29265 29271 29212 0 -1 4202560 8172 0 0 0 27 2 0 0 20 0 15 0 71095882 15371935744 21851 33554432000 4194304 4196468 140724816989312 140104431358704 140104441118080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15011656 memory=662039291620837129 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 21851 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15011656 memory=281031903703168 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 21851 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15011656 memory=281031790020896 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 21851 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15011656 memory=140515894995471 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15371935744 21851 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15011656 memory=281031903710080 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095885 15371935744 21851 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15011656 memory=140515895000079 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71095886 15371935744 21851 33554432000 4194304 4196468 140724816989312 140103041148320 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15011656 memory=140515895031623 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71095886 15371935744 21851 33554432000 4194304 4196468 140724816989312 140102906926576 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15011656 memory=140515895033931 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 21851 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) S 29265 29271 29212 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 71095889 15371935744 21851 33554432000 4194304 4196468 140724816989312 140103519746032 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 21851 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15011656 memory=140516008707712 CPUtime=0.07 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) S 29265 29271 29212 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 71095889 15371935744 21851 33554432000 4194304 4196468 140724816989312 140103517640944 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 21851 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15011656 memory=140516008777404 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095889 15371935744 21851 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87404 KiB

[startup+0.705493 s]
/proc/loadavg: 0.92 0.99 1.04 5/215 29302
/proc/meminfo: memFree=18926032/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15017928 memory=123692 CPUtime=0.91 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 17131 0 0 0 86 5 0 0 20 0 15 0 71095881 15378358272 30923 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3754482 30923 3136 1 0 3715886 0
[pid=29271/tid=29275] ppid=29265 vsize=15017928 memory=54 CPUtime=0.63 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) R 29265 29271 29212 0 -1 4202560 14436 0 0 0 59 4 0 0 20 0 15 0 71095882 15378358272 30923 33554432000 4194304 4196468 140724816989312 140104431390752 140104459576477 0 4 0 25189583 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15378358272 30923 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15378358272 30923 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15378358272 30923 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15378358272 30923 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15017928 memory=7813587196152395573 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71095885 15378358272 30923 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15017928 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71095886 15378358272 30923 33554432000 4194304 4196468 140724816989312 140103041148320 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15017928 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71095886 15378358272 30923 33554432000 4194304 4196468 140724816989312 140102906926576 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15017928 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15378358272 30923 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15017928 memory=3032 CPUtime=0.08 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) R 29265 29271 29212 0 -1 4202560 637 0 0 0 8 0 0 0 20 0 15 0 71095889 15378358272 30923 33554432000 4194304 4196468 140724816989312 140103519736416 140104441076006 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15017928 memory=2764 CPUtime=0.04 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 15 0 71095889 15378358272 30923 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15017928 memory=796 CPUtime=0.14 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) S 29265 29271 29212 0 -1 1077944384 422 0 0 0 14 0 0 0 20 0 15 0 71095889 15378358272 30923 33554432000 4194304 4196468 140724816989312 140103517640944 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15017928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15378358272 30923 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15017928 memory=15316 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095889 15378358272 30923 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 123692 KiB

[startup+1.50208 s]
/proc/loadavg: 0.92 0.99 1.04 7/215 29302
/proc/meminfo: memFree=18784832/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15022100 memory=205236 CPUtime=3.22 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 21189 0 0 0 315 7 0 0 20 0 15 0 71095881 15382630400 51309 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3755525 51309 3203 1 0 3716910 0
[pid=29271/tid=29275] ppid=29265 vsize=15022100 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) R 29265 29271 29212 0 -1 4202560 15869 0 0 0 131 5 0 0 20 0 15 0 71095882 15382630400 51309 33554432000 4194304 4196468 140724816989312 140104431383792 140103935224834 0 4 0 25189583 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15022100 memory=-6661244650353814814 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15382630400 51309 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71095884 15382630400 51309 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15022100 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15382630400 51309 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15022100 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71095884 15382630400 51309 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15022100 memory=18368 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71095885 15382630400 51309 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0

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

/proc/29271/task/29278/stat : 29278 (java) R 29265 29271 29212 0 -1 4202560 414 0 0 0 59 15 0 0 20 0 15 0 71095884 15386894336 884713 33554432000 4194304 4196468 140724816989312 140104463796496 140104444578254 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15026264 memory=6791534058613427641 CPUtime=0.72 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) R 29265 29271 29212 0 -1 4202560 417 0 0 0 58 14 0 0 20 0 15 0 71095884 15386894336 884713 33554432000 4194304 4196468 140724816989312 140104254880144 140104452651145 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15026264 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) R 29265 29271 29212 0 -1 4202560 376 0 0 0 59 14 0 0 20 0 15 0 71095884 15386894336 884713 33554432000 4194304 4196468 140724816989312 140104253827800 140104444582389 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15026264 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) R 29265 29271 29212 0 -1 4202560 690 0 0 0 59 15 0 0 20 0 15 0 71095884 15386894336 884713 33554432000 4194304 4196468 140724816989312 140104252775056 140104444581970 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15026264 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 71095885 15386894336 884713 33554432000 4194304 4196468 140724816989312 140103520797728 140104459564757 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 71095886 15386894336 884713 33554432000 4194304 4196468 140724816989312 140103041148384 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 71095886 15386894336 884713 33554432000 4194304 4196468 140724816989312 140102906926592 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15026264 memory=3472592183261933599 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15386894336 884713 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15026264 memory=0 CPUtime=5.36 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) S 29265 29271 29212 0 -1 1077944384 8593 0 0 0 535 1 0 0 20 0 15 0 71095889 15386894336 884713 33554432000 4194304 4196468 140724816989312 140103519746032 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15026264 memory=6199840864898265904 CPUtime=4.75 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 6813 0 0 0 474 1 0 0 20 0 15 0 71095889 15386894336 884713 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15026264 memory=7949104257550186160 CPUtime=1.23 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) S 29265 29271 29212 0 -1 1077944384 6446 0 0 0 121 2 0 0 20 0 15 0 71095889 15386894336 884713 33554432000 4194304 4196468 140724816989312 140103517640944 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15026264 memory=7451578361684439088 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15386894336 884713 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15026264 memory=3616867712999421879 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 15 0 71095889 15386894336 884713 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 37.48 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3538852 KiB

[startup+24.8007 s]
/proc/loadavg: 1.49 1.11 1.08 4/215 29302
/proc/meminfo: memFree=12358548/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15026264 memory=3574008 CPUtime=38.84 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 47598 0 0 0 3767 117 0 0 20 0 15 0 71095881 15386894336 893502 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3756566 893502 3253 1 0 3717422 0
[pid=29271/tid=29275] ppid=29265 vsize=15026264 memory=6791534058613427641 CPUtime=23.63 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) R 29265 29271 29212 0 -1 4202560 21774 0 0 0 2317 46 0 0 20 0 15 0 71095882 15386894336 893502 33554432000 4194304 4196468 140724816989312 140104431393904 140104443598181 0 4 0 25189583 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15026264 memory=796 CPUtime=0.93 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 448 0 0 0 78 15 0 0 20 0 15 0 71095884 15386894336 893502 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15026264 memory=1008 CPUtime=0.92 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 438 0 0 0 77 15 0 0 20 0 15 0 71095884 15386894336 893502 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15026264 memory=15316 CPUtime=0.93 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 413 0 0 0 78 15 0 0 20 0 15 0 71095884 15386894336 893502 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15026264 memory=3604 CPUtime=0.94 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 722 0 0 0 78 16 0 0 20 0 15 0 71095884 15386894336 893502 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15026264 memory=9932 CPUtime=0.01 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 71095885 15386894336 893502 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15026264 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 71095886 15386894336 893502 33554432000 4194304 4196468 140724816989312 140103041148384 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15026264 memory=640 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 71095886 15386894336 893502 33554432000 4194304 4196468 140724816989312 140102906926592 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15026264 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15386894336 893502 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15026264 memory=960 CPUtime=5.37 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) S 29265 29271 29212 0 -1 1077944384 8593 0 0 0 536 1 0 0 20 0 15 0 71095889 15386894336 893502 33554432000 4194304 4196468 140724816989312 140103519746032 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15026264 memory=1220 CPUtime=4.76 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 6815 0 0 0 475 1 0 0 20 0 15 0 71095889 15386894336 893502 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15026264 memory=1548 CPUtime=1.24 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) S 29265 29271 29212 0 -1 1077944384 6459 0 0 0 122 2 0 0 20 0 15 0 71095889 15386894336 893502 33554432000 4194304 4196468 140724816989312 140103517640944 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15026264 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71095889 15386894336 893502 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15026264 memory=3700 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 15 0 71095889 15386894336 893502 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 38.84 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3574008 KiB

[startup+25.2008 s]
/proc/loadavg: 1.49 1.11 1.08 4/220 29308
/proc/meminfo: memFree=12294496/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15681864 memory=3576820 CPUtime=38.89 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 48336 0 0 0 3772 117 0 0 20 0 19 0 71095881 16058228736 894205 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3920466 894205 3257 1 0 3881322 0
[pid=29303] ppid=29271 vsize=43512 memory=26996 CPUtime=0.39 cores=0,2,4,6
/proc/29303/stat : 29303 (minisat_release) R 29271 29271 29212 0 -1 4202496 6313 0 0 0 38 1 0 0 20 0 1 0 71098362 44556288 6749 33554432000 4194304 4308513 140722559347280 140722559344088 4221751 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 20066304 140722559353519 140722559354030 140722559354030 140722559356869 0
/proc/29303/statm: 10878 6749 330 28 0 7118 0
[pid=29271/tid=29275] ppid=29265 vsize=15681864 memory=7811895319165889895 CPUtime=23.67 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) S 29265 29271 29212 0 -1 1077944384 22058 0 0 0 2321 46 0 0 20 0 19 0 71095882 16058228736 894205 33554432000 4194304 4196468 140724816989312 140104431393792 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15681864 memory=7811895319165889895 CPUtime=0.93 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 448 0 0 0 78 15 0 0 20 0 19 0 71095884 16058228736 894205 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15681864 memory=7452447401997069165 CPUtime=0.92 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 438 0 0 0 77 15 0 0 20 0 19 0 71095884 16058228736 894205 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15681864 memory=5866903230548110695 CPUtime=0.93 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 413 0 0 0 78 15 0 0 20 0 19 0 71095884 16058228736 894205 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15681864 memory=5866903230548110695 CPUtime=0.94 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 722 0 0 0 78 16 0 0 20 0 19 0 71095884 16058228736 894205 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15681864 memory=5866903230548110695 CPUtime=0.01 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 19 0 71095885 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15681864 memory=7452447401997069165 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 71095886 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103041148384 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15681864 memory=7596841745836238700 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 71095886 16058228736 894205 33554432000 4194304 4196468 140724816989312 140102906926592 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15681864 memory=311592997559205914 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71095889 16058228736 894205 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15681864 memory=311593044870955319 CPUtime=5.37 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) S 29265 29271 29212 0 -1 1077944384 8593 0 0 0 536 1 0 0 20 0 19 0 71095889 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103519746032 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15681864 memory=15258134151170438 CPUtime=4.76 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) S 29265 29271 29212 0 -1 1077944384 6815 0 0 0 475 1 0 0 20 0 19 0 71095889 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103518693488 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15681864 memory=7016671349533276567 CPUtime=1.25 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) S 29265 29271 29212 0 -1 1077944384 6834 0 0 0 123 2 0 0 20 0 19 0 71095889 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103517640944 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15681864 memory=-7966001967256141664 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71095889 16058228736 894205 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15681864 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 71095889 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29304] ppid=29265 vsize=15681864 memory=-3284643825843719562 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29304/stat : 29304 (java) S 29265 29271 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71098363 16058228736 894205 33554432000 4194304 4196468 140724816989312 140103511209536 140104459579161 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29306] ppid=29265 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29306/stat : 29306 (java) S 29265 29271 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71098364 16058228736 894205 33554432000 4194304 4196468 140724816989312 140101631852592 140104459576477 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29307] ppid=29265 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29307/stat : 29307 (java) S 29265 29271 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 71098364 16058228736 894205 33554432000 4194304 4196468 140724816989312 140101497629872 140104459576477 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29308] ppid=29265 vsize=15681864 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29271/task/29308/stat : 29308 (java) S 29265 29271 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71098366 16058228736 894205 33554432000 4194304 4196468 140724816989312 140101229206560 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 39.28 s
Current children cumulated vsize: 15725376 KiB
Current children cumulated memory: 3603816 KiB

[startup+25.3009 s]
/proc/loadavg: 1.49 1.11 1.08 4/220 29308
/proc/meminfo: memFree=12294496/32770624 swapFree=67076436/67108860
[pid=29271] ppid=29265 vsize=15683912 memory=3576952 CPUtime=39.43 cores=0,2,4,6
/proc/29271/stat : 29271 (java) S 29265 29271 29212 0 -1 1077944320 48599 6906 0 0 3779 117 46 1 20 0 18 0 71095881 16060325888 894238 33554432000 4194304 4196468 140724816989312 140724816971856 140104459554551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
/proc/29271/statm: 3920978 894238 3257 1 0 3881834 0
[pid=29271/tid=29275] ppid=29265 vsize=15683912 memory=0 CPUtime=24.14 cores=0,2,4,6
/proc/29271/task/29275/stat : 29275 (java) S 29265 29271 29212 0 -1 1077944384 22058 6906 0 0 2321 46 46 1 20 0 18 0 71095882 16060325888 894238 33554432000 4194304 4196468 140724816989312 140104431393792 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29278] ppid=29265 vsize=15683912 memory=528 CPUtime=1.4 cores=0,2,4,6
/proc/29271/task/29278/stat : 29278 (java) S 29265 29271 29212 0 -1 1077944384 448 6906 0 0 78 15 46 1 20 0 18 0 71095884 16060325888 894238 33554432000 4194304 4196468 140724816989312 140104463796496 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29280] ppid=29265 vsize=15683912 memory=3544 CPUtime=1.39 cores=0,2,4,6
/proc/29271/task/29280/stat : 29280 (java) S 29265 29271 29212 0 -1 1077944384 438 6906 0 0 77 15 46 1 20 0 18 0 71095884 16060325888 894238 33554432000 4194304 4196468 140724816989312 140104254880144 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29282] ppid=29265 vsize=15683912 memory=18368 CPUtime=1.4 cores=0,2,4,6
/proc/29271/task/29282/stat : 29282 (java) S 29265 29271 29212 0 -1 1077944384 413 6906 0 0 78 15 46 1 20 0 18 0 71095884 16060325888 894238 33554432000 4194304 4196468 140724816989312 140104253827600 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29284] ppid=29265 vsize=15683912 memory=3538840 CPUtime=1.41 cores=0,2,4,6
/proc/29271/task/29284/stat : 29284 (java) S 29265 29271 29212 0 -1 1077944384 722 6906 0 0 78 16 46 1 20 0 18 0 71095884 16060325888 894238 33554432000 4194304 4196468 140724816989312 140104252775056 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29286] ppid=29265 vsize=15683912 memory=1876 CPUtime=0.48 cores=0,2,4,6
/proc/29271/task/29286/stat : 29286 (java) S 29265 29271 29212 0 -1 1077944384 183 6906 0 0 1 0 46 1 20 0 18 0 71095885 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103520799216 140104459565698 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29288] ppid=29265 vsize=15683912 memory=281031790099808 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29288/stat : 29288 (java) S 29265 29271 29212 0 -1 1077944384 15 6906 0 0 0 0 46 1 20 0 18 0 71095886 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103041148384 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29290] ppid=29265 vsize=15683912 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29290/stat : 29290 (java) S 29265 29271 29212 0 -1 1077944384 29 6906 0 0 0 0 46 1 20 0 18 0 71095886 16060325888 894238 33554432000 4194304 4196468 140724816989312 140102906926592 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29292] ppid=29265 vsize=15683912 memory=3405792 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29292/stat : 29292 (java) S 29265 29271 29212 0 -1 1077944384 3 6906 0 0 0 0 46 1 20 0 18 0 71095889 16060325888 894238 33554432000 4194304 4196468 140724816989312 140102532422352 140104459573147 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29293] ppid=29265 vsize=15683912 memory=-3103912127665269910 CPUtime=5.85 cores=0,2,4,6
/proc/29271/task/29293/stat : 29293 (java) R 29265 29271 29212 0 -1 4202560 8599 6906 0 0 537 1 46 1 20 0 18 0 71095889 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103519732272 140104438793018 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29295] ppid=29265 vsize=15683912 memory=3144952 CPUtime=5.25 cores=0,2,4,6
/proc/29271/task/29295/stat : 29295 (java) R 29265 29271 29212 0 -1 4202560 6841 6906 0 0 477 1 46 1 20 0 18 0 71095889 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103518693784 140104451795621 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29297] ppid=29265 vsize=15683912 memory=3144952 CPUtime=1.73 cores=0,2,4,6
/proc/29271/task/29297/stat : 29297 (java) S 29265 29271 29212 0 -1 1077944384 7053 6906 0 0 124 2 46 1 20 0 18 0 71095889 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103517640944 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29299] ppid=29265 vsize=15683912 memory=3573668 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29299/stat : 29299 (java) S 29265 29271 29212 0 -1 1077944384 3 6906 0 0 0 0 46 1 20 0 18 0 71095889 16060325888 894238 33554432000 4194304 4196468 140724816989312 140102034516576 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29301] ppid=29265 vsize=15683912 memory=56 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29301/stat : 29301 (java) S 29265 29271 29212 0 -1 1077944384 398 6906 0 0 0 0 46 1 20 0 18 0 71095889 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103516588848 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29304] ppid=29265 vsize=15683912 memory=281031790689504 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29304/stat : 29304 (java) S 29265 29271 29212 0 -1 1077944384 25 6906 0 0 0 0 46 1 20 0 18 0 71098363 16060325888 894238 33554432000 4194304 4196468 140724816989312 140103511208720 140104459565698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29306] ppid=29265 vsize=15683912 memory=6944656592455359580 CPUtime=0.49 cores=0,2,4,6
/proc/29271/task/29306/stat : 29306 (java) R 29265 29271 29212 0 -1 4202560 29 6906 0 0 2 0 46 1 20 0 18 0 71098364 16060325888 894238 33554432000 4194304 4196468 140724816989312 140101631860128 140103930468045 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
[pid=29271/tid=29308] ppid=29265 vsize=15683912 memory=6655300316396806240 CPUtime=0.47 cores=0,2,4,6
/proc/29271/task/29308/stat : 29308 (java) S 29265 29271 29212 0 -1 1077944384 4 6906 0 0 0 0 46 1 20 0 18 0 71098366 16060325888 894238 33554432000 4194304 4196468 140724816989312 140101229206320 140104459564757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28495872 140724816995316 140724816995593 140724816995593 140724816998351 0
Current children cumulated CPU time: 39.43 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 3576952 KiB

Child status: 0
Real time (s): 25.3798
CPU time (s): 39.6068
CPU user time (s): 38.3887
CPU system time (s): 1.21814
CPU usage (%): 156.057
Max. virtual memory (cumulated for all children) (KiB): 15725376
Max. memory (cumulated for all children) (KiB): 3603816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.3887
system time used= 1.21814
maximum resident set size= 3577380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55789
page faults= 0
swaps= 0
block input operations= 760
block output operations= 10936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5523
involuntary context switches= 190


# summary of solver processes directly reported to runsolver:
#   pid: 29271
#   total CPU time (s): 39.6068
#   total CPU user time (s): 38.3887
#   total CPU system time (s): 1.21814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.167674 second user time and 0.296363 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-25 18:15:27
IDJOB=4294857
IDBENCH=141437
IDSOLVER=2755
FILE ID=node102/4294857-1532535327
RUNJOBID= node102-1532535327-29243
PBS_JOBID= 21021949
Free space on /tmp= 52744 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-04-05_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-4294857-1532535327/watcher-4294857-1532535327 -o /tmp/evaluation-result-4294857-1532535327/solver-4294857-1532535327 -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-4294857-1532535327.xml

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

MD5SUM BENCH= 340365fb59c69c653973bf6f753c5e6c
RANDOM SEED=1994733373

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:        19130984 kB
MemAvailable:   31953324 kB
Buffers:          170088 kB
Cached:         12821540 kB
SwapCached:         5732 kB
Active:          1347328 kB
Inactive:       11677616 kB
Active(anon):       9648 kB
Inactive(anon):    48112 kB
Active(file):    1337680 kB
Inactive(file): 11629504 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076436 kB
Dirty:             18828 kB
Writeback:             0 kB
AnonPages:         34996 kB
Mapped:            32268 kB
Shmem:             21368 kB
Slab:             310308 kB
SReclaimable:     283616 kB
SUnreclaim:        26692 kB
KernelStack:        3088 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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