Trace number 3493396

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
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06UNSAT 36.2965 35.0812

General information on the benchmark

Namemus/marques-silva/design-debugging/
c5_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf
MD5SUM51a65f7a1e865ed2f160b57f0f16d7ce
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.284956
Satisfiable
(Un)Satisfiability was proved
Number of variables100464
Number of clauses270492
Sum of the clauses size632116
Maximum clause length4
Minimum clause length1
Number of clauses of size 13156
Number of clauses of size 2173184
Number of clauses of size 394016
Number of clauses of size 4136
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.06/0.07	c version 2.3.0.v20110206
0.06/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.07	c java.vm.version	19.1-b02
0.06/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.07	c sun.arch.data.model	64
0.06/0.07	c java.version		1.6.0_24
0.06/0.07	c os.name		Linux
0.06/0.07	c os.version		2.6.18-164.el5
0.06/0.07	c os.arch		amd64
0.06/0.07	c Free memory 		5997854704
0.06/0.07	c Max memory 		6029312000
0.06/0.07	c Total memory 		6029312000
0.06/0.07	c Number of processors 	8
0.06/0.09	c Explanation (MUS) enabled solver
0.09/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3493396-1307799090.cnf
0.09/0.10	c reading problem ... 
0.66/0.55	c ... done. Wall clock time 0.406s.
0.66/0.55	c #vars     370956
0.66/0.55	c #constraints  270492
0.66/0.55	c constraints type 
0.66/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 267336
0.66/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3156
1.00/0.77	c Unsat detection wall clock time (in seconds) : 0.683
1.00/0.77	c Size of initial unsat subformula: 172
1.00/0.77	c Computing MUS ...
1.00/0.77	c initial unsat core 24790[?] -11711[?] 365518[?]  -24630[?] 365199[?] 11551[?]  -12513[?] 365084[?] -12512[?] 365083[?] -12511[?] 365082[?] -12510[?] 365081[?] -12509[?] 365080[?] -12503[?] 365074[?] -12502[?] 365073[?] -12501[?] 365072[?] -12500[?] 365071[?] -12499[?] 365070[?] -12493[?] 365064[?] -12492[?] 365063[?] -12491[?] 365062[?] -12490[?] 365061[?] -12489[?] 365060[?] -12070[?] 364641[?] -12061[?] 364632[?] -12045[?] 364616[?] -1947[?] 364593[?] -14503[?] 364590[?] 11711[?] -10040[?] 359353[?]  -11551[?] 8391[?] 356785[?]  -11457[?] 355761[?] -11425[?] 355505[?] -11401[?] 355313[?] -10426[?] 10412[?] 10418[?] 324185[?]  -10418[?] 4000[?] 3999[?] 323929[?]  -10412[?] 10410[?] 10411[?] 323737[?]  -10411[?] 3991[?] 3990[?] 323705[?]  -10410[?] 10409[?] 3989[?] 323673[?]  -10409[?] 3988[?] 3987[?] 323641[?]  -10402[?] 10400[?] 10401[?] 323417[?]  -10401[?] 3962[?] 10379[?] 323385[?]  -10400[?] 10399[?] 10380[?] 323353[?]  -10399[?] 10365[?] 10369[?] 323321[?]  -10398[?] 10382[?] 10397[?] 323289[?]  -10397[?] 10396[?] 3960[?] 323257[?]  -10396[?] 10394[?] 10395[?] 323225[?]  -10395[?] 3962[?] 3971[?] 323193[?]  -10394[?] 3961[?] 3969[?] 323161[?]  -10393[?] 10392[?] 10390[?] 323129[?]  -10392[?] 10378[?] 10391[?] 323097[?]  -10391[?] 3961[?] 3966[?] 323065[?]  -10390[?] 10369[?] 10356[?] 323033[?]  -10389[?] 10386[?] 10388[?] 323001[?]  -10388[?] 10365[?] 10387[?] 322969[?]  -10387[?] 10373[?] 3969[?] 322937[?]  -10386[?] 10360[?] 10380[?] 322905[?]  -10385[?] 10382[?] 10384[?] 322873[?]  -10384[?] 10383[?] 10376[?] 322841[?]  -10383[?] 10373[?] 3966[?] 322809[?]  -10382[?] 10381[?] 10380[?] 322777[?]  -10381[?] 10360[?] 10372[?] 322745[?]  -10380[?] 10356[?] 10358[?] 322713[?]  -10379[?] 3972[?] 3976[?] 322681[?]  -10378[?] 10377[?] 3977[?] 322649[?]  -10377[?] 10061[?] 3747[?] 322617[?]  -10376[?] 10375[?] 10374[?] 322585[?]  -10375[?] 3957[?] 3963[?] 322553[?]  -10374[?] 3955[?] 10064[?] 322521[?]  -10373[?] 3973[?] 3964[?] 322489[?]  -10372[?] 10370[?] 10371[?] 322457[?]  -10371[?] 3975[?] 3976[?] 322425[?]  -10370[?] 10062[?] 3958[?] 322393[?]  -10369[?] 10368[?] 3970[?] 322361[?]  -10368[?] 10367[?] 10366[?] 322329[?]  -10367[?] 3960[?] 3973[?] 322297[?]  -10366[?] 3958[?] 3957[?] 322265[?]  -10365[?] 10363[?] 10364[?] 322233[?]  -10364[?] 3977[?] 3963[?] 322201[?]  -10363[?] 10361[?] 10362[?] 322169[?]  -10362[?] 3956[?] 3955[?] 322137[?]  -10361[?] 10061[?] 10063[?] 322105[?]  -10360[?] 10359[?] 3974[?] 322073[?]  -10359[?] 10060[?] 3747[?] 322041[?]  -10358[?] 10357[?] 3967[?] 322009[?]  -10357[?] 3959[?] 3965[?] 321977[?]  -10356[?] 3968[?] 3954[?] 321945[?]  -12230[?] 10118[?] 12070[?] 314321[?]  -10064[?] 10059[?] 377[?] 312601[?]  -10063[?] 10058[?] 378[?] 312569[?]  -10062[?] 10057[?] 379[?] 312537[?]  -10061[?] 10056[?] 380[?] 312505[?]  -10060[?] 10055[?] 381[?] 312473[?]  -10059[?] 347[?] 364[?] 312441[?]  -10058[?] 348[?] 365[?] 312409[?]  -10057[?] 349[?] 366[?] 312377[?]  -10056[?] 350[?] 367[?] 312345[?]  -10055[?] 351[?] 368[?] 312313[?]  22599[?] -24790[?] 24630[?] 311858[?]  10040[?] 5317[?] 5316[?] 311833[?]  -8544[?] 4314[?] 4315[?] 275841[?]  -8536[?] 4299[?] 4298[?] 275649[?]  -8535[?] 4297[?] 4296[?] 275625[?]  -8533[?] 4293[?] 4292[?] 275577[?]  -8532[?] 4291[?] 4290[?] 275553[?]  -8531[?] 4289[?] 4288[?] 275529[?]  -8391[?] 4011[?] 4010[?] 272169[?]  -8281[?] 3790[?] 3789[?] 269489[?]  -5317[?] 8544[?] 198329[?]  -5316[?] 785[?] 198305[?]  -4315[?] 12061[?] 174289[?]  -4314[?] 8536[?] 174257[?]  -4299[?] 8535[?] 173897[?]  -4298[?] 8532[?] 173873[?]  -4297[?] 12045[?] 173857[?]  -4296[?] 8533[?] 173825[?]  -4293[?] 11401[?] 173753[?]  -4292[?] 11401[?] 173729[?]  -4291[?] 8531[?] 173705[?]  -4290[?] 8281[?] 173681[?]  -4289[?] 11401[?] 173657[?]  -4288[?] 11401[?] 173633[?]  -4011[?] 437[?] 166985[?]  -4010[?] 438[?] 166961[?]  -4000[?] 10398[?] 166721[?]  -3999[?] 10402[?] 166697[?]  -3991[?] 10385[?] 166505[?]  -3990[?] 10389[?] 166481[?]  -3989[?] 10393[?] 166457[?]  -3988[?] 10398[?] 166433[?]  -3987[?] 10402[?] 166409[?]  -3977[?] 3954[?] 166169[?]  -3976[?] 3955[?] 166145[?]  -3975[?] 3956[?] 166121[?]  -3974[?] 3954[?] 166097[?]  -3973[?] 3957[?] 166073[?]  -3972[?] 3959[?] 166049[?]  -3971[?] 3956[?] 166025[?]  -3970[?] 3955[?] 166001[?]  -3969[?] 10063[?] 165985[?]  -3968[?] 10062[?] 165961[?]  -3967[?] 3957[?] 165929[?]  -3966[?] 10064[?] 165913[?]  -3965[?] 3955[?] 165881[?]  -3964[?] 3747[?] 165857[?]  -3963[?] 3747[?] 165833[?]  -3962[?] 10062[?] 165817[?]  -3961[?] 10061[?] 165793[?]  -3960[?] 10062[?] 165769[?]  -3959[?] 10063[?] 165745[?]  -3958[?] 10063[?] 165721[?]  -3957[?] 10063[?] 165697[?]  -3956[?] 10064[?] 165673[?]  -3955[?] 10064[?] 165649[?]  -3954[?] 10064[?] 165625[?]  -3790[?] 11401[?] 161681[?]  -3789[?] 11401[?] 161657[?]  -3749[?] 10426[?] 160697[?]  -3747[?] 10064[?] 160657[?]  -10118[?] 1947[?] 131513[?]  14503[?] -22599[?] 131482[?]  -785[?] 11457[?] 113009[?]  -438[?] 11425[?] 107457[?]  -437[?] 3749[?] 107441[?]  -381[?] 12512[?] 106545[?]  -380[?] 12511[?] 106529[?]  -379[?] 12510[?] 106513[?]  -378[?] 12509[?] 106497[?]  -377[?] 12513[?] 106481[?]  -368[?] 12502[?] 106337[?]  -367[?] 12501[?] 106321[?]  -366[?] 12500[?] 106305[?]  -365[?] 12499[?] 106289[?]  -364[?] 12503[?] 106273[?]  -351[?] 12492[?] 106065[?]  -350[?] 12491[?] 106049[?]  -349[?] 12490[?] 106033[?]  -348[?] 12489[?] 106017[?]  -347[?] 12493[?] 106001[?]  
1.15/0.84	c qxplain 0/171
1.45/1.08	c qxplain 86/171
1.69/1.20	c qxplain 129/171
1.82/1.35	c qxplain 151/171
1.97/1.48	c qxplain 162/171
2.08/1.60	c qxplain 167/171
2.27/1.72	c qxplain 170/171
2.37/1.84	c qxplain 171/171
2.47/1.96	c 106001[?] -347[?] 12493[?]  is mandatory 
2.47/1.96	c qxplain 170/170
2.58/2.09	c 106017[?] -348[?] 12489[?]  is mandatory 
2.58/2.09	c qxplain 167/169
2.80/2.21	c qxplain 169/169
2.89/2.33	c 106033[?] -349[?] 12490[?]  is mandatory 
2.89/2.33	c qxplain 167/168
2.99/2.46	c qxplain 168/168
3.09/2.58	c 106049[?] -350[?] 12491[?]  is mandatory 
3.09/2.58	c qxplain 167/167
3.29/2.70	c 106065[?] -351[?] 12492[?]  is mandatory 
3.29/2.70	c qxplain 162/166
3.39/2.82	c qxplain 165/166
3.49/2.94	c qxplain 166/166
3.59/3.06	c 106273[?] -364[?] 12503[?]  is mandatory 
3.59/3.06	c qxplain 165/165
3.69/3.19	c 106289[?] -365[?] 12499[?]  is mandatory 
3.69/3.19	c qxplain 162/164
3.89/3.31	c qxplain 164/164
3.99/3.43	c 106305[?] -366[?] 12500[?]  is mandatory 
3.99/3.43	c qxplain 162/163
4.09/3.55	c qxplain 163/163
4.19/3.67	c 106321[?] -367[?] 12501[?]  is mandatory 
4.19/3.67	c qxplain 162/162
4.29/3.79	c 106337[?] -368[?] 12502[?]  is mandatory 
4.29/3.79	c qxplain 151/161
4.49/3.91	c qxplain 157/161
4.59/4.03	c qxplain 160/161
4.69/4.15	c qxplain 161/161
4.79/4.27	c 106481[?] -377[?] 12513[?]  is mandatory 
4.79/4.27	c qxplain 160/160
4.90/4.40	c 106497[?] -378[?] 12509[?]  is mandatory 
4.90/4.40	c qxplain 157/159
5.09/4.52	c qxplain 159/159
5.19/4.64	c 106513[?] -379[?] 12510[?]  is mandatory 
5.19/4.64	c qxplain 157/158
5.29/4.76	c qxplain 158/158
5.39/4.88	c 106529[?] -380[?] 12511[?]  is mandatory 
5.39/4.88	c qxplain 157/157
5.59/5.00	c 106545[?] -381[?] 12512[?]  is mandatory 
5.59/5.00	c qxplain 151/156
5.69/5.13	c qxplain 154/156
5.79/5.25	c qxplain 156/156
5.89/5.37	c 107441[?] 3749[?] -437[?]  is mandatory 
5.89/5.37	c qxplain 154/155
5.99/5.49	c qxplain 155/155
6.19/5.61	c 107457[?] -438[?] 11425[?]  is mandatory 
6.19/5.61	c qxplain 154/154
6.29/5.74	c 113009[?] -785[?] 11457[?]  is mandatory 
6.29/5.74	c qxplain 151/153
6.39/5.86	c qxplain 153/153
6.49/5.98	c 131482[?] -22599[?] 14503[?]  is mandatory 
6.49/5.98	c qxplain 151/152
6.69/6.10	c qxplain 152/152
6.69/6.12	c qxplain 151/151
6.82/6.24	c 160657[?] -3747[?] 10064[?]  is mandatory 
6.82/6.24	c qxplain 129/150
6.91/6.37	c qxplain 140/150
7.02/6.49	c qxplain 146/150
7.22/6.61	c qxplain 149/150
7.31/6.73	c qxplain 150/150
7.42/6.85	c 160697[?] 10426[?] -3749[?]  is mandatory 
7.42/6.85	c qxplain 149/149
7.51/6.97	c 161657[?] -3789[?] 11401[?]  is mandatory 
7.51/6.97	c qxplain 146/148
7.62/7.10	c qxplain 148/148
7.81/7.22	c 161681[?] -3790[?] 11401[?]  is mandatory 
7.81/7.22	c qxplain 146/147
7.92/7.34	c qxplain 147/147
8.02/7.46	c 165625[?] -3954[?] 10064[?]  is mandatory 
8.02/7.46	c qxplain 146/146
8.12/7.58	c 165649[?] -3955[?] 10064[?]  is mandatory 
8.12/7.58	c qxplain 140/145
8.23/7.70	c qxplain 143/145
8.42/7.82	c qxplain 145/145
8.52/7.95	c 165673[?] -3956[?] 10064[?]  is mandatory 
8.52/7.95	c qxplain 143/144
8.62/8.07	c qxplain 144/144
8.72/8.19	c 165697[?] -3957[?] 10063[?]  is mandatory 
8.72/8.19	c qxplain 143/143
8.92/8.31	c 165721[?] -3958[?] 10063[?]  is mandatory 
8.92/8.31	c qxplain 140/142
9.02/8.43	c qxplain 142/142
9.12/8.55	c 165745[?] -3959[?] 10063[?]  is mandatory 
9.12/8.55	c qxplain 140/141
9.22/8.67	c qxplain 141/141
9.33/8.79	c 165769[?] -3960[?] 10062[?]  is mandatory 
9.33/8.80	c qxplain 140/140
9.52/8.92	c 165793[?] -3961[?] 10061[?]  is mandatory 
9.52/8.92	c qxplain 129/139
9.62/9.04	c qxplain 135/139
9.72/9.16	c qxplain 138/139
9.82/9.28	c qxplain 139/139
10.02/9.41	c 165817[?] -3962[?] 10062[?]  is mandatory 
10.02/9.41	c qxplain 138/138
10.12/9.53	c 165833[?] -3963[?] 3747[?]  is mandatory 
10.12/9.53	c qxplain 135/137
10.22/9.65	c qxplain 137/137
10.32/9.77	c 165857[?] -3964[?] 3747[?]  is mandatory 
10.32/9.77	c qxplain 135/136
10.43/9.89	c qxplain 136/136
10.62/10.01	c 165881[?] -3965[?] 3955[?]  is mandatory 
10.62/10.01	c qxplain 135/135
10.73/10.13	c 165913[?] -3966[?] 10064[?]  is mandatory 
10.73/10.13	c qxplain 129/134
10.83/10.25	c qxplain 132/134
10.92/10.38	c qxplain 134/134
11.12/10.50	c 165929[?] -3967[?] 3957[?]  is mandatory 
11.12/10.50	c qxplain 132/133
11.22/10.62	c qxplain 133/133
11.33/10.74	c 165961[?] -3968[?] 10062[?]  is mandatory 
11.33/10.74	c qxplain 132/132
11.43/10.86	c 165985[?] -3969[?] 10063[?]  is mandatory 
11.43/10.86	c qxplain 129/131
11.53/10.98	c qxplain 131/131
11.73/11.11	c 166001[?] -3970[?] 3955[?]  is mandatory 
11.73/11.11	c qxplain 129/130
11.83/11.23	c qxplain 130/130
11.93/11.35	c 166025[?] -3971[?] 3956[?]  is mandatory 
11.93/11.35	c qxplain 129/129
12.03/11.47	c 166049[?] -3972[?] 3959[?]  is mandatory 
12.03/11.47	c qxplain 86/128
12.13/11.59	c qxplain 108/128
12.33/11.71	c qxplain 119/128
12.43/11.83	c qxplain 124/128
12.53/11.95	c qxplain 127/128
12.63/12.07	c qxplain 128/128
12.74/12.19	c 166073[?] -3973[?] 3957[?]  is mandatory 
12.74/12.19	c qxplain 127/127
12.93/12.32	c 166097[?] -3974[?] 3954[?]  is mandatory 
12.93/12.32	c qxplain 124/126
13.03/12.44	c qxplain 126/126
13.13/12.56	c 166121[?] -3975[?] 3956[?]  is mandatory 
13.13/12.56	c qxplain 124/125
13.23/12.68	c qxplain 125/125
13.43/12.80	c 166145[?] -3976[?] 3955[?]  is mandatory 
13.43/12.80	c qxplain 124/124
13.53/12.92	c 166169[?] -3977[?] 3954[?]  is mandatory 
13.53/12.92	c qxplain 119/123
13.62/13.04	c qxplain 122/123
13.74/13.16	c qxplain 123/123
13.84/13.29	c 166409[?] -3987[?] 10402[?]  is mandatory 
13.84/13.29	c qxplain 122/122
14.03/13.41	c 166433[?] -3988[?] 10398[?]  is mandatory 
14.03/13.41	c qxplain 119/121
14.13/13.53	c qxplain 121/121
14.23/13.65	c 166457[?] -3989[?] 10393[?]  is mandatory 
14.23/13.65	c qxplain 119/120
14.33/13.78	c qxplain 120/120
14.43/13.90	c 166481[?] -3990[?] 10389[?]  is mandatory 
14.43/13.90	c qxplain 119/119
14.63/14.02	c 166505[?] -3991[?] 10385[?]  is mandatory 
14.63/14.02	c qxplain 108/118
14.73/14.14	c qxplain 114/118
14.83/14.26	c qxplain 117/118
14.94/14.38	c qxplain 118/118
15.40/14.67	c 166697[?] -3999[?] 10402[?]  is mandatory 
15.40/14.67	c qxplain 117/117
15.52/14.76	c 166721[?] -4000[?] 10398[?]  is mandatory 
15.52/14.76	c qxplain 114/116
15.62/14.85	c qxplain 116/116
15.72/14.94	c 166961[?] -4010[?] 438[?]  is mandatory 
15.72/14.94	c qxplain 114/115
15.82/15.03	c qxplain 115/115
15.92/15.11	c 166985[?] 437[?] -4011[?]  is mandatory 
15.92/15.11	c qxplain 114/114
16.02/15.20	c 173633[?] -4288[?] 11401[?]  is mandatory 
16.02/15.20	c qxplain 108/113
16.02/15.29	c qxplain 111/113
16.12/15.38	c qxplain 113/113
16.22/15.47	c 173657[?] -4289[?] 11401[?]  is mandatory 
16.22/15.47	c qxplain 111/112
16.32/15.55	c qxplain 112/112
16.42/15.64	c 173681[?] -4290[?] 8281[?]  is mandatory 
16.42/15.64	c qxplain 111/111
16.52/15.73	c 173705[?] -4291[?] 8531[?]  is mandatory 
16.52/15.73	c qxplain 108/110
16.62/15.81	c qxplain 110/110
16.72/15.90	c 173729[?] -4292[?] 11401[?]  is mandatory 
16.72/15.90	c qxplain 108/109
16.72/15.99	c qxplain 109/109
16.82/16.07	c 173753[?] -4293[?] 11401[?]  is mandatory 
16.82/16.07	c qxplain 108/108
16.91/16.16	c 173825[?] -4296[?] 8533[?]  is mandatory 
16.91/16.16	c qxplain 86/107
17.01/16.25	c qxplain 97/107
17.11/16.33	c qxplain 103/107
17.22/16.42	c qxplain 106/107
17.32/16.51	c qxplain 107/107
17.41/16.60	c 173857[?] -4297[?] 12045[?]  is mandatory 
17.41/16.60	c qxplain 106/106
17.41/16.69	c 173873[?] -4298[?] 8532[?]  is mandatory 
17.41/16.69	c qxplain 103/105
17.51/16.77	c qxplain 105/105
17.61/16.86	c 173897[?] -4299[?] 8535[?]  is mandatory 
17.61/16.86	c qxplain 103/104
17.71/16.95	c qxplain 104/104
17.81/17.04	c 174257[?] -4314[?] 8536[?]  is mandatory 
17.81/17.04	c qxplain 103/103
17.91/17.12	c 174289[?] -4315[?] 12061[?]  is mandatory 
17.91/17.12	c qxplain 97/102
18.01/17.21	c qxplain 100/102
18.01/17.30	c qxplain 102/102
18.11/17.38	c 198305[?] -5316[?] 785[?]  is mandatory 
18.11/17.38	c qxplain 100/101
18.21/17.47	c qxplain 101/101
18.32/17.56	c 198329[?] -5317[?] 8544[?]  is mandatory 
18.32/17.56	c qxplain 100/100
18.42/17.64	c 269489[?] -8281[?] 3789[?] 3790[?]  is mandatory 
18.42/17.64	c qxplain 97/99
18.51/17.73	c qxplain 99/99
18.61/17.82	c 272169[?] 4011[?] -8391[?] 4010[?]  is mandatory 
18.61/17.82	c qxplain 97/98
18.71/17.90	c qxplain 98/98
18.71/17.99	c 275529[?] -8531[?] 4288[?] 4289[?]  is mandatory 
18.71/17.99	c qxplain 97/97
18.81/18.08	c 275553[?] -8532[?] 4291[?] 4290[?]  is mandatory 
18.81/18.08	c qxplain 86/96
18.91/18.16	c qxplain 92/96
19.01/18.25	c qxplain 95/96
19.11/18.34	c qxplain 96/96
19.21/18.43	c 275577[?] -8533[?] 4292[?] 4293[?]  is mandatory 
19.21/18.43	c qxplain 95/95
19.31/18.51	c 275625[?] -8535[?] 4296[?] 4297[?]  is mandatory 
19.31/18.51	c qxplain 92/94
19.31/18.60	c qxplain 94/94
19.42/18.69	c 275649[?] -8536[?] 4299[?] 4298[?]  is mandatory 
19.42/18.69	c qxplain 92/93
19.52/18.77	c qxplain 93/93
19.61/18.86	c 275841[?] -8544[?] 4314[?] 4315[?]  is mandatory 
19.61/18.86	c qxplain 92/92
19.71/18.95	c 311833[?] 10040[?] 5317[?] 5316[?]  is mandatory 
19.71/18.95	c qxplain 86/91
19.81/19.03	c qxplain 89/91
19.91/19.12	c qxplain 91/91
20.01/19.21	c 311858[?] 24630[?] -24790[?] 22599[?]  is mandatory 
20.01/19.21	c qxplain 89/90
20.01/19.29	c qxplain 90/90
20.11/19.38	c 312313[?] -10055[?] 351[?] 368[?]  is mandatory 
20.11/19.38	c qxplain 89/89
20.21/19.47	c 312345[?] -10056[?] 350[?] 367[?]  is mandatory 
20.21/19.47	c qxplain 86/88
20.31/19.56	c qxplain 88/88
20.41/19.64	c 312377[?] -10057[?] 349[?] 366[?]  is mandatory 
20.41/19.64	c qxplain 86/87
20.51/19.73	c qxplain 87/87
20.62/19.82	c 312409[?] -10058[?] 348[?] 365[?]  is mandatory 
20.62/19.82	c qxplain 86/86
20.72/19.90	c 312441[?] -10059[?] 347[?] 364[?]  is mandatory 
20.72/19.90	c qxplain 0/85
20.72/19.99	c qxplain 43/85
20.82/20.08	c qxplain 65/85
20.92/20.16	c qxplain 76/85
21.02/20.25	c qxplain 81/85
21.12/20.34	c qxplain 84/85
21.22/20.42	c qxplain 85/85
21.31/20.51	c 312473[?] -10060[?] 10055[?] 381[?]  is mandatory 
21.31/20.51	c qxplain 84/84
21.42/20.60	c 312505[?] -10061[?] 10056[?] 380[?]  is mandatory 
21.42/20.60	c qxplain 81/83
21.42/20.68	c qxplain 83/83
21.52/20.77	c 312537[?] -10062[?] 10057[?] 379[?]  is mandatory 
21.52/20.77	c qxplain 81/82
21.62/20.86	c qxplain 82/82
21.72/20.95	c 312569[?] -10063[?] 10058[?] 378[?]  is mandatory 
21.72/20.95	c qxplain 81/81
21.82/21.03	c 312601[?] -10064[?] 10059[?] 377[?]  is mandatory 
21.82/21.03	c qxplain 76/80
21.92/21.12	c qxplain 79/80
22.02/21.21	c qxplain 80/80
22.02/21.23	c qxplain 79/79
22.14/21.31	c 321945[?] -10356[?] 3954[?] 3968[?]  is mandatory 
22.14/21.31	c qxplain 76/78
22.24/21.40	c qxplain 78/78
22.24/21.49	c 321977[?] -10357[?] 3965[?] 3959[?]  is mandatory 
22.24/21.49	c qxplain 76/77
22.34/21.57	c qxplain 77/77
22.44/21.66	c 322009[?] -10358[?] 10357[?] 3967[?]  is mandatory 
22.44/21.66	c qxplain 76/76
22.54/21.75	c 322041[?] -10359[?] 3747[?] 10060[?]  is mandatory 
22.54/21.75	c qxplain 65/75
22.64/21.84	c qxplain 71/75
22.75/21.92	c qxplain 74/75
22.85/22.01	c qxplain 75/75
22.85/22.10	c 322073[?] -10360[?] 10359[?] 3974[?]  is mandatory 
22.85/22.10	c qxplain 74/74
22.94/22.18	c 322105[?] -10361[?] 10063[?] 10061[?]  is mandatory 
22.94/22.18	c qxplain 71/73
23.04/22.27	c qxplain 73/73
23.14/22.36	c 322137[?] -10362[?] 3955[?] 3956[?]  is mandatory 
23.14/22.36	c qxplain 71/72
23.24/22.44	c qxplain 72/72
23.34/22.53	c 322169[?] -10363[?] 10362[?] 10361[?]  is mandatory 
23.34/22.53	c qxplain 71/71
23.44/22.62	c 322201[?] -10364[?] 3963[?] 3977[?]  is mandatory 
23.44/22.62	c qxplain 65/70
23.54/22.70	c qxplain 68/70
23.54/22.79	c qxplain 70/70
23.64/22.88	c 322233[?] -10365[?] 10364[?] 10363[?]  is mandatory 
23.64/22.88	c qxplain 68/69
23.74/22.96	c qxplain 69/69
23.85/23.05	c 322265[?] -10366[?] 3958[?] 3957[?]  is mandatory 
23.85/23.05	c qxplain 68/68
23.95/23.14	c 322297[?] -10367[?] 3973[?] 3960[?]  is mandatory 
23.95/23.14	c qxplain 65/67
24.04/23.22	c qxplain 67/67
24.14/23.31	c 322329[?] -10368[?] 10367[?] 10366[?]  is mandatory 
24.14/23.31	c qxplain 65/66
24.24/23.40	c qxplain 66/66
24.24/23.49	c 322361[?] -10369[?] 10368[?] 3970[?]  is mandatory 
24.24/23.49	c qxplain 65/65
24.34/23.57	c 322393[?] -10370[?] 3958[?] 10062[?]  is mandatory 
24.34/23.57	c qxplain 43/64
24.44/23.66	c qxplain 54/64
24.54/23.75	c qxplain 60/64
24.64/23.83	c qxplain 63/64
24.74/23.92	c qxplain 64/64
24.84/24.01	c 322425[?] -10371[?] 3975[?] 3976[?]  is mandatory 
24.84/24.01	c qxplain 63/63
24.84/24.09	c 322457[?] -10372[?] 10371[?] 10370[?]  is mandatory 
24.84/24.09	c qxplain 60/62
24.95/24.18	c qxplain 62/62
25.05/24.27	c 322489[?] -10373[?] 3964[?] 3973[?]  is mandatory 
25.05/24.27	c qxplain 60/61
25.14/24.35	c qxplain 61/61
25.24/24.44	c 322521[?] -10374[?] 10064[?] 3955[?]  is mandatory 
25.24/24.44	c qxplain 60/60
25.34/24.53	c 322553[?] -10375[?] 3963[?] 3957[?]  is mandatory 
25.34/24.53	c qxplain 54/59
25.44/24.61	c qxplain 57/59
25.54/24.70	c qxplain 59/59
25.54/24.79	c 322585[?] -10376[?] 10375[?] 10374[?]  is mandatory 
25.54/24.79	c qxplain 57/58
25.64/24.88	c qxplain 58/58
25.74/24.96	c 322617[?] -10377[?] 3747[?] 10061[?]  is mandatory 
25.74/24.96	c qxplain 57/57
25.84/25.05	c 322649[?] -10378[?] 10377[?] 3977[?]  is mandatory 
25.84/25.05	c qxplain 54/56
25.94/25.14	c qxplain 56/56
26.05/25.22	c 322681[?] -10379[?] 3976[?] 3972[?]  is mandatory 
26.05/25.22	c qxplain 54/55
26.15/25.31	c qxplain 55/55
26.24/25.40	c 322713[?] -10380[?] 10358[?] 10356[?]  is mandatory 
26.24/25.40	c qxplain 54/54
26.61/25.65	c 322745[?] -10381[?] 10372[?] 10360[?]  is mandatory 
26.61/25.65	c qxplain 43/53
26.71/25.74	c qxplain 49/53
26.81/25.83	c qxplain 52/53
26.91/25.91	c qxplain 53/53
27.01/26.00	c 322777[?] -10382[?] 10381[?] 10380[?]  is mandatory 
27.01/26.00	c qxplain 52/52
27.01/26.09	c 322809[?] -10383[?] 10373[?] 3966[?]  is mandatory 
27.01/26.09	c qxplain 49/51
27.11/26.17	c qxplain 51/51
27.21/26.26	c 322841[?] -10384[?] 10383[?] 10376[?]  is mandatory 
27.21/26.26	c qxplain 49/50
27.31/26.35	c qxplain 50/50
27.41/26.44	c 322873[?] -10385[?] 10384[?] 10382[?]  is mandatory 
27.41/26.44	c qxplain 49/49
27.51/26.52	c 322905[?] -10386[?] 10380[?] 10360[?]  is mandatory 
27.51/26.52	c qxplain 43/48
27.61/26.61	c qxplain 46/48
27.71/26.70	c qxplain 48/48
27.71/26.78	c 322937[?] -10387[?] 10373[?] 3969[?]  is mandatory 
27.71/26.78	c qxplain 46/47
27.81/26.87	c qxplain 47/47
27.90/26.95	c 322969[?] -10388[?] 10387[?] 10365[?]  is mandatory 
27.90/26.95	c qxplain 46/46
28.00/27.04	c 323001[?] -10389[?] 10388[?] 10386[?]  is mandatory 
28.00/27.04	c qxplain 43/45
28.10/27.13	c qxplain 45/45
28.20/27.21	c 323033[?] -10390[?] 10369[?] 10356[?]  is mandatory 
28.20/27.21	c qxplain 43/44
28.30/27.30	c qxplain 44/44
28.30/27.38	c 323065[?] -10391[?] 3966[?] 3961[?]  is mandatory 
28.30/27.38	c qxplain 43/43
28.40/27.48	c 323097[?] -10392[?] 10391[?] 10378[?]  is mandatory 
28.40/27.48	c qxplain 0/42
28.50/27.56	c qxplain 22/42
28.60/27.65	c qxplain 33/42
28.70/27.73	c qxplain 38/42
28.80/27.82	c qxplain 41/42
28.90/27.91	c qxplain 42/42
28.90/27.99	c 323129[?] -10393[?] 10390[?] 10392[?]  is mandatory 
28.90/27.99	c qxplain 41/41
29.00/28.08	c 323161[?] -10394[?] 3969[?] 3961[?]  is mandatory 
29.00/28.08	c qxplain 38/40
29.10/28.16	c qxplain 40/40
29.20/28.25	c 323193[?] -10395[?] 3971[?] 3962[?]  is mandatory 
29.20/28.25	c qxplain 38/39
29.30/28.33	c qxplain 39/39
29.40/28.42	c 323225[?] -10396[?] 10395[?] 10394[?]  is mandatory 
29.40/28.42	c qxplain 38/38
29.50/28.50	c 323257[?] -10397[?] 10396[?] 3960[?]  is mandatory 
29.50/28.50	c qxplain 33/37
29.50/28.59	c qxplain 36/37
29.60/28.68	c qxplain 37/37
29.70/28.77	c 323289[?] -10398[?] 10382[?] 10397[?]  is mandatory 
29.70/28.77	c qxplain 36/36
29.80/28.85	c 323321[?] -10399[?] 10365[?] 10369[?]  is mandatory 
29.80/28.85	c qxplain 33/35
29.90/28.94	c qxplain 35/35
30.00/29.02	c 323353[?] -10400[?] 10399[?] 10380[?]  is mandatory 
30.00/29.02	c qxplain 33/34
30.10/29.11	c qxplain 34/34
30.10/29.19	c 323385[?] -10401[?] 10379[?] 3962[?]  is mandatory 
30.10/29.19	c qxplain 33/33
30.20/29.28	c 323417[?] -10402[?] 10401[?] 10400[?]  is mandatory 
30.20/29.28	c qxplain 22/32
30.30/29.37	c qxplain 28/32
30.40/29.45	c qxplain 31/32
30.50/29.54	c qxplain 32/32
30.60/29.62	c 323641[?] -10409[?] 3987[?] 3988[?]  is mandatory 
30.60/29.62	c qxplain 31/31
30.70/29.71	c 323673[?] -10410[?] 10409[?] 3989[?]  is mandatory 
30.70/29.71	c qxplain 28/30
30.70/29.79	c qxplain 30/30
30.80/29.88	c 323705[?] -10411[?] 3990[?] 3991[?]  is mandatory 
30.80/29.88	c qxplain 28/29
30.90/29.97	c qxplain 29/29
31.00/30.05	c 323737[?] -10412[?] 10411[?] 10410[?]  is mandatory 
31.00/30.05	c qxplain 28/28
31.10/30.14	c 323929[?] -10418[?] 3999[?] 4000[?]  is mandatory 
31.10/30.14	c qxplain 22/27
31.20/30.22	c qxplain 25/27
31.33/30.32	c qxplain 27/27
31.42/30.40	c 324185[?] 10412[?] -10426[?] 10418[?]  is mandatory 
31.42/30.40	c qxplain 25/26
31.42/30.49	c qxplain 26/26
31.52/30.57	c -11401[?] 355313[?] is mandatory 
31.52/30.58	c qxplain 25/25
31.62/30.66	c -11425[?] 355505[?] is mandatory 
31.62/30.66	c qxplain 22/24
31.73/30.75	c qxplain 24/24
31.83/30.84	c -11457[?] 355761[?] is mandatory 
31.83/30.84	c qxplain 22/23
31.92/30.92	c qxplain 23/23
32.02/31.01	c 356785[?] 8391[?] -11551[?]  is mandatory 
32.02/31.01	c qxplain 22/22
32.02/31.09	c 359353[?] 11711[?] -10040[?]  is mandatory 
32.02/31.09	c qxplain 0/21
32.12/31.18	c qxplain 11/21
32.22/31.26	c qxplain 17/21
32.32/31.35	c qxplain 20/21
32.42/31.44	c qxplain 21/21
32.52/31.52	c -14503[?] 364590[?] is mandatory 
32.52/31.52	c qxplain 20/20
32.52/31.53	c qxplain 17/19
32.62/31.62	c qxplain 19/19
32.72/31.70	c -12045[?] 364616[?] is mandatory 
32.72/31.70	c qxplain 17/18
32.72/31.79	c qxplain 18/18
32.83/31.88	c -12061[?] 364632[?] is mandatory 
32.83/31.88	c qxplain 17/17
32.83/31.89	c qxplain 11/16
32.93/31.97	c qxplain 14/16
33.04/32.06	c qxplain 16/16
33.14/32.14	c -12489[?] 365060[?] is mandatory 
33.14/32.14	c qxplain 14/15
33.24/32.23	c qxplain 15/15
33.34/32.32	c -12490[?] 365061[?] is mandatory 
33.34/32.32	c qxplain 14/14
33.44/32.41	c -12491[?] 365062[?] is mandatory 
33.44/32.42	c qxplain 11/13
33.54/32.50	c qxplain 13/13
33.54/32.59	c -12492[?] 365063[?] is mandatory 
33.54/32.59	c qxplain 11/12
33.63/32.67	c qxplain 12/12
33.73/32.76	c -12493[?] 365064[?] is mandatory 
33.73/32.76	c qxplain 11/11
33.83/32.84	c -12499[?] 365070[?] is mandatory 
33.83/32.84	c qxplain 0/10
33.94/32.93	c qxplain 6/10
34.04/33.02	c qxplain 9/10
34.13/33.10	c qxplain 10/10
34.13/33.19	c -12500[?] 365071[?] is mandatory 
34.13/33.19	c qxplain 9/9
34.23/33.27	c -12501[?] 365072[?] is mandatory 
34.23/33.27	c qxplain 6/8
34.33/33.36	c qxplain 8/8
34.43/33.45	c -12502[?] 365073[?] is mandatory 
34.43/33.45	c qxplain 6/7
34.53/33.53	c qxplain 7/7
34.63/33.62	c -12503[?] 365074[?] is mandatory 
34.63/33.62	c qxplain 6/6
34.73/33.70	c -12509[?] 365080[?] is mandatory 
34.73/33.70	c qxplain 0/5
34.73/33.79	c qxplain 3/5
34.83/33.87	c qxplain 5/5
34.93/33.96	c -12510[?] 365081[?] is mandatory 
34.93/33.96	c qxplain 3/4
35.04/34.05	c qxplain 4/4
35.14/34.13	c -12511[?] 365082[?] is mandatory 
35.14/34.13	c qxplain 3/3
35.23/34.22	c -12512[?] 365083[?] is mandatory 
35.23/34.22	c qxplain 0/2
35.33/34.30	c qxplain 2/2
35.33/34.39	c -12513[?] 365084[?] is mandatory 
35.33/34.39	c qxplain 0/1
35.43/34.47	c qxplain 1/1
35.53/34.56	c 365199[?] 11551[?] -24630[?]  is mandatory 
35.53/34.56	c qxplain 0/0
35.63/34.65	c 365518[?] 24790[?] -11711[?]  is mandatory 
36.20/35.01	c Size of the MUS: 168
36.20/35.01	c Unsat core  computation wall clock time (in seconds) : 34.236
36.20/35.01	c starts		: 339
36.20/35.01	c conflicts		: 6
36.20/35.01	c decisions		: 34107204
36.20/35.01	c propagations		: 126143902
36.20/35.01	c inspects		: 5169575
36.20/35.01	c shortcuts		: 0
36.20/35.01	c learnt literals	: 0
36.20/35.01	c learnt binary clauses	: 0
36.20/35.01	c learnt ternary clauses	: 0
36.20/35.01	c learnt constraints	: 6
36.20/35.01	c ignored constraints	: 0
36.20/35.01	c root simplifications	: 0
36.20/35.01	c removed literals (reason simplification)	: 0
36.20/35.01	c reason swapping (by a shorter reason)	: 0
36.20/35.01	c Calls to reduceDB	: 0
36.20/35.01	c speed (assignments/second)	: 2.803197822222222E8
36.20/35.01	c non guided choices	34107170
36.20/35.01	c learnt constraints type 
36.20/35.01	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6
36.20/35.01	c constraints type 
36.20/35.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 267336
36.20/35.01	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3156
36.20/35.01	s UNSATISFIABLE
36.20/35.01	v 5537 5553 5569 5585 5601 5809 5825 5841 5857 5873 6017 6033 6049 6065 6081 6977 6993 12545 31018 60193 60233 61193 61217 65161 65185 65209 65233 65257 65281 65305 65329 65353 65369 65393 65417 65449 65465 65497 65521 65537 65561 65585 65609 65633 65657 65681 65705 65945 65969 65993 66017 66041 66233 66257 66497 66521 73169 73193 73217 73241 73265 73289 73361 73393 73409 73433 73793 73825 97841 97865 169025 171705 175065 175089 175113 175161 175185 175377 211369 211394 211849 211881 211913 211945 211977 212009 212041 212073 212105 212137 221481 221513 221545 221577 221609 221641 221673 221705 221737 221769 221801 221833 221865 221897 221929 221961 221993 222025 222057 222089 222121 222153 222185 222217 222249 222281 222313 222345 222377 222409 222441 222473 222505 222537 222569 222601 222633 222665 222697 222729 222761 222793 222825 222857 222889 222921 222953 223177 223209 223241 223273 223465 223721 254849 255041 255297 256321 258889 264126 264152 264168 264596 264597 264598 264599 264600 264606 264607 264608 264609 264610 264616 264617 264618 264619 264620 264735 265054 0
36.20/35.01	c Total wall clock time (in seconds) : 34.919

