Trace number 4294875

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 114.813 79.6524

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
MD5SUM81d4059c2b76389bba6ef17dee6cb29a
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.119659
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints11
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":30}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":30}]
Minimum constraint arity5
Maximum constraint arity6
Distribution of constraint arities[{"arity":5,"count":6},{"arity":6,"count":5}]
Number of extensional constraints11
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":11}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.52	scop both+minisat_release (2018-06-13)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Wed Jul 25 18:15:54 CEST 2018
0.67/0.55	c PID: 29371
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.93/1.10	c (0,0) Parsing End
2.27/1.11	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 11 ctr, max domain size 26
2.27/1.11	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.27/1.11	c (0,0) Constraint Name Generate Begin
2.27/1.12	c (0,0) Ctr:HOME/instance-4294875-1532535354.xml,ExtensionSupport:IntVar
2.27/1.12	c (0,0) Constraint Name Generate End
2.27/1.12	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.27/1.12	c (0,0) CSP to CSPinCNF Begin
25.98/12.79	c (12,12) translated 2 (10%) constraints
33.66/17.68	c (17,16) translated 3 (20%) constraints
37.99/21.98	c (21,20) translated 4 (30%) constraints
44.05/26.57	c (26,25) translated 5 (40%) constraints
50.22/31.26	c (30,29) translated 6 (50%) constraints
53.70/34.65	c (34,32) translated 7 (60%) constraints
57.41/36.86	c (36,34) translated 8 (70%) constraints
59.21/38.61	c (38,36) translated 9 (80%) constraints
60.91/40.37	c (39,37) translated 10 (90%) constraints
64.97/42.68	c (42,39) translated 11 (100%) constraints
72.17/47.09	c (46,43) STATISTICS1:HOME/instance-4294875-1532535354.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:169;26:147;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413;0:11,
72.17/47.09	c (46,43) ===========================================
72.17/47.09	c (46,43) Both Encoding selects:
72.17/47.09	c (46,43) Order
72.17/47.09	c (46,43) ===========================================
73.77/48.30	c (47,44) translated 88105 (10%) constraints
75.02/49.50	c (48,45) translated 176210 (20%) constraints
76.36/50.73	c (50,46) translated 264315 (30%) constraints
78.79/52.28	c (51,48) translated 352420 (40%) constraints
80.09/53.50	c (52,49) translated 440525 (50%) constraints
81.41/54.72	c (54,50) translated 528630 (60%) constraints
82.61/55.93	c (55,51) translated 616735 (70%) constraints
83.82/57.14	c (56,52) translated 704840 (80%) constraints
86.32/58.68	c (58,54) translated 792945 (90%) constraints
87.54/59.89	c (59,55) translated 881049 (100%) constraints
87.54/59.89	c (59,55) CSP to CSPinCNF End
87.66/59.93	c (59,55) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
87.66/59.93	c (59,55) Heap : 2078 MiB used (max 10556 MiB), NonHeap : 27 MiB used (max 0 MiB)
87.66/59.93	c (59,55) CSPinCNF Propagation Begin
96.28/65.04	c (64,59) 0 values, 11 unsatisfiable literals, and 0 valid clauses are removed
96.28/65.04	c (64,59) CSPinCNF Propagation End
96.28/65.06	c (64,59) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
96.28/65.06	c (64,59) Heap : 2636 MiB used (max 10572 MiB), NonHeap : 27 MiB used (max 0 MiB)
96.28/65.06	c (64,59) Simplify CSPinCNF Begin
97.98/66.61	c (66,61) Simplify CSPinCNF End
97.98/66.63	c (66,61) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
97.98/66.63	c (66,61) Heap : 3296 MiB used (max 10572 MiB), NonHeap : 27 MiB used (max 0 MiB)
97.98/66.63	c (66,61) Calculate Precise Domain Begin
97.98/66.63	c (66,61) 0 values are removed by re-calculation
97.98/66.63	c (66,61) Calculate Precise Domain End
97.98/66.65	c (66,61) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
97.98/66.65	c (66,61) Heap : 3296 MiB used (max 10572 MiB), NonHeap : 27 MiB used (max 0 MiB)
97.98/66.65	c (66,61) CSPinCNF to SatSolver Begin
101.11/67.82	c (67,61) 88105 (10 %) CSP clauses are encoded (75137 SAT variables, 88824 SAT clauses)
101.62/68.32	c (67,62) 176210 (20 %) CSP clauses are encoded (75137 SAT variables, 176929 SAT clauses)
102.12/68.82	c (68,62) 264315 (30 %) CSP clauses are encoded (75137 SAT variables, 265034 SAT clauses)
102.62/69.32	c (68,63) 352420 (40 %) CSP clauses are encoded (75137 SAT variables, 353139 SAT clauses)
103.12/69.82	c (69,63) 440525 (50 %) CSP clauses are encoded (75137 SAT variables, 441244 SAT clauses)
103.62/70.31	c (69,64) 528630 (60 %) CSP clauses are encoded (75137 SAT variables, 529349 SAT clauses)
105.83/71.25	c (70,64) 616735 (70 %) CSP clauses are encoded (75137 SAT variables, 617454 SAT clauses)
106.34/71.76	c (71,65) 704840 (80 %) CSP clauses are encoded (75137 SAT variables, 705559 SAT clauses)
106.87/72.27	c (71,65) 792945 (90 %) CSP clauses are encoded (75137 SAT variables, 793664 SAT clauses)
107.37/72.78	c (72,66) 881049 (100 %) CSP clauses are encoded (75137 SAT variables, 881768 SAT clauses)
107.37/72.78	c (72,66) CSPinCNF to SatSolver End
107.37/72.78	c (72,66) Heap : 3495 MiB used (max 10566 MiB), NonHeap : 29 MiB used (max 0 MiB)
109.77/74.93	c (74,68) STATISTICS2:HOME/instance-4294875-1532535354.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:158;26:158;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413,
109.77/74.93	c (74,68) SatSolver.solve Begin
109.77/74.93	c (74,68) 75137 bool, 881769 clause
109.77/74.94	c (74,68) 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-4294875-1532535354.xml-scop-29371.cnf HOME/instance-4294875-1532535354.xml-scop-29371.cnf.out
114.44/79.50	c (78,0) c This is COMiniSatPS.
114.44/79.50	c (78,0) c WARNING: for repeatability, setting FPU to use double precision
114.44/79.50	c (78,0) c ============================[ Problem Statistics ]=============================
114.44/79.50	c (78,0) c |                                                                             |
114.44/79.50	c (78,0) c |  Number of variables:         75137                                         |
114.44/79.50	c (78,0) c |  Number of clauses:          881769                                         |
114.44/79.50	c (78,0) c |  Parse time:                   0.28 s                                       |
114.44/79.50	c (78,0) c |  Eliminated clauses:           0.31 Mb                                      |
114.44/79.50	c (78,0) c Reduced to 71031 vars, 865567 cls (grow=0)
114.44/79.50	c (78,0) c No iterative elimination performed. (vars=71031, c/v ratio=12.2)
114.44/79.50	c (78,0) c |  Simplification time:          1.87 s                                       |
114.44/79.50	c (78,0) c |                                                                             |
114.44/79.50	c (78,0) c ============================[ Search Statistics ]==============================
114.44/79.50	c (78,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
114.44/79.50	c (78,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
114.44/79.50	c (78,0) c ===============================================================================
114.44/79.50	c (78,0) c ===============================================================================
114.44/79.50	c (78,0) c restarts              : 13
114.44/79.50	c (78,0) c conflicts             : 2404           (536 /sec)
114.44/79.50	c (78,0) c decisions             : 16636          (0.00 % random) (3706 /sec)
114.44/79.50	c (78,0) c propagations          : 10282233       (2290432 /sec)
114.44/79.50	c (78,0) c conflict literals     : 252915         (29.38 % deleted)
114.44/79.50	c (78,0) c CPU time              : 4.48921 s
114.44/79.50	c (78,0) 
114.44/79.50	c (78,0) s SATISFIABLE
114.70/79.60	c (79,68) SatSolver.solve End
114.70/79.60	c (79,68) Heap : 2729 MiB used (max 10577 MiB), NonHeap : 30 MiB used (max 0 MiB)
114.70/79.60	c (79,68) Show results Begin
114.70/79.61	c (79,68) x[0][0] = 11
114.70/79.61	c (79,68) x[0][1] = 14
114.70/79.61	c (79,68) x[0][2] = 0
114.70/79.61	c (79,68) x[0][3] = 18
114.70/79.61	c (79,68) x[0][4] = 4
114.70/79.61	c (79,68) x[0][5] = 18
114.70/79.61	c (79,68) x[1][0] = 8
114.70/79.61	c (79,68) x[1][1] = 13
114.70/79.61	c (79,68) x[1][2] = 6
114.70/79.61	c (79,68) x[1][3] = 0
114.70/79.61	c (79,68) x[1][4] = 11
114.70/79.61	c (79,68) x[1][5] = 0
114.70/79.61	c (79,68) x[2][0] = 19
114.70/79.61	c (79,68) x[2][1] = 14
114.70/79.61	c (79,68) x[2][2] = 8
114.70/79.61	c (79,68) x[2][3] = 11
114.70/79.61	c (79,68) x[2][4] = 0
114.70/79.61	c (79,68) x[2][5] = 8
114.70/79.61	c (79,68) x[3][0] = 8
114.70/79.61	c (79,68) x[3][1] = 12
114.70/79.61	c (79,68) x[3][2] = 12
114.70/79.61	c (79,68) x[3][3] = 4
114.70/79.61	c (79,68) x[3][4] = 17
114.70/79.61	c (79,68) x[3][5] = 11
114.70/79.61	c (79,68) x[4][0] = 2
114.70/79.61	c (79,68) x[4][1] = 0
114.70/79.61	c (79,68) x[4][2] = 8
114.70/79.61	c (79,68) x[4][3] = 18
114.70/79.61	c (79,68) x[4][4] = 18
114.70/79.61	c (79,68) x[4][5] = 4
114.70/79.61	s SATISFIABLE
114.70/79.61	v <instantiation>
114.70/79.61	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5]</list>
114.70/79.61	v     <values>11 14 0 18 4 18 8 13 6 0 11 0 19 14 8 11 0 8 8 12 12 4 17 11 2 0 8 18 18 4</values>
114.70/79.61	v </instantiation>
114.70/79.61	c (79,68) Show results End
114.70/79.61	c (79,68) Heap : 2729 MiB used (max 10577 MiB), NonHeap : 30 MiB used (max 0 MiB)
114.70/79.61	c (79,68) 0,0,59,64,66,66,72,79,79,STOP-AFTER(ALL)
114.70/79.61	c END-Prog: Wed Jul 25 18:17:13 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 (4865 MiB free)
  memory of node 1: 16384 MiB (10197 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=29371, runsolver pid=29368

[startup+0.100095 s]*
/proc/loadavg: 1.49 1.11 1.08 4/215 29386
/proc/meminfo: memFree=15362592/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15011656 memory=74420 CPUtime=0.11 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 6250 0 0 0 9 2 0 0 20 0 15 0 71098532 15371935744 18605 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3752914 18605 2780 1 0 3715374 0
[pid=29371/tid=29373] ppid=29368 vsize=15011656 memory=-6894657602490753920 CPUtime=0.09 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) R 29368 29371 29212 0 -1 4202560 4395 0 0 0 8 1 0 0 20 0 15 0 71098533 15371935744 18671 33554432000 4194304 4196468 140722135967264 140298974310792 140298982774621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15011656 memory=5793855360918895033 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 18671 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 18671 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 18671 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 18671 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 18671 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 18671 33554432000 4194304 4196468 140722135967264 140297589744544 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 18671 33554432000 4194304 4196468 140722135967264 140297321309168 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 18671 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) S 29368 29371 29212 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 18671 33554432000 4194304 4196468 140722135967264 140297972431344 140299002509954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 18671 33554432000 4194304 4196468 140722135967264 140297971378800 140299002509954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0.01 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) S 29368 29371 29212 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 71098539 15371935744 18737 33554432000 4194304 4196468 140722135967264 140297970326256 140299002509954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 18737 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 18737 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74420 KiB

