Trace number 4295616

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-06-13)SAT 14.3111 5.56257

General information on the benchmark

NameFrb/
frb-35-17-1_c18.xml
MD5SUM938558367576662423373d61b63119a7
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 benchmark2.37354
Satisfiable
(Un)Satisfiability was proved
Number of variables35
Number of constraints346
Number of domains1
Minimum domain size17
Maximum domain size17
Distribution of domain sizes[{"size":17,"count":35}]
Minimum variable degree12
Maximum variable degree28
Distribution of variable degrees[{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":17,"count":1},{"degree":18,"count":3},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":4},{"degree":22,"count":3},{"degree":23,"count":4},{"degree":24,"count":1},{"degree":25,"count":3},{"degree":26,"count":1},{"degree":28,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":346}]
Number of extensional constraints346
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":346}]
Optimization problemNO
Type of objective

Solver Data 

0.54/0.51	
0.66/0.52	scop order+minisat_release (2018-06-13)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Thu Jul 26 04:51:33 CEST 2018
0.66/0.54	c PID: 4555
0.66/0.54	c IP: 172.20.3.150
0.66/0.54	c HOST: node150.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.06/1.06	c (0,0) Parsing End
2.06/1.07	c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 346 ctr, max domain size 17
2.06/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.07	c (0,0) Constraint Name Generate Begin
2.06/1.08	c (0,0) Ctr:HOME/instance-4295616-1532573492.xml,ExtensionConflict:IntVar
2.06/1.08	c (0,0) Constraint Name Generate End
2.06/1.08	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.08	c (0,0) CSP to CSPinCNF Begin
3.76/1.69	c (1,1) translated 35 (10%) constraints
4.38/1.87	c (1,1) translated 70 (20%) constraints
5.00/2.03	c (1,1) translated 104 (30%) constraints
5.31/2.19	c (1,1) translated 139 (40%) constraints
5.90/2.32	c (1,1) translated 173 (50%) constraints
6.20/2.45	c (1,1) translated 208 (60%) constraints
6.50/2.56	c (2,2) translated 243 (70%) constraints
6.81/2.67	c (2,2) translated 277 (80%) constraints
7.12/2.78	c (2,2) translated 312 (90%) constraints
7.42/2.89	c (2,2) translated 346 (100%) constraints
8.06/3.03	c (2,2) STATISTICS1:HOME/instance-4295616-1532573492.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:73576,4:16554;3:2404;2:74,1:73576,
8.06/3.03	c (2,2) ===========================================
8.06/3.03	c (2,2) Order
8.06/3.03	c (2,2) ===========================================
8.42/3.12	c (2,2) translated 1904 (10%) constraints
8.42/3.17	c (2,2) translated 3807 (20%) constraints
8.69/3.22	c (2,2) translated 5710 (30%) constraints
8.69/3.28	c (2,2) translated 7613 (40%) constraints
8.99/3.33	c (2,2) translated 9516 (50%) constraints
8.99/3.38	c (2,2) translated 11420 (60%) constraints
9.30/3.44	c (2,2) translated 13323 (70%) constraints
9.30/3.49	c (2,2) translated 15226 (80%) constraints
9.59/3.54	c (3,3) translated 17129 (90%) constraints
9.95/3.60	c (3,3) translated 19032 (100%) constraints
9.95/3.60	c (3,3) CSP to CSPinCNF End
9.95/3.61	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
9.95/3.61	c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.95/3.61	c (3,3) CSPinCNF Propagation Begin
10.60/3.83	c (3,3) 0 values, 2612 unsatisfiable literals, and 0 valid clauses are removed
10.60/3.83	c (3,3) CSPinCNF Propagation End
10.60/3.83	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.60/3.83	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.60/3.83	c (3,3) Simplify CSPinCNF Begin
10.60/3.89	c (3,3) Simplify CSPinCNF End
10.60/3.89	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.60/3.89	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.60/3.89	c (3,3) Calculate Precise Domain Begin
10.60/3.89	c (3,3) 0 values are removed by re-calculation
10.60/3.89	c (3,3) Calculate Precise Domain End
10.60/3.89	c (3,3) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17
10.60/3.90	c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.60/3.90	c (3,3) CSPinCNF to SatSolver Begin
10.90/3.97	c (3,3) 1904 (10 %) CSP clauses are encoded (560 SAT variables, 2428 SAT clauses)
11.29/4.01	c (3,3) 3807 (20 %) CSP clauses are encoded (560 SAT variables, 4331 SAT clauses)
11.29/4.05	c (3,3) 5710 (30 %) CSP clauses are encoded (560 SAT variables, 6234 SAT clauses)
11.29/4.09	c (3,3) 7613 (40 %) CSP clauses are encoded (560 SAT variables, 8137 SAT clauses)
11.60/4.12	c (3,3) 9516 (50 %) CSP clauses are encoded (560 SAT variables, 10040 SAT clauses)
11.60/4.14	c (3,3) 11420 (60 %) CSP clauses are encoded (560 SAT variables, 11944 SAT clauses)
11.60/4.16	c (3,3) 13323 (70 %) CSP clauses are encoded (560 SAT variables, 13847 SAT clauses)
11.60/4.18	c (3,3) 15226 (80 %) CSP clauses are encoded (560 SAT variables, 15750 SAT clauses)
11.60/4.19	c (3,3) 17129 (90 %) CSP clauses are encoded (560 SAT variables, 17653 SAT clauses)
11.87/4.21	c (3,3) 19032 (100 %) CSP clauses are encoded (560 SAT variables, 19556 SAT clauses)
11.87/4.21	c (3,3) CSPinCNF to SatSolver End
11.87/4.21	c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.18/4.32	c (3,3) STATISTICS2:HOME/instance-4295616-1532573492.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:70964,4:14212;3:4476;2:344,1:70964,
12.18/4.32	c (3,3) SatSolver.solve Begin
12.18/4.32	c (3,3) 560 bool, 19557 clause
12.18/4.33	c (3,3) 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-4295616-1532573492.xml-scop-4555.cnf HOME/instance-4295616-1532573492.xml-scop-4555.cnf.out
14.22/5.51	c (4,0) c This is COMiniSatPS.
14.22/5.51	c (4,0) c WARNING: for repeatability, setting FPU to use double precision
14.22/5.51	c (4,0) c ============================[ Problem Statistics ]=============================
14.22/5.52	c (4,0) c |                                                                             |
14.22/5.52	c (4,0) c |  Number of variables:           560                                         |
14.22/5.52	c (4,0) c |  Number of clauses:           19557                                         |
14.22/5.52	c (4,0) c |  Parse time:                   0.00 s                                       |
14.22/5.52	c (4,0) c Reduced to 560 vars, 18824 cls (grow=0)
14.22/5.52	c (4,0) c No iterative elimination performed. (vars=560, c/v ratio=33.6)
14.22/5.52	c (4,0) c |  Simplification time:          0.02 s                                       |
14.22/5.52	c (4,0) c |                                                                             |
14.22/5.52	c (4,0) c ============================[ Search Statistics ]==============================
14.22/5.52	c (4,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.22/5.52	c (4,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
14.22/5.52	c (4,0) c ===============================================================================
14.22/5.52	c (4,0) c ===============================================================================
14.22/5.52	c (4,0) c restarts              : 11
14.22/5.52	c (4,0) c conflicts             : 29827          (25521 /sec)
14.22/5.52	c (4,0) c decisions             : 36482          (0.00 % random) (31215 /sec)
14.22/5.52	c (4,0) c propagations          : 2707557        (2316642 /sec)
14.22/5.52	c (4,0) c conflict literals     : 398021         (32.86 % deleted)
14.22/5.52	c (4,0) c CPU time              : 1.16874 s
14.22/5.52	c (4,0) 
14.22/5.52	c (4,0) s SATISFIABLE
14.22/5.52	c (5,3) SatSolver.solve End
14.22/5.52	c (5,3) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.22/5.52	c (5,3) Show results Begin
14.22/5.53	c (5,3) x[0] = 4
14.22/5.53	c (5,3) x[1] = 4
14.22/5.53	c (5,3) x[2] = 6
14.22/5.53	c (5,3) x[3] = 10
14.22/5.53	c (5,3) x[4] = 15
14.22/5.53	c (5,3) x[5] = 3
14.22/5.53	c (5,3) x[6] = 7
14.22/5.53	c (5,3) x[7] = 15
14.22/5.53	c (5,3) x[8] = 2
14.22/5.53	c (5,3) x[9] = 7
14.22/5.53	c (5,3) x[10] = 9
14.22/5.53	c (5,3) x[11] = 1
14.22/5.53	c (5,3) x[12] = 6
14.22/5.53	c (5,3) x[13] = 11
14.22/5.53	c (5,3) x[14] = 0
14.22/5.53	c (5,3) x[15] = 1
14.22/5.53	c (5,3) x[16] = 1
14.22/5.53	c (5,3) x[17] = 14
14.22/5.53	c (5,3) x[18] = 10
14.22/5.53	c (5,3) x[19] = 9
14.22/5.53	c (5,3) x[20] = 15
14.22/5.53	c (5,3) x[21] = 15
14.22/5.53	c (5,3) x[22] = 6
14.22/5.53	c (5,3) x[23] = 5
14.22/5.53	c (5,3) x[24] = 3
14.22/5.53	c (5,3) x[25] = 9
14.22/5.53	c (5,3) x[26] = 6
14.22/5.53	c (5,3) x[27] = 6
14.22/5.53	c (5,3) x[28] = 6
14.22/5.53	c (5,3) x[29] = 7
14.22/5.53	c (5,3) x[30] = 2
14.22/5.53	c (5,3) x[31] = 10
14.22/5.53	c (5,3) x[32] = 12
14.22/5.53	c (5,3) x[33] = 5
14.22/5.53	c (5,3) x[34] = 14
14.22/5.53	s SATISFIABLE
14.22/5.53	v <instantiation>
14.22/5.53	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34]</list>
14.22/5.53	v     <values>4 4 6 10 15 3 7 15 2 7 9 1 6 11 0 1 1 14 10 9 15 15 6 5 3 9 6 6 6 7 2 10 12 5 14</values>
14.22/5.53	v </instantiation>
14.22/5.53	c (5,3) Show results End
14.22/5.53	c (5,3) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.22/5.53	c (5,3) 0,0,3,3,3,3,3,5,5,STOP-AFTER(ALL)
14.22/5.53	c END-Prog: Thu Jul 26 04:51:38 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 (6779 MiB free)
  memory of node 1: 16384 MiB (14001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295616-1532573492/watcher-4295616-1532573492 -o /tmp/evaluation-result-4295616-1532573492/solver-4295616-1532573492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295616-1532573492.xml 

running on 4 cores: 1,3,5,7

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=4555, runsolver pid=4552
Current StackSize limit: 8192 KiB


[startup+0.100128 s]*
/proc/loadavg: 2.09 2.17 2.10 3/221 4570
/proc/meminfo: memFree=21218248/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15011656 memory=73908 CPUtime=0.11 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 6671 0 0 0 9 2 0 0 20 0 15 0 74912498 15371935744 18477 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3752914 18477 2779 1 0 3715374 0
[pid=4555/tid=4557] ppid=4552 vsize=15011656 memory=7100839852823775848 CPUtime=0.09 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) R 4552 4555 32649 0 -1 4202560 5104 0 0 0 8 1 0 0 20 0 15 0 74912498 15371935744 18807 33554432000 4194304 4196468 140732285731168 140210388295864 140210396759915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 18873 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 18873 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 18873 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 18873 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912501 15371935744 18873 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74912502 15371935744 18873 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912502 15371935744 18873 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 18873 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 18873 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 18873 33554432000 4194304 4196468 140732285731168 140209385572976 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 18873 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 18939 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912505 15371935744 18939 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73908 KiB

[startup+0.210388 s]*
/proc/loadavg: 2.09 2.17 2.10 3/221 4570
/proc/meminfo: memFree=21204544/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15011656 memory=86736 CPUtime=0.25 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 10098 0 0 0 23 2 0 0 20 0 15 0 74912498 15371935744 21684 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3752914 21684 2915 1 0 3715374 0
[pid=4555/tid=4557] ppid=4552 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) R 4552 4555 32649 0 -1 4202560 8010 0 0 0 18 2 0 0 20 0 15 0 74912498 15371935744 21684 33554432000 4194304 4196468 140732285731168 140210388310480 140210400527717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 21684 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15011656 memory=139886130746244 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 21684 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 21684 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 21684 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912501 15371935744 21684 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74912502 15371935744 21684 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912502 15371935744 21684 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 21684 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 15 0 74912504 15371935744 21684 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) S 4552 4555 32649 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 21684 33554432000 4194304 4196468 140732285731168 140209385572976 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0.03 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) R 4552 4555 32649 0 -1 4202560 284 0 0 0 3 0 0 0 20 0 15 0 74912504 15371935744 21684 33554432000 4194304 4196468 140732285731168 140209384520432 140210400729489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 21684 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912505 15371935744 21684 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86736 KiB