Verifier Data 

OK	168

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493396-1307799090/watcher-3493396-1307799090 -o /tmp/evaluation-result-3493396-1307799090/solver-3493396-1307799090 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493396-1307799090.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.40 1.43 0.84 8/224 11961
/proc/meminfo: memFree=31254572/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=35788 CPUtime=0 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 1314 0 0 0 0 0 0 0 22 0 2 0 891506945 36646912 1016 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 8947 1016 780 9 0 386 0
[pid=11961/tid=11962] ppid=11959 vsize=35788 CPUtime=0 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) S 11959 11961 11621 0 -1 4202560 202 0 0 0 0 0 0 0 24 0 2 0 891506945 36646912 1018 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271550557766 0 0 0 16784584 4470074697500852223 0 0 -1 5 0 0 0

[startup+0.0723289 s]
/proc/loadavg: 1.40 1.43 0.84 8/224 11961
/proc/meminfo: memFree=31254572/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6363732 CPUtime=0.06 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 8655 0 1 0 5 1 0 0 22 0 18 0 891506945 6516461568 8352 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1590933 8352 1751 9 0 1581671 0
[pid=11961/tid=11962] ppid=11959 vsize=6363732 CPUtime=0.06 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 7480 0 1 0 5 1 0 0 18 0 18 0 891506945 6516461568 8352 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562364235 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6363732