[startup+0.210427 s]*
/proc/loadavg: 1.49 1.11 1.08 3/215 29386
/proc/meminfo: memFree=15349084/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15011656 memory=86732 CPUtime=0.26 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 9586 0 0 0 23 3 0 0 20 0 15 0 71098532 15371935744 21683 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3752914 21683 2914 1 0 3715374 0
[pid=29371/tid=29373] ppid=29368 vsize=15011656 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) R 29368 29371 29212 0 -1 4202560 7494 0 0 0 18 2 0 0 20 0 15 0 71098533 15371935744 21683 33554432000 4194304 4196468 140722135967264 140298974318680 140299002510742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15011656 memory=4211973836113792394 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 21683 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 21683 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 21683 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 21683 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297589744544 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297321309168 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 21683 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) R 29368 29371 29212 0 -1 4202560 312 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297972431344 140299002510742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) R 29368 29371 29212 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297971378896 140299002509013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0.03 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) R 29368 29371 29212 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 71098539 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297970326256 140299002520154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 21683 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 21683 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86732 KiB

[startup+0.31039 s]*
/proc/loadavg: 1.49 1.11 1.08 3/215 29386
/proc/meminfo: memFree=15345632/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15011656 memory=90200 CPUtime=0.43 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 10101 0 0 0 40 3 0 0 20 0 15 0 71098532 15371935744 22550 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3752914 22550 2981 1 0 3715374 0
[pid=29371/tid=29373] ppid=29368 vsize=15011656 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) R 29368 29371 29212 0 -1 4202560 7863 0 0 0 27 2 0 0 20 0 15 0 71098533 15371935744 22550 33554432000 4194304 4196468 140722135967264 140298974326432 140298479043880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15011656 memory=4211973836113792394 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 22550 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15011656 memory=280219661154688 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 22550 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15011656 memory=280219504333312 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 22550 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15011656 memory=140109752152847 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15371935744 22550 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15011656 memory=280219661161600 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15011656 memory=140109752157455 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297589744544 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15011656 memory=140109752189003 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098536 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297321309168 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15011656 memory=140109752191308 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 22550 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) R 29368 29371 29212 0 -1 4202560 421 0 0 0 3 0 0 0 20 0 15 0 71098539 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297972431344 140298981748176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) R 29368 29371 29212 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 71098539 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297971378800 140299002509954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15011656 memory=140109909001856 CPUtime=0.07 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) R 29368 29371 29212 0 -1 4202560 305 0 0 0 7 0 0 0 20 0 15 0 71098539 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297970326256 140298988823115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 22550 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15011656 memory=140109909076276 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) R 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098539 15371935744 22550 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90200 KiB