[startup+0.310544 s]*
/proc/loadavg: 2.09 2.17 2.10 3/221 4570
/proc/meminfo: memFree=21201008/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15011656 memory=90472 CPUtime=0.43 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 10637 0 0 0 40 3 0 0 20 0 15 0 74912498 15371935744 22618 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3752914 22618 3017 1 0 3715374 0
[pid=4555/tid=4557] ppid=4552 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) R 4552 4555 32649 0 -1 4202560 8387 0 0 0 28 2 0 0 20 0 15 0 74912498 15371935744 22618 33554432000 4194304 4196468 140732285731168 140210388314416 140210393708240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 22618 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 22618 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 22618 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15011656 memory=139886011195599 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15371935744 22618 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912501 15371935744 22618 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15011656 memory=139886011216335 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74912502 15371935744 22618 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912502 15371935744 22618 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15011656 memory=279772022404992 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 22618 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 74912504 15371935744 22618 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15011656 memory=139886011228047 CPUtime=0.02 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) R 4552 4555 32649 0 -1 4202560 220 0 0 0 2 0 0 0 20 0 15 0 74912504 15371935744 22618 33554432000 4194304 4196468 140732285731168 140209385572160 140210401407225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15011656 memory=139886130333312 CPUtime=0.07 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 15 0 74912504 15371935744 22618 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15011656 memory=139886011233183 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15371935744 22618 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15011656 memory=139886205245810 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912505 15371935744 22618 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90472 KiB