[startup+0.100269 s]
/proc/loadavg: 1.40 1.43 0.84 8/224 11961
/proc/meminfo: memFree=31254572/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6364592 CPUtime=0.09 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 10898 0 1 0 8 1 0 0 22 0 18 0 891506945 6517342208 10596 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1591148 10619 2049 9 0 1581886 0
[pid=11961/tid=11962] ppid=11959 vsize=6364592 CPUtime=0.08 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 9353 0 1 0 7 1 0 0 18 0 18 0 891506945 6517342208 10632 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 47687556691592 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6364592

[startup+0.300264 s]
/proc/loadavg: 1.40 1.43 0.84 8/224 11961
/proc/meminfo: memFree=31254572/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6433900 CPUtime=0.45 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 22650 0 1 0 42 3 0 0 22 0 18 0 891506945 6588313600 21984 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1608475 21988 2195 9 0 1599213 0
[pid=11961/tid=11962] ppid=11959 vsize=6433900 CPUtime=0.28 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 19630 0 1 0 26 2 0 0 18 0 18 0 891506945 6588313600 21990 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505523760 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 6433900

[startup+0.700158 s]
/proc/loadavg: 1.40 1.43 0.84 8/224 11961
/proc/meminfo: memFree=31254572/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6433900 CPUtime=1 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 46360 0 1 0 94 6 0 0 22 0 18 0 891506945 6588313600 45694 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1608475 45694 2209 9 0 1599213 0
[pid=11961/tid=11962] ppid=11959 vsize=6433900 CPUtime=0.68 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 43302 0 1 0 63 5 0 0 18 0 18 0 891506945 6588313600 45694 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 47687559993482 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 6433900

