Trace number 3493340

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 34.7807 33.1351

General information on the benchmark

Namemus/marques-silva/design-debugging/
c6_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf
MD5SUMbe0ee1d63d2729f200cd8f0756cfe39e
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.480926
Satisfiable
(Un)Satisfiability was proved
Number of variables169938
Number of clauses454050
Sum of the clauses size1025514
Maximum clause length4
Minimum clause length1
Number of clauses of size 16516
Number of clauses of size 2325629
Number of clauses of size 3119880
Number of clauses of size 42025
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.0.v20110206
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.18-164.el5
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		5997854704
0.08/0.10	c Max memory 		6029312000
0.08/0.10	c Total memory 		6029312000
0.08/0.10	c Number of processors 	8
0.08/0.10	c Explanation (MUS) enabled solver
0.08/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.08/0.10	c --- Begin Solver configuration ---
0.08/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.10	c Expensive reason simplification
0.08/0.10	c Armin Biere (Picosat) restarts strategy
0.08/0.10	c Glucose learned constraints deletion strategy
0.08/0.10	c timeout=2147483647s
0.08/0.10	c DB Simplification allowed=true
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3493340-1307799027.cnf
0.08/0.10	c reading problem ... 
0.85/0.72	c ... done. Wall clock time 0.627s.
0.85/0.72	c #vars     623988
0.85/0.72	c #constraints  454050
0.85/0.72	c constraints type 
0.85/0.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 447534
0.85/0.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6516
1.32/1.08	c Unsat detection wall clock time (in seconds) : 0.982
1.32/1.08	c Size of initial unsat subformula: 176
1.32/1.08	c Computing MUS ...
1.32/1.08	c initial unsat core -44047[?] 41859[?] 609296[?]  41789[?] 609156[?] -43977[?]  39764[?] 609122[?] -41952[?]  -41949[?] 39761[?] 609116[?]  37666[?] -39854[?] 608942[?]  -39851[?] 37663[?] 608936[?]  35568[?] 608762[?] -37756[?]  -37753[?] 35565[?] 608756[?]  608582[?] -35658[?] 33470[?]  -35655[?] 608576[?] 33467[?]  -33560[?] 608402[?] 31372[?]  -33557[?] 608396[?] 31369[?]  -31459[?] 29271[?] 608216[?]  -29361[?] 27173[?] 608036[?]  -27263[?] 25075[?] 607856[?]  -25165[?] 22977[?] 607676[?]  -23067[?] 20879[?] 607496[?]  -20969[?] 18781[?] 607316[?]  -18871[?] 607136[?] 16683[?]  -16618[?] 607005[?] 18806[?]  42114[?] 605019[?] -16933[?] 604902[?] -42097[?] 604662[?] -37901[?] 604660[?] -35803[?] 604659[?] -33705[?] 604658[?] -31607[?] 604657[?] 29509[?] 604656[?] -27411[?] 604655[?] -25313[?] 604654[?] -23215[?] 604653[?] -21117[?] 604652[?] -39998[?] 604640[?] 29508[?] 604635[?] -19018[?] 604630[?] -16920[?] 604629[?] -14822[?] 604628[?] 29497[?] 604404[?] 29489[?] 604236[?] 39978[?] 604220[?] 29488[?] 604215[?] -14802[?] 604208[?] 39977[?] 604199[?] 29487[?] 604194[?] -14801[?] 604187[?] 39224[?] -39764[?] 602740[?]  37126[?] -37666[?] 602739[?]  35028[?] -35568[?] 602738[?]  -33470[?] 32930[?] 602737[?]  -31372[?] 30832[?] 602736[?]  -43957[?] 43417[?] 602256[?]  -41859[?] 41319[?] 602255[?]  -39761[?] 39221[?] 602254[?]  -37663[?] 37123[?] 602253[?]  -35565[?] 35025[?] 602252[?]  -33467[?] 32927[?] 602251[?]  -31369[?] 30829[?] 602250[?]  -29271[?] 28731[?] 602249[?]  -27173[?] 26633[?] 602248[?]  -25075[?] 24535[?] 602247[?]  -22977[?] 22437[?] 602246[?]  -20879[?] 20339[?] 602245[?]  -18781[?] 18241[?] 602244[?]  -16683[?] 16143[?] 602243[?]  -16127[?] 16618[?] 591794[?]  41305[?] -41789[?] 590915[?]  31027[?] -29487[?] 521250[?]  -15387[?] 16166[?] 477422[?]  38423[?] -39224[?] 38424[?] 472735[?]  36325[?] -37126[?] 36326[?] 472734[?]  34227[?] -35028[?] 34228[?] 472733[?]  -32930[?] 32129[?] 32130[?] 472732[?]  -30832[?] 30032[?] 30031[?] 472731[?]  -43417[?] 42613[?] 42614[?] 472008[?]  -41319[?] 40515[?] 40516[?] 472007[?]  -39221[?] 38417[?] 38418[?] 472006[?]  -37123[?] 36319[?] 36320[?] 472005[?]  -35025[?] 34221[?] 34222[?] 472004[?]  -32927[?] 32123[?] 32124[?] 472003[?]  -30829[?] 30026[?] 30025[?] 472002[?]  -28731[?] 27927[?] 27928[?] 472001[?]  -26633[?] 25829[?] 25830[?] 472000[?]  -24535[?] 23731[?] 23732[?] 471999[?]  -22437[?] 21633[?] 21634[?] 471998[?]  -20339[?] 19535[?] 19536[?] 471997[?]  -18241[?] 17437[?] 17438[?] 471996[?]  -16143[?] 15339[?] 15340[?] 471995[?]  -30816[?] 30000[?] 29999[?] 468843[?]  40488[?] -41305[?] 40487[?] 468605[?]  -15307[?] 16127[?] 467945[?]  -30807[?] 29982[?] 29983[?] 466575[?]  -30801[?] 29608[?] 29633[?] 465117[?]  40461[?] -41290[?] 40460[?] 464879[?]  -14709[?] 15387[?] -14929[?] 288206[?]  -38424[?] 38348[?] 278173[?]  -36326[?] 36250[?] 278172[?]  -34228[?] 34152[?] 278171[?]  -32130[?] 32054[?] 278170[?]  -30032[?] 30816[?] 278088[?]  39854[?] -38423[?] 277930[?]  37756[?] -36325[?] 277929[?]  35658[?] -34227[?] 277928[?]  -32129[?] 33560[?] 277927[?]  -30031[?] 29594[?] 277845[?]  -42614[?] 42544[?] 276717[?]  -40516[?] 40446[?] 276716[?]  -38418[?] 38348[?] 276715[?]  -36320[?] 36250[?] 276714[?]  -34222[?] 34152[?] 276713[?]  -32124[?] 32054[?] 276712[?]  -27928[?] 27858[?] 276710[?]  -25830[?] 25760[?] 276709[?]  -23732[?] 23662[?] 276708[?]  -21634[?] 21564[?] 276707[?]  -19536[?] 19466[?] 276706[?]  -17438[?] 17368[?] 276705[?]  -15340[?] 15270[?] 276704[?]  -30026[?] 30807[?] 276630[?]  -42613[?] 44047[?] 276474[?]  -40515[?] 41949[?] 276473[?]  -38417[?] 39851[?] 276472[?]  -36319[?] 37753[?] 276471[?]  -34221[?] 35655[?] 276470[?]  -32123[?] 33557[?] 276469[?]  -27927[?] 29361[?] 276467[?]  -25829[?] 27263[?] 276466[?]  -23731[?] 25165[?] 276465[?]  -21633[?] 23067[?] 276464[?]  -19535[?] 20969[?] 276463[?]  -17437[?] 18871[?] 276462[?]  -15339[?] 16773[?] 276461[?]  -30025[?] 29591[?] 276387[?]  -30000[?] 29564[?] 270312[?]  -29999[?] 29578[?] 270069[?]  41290[?] -40488[?] 269831[?]  -40487[?] 40067[?] 269669[?]  -16166[?] 15307[?] -14889[?] 268766[?]  -29983[?] 29837[?] 266181[?]  -29982[?] 31459[?] 266019[?]  39903[?] -40461[?] 263351[?]  -40460[?] 40053[?] 263108[?]  29956[?] -29955[?] -29509[?] 259782[?]  -42544[?] 42097[?] 259707[?]  -38348[?] 37901[?] 259705[?]  -36250[?] 35803[?] 259704[?]  -34152[?] 33705[?] 259703[?]  -32054[?] 31607[?] 259702[?]  -27858[?] 27411[?] 259700[?]  -25760[?] 25313[?] 259699[?]  -23662[?] 23215[?] 259698[?]  -21564[?] 21117[?] 259697[?]  -40446[?] 40445[?] 259625[?]  -19466[?] 19465[?] 259615[?]  -17368[?] 17367[?] 259614[?]  -15270[?] 15269[?] 259613[?]  29955[?] -29489[?] -29508[?] 259539[?]  -40445[?] 39998[?] 259463[?]  -19465[?] 19018[?] 259453[?]  -17367[?] 16920[?] 259452[?]  -15269[?] 14822[?] 259451[?]  -29837[?] -31027[?] 240180[?]  29836[?] 30801[?] 239937[?]  -29633[?] -29487[?] 207132[?]  14929[?] 14801[?] 204128[?]  -29608[?] -29488[?] 203082[?]  -29594[?] -29956[?] 200814[?]  -29591[?] -29956[?] 200328[?]  -29578[?] -29836[?] 198222[?]  -40067[?] -39978[?] 198065[?]  14889[?] 14802[?] 197648[?]  -29564[?] -29497[?] 195954[?]  -40053[?] -39977[?] 195797[?]  43977[?] -42114[?] 189723[?]  -18806[?] 16933[?] 188982[?]  41952[?] -39903[?] 176438[?]  -16773[?] 14709[?] 173591[?]  
1.47/1.17	c qxplain 0/175
1.98/1.53	c qxplain 88/175
2.20/1.74	c qxplain 132/175
2.45/1.98	c qxplain 154/175
2.69/2.18	c qxplain 165/175
2.90/2.39	c qxplain 171/175
3.20/2.60	c qxplain 174/175
3.40/2.81	c qxplain 175/175
3.40/2.84	c qxplain 174/174
3.63/3.05	c 176438[?] -39903[?] 41952[?]  is mandatory 
3.63/3.05	c qxplain 171/173
3.83/3.26	c qxplain 173/173
3.83/3.30	c qxplain 171/172
4.15/3.50	c qxplain 172/172
4.35/3.71	c 189723[?] 43977[?] -42114[?]  is mandatory 
4.35/3.71	c qxplain 171/171
4.55/3.92	c 195797[?] -40053[?] -39977[?]  is mandatory 
4.55/3.92	c qxplain 165/170
4.76/4.12	c qxplain 168/170
4.96/4.33	c qxplain 170/170
5.15/4.54	c 195954[?] -29564[?] -29497[?]  is mandatory 
5.15/4.54	c qxplain 168/169
5.35/4.75	c qxplain 169/169
5.35/4.77	c qxplain 168/168
5.55/4.97	c 198065[?] -40067[?] -39978[?]  is mandatory 
5.55/4.97	c qxplain 165/167
5.75/5.18	c qxplain 167/167
5.95/5.39	c 198222[?] -29578[?] -29836[?]  is mandatory 
5.95/5.39	c qxplain 165/166
6.25/5.60	c qxplain 166/166
6.25/5.62	c qxplain 165/165
6.45/5.83	c 200814[?] -29594[?] -29956[?]  is mandatory 
6.45/5.83	c qxplain 154/164
6.66/6.03	c qxplain 160/164
6.86/6.24	c qxplain 163/164
7.05/6.45	c qxplain 164/164
7.26/6.65	c 203082[?] -29608[?] -29488[?]  is mandatory 
7.26/6.65	c qxplain 163/163
7.26/6.67	c qxplain 160/162
7.45/6.88	c qxplain 162/162
7.65/7.09	c 207132[?] -29633[?] -29487[?]  is mandatory 
7.65/7.09	c qxplain 160/161
7.95/7.30	c qxplain 161/161
8.15/7.51	c 239937[?] 29836[?] 30801[?]  is mandatory 
8.15/7.51	c qxplain 160/160
8.15/7.53	c qxplain 154/159
8.36/7.73	c qxplain 157/159
8.36/7.75	c qxplain 154/156
8.55/7.96	c qxplain 156/156
8.55/7.98	c qxplain 154/155
8.75/8.19	c qxplain 155/155
9.05/8.40	c 259539[?] 29955[?] -29489[?] -29508[?]  is mandatory 
9.05/8.40	c qxplain 154/154
9.05/8.42	c qxplain 132/153
9.25/8.62	c qxplain 143/153
9.46/8.83	c qxplain 149/153
9.46/8.85	c qxplain 143/148
9.65/9.05	c qxplain 146/148
9.86/9.26	c qxplain 148/148
9.86/9.28	c qxplain 146/147
10.05/9.49	c qxplain 147/147
10.16/9.51	c qxplain 146/146
10.35/9.72	c 259702[?] -32054[?] 31607[?]  is mandatory 
10.35/9.72	c qxplain 143/145
10.56/9.93	c qxplain 145/145
10.75/10.14	c 259703[?] -34152[?] 33705[?]  is mandatory 
10.75/10.14	c qxplain 143/144
10.95/10.34	c qxplain 144/144
11.15/10.55	c 259704[?] -36250[?] 35803[?]  is mandatory 
11.15/10.55	c qxplain 143/143
11.35/10.75	c 259705[?] -38348[?] 37901[?]  is mandatory 
11.35/10.75	c qxplain 132/142
11.56/10.96	c qxplain 138/142
11.75/11.17	c qxplain 141/142
11.96/11.37	c qxplain 142/142
11.96/11.39	c qxplain 141/141
12.26/11.60	c 259782[?] 29956[?] -29955[?] -29509[?]  is mandatory 
12.26/11.60	c qxplain 138/140
12.45/11.81	c qxplain 140/140
13.24/12.33	c 263108[?] -40460[?] 40053[?]  is mandatory 
13.24/12.33	c qxplain 138/139
13.34/12.48	c qxplain 139/139
13.54/12.63	c 263351[?] 39903[?] -40461[?]  is mandatory 
13.54/12.63	c qxplain 138/138
13.54/12.65	c qxplain 132/137
13.64/12.80	c qxplain 135/137
13.84/12.94	c qxplain 137/137
13.84/12.96	c qxplain 135/136
14.04/13.11	c qxplain 136/136
14.04/13.13	c qxplain 135/135
14.15/13.28	c 269669[?] -40487[?] 40067[?]  is mandatory 
14.15/13.28	c qxplain 132/134
14.34/13.43	c qxplain 134/134
14.44/13.57	c 269831[?] 41290[?] -40488[?]  is mandatory 
14.44/13.57	c qxplain 132/133
14.64/13.72	c qxplain 133/133
14.74/13.87	c 270069[?] -29999[?] 29578[?]  is mandatory 
14.74/13.87	c qxplain 132/132
14.94/14.02	c 270312[?] -30000[?] 29564[?]  is mandatory 
14.94/14.02	c qxplain 88/131
15.04/14.17	c qxplain 110/131
15.04/14.19	c qxplain 88/109
15.25/14.34	c qxplain 99/109
15.34/14.48	c qxplain 105/109
15.44/14.50	c qxplain 99/104
15.54/14.65	c qxplain 102/104
15.74/14.80	c qxplain 104/104
15.74/14.82	c qxplain 102/103
15.84/14.97	c qxplain 103/103
16.04/15.11	c 277845[?] -30031[?] 29594[?]  is mandatory 
16.04/15.11	c qxplain 102/102
16.14/15.26	c 277927[?] -32129[?] 33560[?]  is mandatory 
16.14/15.26	c qxplain 99/101
16.35/15.41	c qxplain 101/101
16.44/15.56	c 277928[?] -34227[?] 35658[?]  is mandatory 
16.44/15.56	c qxplain 99/100
16.64/15.71	c qxplain 100/100
16.74/15.86	c 277929[?] -36325[?] 37756[?]  is mandatory 
16.74/15.86	c qxplain 99/99
16.94/16.01	c 277930[?] -38423[?] 39854[?]  is mandatory 
16.94/16.01	c qxplain 88/98
17.04/16.15	c qxplain 94/98
17.24/16.30	c qxplain 97/98
17.34/16.45	c qxplain 98/98
17.54/16.60	c 278088[?] -30032[?] 30816[?]  is mandatory 
17.54/16.60	c qxplain 97/97
17.64/16.75	c 278170[?] -32130[?] 32054[?]  is mandatory 
17.64/16.75	c qxplain 94/96
17.84/16.90	c qxplain 96/96
17.94/17.05	c 278171[?] -34228[?] 34152[?]  is mandatory 
17.94/17.05	c qxplain 94/95
18.14/17.20	c qxplain 95/95
18.24/17.35	c 278172[?] -36326[?] 36250[?]  is mandatory 
18.24/17.35	c qxplain 94/94
18.34/17.49	c 278173[?] -38424[?] 38348[?]  is mandatory 
18.34/17.49	c qxplain 88/93
18.55/17.64	c qxplain 91/93
18.64/17.79	c qxplain 93/93
18.74/17.81	c qxplain 91/92
18.84/17.96	c qxplain 92/92
19.04/18.11	c 464879[?] 40461[?] -41290[?] 40460[?]  is mandatory 
19.04/18.11	c qxplain 91/91
19.14/18.26	c 465117[?] -30801[?] 29608[?] 29633[?]  is mandatory 
19.14/18.26	c qxplain 88/90
19.34/18.41	c qxplain 90/90
19.34/18.42	c qxplain 88/89
19.44/18.57	c qxplain 89/89
19.44/18.59	c qxplain 88/88
19.65/18.74	c 468605[?] 40488[?] -41305[?] 40487[?]  is mandatory 
19.65/18.74	c qxplain 0/87
19.74/18.89	c qxplain 44/87
19.94/19.04	c qxplain 66/87
20.04/19.18	c qxplain 77/87
20.24/19.33	c qxplain 83/87
20.34/19.48	c qxplain 86/87
20.54/19.63	c qxplain 87/87
20.64/19.78	c 468843[?] -30816[?] 30000[?] 29999[?]  is mandatory 
20.64/19.78	c qxplain 86/86
20.64/19.80	c qxplain 83/85
20.75/19.81	c qxplain 77/82
20.75/19.83	c qxplain 66/76
20.84/19.98	c qxplain 72/76
21.04/20.13	c qxplain 75/76
21.04/20.15	c qxplain 72/74
21.14/20.29	c qxplain 74/74
21.24/20.31	c qxplain 72/73
21.34/20.46	c qxplain 73/73
21.34/20.48	c qxplain 72/72
21.54/20.63	c 472731[?] -30832[?] 30032[?] 30031[?]  is mandatory 
21.54/20.63	c qxplain 66/71
21.64/20.78	c qxplain 69/71
21.84/20.93	c qxplain 71/71
21.94/21.08	c 472732[?] -32930[?] 32129[?] 32130[?]  is mandatory 
21.94/21.08	c qxplain 69/70
22.14/21.22	c qxplain 70/70
22.24/21.37	c 472733[?] -35028[?] 34227[?] 34228[?]  is mandatory 
22.24/21.37	c qxplain 69/69
23.01/21.82	c 472734[?] -37126[?] 36325[?] 36326[?]  is mandatory 
23.01/21.82	c qxplain 66/68
23.11/21.97	c qxplain 68/68
23.31/22.12	c 472735[?] -39224[?] 38423[?] 38424[?]  is mandatory 
23.31/22.12	c qxplain 66/67
23.31/22.14	c qxplain 44/65
23.41/22.29	c qxplain 55/65
23.61/22.44	c qxplain 61/65
23.71/22.59	c qxplain 64/65
23.91/22.73	c qxplain 65/65
24.01/22.88	c 590915[?] 41305[?] -41789[?]  is mandatory 
24.01/22.88	c qxplain 64/64
24.11/22.90	c qxplain 61/63
24.11/22.92	c qxplain 55/60
24.11/22.94	c qxplain 44/54
24.21/23.08	c qxplain 50/54
24.31/23.11	c qxplain 44/49
24.41/23.26	c qxplain 47/49
24.60/23.40	c qxplain 49/49
24.70/23.55	c 602736[?] -31372[?] 30832[?]  is mandatory 
24.70/23.55	c qxplain 47/48
24.90/23.70	c qxplain 48/48
25.00/23.85	c 602737[?] -33470[?] 32930[?]  is mandatory 
25.00/23.85	c qxplain 47/47
25.20/24.00	c 602738[?] -35568[?] 35028[?]  is mandatory 
25.20/24.00	c qxplain 44/46
25.30/24.15	c qxplain 46/46
25.40/24.30	c 602739[?] -37666[?] 37126[?]  is mandatory 
25.40/24.30	c qxplain 44/45
25.60/24.44	c qxplain 45/45
25.70/24.59	c 602740[?] -39764[?] 39224[?]  is mandatory 
25.70/24.59	c qxplain 44/44
25.80/24.61	c qxplain 0/43
25.90/24.76	c qxplain 22/43
26.10/24.90	c qxplain 33/43
26.20/25.05	c qxplain 39/43
26.40/25.20	c qxplain 42/43
26.50/25.35	c qxplain 43/43
26.70/25.50	c 29487[?] 604194[?] is mandatory 
26.70/25.50	c qxplain 42/42
26.80/25.65	c 39977[?] 604199[?] is mandatory 
26.80/25.65	c qxplain 39/41
27.00/25.80	c qxplain 41/41
27.00/25.82	c qxplain 39/40
27.10/25.96	c qxplain 40/40
27.30/26.11	c 29488[?] 604215[?] is mandatory 
27.30/26.11	c qxplain 39/39
27.40/26.26	c 39978[?] 604220[?] is mandatory 
27.40/26.26	c qxplain 33/38
27.60/26.41	c qxplain 36/38
27.70/26.56	c qxplain 38/38
27.90/26.70	c 29489[?] 604236[?] is mandatory 
27.90/26.70	c qxplain 36/37
28.00/26.85	c qxplain 37/37
28.20/27.00	c 29497[?] 604404[?] is mandatory 
28.20/27.00	c qxplain 36/36
28.20/27.02	c qxplain 33/35
28.30/27.17	c qxplain 35/35
28.30/27.18	c qxplain 33/34
28.50/27.33	c qxplain 34/34
28.50/27.35	c qxplain 33/33
28.60/27.50	c 29508[?] 604635[?] is mandatory 
28.60/27.50	c qxplain 22/32
28.80/27.65	c qxplain 28/32
28.80/27.66	c qxplain 22/27
29.00/27.81	c qxplain 25/27
29.10/27.96	c qxplain 27/27
29.30/28.11	c 29509[?] 604656[?] is mandatory 
29.30/28.11	c qxplain 25/26
29.40/28.26	c qxplain 26/26
29.60/28.40	c -31607[?] 604657[?] is mandatory 
29.60/28.40	c qxplain 25/25
29.70/28.55	c -33705[?] 604658[?] is mandatory 
29.70/28.55	c qxplain 22/24
29.80/28.70	c qxplain 24/24
30.00/28.84	c -35803[?] 604659[?] is mandatory 
30.00/28.84	c qxplain 22/23
30.10/28.99	c qxplain 23/23
30.30/29.13	c -37901[?] 604660[?] is mandatory 
30.30/29.13	c qxplain 22/22
30.30/29.15	c qxplain 0/21
30.50/29.30	c qxplain 11/21
30.60/29.45	c qxplain 17/21
30.70/29.59	c qxplain 20/21
30.90/29.74	c qxplain 21/21
30.90/29.76	c qxplain 20/20
31.10/29.90	c 42114[?] 605019[?] is mandatory 
31.10/29.90	c qxplain 17/19
31.10/29.92	c qxplain 11/16
31.10/29.94	c qxplain 0/10
31.20/30.08	c qxplain 6/10
31.40/30.23	c qxplain 9/10
31.50/30.38	c qxplain 10/10
31.70/30.53	c 608402[?] -33560[?] 31372[?]  is mandatory 
31.70/30.53	c qxplain 9/9
31.70/30.54	c qxplain 6/8
31.80/30.69	c qxplain 8/8
32.00/30.84	c 608582[?] -35658[?] 33470[?]  is mandatory 
32.00/30.84	c qxplain 6/7
32.66/31.25	c qxplain 7/7
32.66/31.27	c qxplain 6/6
32.86/31.42	c 608762[?] -37756[?] 35568[?]  is mandatory 
32.86/31.42	c qxplain 0/5
32.96/31.57	c qxplain 3/5
33.16/31.73	c qxplain 5/5
33.16/31.74	c qxplain 3/4
33.26/31.89	c qxplain 4/4
33.46/32.05	c 608942[?] -39854[?] 37666[?]  is mandatory 
33.46/32.05	c qxplain 3/3
33.46/32.06	c qxplain 0/2
33.66/32.22	c qxplain 2/2
33.76/32.37	c 609122[?] -41952[?] 39764[?]  is mandatory 
33.76/32.37	c qxplain 0/1
33.96/32.52	c qxplain 1/1
34.06/32.67	c 609156[?] 41789[?] -43977[?]  is mandatory 
34.06/32.67	c qxplain 0/0
34.64/33.06	c Size of the MUS: 66
34.64/33.06	c Unsat core  computation wall clock time (in seconds) : 31.98
34.64/33.06	c starts		: 179
34.64/33.06	c conflicts		: 0
34.64/33.06	c decisions		: 30403260
34.64/33.06	c propagations		: 112212411
34.64/33.06	c inspects		: 6720489
34.64/33.06	c shortcuts		: 0
34.64/33.06	c learnt literals	: 0
34.64/33.06	c learnt binary clauses	: 0
34.64/33.06	c learnt ternary clauses	: 0
34.64/33.06	c learnt constraints	: 0
34.64/33.06	c ignored constraints	: 0
34.64/33.06	c root simplifications	: 0
34.64/33.06	c removed literals (reason simplification)	: 0
34.64/33.06	c reason swapping (by a shorter reason)	: 0
34.64/33.06	c Calls to reduceDB	: 0
34.64/33.06	c speed (assignments/second)	: 2.922198203125E8
34.64/33.06	c non guided choices	30403260
34.64/33.06	c learnt constraints type 
34.64/33.06	c constraints type 
34.64/33.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 447534
34.64/33.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6516
34.64/33.06	s UNSATISFIABLE
34.64/33.06	v 6500 19785 25859 26016 28127 28284 30876 33144 37194 69999 89601 89764 89765 89766 89767 89844 93170 93413 99731 99893 100131 100374 107907 107989 107990 107991 107992 108150 108232 108233 108234 108235 294941 295179 298667 298905 302793 302794 302795 302796 302797 420977 432798 432799 432800 432801 432802 434256 434261 434277 434282 434298 434466 434697 434718 434719 434720 434721 434722 435081 438464 438644 438824 439004 439184 439218 0
34.64/33.06	c Total wall clock time (in seconds) : 32.963