[startup+0.700726 s]
/proc/loadavg: 1.49 1.11 1.08 3/215 29386
/proc/meminfo: memFree=15321160/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15019976 memory=129544 CPUtime=1.01 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 17065 0 0 0 95 6 0 0 20 0 15 0 71098532 15380455424 32386 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3754994 32386 3140 1 0 3716398 0
[pid=29371/tid=29373] ppid=29368 vsize=15019976 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) R 29368 29371 29212 0 -1 4202560 14316 0 0 0 63 4 0 0 20 0 15 0 71098533 15380455424 32386 33554432000 4194304 4196468 140722135967264 140298974333680 140298986579294 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15380455424 32386 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098534 15380455424 32386 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15380455424 32386 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15380455424 32386 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15019976 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71098536 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15019976 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71098536 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297589744544 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15019976 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098536 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297321309168 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15019976 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15380455424 32386 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15019976 memory=3032 CPUtime=0.07 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) S 29368 29371 29212 0 -1 1077944384 576 0 0 0 7 0 0 0 20 0 15 0 71098539 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297972431344 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15019976 memory=2764 CPUtime=0.08 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) R 29368 29371 29212 0 -1 4202560 432 0 0 0 8 0 0 0 20 0 15 0 71098539 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297971378800 140298986409547 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15019976 memory=796 CPUtime=0.15 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) S 29368 29371 29212 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 71098539 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297970326256 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15019976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71098539 15380455424 32386 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15019976 memory=15316 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098539 15380455424 32386 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129544 KiB