[startup+1.50105 s]
/proc/loadavg: 1.40 1.43 0.84 9/265 12010
/proc/meminfo: memFree=30780648/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6435600 CPUtime=2.08 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 64656 0 1 0 200 8 0 0 22 0 19 0 891506945 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1608900 63400 2223 9 0 1599638 0
[pid=11961/tid=11962] ppid=11959 vsize=6435600 CPUtime=1.48 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 60712 0 1 0 141 7 0 0 23 0 19 0 891506945 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505643726 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 891506947 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891506947 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891506948 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891506950 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6435600 CPUtime=0.22 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 207 0 0 0 22 0 0 0 16 0 19 0 891506950 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6435600 CPUtime=0.35 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 11621 0 -1 4202560 2575 0 0 0 35 0 0 0 15 0 19 0 891506950 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891506950 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506950 6590054400 63400 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 6435600

[startup+3.10075 s]
/proc/loadavg: 1.40 1.43 0.84 6/265 12078
/proc/meminfo: memFree=30409144/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6435600 CPUtime=3.69 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 104665 0 1 0 357 12 0 0 22 0 18 0 891506945 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1608900 103406 2225 9 0 1599638 0
[pid=11961/tid=11962] ppid=11959 vsize=6435600 CPUtime=3.08 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 100719 0 1 0 297 11 0 0 21 0 18 0 891506945 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505643726 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891506946 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 891506947 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891506947 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891506948 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891506950 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6435600 CPUtime=0.22 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 207 0 0 0 22 0 0 0 16 0 18 0 891506950 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6435600 CPUtime=0.37 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 11621 0 -1 4202560 2575 0 0 0 37 0 0 0 15 0 18 0 891506950 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891506950 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6435600 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506950 6590054400 103406 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 6435600