[startup+0.700742 s]
/proc/loadavg: 2.09 2.17 2.10 3/221 4570
/proc/meminfo: memFree=21176948/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15020052 memory=130204 CPUtime=1.03 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 17732 0 0 0 98 5 0 0 20 0 15 0 74912498 15380533248 32551 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3755013 32551 3163 1 0 3716398 0
[pid=4555/tid=4557] ppid=4552 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) R 4552 4555 32649 0 -1 4202560 14894 0 0 0 63 4 0 0 20 0 15 0 74912498 15380533248 32551 33554432000 4194304 4196468 140732285731168 140210388320176 140210408721214 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15380533248 32551 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15020052 memory=79 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15380533248 32551 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15020052 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15380533248 32551 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15380533248 32551 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15020052 memory=159479651902769 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74912501 15380533248 32551 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15020052 memory=437830 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74912502 15380533248 32551 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912502 15380533248 32551 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15380533248 32551 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15020052 memory=7809523229951467574 CPUtime=0.1 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) R 4552 4555 32649 0 -1 4202560 626 0 0 0 10 0 0 0 20 0 15 0 74912504 15380533248 32551 33554432000 4194304 4196468 140732285731168 140209386615312 140210394650568 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15020052 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) S 4552 4555 32649 0 -1 1077944384 396 0 0 0 6 0 0 0 20 0 15 0 74912504 15380533248 32551 33554432000 4194304 4196468 140732285731168 140209385572976 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15020052 memory=-3535359994705171810 CPUtime=0.17 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 477 0 0 0 17 0 0 0 20 0 15 0 74912504 15380533248 32551 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74912504 15380533248 32551 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912505 15380533248 32551 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130204 KiB