Verifier Data 

OK	66

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-3493340-1307799027/watcher-3493340-1307799027 -o /tmp/evaluation-result-3493340-1307799027/solver-3493340-1307799027 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493340-1307799027.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: 4.71 2.59 1.76 6/242 539
/proc/meminfo: memFree=26204296/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=9100 CPUtime=0 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 236 0 0 0 0 0 0 0 25 0 1 0 970133433 9318400 171 33554432000 1073741824 1073778376 140735653186000 18446744073709551615 224284746743 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/539/statm: 2275 171 131 9 0 67 0
[pid=539/tid=541] ppid=537 vsize=30528 CPUtime=0 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 121 0 0 0 0 0 0 0 25 0 2 0 970133433 31260672 955 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224284921701 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0159669 s]
/proc/loadavg: 4.71 2.59 1.76 6/242 539
/proc/meminfo: memFree=26204296/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6334980 CPUtime=0 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 6158 0 1 0 0 0 0 0 25 0 2 0 970133433 6487019520 5859 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1583745 5885 917 9 0 1574901 0
[pid=539/tid=541] ppid=537 vsize=6334980 CPUtime=0 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 5082 0 1 0 0 0 0 0 25 0 2 0 970133433 6487019520 5898 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6334980

[startup+0.100953 s]
/proc/loadavg: 4.71 2.59 1.76 6/242 539
/proc/meminfo: memFree=26204296/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6364156 CPUtime=0.08 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 9537 0 1 0 7 1 0 0 25 0 18 0 970133433 6516895744 9235 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1591039 9258 1754 9 0 1581777 0
[pid=539/tid=541] ppid=537 vsize=6364156 CPUtime=0.08 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 8398 0 1 0 7 1 0 0 25 0 18 0 970133433 6516895744 9271 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 47294195975816 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6364156