[startup+6.30118 s]
/proc/loadavg: 1.61 1.47 0.86 5/265 12300
/proc/meminfo: memFree=29240440/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6435760 CPUtime=6.91 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 187415 0 1 0 671 20 0 0 22 0 19 0 891506945 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1608940 186047 2227 9 0 1599678 0
[pid=11961/tid=11962] ppid=11959 vsize=6435760 CPUtime=6.28 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 183350 0 1 0 608 20 0 0 25 0 19 0 891506945 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505730846 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891506946 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 891506947 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891506947 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891506948 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891506950 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6435760 CPUtime=0.22 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 207 0 0 0 22 0 0 0 16 0 19 0 891506950 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6435760 CPUtime=0.4 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 11621 0 -1 4202560 2674 0 0 0 40 0 0 0 16 0 19 0 891506950 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891506950 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6435760 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) R 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506950 6590218240 186047 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 0 0 0 -1 7 0 0 0

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

/proc/loadavg: 2.96 1.81 0.99 5/264 14803
/proc/meminfo: memFree=25217320/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6436724 CPUtime=35.33 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 462345 0 1 0 3486 47 0 0 22 0 19 0 891506945 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1609181 460509 2239 9 0 1599919 0
[pid=11961/tid=11962] ppid=11959 vsize=6436724 CPUtime=33.87 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 391617 0 1 0 3348 39 0 0 25 0 19 0 891506945 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505625956 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6436724 CPUtime=0.04 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 5220 0 0 0 4 0 0 0 16 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6436724 CPUtime=0.01 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 1061 0 0 0 1 0 0 0 16 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6436724 CPUtime=0.09 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 9766 0 0 0 9 0 0 0 16 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6436724 CPUtime=0.16 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 17184 0 0 0 15 1 0 0 18 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6436724 CPUtime=0.19 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 18773 0 0 0 17 2 0 0 18 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6436724 CPUtime=0.18 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 13759 0 0 0 17 1 0 0 18 0 19 0 891506946 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 891506947 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 19 0 891506947 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 891506948 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891506950 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6436724 CPUtime=0.22 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 207 0 0 0 22 0 0 0 16 0 19 0 891506950 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6436724 CPUtime=0.48 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 11621 0 -1 4202560 2968 0 0 0 48 0 0 0 15 0 19 0 891506950 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891506950 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6436724 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891506950 6591205376 460509 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 35.33
Current children cumulated vsize (KiB) 6436724