[startup+1.50189 s]
/proc/loadavg: 2.09 2.17 2.10 6/221 4570
/proc/meminfo: memFree=21121996/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15022100 memory=203280 CPUtime=3.43 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 22681 0 0 0 334 9 0 0 20 0 15 0 74912498 15382630400 50820 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3755525 50820 3204 1 0 3716910 0
[pid=4555/tid=4557] ppid=4552 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) R 4552 4555 32649 0 -1 4202560 16017 0 0 0 141 6 0 0 20 0 15 0 74912498 15382630400 51332 33554432000 4194304 4196468 140732285731168 140210388321728 140209903156887 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15022100 memory=7379827905979308131 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15382630400 51332 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15022100 memory=7444846439444275819 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15382630400 51332 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15022100 memory=7444842058560594025 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74912500 15382630400 51332 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15022100 memory=7444848634239870056 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74912500 15382630400 51332 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74912501 15382630400 51332 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0

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

/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 3027 0 0 0 359 0 0 0 20 0 19 0 74912504 16058228736 314741 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15681864 memory=995 CPUtime=3.88 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) R 4552 4555 32649 0 -1 4202560 2561 0 0 0 387 1 0 0 20 0 19 0 74912504 16058228736 314741 33554432000 4194304 4196468 140732285731168 140209385558856 140210398028527 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15681864 memory=356 CPUtime=1.09 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 4070 0 0 0 108 1 0 0 20 0 19 0 74912504 16058228736 314741 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314741 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912505 16058228736 314741 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 12.96 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 1258964 KiB