[startup+0.30092 s]
/proc/loadavg: 4.71 2.59 1.76 6/242 539
/proc/meminfo: memFree=26204296/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6430796 CPUtime=0.44 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 23427 0 1 0 41 3 0 0 25 0 18 0 970133433 6585135104 22712 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607699 22715 2195 9 0 1598437 0
[pid=539/tid=541] ppid=537 vsize=6430796 CPUtime=0.28 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 20417 0 1 0 25 3 0 0 25 0 18 0 970133433 6585135104 22718 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505504964 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 6430796

[startup+0.70082 s]
/proc/loadavg: 4.71 2.59 1.76 6/242 539
/proc/meminfo: memFree=26204296/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6430796 CPUtime=0.85 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 60867 0 1 0 77 8 0 0 25 0 18 0 970133433 6585135104 60119 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607699 60120 2203 9 0 1598437 0
[pid=539/tid=541] ppid=537 vsize=6430796 CPUtime=0.68 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 57818 0 1 0 60 8 0 0 25 0 18 0 970133433 6585135104 60121 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505542607 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 6430796

[startup+1.50072 s]
/proc/loadavg: 4.71 2.59 1.76 6/260 762
/proc/meminfo: memFree=25929324/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6431824 CPUtime=1.98 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 83872 0 1 0 188 10 0 0 25 0 19 0 970133433 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607956 82418 2218 9 0 1598694 0
[pid=539/tid=541] ppid=537 vsize=6431824 CPUtime=1.48 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 79960 0 1 0 138 10 0 0 25 0 19 0 970133433 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505682565 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=539/tid=545] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/545/stat : 545 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133434 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 970133435 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 970133436 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970133436 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133438 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 573 0 0 0 22 0 0 0 18 0 19 0 970133438 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.27 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 2176 0 0 0 27 0 0 0 17 0 19 0 970133438 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133438 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 970133438 6586187776 82418 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 6431824