[startup+1.50159 s]
/proc/loadavg: 1.49 1.11 1.08 4/215 29386
/proc/meminfo: memFree=15224116/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15022100 memory=273420 CPUtime=3.54 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 21144 0 0 0 345 9 0 0 20 0 15 0 71098532 15382630400 68355 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3755525 68355 3204 1 0 3716910 0
[pid=29371/tid=29373] ppid=29368 vsize=15022100 memory=3544 CPUtime=1.46 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) R 29368 29371 29212 0 -1 4202560 15444 0 0 0 140 6 0 0 20 0 15 0 71098533 15382630400 68355 33554432000 4194304 4196468 140722135967264 140298974329520 140298483793016 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15022100 memory=18368 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15382630400 68355 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15022100 memory=776 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71098534 15382630400 68355 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15382630400 68355 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71098534 15382630400 68355 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15022100 memory=7089319380252647767 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71098536 15382630400 68355 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0

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

[pid=29371/tid=29384] ppid=29368 vsize=15681864 memory=452 CPUtime=1.26 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) S 29368 29371 29212 0 -1 1077944384 10506 0 0 0 123 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297970326256 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15681864 memory=266321661031233 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15681864 memory=280219504702192 CPUtime=0.04 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 482 0 0 0 1 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29389] ppid=29368 vsize=15681864 memory=280219504702256 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29389/stat : 29389 (java) S 29368 29371 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298059805760 140299002523417 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29391] ppid=29368 vsize=15681864 memory=280219504702320 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29391/stat : 29391 (java) S 29368 29371 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140295912009264 140299002520733 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29392] ppid=29368 vsize=15681864 memory=280219504702384 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29392/stat : 29392 (java) S 29368 29371 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296046231216 140299002520733 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29393] ppid=29368 vsize=15681864 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29393/stat : 29393 (java) S 29368 29371 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71106030 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140295643586080 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 111.74 s
Current children cumulated vsize: 15790692 KiB
Current children cumulated memory: 5724752 KiB