[startup+5.20078 s]
/proc/loadavg: 2.17 2.18 2.11 3/226 4576
/proc/meminfo: memFree=20027808/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15681864 memory=1257336 CPUtime=13.07 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 29618 0 0 0 1281 26 0 0 20 0 19 0 74912498 16058228736 314334 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3920466 314334 3228 1 0 3881322 0
[pid=4571] ppid=4555 vsize=24584 memory=6968 CPUtime=0.85 cores=1,3,5,7
/proc/4571/stat : 4571 (minisat_release) R 4555 4555 32649 0 -1 4202496 2314 0 0 0 85 0 0 0 20 0 1 0 74912932 25174016 1742 33554432000 4194304 4308513 140737175234384 140737175231128 4269957 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 32497664 140737175237297 140737175237806 140737175237806 140737175240645 0
/proc/4571/statm: 6146 1742 347 28 0 2386 0
[pid=4555/tid=4557] ppid=4552 vsize=15681864 memory=288230617509003574 CPUtime=4.34 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) S 4552 4555 32649 0 -1 1077944384 17728 0 0 0 413 21 0 0 20 0 19 0 74912498 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210388323328 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15681864 memory=15817811322734748 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15681864 memory=463 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15681864 memory=119 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 74912501 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15681864 memory=187 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74912502 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15681864 memory=36 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912502 16058228736 314334 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15681864 memory=288230604624111931 CPUtime=3.59 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 3027 0 0 0 359 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15681864 memory=13573716680378915 CPUtime=3.99 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) S 4552 4555 32649 0 -1 1077944384 3396 0 0 0 398 1 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209385572976 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15681864 memory=5865469479800824941 CPUtime=1.09 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 4070 0 0 0 108 1 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15681864 memory=7739811328609576000 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15681864 memory=7523382201372729942 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912505 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4572] ppid=4552 vsize=15681864 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4572/stat : 4572 (java) S 4552 4555 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74912932 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209367200832 140210416508697 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4574] ppid=4552 vsize=15681864 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4574/stat : 4574 (java) S 4552 4555 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 74912932 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207328312880 140210416506013 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4575] ppid=4552 vsize=15681864 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4575/stat : 4575 (java) S 4552 4555 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74912933 16058228736 314334 33554432000 4194304 4196468 140732285731168 140206925659824 140210416506013 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4576] ppid=4552 vsize=15681864 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4576/stat : 4576 (java) S 4552 4555 32649 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 74912935 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207596756512 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 15706448 KiB
Current children cumulated memory: 1264304 KiB