[startup+3.10145 s]
/proc/loadavg: 4.71 2.59 1.76 5/261 950
/proc/meminfo: memFree=25815244/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6431824 CPUtime=3.73 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 130103 0 1 0 357 16 0 0 25 0 18 0 970133433 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607956 127940 2224 9 0 1598694 0
[pid=539/tid=541] ppid=537 vsize=6431824 CPUtime=3.08 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 125114 0 1 0 293 15 0 0 25 0 18 0 970133433 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505642254 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=539/tid=545] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/545/stat : 545 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 970133435 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970133436 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970133436 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 573 0 0 0 22 0 0 0 18 0 18 0 970133438 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.41 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 3252 0 0 0 41 0 0 0 15 0 18 0 970133438 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 970133438 6586187776 127940 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 6431824

[startup+6.30092 s]
/proc/loadavg: 4.74 2.63 1.78 5/261 1290
/proc/meminfo: memFree=25432712/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6431824 CPUtime=6.95 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 223445 0 1 0 669 26 0 0 25 0 18 0 970133433 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607956 221165 2226 9 0 1598694 0
[pid=539/tid=541] ppid=537 vsize=6431824 CPUtime=6.27 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 218331 0 1 0 602 25 0 0 25 0 18 0 970133433 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505642254 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=539/tid=545] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/545/stat : 545 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133434 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 970133435 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970133436 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970133436 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 573 0 0 0 22 0 0 0 18 0 18 0 970133438 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.44 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 3357 0 0 0 44 0 0 0 15 0 18 0 970133438 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970133438 6586187776 221165 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0

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