[startup+34.779 s]
/proc/loadavg: 2.96 1.81 0.99 5/264 14803
/proc/meminfo: memFree=25217320/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6446704 CPUtime=35.94 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 465124 0 1 0 3546 48 0 0 22 0 18 0 891506945 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1611676 462675 2239 9 0 1602414 0
[pid=11961/tid=11962] ppid=11959 vsize=6446704 CPUtime=34.34 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 391617 0 1 0 3395 39 0 0 25 0 18 0 891506945 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 47687556206187 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6446704 CPUtime=0.04 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 5220 0 0 0 4 0 0 0 16 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6446704 CPUtime=0.01 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 1061 0 0 0 1 0 0 0 16 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6446704 CPUtime=0.09 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 9766 0 0 0 9 0 0 0 16 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6446704 CPUtime=0.16 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 17184 0 0 0 15 1 0 0 18 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6446704 CPUtime=0.19 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 18773 0 0 0 17 2 0 0 18 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6446704 CPUtime=0.18 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 13759 0 0 0 17 1 0 0 18 0 18 0 891506946 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 891506947 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 18 0 891506947 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891506948 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891506950 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6446704 CPUtime=0.22 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 288 0 0 0 22 0 0 0 15 0 18 0 891506950 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6446704 CPUtime=0.59 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) R 11959 11961 11621 0 -1 4202560 5666 0 0 0 59 0 0 0 16 0 18 0 891506950 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 47687556683104 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891506950 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6446704 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) R 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506950 6601424896 462675 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 35.94
Current children cumulated vsize (KiB) 6446704