[startup+5.40078 s]
/proc/loadavg: 2.17 2.18 2.11 3/226 4576
/proc/meminfo: memFree=20027808/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15681864 memory=1257336 CPUtime=13.07 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 29618 0 0 0 1281 26 0 0 20 0 19 0 74912498 16058228736 314334 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3920466 314334 3228 1 0 3881322 0
[pid=4571] ppid=4555 vsize=24584 memory=7228 CPUtime=1.05 cores=1,3,5,7
/proc/4571/stat : 4571 (minisat_release) R 4555 4555 32649 0 -1 4202496 2393 0 0 0 105 0 0 0 20 0 1 0 74912932 25174016 1807 33554432000 4194304 4308513 140737175234384 140737175231128 4290777 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 32497664 140737175237297 140737175237806 140737175237806 140737175240645 0
/proc/4571/statm: 6146 1807 347 28 0 2386 0
[pid=4555/tid=4557] ppid=4552 vsize=15681864 memory=7161331908245094050 CPUtime=4.34 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) S 4552 4555 32649 0 -1 1077944384 17728 0 0 0 413 21 0 0 20 0 19 0 74912498 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210388323328 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15681864 memory=4830866419844530432 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15681864 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 74912501 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74912502 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912502 16058228736 314334 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15681864 memory=0 CPUtime=3.59 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 3027 0 0 0 359 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15681864 memory=0 CPUtime=3.99 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) S 4552 4555 32649 0 -1 1077944384 3396 0 0 0 398 1 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209385572976 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15681864 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 4070 0 0 0 108 1 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912505 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4572] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4572/stat : 4572 (java) S 4552 4555 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74912932 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209367200832 140210416508697 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4574] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4574/stat : 4574 (java) S 4552 4555 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 74912932 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207328312880 140210416506013 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4575] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4575/stat : 4575 (java) S 4552 4555 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74912933 16058228736 314334 33554432000 4194304 4196468 140732285731168 140206925659824 140210416506013 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4576] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4576/stat : 4576 (java) S 4552 4555 32649 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 74912935 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207596756512 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 14.12 s
Current children cumulated vsize: 15706448 KiB
Current children cumulated memory: 1264564 KiB

[startup+5.50081 s]
/proc/loadavg: 2.17 2.18 2.11 3/226 4576
/proc/meminfo: memFree=20027808/32770624 swapFree=67108860/67108860
[pid=4555] ppid=4552 vsize=15681864 memory=1257336 CPUtime=13.07 cores=1,3,5,7
/proc/4555/stat : 4555 (java) S 4552 4555 32649 0 -1 1077944320 29618 0 0 0 1281 26 0 0 20 0 19 0 74912498 16058228736 314334 33554432000 4194304 4196468 140732285731168 140732285713712 140210416484087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
/proc/4555/statm: 3920466 314334 3228 1 0 3881322 0
[pid=4571] ppid=4555 vsize=24584 memory=7468 CPUtime=1.15 cores=1,3,5,7
/proc/4571/stat : 4571 (minisat_release) R 4555 4555 32649 0 -1 4202496 2427 0 0 0 115 0 0 0 20 0 1 0 74912932 25174016 1867 33554432000 4194304 4308513 140737175234384 140737175231128 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 32497664 140737175237297 140737175237806 140737175237806 140737175240645 0
/proc/4571/statm: 6146 1867 347 28 0 2386 0
[pid=4555/tid=4557] ppid=4552 vsize=15681864 memory=0 CPUtime=4.34 cores=1,3,5,7
/proc/4555/task/4557/stat : 4557 (java) S 4552 4555 32649 0 -1 1077944384 17728 0 0 0 413 21 0 0 20 0 19 0 74912498 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210388323328 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4558] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4558/stat : 4558 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210420726544 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4559] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4559/stat : 4559 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210219502480 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4560] ppid=4552 vsize=15681864 memory=5132 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4560/stat : 4560 (java) S 4552 4555 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210218449936 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4561] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4561/stat : 4561 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912500 16058228736 314334 33554432000 4194304 4196468 140732285731168 140210217397392 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4562] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4562/stat : 4562 (java) S 4552 4555 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 74912501 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209387677680 140210416495234 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4563] ppid=4552 vsize=15681864 memory=1258436 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4563/stat : 4563 (java) S 4552 4555 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74912502 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209006044064 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4564] ppid=4552 vsize=15681864 memory=1255800 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4564/stat : 4564 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912502 16058228736 314334 33554432000 4194304 4196468 140732285731168 140208737608688 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4565] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4565/stat : 4565 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140208363100368 140210416502683 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4566] ppid=4552 vsize=15681864 memory=0 CPUtime=3.59 cores=1,3,5,7
/proc/4555/task/4566/stat : 4566 (java) S 4552 4555 32649 0 -1 1077944384 3027 0 0 0 359 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209386625520 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4567] ppid=4552 vsize=15681864 memory=620 CPUtime=3.99 cores=1,3,5,7
/proc/4555/task/4567/stat : 4567 (java) S 4552 4555 32649 0 -1 1077944384 3396 0 0 0 398 1 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209385572976 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4568] ppid=4552 vsize=15681864 memory=237 CPUtime=1.09 cores=1,3,5,7
/proc/4555/task/4568/stat : 4568 (java) S 4552 4555 32649 0 -1 1077944384 4070 0 0 0 108 1 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209384520432 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4569] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4569/stat : 4569 (java) S 4552 4555 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74912504 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207865195616 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4570] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4570/stat : 4570 (java) S 4552 4555 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74912505 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209383467312 140210416495234 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4572] ppid=4552 vsize=15681864 memory=1257336 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4572/stat : 4572 (java) S 4552 4555 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74912932 16058228736 314334 33554432000 4194304 4196468 140732285731168 140209367200832 140210416508697 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4574] ppid=4552 vsize=15681864 memory=1255692 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4574/stat : 4574 (java) S 4552 4555 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 74912932 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207328312880 140210416506013 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4575] ppid=4552 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4575/stat : 4575 (java) S 4552 4555 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74912933 16058228736 314334 33554432000 4194304 4196468 140732285731168 140206925659824 140210416506013 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
[pid=4555/tid=4576] ppid=4552 vsize=15681864 memory=6441106693934901097 CPUtime=0 cores=1,3,5,7
/proc/4555/task/4576/stat : 4576 (java) S 4552 4555 32649 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 74912935 16058228736 314334 33554432000 4194304 4196468 140732285731168 140207596756512 140210416494293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6733824 140732285740019 140732285740297 140732285740297 140732285743055 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 15706448 KiB
Current children cumulated memory: 1264804 KiB