[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0.29 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 24536 0 0 0 27 2 0 0 18 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0.09 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 10433 0 0 0 9 0 0 0 18 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0.19 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 23682 0 0 0 17 2 0 0 16 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0.06 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 8109 0 0 0 6 0 0 0 16 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0.29 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 24773 0 0 0 27 2 0 0 16 0 19 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 970133435 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 970133436 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 970133436 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 573 0 0 0 22 0 0 0 18 0 19 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.44 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 3357 0 0 0 44 0 0 0 15 0 19 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (KiB) 6431824

[startup+30.4009 s]
/proc/loadavg: 4.64 2.77 1.85 5/241 3831
/proc/meminfo: memFree=26629340/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6431824 CPUtime=31.6 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 509083 0 1 0 3105 55 0 0 25 0 18 0 970133433 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607956 506565 2238 9 0 1598694 0
[pid=539/tid=541] ppid=537 vsize=6431824 CPUtime=29.69 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 391606 0 1 0 2925 44 0 0 25 0 18 0 970133433 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505624727 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=539/tid=545] ppid=537 vsize=6431824 CPUtime=0.24 cores=5,7
/proc/539/task/545/stat : 545 (java) S 537 539 27853 0 -1 4202560 20719 0 0 0 22 2 0 0 18 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0.29 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 24536 0 0 0 27 2 0 0 18 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0.09 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 10433 0 0 0 9 0 0 0 18 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0.19 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 23682 0 0 0 17 2 0 0 16 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0.06 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 8109 0 0 0 6 0 0 0 16 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0.29 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 24773 0 0 0 27 2 0 0 16 0 18 0 970133434 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 970133435 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 18 0 970133436 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 970133436 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 573 0 0 0 22 0 0 0 18 0 18 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.44 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 3357 0 0 0 44 0 0 0 15 0 18 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970133438 6586187776 506565 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 31.6
Current children cumulated vsize (KiB) 6431824