[startup+78.4008 s]
/proc/loadavg: 2.43 1.53 1.23 3/220 29393
/proc/meminfo: memFree=5416732/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15681864 memory=5639916 CPUtime=109.9 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 73775 0 0 0 10637 353 0 0 20 0 19 0 71098532 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3920466 1409979 3260 1 0 3881322 0
[pid=29388] ppid=29371 vsize=104724 memory=76664 CPUtime=3.44 cores=0,2,4,6
/proc/29388/stat : 29388 (minisat_release) R 29371 29371 29212 0 -1 4202496 37021 0 0 0 339 5 0 0 20 0 1 0 71106028 107237376 19166 33554432000 4194304 4308513 140728210819232 140728210816856 140229792556588 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 36511744 140728210825903 140728210826414 140728210826414 140728210829253 0
/proc/29388/statm: 26181 19166 352 28 0 22421 0
[pid=29371/tid=29373] ppid=29368 vsize=15681864 memory=-7824251494390978152 CPUtime=69.02 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) S 29368 29371 29212 0 -1 1077944384 24750 0 0 0 6852 50 0 0 20 0 19 0 71098533 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298974338048 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15681864 memory=776 CPUtime=5.84 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2357 0 0 0 510 74 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15681864 memory=1876 CPUtime=5.84 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1552 0 0 0 518 66 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15681864 memory=1664 CPUtime=5.88 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2457 0 0 0 512 76 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15681864 memory=1828 CPUtime=5.88 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2733 0 0 0 518 70 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15681864 memory=1460 CPUtime=0.03 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 1021 0 0 0 3 0 0 0 20 0 19 0 71098536 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15681864 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 71098536 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297589744608 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15681864 memory=6768 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71098536 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297321309184 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15681864 memory=824 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15681864 memory=4100 CPUtime=7.88 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) S 29368 29371 29212 0 -1 1077944384 12392 0 0 0 785 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297972431344 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15681864 memory=1800 CPUtime=8.13 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) S 29368 29371 29212 0 -1 1077944384 14114 0 0 0 810 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297971378800 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15681864 memory=920 CPUtime=1.26 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) S 29368 29371 29212 0 -1 1077944384 10506 0 0 0 123 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297970326256 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15681864 memory=3800 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15681864 memory=2592 CPUtime=0.04 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 482 0 0 0 1 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29389] ppid=29368 vsize=15681864 memory=2296 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29389/stat : 29389 (java) S 29368 29371 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298059805760 140299002523417 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29391] ppid=29368 vsize=15681864 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29391/stat : 29391 (java) S 29368 29371 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140295912009264 140299002520733 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29392] ppid=29368 vsize=15681864 memory=2916 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29392/stat : 29392 (java) S 29368 29371 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296046231216 140299002520733 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29393] ppid=29368 vsize=15681864 memory=7977584 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29393/stat : 29393 (java) S 29368 29371 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71106030 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140295643586080 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 113.34 s
Current children cumulated vsize: 15786588 KiB
Current children cumulated memory: 5716580 KiB