[startup+34.9009 s]
/proc/loadavg: 2.96 1.81 0.99 5/264 14803
/proc/meminfo: memFree=25217320/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6446876 CPUtime=36.1 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 465504 0 1 0 3562 48 0 0 22 0 18 0 891506945 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1611719 462721 2239 9 0 1602457 0
[pid=11961/tid=11962] ppid=11959 vsize=6446876 CPUtime=34.45 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 391622 0 1 0 3406 39 0 0 25 0 18 0 891506945 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505563223 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6446876 CPUtime=0.04 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 5220 0 0 0 4 0 0 0 16 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6446876 CPUtime=0.01 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 1061 0 0 0 1 0 0 0 16 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6446876 CPUtime=0.09 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 9766 0 0 0 9 0 0 0 16 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6446876 CPUtime=0.16 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 17184 0 0 0 15 1 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6446876 CPUtime=0.19 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 18773 0 0 0 17 2 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6446876 CPUtime=0.18 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 13759 0 0 0 17 1 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 891506947 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 18 0 891506947 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891506948 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6446876 CPUtime=0.24 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 289 0 0 0 24 0 0 0 16 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6446876 CPUtime=0.65 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 11621 0 -1 4202560 6038 0 0 0 64 1 0 0 15 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) S 11959 11961 11621 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 36.1
Current children cumulated vsize (KiB) 6446876