[startup+32.1076 s]
/proc/loadavg: 4.64 2.77 1.85 5/262 3873
/proc/meminfo: memFree=26022692/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6431824 CPUtime=33.56 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 509098 0 1 0 3301 55 0 0 25 0 18 0 970133433 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607956 506579 2238 9 0 1598694 0
[pid=539/tid=541] ppid=537 vsize=6431824 CPUtime=31.14 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 391607 0 1 0 3070 44 0 0 25 0 18 0 970133433 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505642212 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=539/tid=545] ppid=537 vsize=6431824 CPUtime=0.4 cores=5,7
/proc/539/task/545/stat : 545 (java) S 537 539 27853 0 -1 4202560 20728 0 0 0 38 2 0 0 16 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0.4 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 24536 0 0 0 38 2 0 0 16 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0.09 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 10433 0 0 0 9 0 0 0 15 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0.1 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 10 0 0 0 16 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0.31 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 23684 0 0 0 29 2 0 0 16 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0.09 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 8112 0 0 0 9 0 0 0 16 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0.29 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 24773 0 0 0 27 2 0 0 15 0 18 0 970133434 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 970133435 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 970133436 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 970133436 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 573 0 0 0 22 0 0 0 18 0 18 0 970133438 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.44 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 3357 0 0 0 44 0 0 0 15 0 18 0 970133438 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970133438 6586187776 506579 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 33.56
Current children cumulated vsize (KiB) 6431824