Child status: 0
Real time (s): 5.56257
CPU time (s): 14.3111
CPU user time (s): 14.0215
CPU system time (s): 0.28956
CPU usage (%): 257.275
Max. virtual memory (cumulated for all children) (KiB): 15706448
Max. memory (cumulated for all children) (KiB): 1264804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.0215
system time used= 0.28956
maximum resident set size= 1259164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3652
involuntary context switches= 43


# summary of solver processes directly reported to runsolver:
#   pid: 4555
#   total CPU time (s): 14.3111
#   total CPU user time (s): 14.0215
#   total CPU system time (s): 0.28956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051275 second user time and 0.106047 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-26 04:51:32
IDJOB=4295616
IDBENCH=141582
IDSOLVER=2756
FILE ID=node150/4295616-1532573492
RUNJOBID= node150-1532562189-32681
PBS_JOBID= 21021956
Free space on /tmp= 53096 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Frb/frb-35-17-1_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -order -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295616-1532573492/watcher-4295616-1532573492 -o /tmp/evaluation-result-4295616-1532573492/solver-4295616-1532573492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295616-1532573492.xml

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

MD5SUM BENCH= 938558367576662423373d61b63119a7
RANDOM SEED=708582914

node150.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.76
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.76
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.76
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.76
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:        21280044 kB
MemAvailable:   28774176 kB
Buffers:          193152 kB
Cached:          7517756 kB
SwapCached:            0 kB
Active:          5290296 kB
Inactive:        5624256 kB
Active(anon):    3154728 kB
Inactive(anon):    76676 kB
Active(file):    2135568 kB
Inactive(file):  5547580 kB
Unevictable:        7744 kB
Mlocked:            7744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:            12 kB
AnonPages:       3211056 kB
Mapped:            52368 kB
Shmem:             25224 kB
Slab:             266868 kB
SReclaimable:     239444 kB
SUnreclaim:        27424 kB
KernelStack:        3616 kB
PageTables:        11544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13486344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3039232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53088 MiB
End job on node150 at 2018-07-26 04:51:38