[startup+79.2009 s]
/proc/loadavg: 2.43 1.53 1.23 3/220 29393
/proc/meminfo: memFree=5417076/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15681864 memory=5639916 CPUtime=109.9 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 73775 0 0 0 10637 353 0 0 20 0 19 0 71098532 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3920466 1409979 3260 1 0 3881322 0
[pid=29388] ppid=29371 vsize=104724 memory=76692 CPUtime=4.24 cores=0,2,4,6
/proc/29388/stat : 29388 (minisat_release) R 29371 29371 29212 0 -1 4202496 45900 0 0 0 418 6 0 0 20 0 1 0 71106028 107237376 19173 33554432000 4194304 4308513 140728210819232 140728210816856 4276463 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 36511744 140728210825903 140728210826414 140728210826414 140728210829253 0
/proc/29388/statm: 26181 19173 352 28 0 22421 0
[pid=29371/tid=29373] ppid=29368 vsize=15681864 memory=6655300316396806240 CPUtime=69.02 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) S 29368 29371 29212 0 -1 1077944384 24750 0 0 0 6852 50 0 0 20 0 19 0 71098533 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298974338048 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15681864 memory=-7824251494390978152 CPUtime=5.84 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2357 0 0 0 510 74 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15681864 memory=18368 CPUtime=5.84 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1552 0 0 0 518 66 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15681864 memory=776 CPUtime=5.88 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2457 0 0 0 512 76 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15681864 memory=1876 CPUtime=5.88 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2733 0 0 0 518 70 0 0 20 0 19 0 71098534 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15681864 memory=1664 CPUtime=0.03 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 1021 0 0 0 3 0 0 0 20 0 19 0 71098536 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15681864 memory=76664 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 71098536 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297589744608 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15681864 memory=2322084604006787632 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71098536 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297321309184 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15681864 memory=5639916 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15681864 memory=65 CPUtime=7.88 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) S 29368 29371 29212 0 -1 1077944384 12392 0 0 0 785 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297972431344 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15681864 memory=288230621787202261 CPUtime=8.13 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) S 29368 29371 29212 0 -1 1077944384 14114 0 0 0 810 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297971378800 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15681864 memory=15260328862699250 CPUtime=1.26 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) S 29368 29371 29212 0 -1 1077944384 10506 0 0 0 123 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297970326256 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15681864 memory=7595975403568713811 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15681864 memory=-7824251494390978152 CPUtime=0.04 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 482 0 0 0 1 3 0 0 20 0 19 0 71098539 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29389] ppid=29368 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29389/stat : 29389 (java) S 29368 29371 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140298059805760 140299002523417 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29391] ppid=29368 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29391/stat : 29391 (java) S 29368 29371 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140295912009264 140299002520733 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29392] ppid=29368 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29392/stat : 29392 (java) S 29368 29371 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71106028 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140296046231216 140299002520733 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29393] ppid=29368 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29371/task/29393/stat : 29393 (java) S 29368 29371 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71106030 16058228736 1409979 33554432000 4194304 4196468 140722135967264 140295643586080 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 114.14 s
Current children cumulated vsize: 15786588 KiB
Current children cumulated memory: 5716608 KiB