[startup+32.9015 s]
/proc/loadavg: 4.64 2.77 1.85 5/262 3873
/proc/meminfo: memFree=26022692/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=6431824 CPUtime=34.53 cores=5,7
/proc/539/stat : 539 (java) S 537 539 27853 0 -1 4202496 513094 0 1 0 3397 56 0 0 25 0 18 0 970133433 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 1607956 509001 2238 9 0 1598694 0
[pid=539/tid=541] ppid=537 vsize=6431824 CPUtime=31.93 cores=5,7
/proc/539/task/541/stat : 541 (java) R 537 539 27853 0 -1 4202560 391608 0 1 0 3149 44 0 0 25 0 18 0 970133433 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 46912505897203 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=539/tid=545] ppid=537 vsize=6431824 CPUtime=0.4 cores=5,7
/proc/539/task/545/stat : 545 (java) S 537 539 27853 0 -1 4202560 20728 0 0 0 38 2 0 0 16 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=546] ppid=537 vsize=6431824 CPUtime=0.4 cores=5,7
/proc/539/task/546/stat : 546 (java) S 537 539 27853 0 -1 4202560 24536 0 0 0 38 2 0 0 16 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=547] ppid=537 vsize=6431824 CPUtime=0.09 cores=5,7
/proc/539/task/547/stat : 547 (java) S 537 539 27853 0 -1 4202560 10433 0 0 0 9 0 0 0 15 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=548] ppid=537 vsize=6431824 CPUtime=0.1 cores=5,7
/proc/539/task/548/stat : 548 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 10 0 0 0 16 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=549] ppid=537 vsize=6431824 CPUtime=0.31 cores=5,7
/proc/539/task/549/stat : 549 (java) S 537 539 27853 0 -1 4202560 23684 0 0 0 29 2 0 0 16 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=550] ppid=537 vsize=6431824 CPUtime=0.09 cores=5,7
/proc/539/task/550/stat : 550 (java) S 537 539 27853 0 -1 4202560 8112 0 0 0 9 0 0 0 16 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=551] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/551/stat : 551 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=553] ppid=537 vsize=6431824 CPUtime=0.29 cores=5,7
/proc/539/task/553/stat : 553 (java) S 537 539 27853 0 -1 4202560 24773 0 0 0 27 2 0 0 15 0 18 0 970133434 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=556] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/556/stat : 556 (java) S 537 539 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 970133435 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 0 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=558] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/558/stat : 558 (java) S 537 539 27853 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 970133436 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=559] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/559/stat : 559 (java) S 537 539 27853 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 970133436 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=564] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/564/stat : 564 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296749489 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=565] ppid=537 vsize=6431824 CPUtime=0.22 cores=5,7
/proc/539/task/565/stat : 565 (java) S 537 539 27853 0 -1 4202560 635 0 0 0 22 0 0 0 18 0 18 0 970133438 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=566] ppid=537 vsize=6431824 CPUtime=0.61 cores=5,7
/proc/539/task/566/stat : 566 (java) S 537 539 27853 0 -1 4202560 7290 0 0 0 61 0 0 0 16 0 18 0 970133438 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 7 0 0 0
[pid=539/tid=567] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/567/stat : 567 (java) S 537 539 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970133438 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296741785 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
[pid=539/tid=568] ppid=537 vsize=6431824 CPUtime=0 cores=5,7
/proc/539/task/568/stat : 568 (java) S 537 539 27853 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970133438 6586187776 509001 33554432000 1073741824 1073778376 140736440664752 18446744073709551615 224296742400 0 4 0 16800975 18446604465673600064 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 34.53
Current children cumulated vsize (KiB) 6431824