[startup+35.0009 s]
/proc/loadavg: 2.96 1.81 0.99 5/264 14803
/proc/meminfo: memFree=25217320/32951124 swapFree=67054536/67111528
[pid=11961] ppid=11959 vsize=6446876 CPUtime=36.2 cores=5,7
/proc/11961/stat : 11961 (java) S 11959 11961 11621 0 -1 4202496 465504 0 1 0 3572 48 0 0 22 0 18 0 891506945 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 1611719 462721 2239 9 0 1602457 0
[pid=11961/tid=11962] ppid=11959 vsize=6446876 CPUtime=34.55 cores=5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 11621 0 -1 4202560 391622 0 1 0 3416 39 0 0 25 0 18 0 891506945 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 46912505563263 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=6446876 CPUtime=0.04 cores=5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 11621 0 -1 4202560 5220 0 0 0 4 0 0 0 16 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=6446876 CPUtime=0.01 cores=5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 11621 0 -1 4202560 1061 0 0 0 1 0 0 0 16 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=6446876 CPUtime=0.09 cores=5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 11621 0 -1 4202560 9766 0 0 0 9 0 0 0 16 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 11621 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=6446876 CPUtime=0.16 cores=5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 11621 0 -1 4202560 17184 0 0 0 15 1 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=6446876 CPUtime=0.19 cores=5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 11621 0 -1 4202560 18773 0 0 0 17 2 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=6446876 CPUtime=0.18 cores=5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 11621 0 -1 4202560 13759 0 0 0 17 1 0 0 18 0 18 0 891506946 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 11621 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 891506947 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 0 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 11621 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 18 0 891506947 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 11621 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891506948 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562361265 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=6446876 CPUtime=0.24 cores=5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 11621 0 -1 4202560 289 0 0 0 24 0 0 0 16 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=6446876 CPUtime=0.65 cores=5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 11621 0 -1 4202560 6038 0 0 0 64 1 0 0 15 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 11621 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562353561 0 4 0 16800975 18446604471133332800 0 0 -1 5 0 0 0
[pid=11961/tid=11984] ppid=11959 vsize=6446876 CPUtime=0 cores=5,7
/proc/11961/task/11984/stat : 11984 (java) S 11959 11961 11621 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 891506950 6601601024 462721 33554432000 1073741824 1073778376 140734231930528 18446744073709551615 271562354176 0 4 0 16800975 18446604471133332800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 36.2
Current children cumulated vsize (KiB) 6446876

Child status: 20
Real time (s): 35.0812
CPU time (s): 36.2965
CPU user time (s): 35.7426
CPU system time (s): 0.553915
CPU usage (%): 103.464
Max. virtual memory (cumulated for all children) (KiB): 6447024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.7426
system time used= 0.553915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465515
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2718
involuntary context switches= 2207

runsolver used 0.077988 second user time and 0.152976 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-11 15:31:31
IDJOB=3493396
IDBENCH=89484
IDSOLVER=1972
FILE ID=node133/3493396-1307799090
RUNJOBID= node133-1307799090-11882
PBS_JOBID= 13551015
Free space on /tmp= 74076 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/design-debugging/c5_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493396-1307799090/watcher-3493396-1307799090 -o /tmp/evaluation-result-3493396-1307799090/solver-3493396-1307799090 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493396-1307799090.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 51a65f7a1e865ed2f160b57f0f16d7ce
RANDOM SEED=1360235174

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6741.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31256736 kB
Buffers:        278768 kB
Cached:        1123672 kB
SwapCached:      10420 kB
Active:         659216 kB
Inactive:       832848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31256736 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:           10868 kB
Writeback:           4 kB
AnonPages:       86396 kB
Mapped:          20888 kB
Slab:           136464 kB
PageTables:       5440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 12678116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74072 MiB
End job on node133 at 2011-06-11 15:32:06