[startup+79.6015 s]
/proc/loadavg: 2.43 1.53 1.23 3/220 29393
/proc/meminfo: memFree=5417076/32770624 swapFree=67076436/67108860
[pid=29371] ppid=29368 vsize=15681864 memory=5640160 CPUtime=114.7 cores=0,2,4,6
/proc/29371/stat : 29371 (java) S 29368 29371 29212 0 -1 1077944320 74635 47891 0 0 10659 353 452 6 20 0 18 0 71098532 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140722135949808 140299002498807 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
/proc/29371/statm: 3920466 1410040 3260 1 0 3881322 0
[pid=29371/tid=29373] ppid=29368 vsize=15681864 memory=776 CPUtime=73.6 cores=0,2,4,6
/proc/29371/task/29373/stat : 29373 (java) S 29368 29371 29212 0 -1 1077944384 24750 47891 0 0 6852 50 452 6 20 0 18 0 71098533 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140298974338048 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29374] ppid=29368 vsize=15681864 memory=1876 CPUtime=10.42 cores=0,2,4,6
/proc/29371/task/29374/stat : 29374 (java) S 29368 29371 29212 0 -1 1077944384 2357 47891 0 0 510 74 452 6 20 0 18 0 71098534 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140299006741264 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29375] ppid=29368 vsize=15681864 memory=1664 CPUtime=10.42 cores=0,2,4,6
/proc/29371/task/29375/stat : 29375 (java) S 29368 29371 29212 0 -1 1077944384 1552 47891 0 0 518 66 452 6 20 0 18 0 71098534 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140298463558544 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29376] ppid=29368 vsize=15681864 memory=-7824251494390978152 CPUtime=10.46 cores=0,2,4,6
/proc/29371/task/29376/stat : 29376 (java) S 29368 29371 29212 0 -1 1077944384 2457 47891 0 0 512 76 452 6 20 0 18 0 71098534 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140298462506000 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29377] ppid=29368 vsize=15681864 memory=1760 CPUtime=10.46 cores=0,2,4,6
/proc/29371/task/29377/stat : 29377 (java) S 29368 29371 29212 0 -1 1077944384 2733 47891 0 0 518 70 452 6 20 0 18 0 71098534 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140298461453456 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29378] ppid=29368 vsize=15681864 memory=960 CPUtime=4.61 cores=0,2,4,6
/proc/29371/task/29378/stat : 29378 (java) S 29368 29371 29212 0 -1 1077944384 1021 47891 0 0 3 0 452 6 20 0 18 0 71098536 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297973483504 140299002509954 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29379] ppid=29368 vsize=15681864 memory=1220 CPUtime=4.58 cores=0,2,4,6
/proc/29371/task/29379/stat : 29379 (java) S 29368 29371 29212 0 -1 1077944384 23 47891 0 0 0 0 452 6 20 0 18 0 71098536 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297589744608 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29380] ppid=29368 vsize=15681864 memory=1548 CPUtime=4.58 cores=0,2,4,6
/proc/29371/task/29380/stat : 29380 (java) S 29368 29371 29212 0 -1 1077944384 2 47891 0 0 0 0 452 6 20 0 18 0 71098536 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297321309184 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29381] ppid=29368 vsize=15681864 memory=1828 CPUtime=4.58 cores=0,2,4,6
/proc/29371/task/29381/stat : 29381 (java) S 29368 29371 29212 0 -1 1077944384 3 47891 0 0 0 0 452 6 20 0 18 0 71098539 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140296946800848 140299002517403 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29382] ppid=29368 vsize=15681864 memory=800 CPUtime=12.52 cores=0,2,4,6
/proc/29371/task/29382/stat : 29382 (java) R 29368 29371 29212 0 -1 4202560 12666 47891 0 0 791 3 452 6 20 0 18 0 71098539 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297972431640 140298984018494 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29383] ppid=29368 vsize=15681864 memory=5192 CPUtime=12.76 cores=0,2,4,6
/proc/29371/task/29383/stat : 29383 (java) R 29368 29371 29212 0 -1 4202560 14132 47891 0 0 815 3 452 6 20 0 18 0 71098539 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297971378800 140298985992960 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29384] ppid=29368 vsize=15681864 memory=12816 CPUtime=5.87 cores=0,2,4,6
/proc/29371/task/29384/stat : 29384 (java) S 29368 29371 29212 0 -1 1077944384 11027 47891 0 0 126 3 452 6 20 0 18 0 71098539 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297970326256 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29385] ppid=29368 vsize=15681864 memory=1332 CPUtime=4.58 cores=0,2,4,6
/proc/29371/task/29385/stat : 29385 (java) S 29368 29371 29212 0 -1 1077944384 3 47891 0 0 0 0 452 6 20 0 18 0 71098539 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140296448896096 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29386] ppid=29368 vsize=15681864 memory=1508 CPUtime=4.62 cores=0,2,4,6
/proc/29371/task/29386/stat : 29386 (java) S 29368 29371 29212 0 -1 1077944384 482 47891 0 0 1 3 452 6 20 0 18 0 71098539 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140297969273136 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29389] ppid=29368 vsize=15681864 memory=3328 CPUtime=4.58 cores=0,2,4,6
/proc/29371/task/29389/stat : 29389 (java) S 29368 29371 29212 0 -1 1077944384 25 47891 0 0 0 0 452 6 20 0 18 0 71106028 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140298059804944 140299002509954 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29391] ppid=29368 vsize=15681864 memory=3032 CPUtime=4.65 cores=0,2,4,6
/proc/29371/task/29391/stat : 29391 (java) R 29368 29371 29212 0 -1 4202560 66 47891 0 0 7 0 452 6 20 0 18 0 71106028 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140295912016880 140298485326227 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
[pid=29371/tid=29393] ppid=29368 vsize=15681864 memory=796 CPUtime=4.58 cores=0,2,4,6
/proc/29371/task/29393/stat : 29393 (java) S 29368 29371 29212 0 -1 1077944384 4 47891 0 0 0 0 452 6 20 0 18 0 71106030 16058228736 1410040 33554432000 4194304 4196468 140722135967264 140295643585840 140299002509013 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10952704 140722135970804 140722135971081 140722135971081 140722135973839 0
Current children cumulated CPU time: 114.7 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 5640160 KiB