[startup+33.1014 s]
/proc/loadavg: 4.64 2.77 1.85 7/244 3880
/proc/meminfo: memFree=26910200/32951124 swapFree=67049456/67111528
[pid=539] ppid=537 vsize=0 CPUtime=34.74 cores=5,7
/proc/539/stat : 539 (java) R 537 539 27853 0 -1 4203524 513102 0 1 0 3414 60 0 0 18 0 1 0 970133433 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 34.74
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 33.1351
CPU time (s): 34.7807
CPU user time (s): 34.1438
CPU system time (s): 0.636903
CPU usage (%): 104.966
Max. virtual memory (cumulated for all children) (KiB): 6431824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.1438
system time used= 0.636903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513102
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= 2346
involuntary context switches= 2497

runsolver used 0.052991 second user time and 0.146977 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-11 15:30:28
IDJOB=3493340
IDBENCH=89419
IDSOLVER=1972
FILE ID=node118/3493340-1307799027
RUNJOBID= node118-1307798811-27874
PBS_JOBID= 13551034
Free space on /tmp= 74148 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/design-debugging/c6_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-3493340-1307799027/watcher-3493340-1307799027 -o /tmp/evaluation-result-3493340-1307799027/solver-3493340-1307799027 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493340-1307799027.cnf

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

MD5SUM BENCH= be0ee1d63d2729f200cd8f0756cfe39e
RANDOM SEED=2034368538

node118.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.842
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.68
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.842
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.842
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.74
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.842
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	: 5332.75
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.842
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.68
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.842
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.75
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26204716 kB
Buffers:        263024 kB
Cached:        1541376 kB
SwapCached:      15436 kB
Active:        5178560 kB
Inactive:      1360612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26204716 kB
SwapTotal:    67111528 kB
SwapFree:     67049456 kB
Dirty:            8256 kB
Writeback:           0 kB
AnonPages:     4731732 kB
Mapped:          17612 kB
Slab:           131796 kB
PageTables:      14892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19000836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node118 at 2011-06-11 15:31:01