Child status: 0
Real time (s): 79.6524
CPU time (s): 114.813
CPU user time (s): 111.183
CPU system time (s): 3.63006
CPU usage (%): 144.143
Max. virtual memory (cumulated for all children) (KiB): 15816940
Max. memory (cumulated for all children) (KiB): 5726944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.183
system time used= 3.63006
maximum resident set size= 5640340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6854
involuntary context switches= 453


# summary of solver processes directly reported to runsolver:
#   pid: 29371
#   total CPU time (s): 114.813
#   total CPU user time (s): 111.183
#   total CPU system time (s): 3.63006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.510862 second user time and 0.778587 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-25 18:15:54
IDJOB=4294875
IDBENCH=141439
IDSOLVER=2755
FILE ID=node102/4294875-1532535354
RUNJOBID= node102-1532535327-29243
PBS_JOBID= 21021949
Free space on /tmp= 52736 MiB

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

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

MD5SUM BENCH= 81d4059c2b76389bba6ef17dee6cb29a
RANDOM SEED=99959496

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:        15423860 kB
MemAvailable:   28248712 kB
Buffers:          170172 kB
Cached:         12823068 kB
SwapCached:         5732 kB
Active:          5050868 kB
Inactive:       11677264 kB
Active(anon):    3710748 kB
Inactive(anon):    48140 kB
Active(file):    1340120 kB
Inactive(file): 11629124 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076436 kB
Dirty:              9096 kB
Writeback:             0 kB
AnonPages:       3750256 kB
Mapped:            44328 kB
Shmem:             21368 kB
Slab:             311240 kB
SReclaimable:     284068 kB
SUnreclaim:        27172 kB
KernelStack:        3792 kB
PageTables:        12540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13015396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3618816 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:17:13