Trace number 3718416

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 PB 2012-05-28OPTIMUM 105.401 103.323

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MD5SUM14bc8800f159591dc4e79c8dbc089eb4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark79.7239
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120528
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718416-1338254485.wbo
0.09/0.11	c reading problem ... 
0.49/0.32	c ... done. Wall clock time 0.205s.
0.49/0.32	c declared #vars     231
0.49/0.32	c internal #vars     2938
0.49/0.32	c #constraints  2707
0.49/0.32	c constraints type 
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.32	c ignored satisfied constraints => 1
0.49/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
0.49/0.32	c 2708 constraints processed.
0.49/0.32	c objective function length is 2707 literals
0.78/0.49	c SATISFIABLE
0.78/0.49	c OPTIMIZING...
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.38
0.78/0.49	o 618
1.08/0.54	c Got one! Elapsed wall clock time (in seconds):0.429
1.08/0.54	o 543
1.08/0.57	c Got one! Elapsed wall clock time (in seconds):0.456
1.08/0.57	o 460
1.08/0.59	c Got one! Elapsed wall clock time (in seconds):0.477
1.08/0.59	o 459
1.39/0.61	c Got one! Elapsed wall clock time (in seconds):0.495
1.39/0.61	o 354
1.39/0.63	c Got one! Elapsed wall clock time (in seconds):0.515
1.39/0.63	o 319
1.39/0.64	c Got one! Elapsed wall clock time (in seconds):0.527
1.39/0.64	o 302
1.39/0.66	c Got one! Elapsed wall clock time (in seconds):0.546
1.39/0.66	o 296
1.39/0.67	c Got one! Elapsed wall clock time (in seconds):0.562
1.39/0.67	o 168
1.64/0.73	c Got one! Elapsed wall clock time (in seconds):0.622
1.64/0.73	o 167
1.64/0.74	c Got one! Elapsed wall clock time (in seconds):0.631
1.64/0.74	o 115
1.74/0.84	c Got one! Elapsed wall clock time (in seconds):0.731
1.74/0.84	o 113
1.86/0.97	c Got one! Elapsed wall clock time (in seconds):0.862
1.86/0.97	o 106
2.57/1.67	c Got one! Elapsed wall clock time (in seconds):1.562
2.57/1.67	o 105
2.77/1.87	c cleaning 4510 clauses out of 9025 with flag 5351/9025
3.36/2.35	c Got one! Elapsed wall clock time (in seconds):2.24
3.36/2.35	o 104
3.56/2.50	c Got one! Elapsed wall clock time (in seconds):2.388
3.56/2.50	o 101
3.66/2.65	c Got one! Elapsed wall clock time (in seconds):2.542
3.66/2.65	o 100
3.86/2.82	c Got one! Elapsed wall clock time (in seconds):2.713
3.86/2.82	o 99
3.96/2.98	c cleaning 6152 clauses out of 12311 with flag 6706/16821
4.88/3.88	c Got one! Elapsed wall clock time (in seconds):3.765
4.88/3.88	o 98
4.98/3.96	c Got one! Elapsed wall clock time (in seconds):3.846
4.98/3.96	o 96
5.39/4.36	c cleaning 6201 clauses out of 12413 with flag 11228/23075
5.53/4.44	c Got one! Elapsed wall clock time (in seconds):4.332
5.53/4.44	o 95
5.63/4.58	c Got one! Elapsed wall clock time (in seconds):4.474
5.63/4.58	o 94
6.03/4.96	c Got one! Elapsed wall clock time (in seconds):4.849
6.03/4.96	o 93
6.13/5.03	c Got one! Elapsed wall clock time (in seconds):4.924
6.13/5.03	o 76
6.23/5.18	c cleaning 6654 clauses out of 13328 with flag 16464/30191
6.43/5.31	c Got one! Elapsed wall clock time (in seconds):5.199
6.43/5.31	o 69
6.43/5.35	c Got one! Elapsed wall clock time (in seconds):5.242
6.43/5.35	o 58
6.64/5.54	c Got one! Elapsed wall clock time (in seconds):5.433
6.64/5.54	o 57
6.83/5.79	c Got one! Elapsed wall clock time (in seconds):5.678
6.83/5.79	o 55
7.03/5.90	c Got one! Elapsed wall clock time (in seconds):5.791
7.03/5.90	o 48
7.03/5.97	c cleaning 7305 clauses out of 14640 with flag 9803/38157
7.24/6.16	c Got one! Elapsed wall clock time (in seconds):6.046
7.24/6.16	o 47
7.44/6.33	c cleaning 6196 clauses out of 12411 with flag 25082/43233
7.67/6.52	c Got one! Elapsed wall clock time (in seconds):6.414
7.67/6.52	o 44
7.86/6.74	c cleaning 5784 clauses out of 11580 with flag 35931/48598
8.08/6.94	c Got one! Elapsed wall clock time (in seconds):6.825
8.08/6.94	o 43
8.31/7.16	c Got one! Elapsed wall clock time (in seconds):7.052
8.31/7.16	o 42
8.51/7.32	c Got one! Elapsed wall clock time (in seconds):7.206
8.51/7.32	o 35
8.51/7.37	c Got one! Elapsed wall clock time (in seconds):7.258
8.51/7.37	o 30
8.71/7.50	c cleaning 6701 clauses out of 13417 with flag 18250/56219
9.01/7.84	c Got one! Elapsed wall clock time (in seconds):7.728
9.01/7.84	o 28
9.21/8.00	c cleaning 6194 clauses out of 12394 with flag 14045/61897
9.71/8.51	c cleaning 6091 clauses out of 12200 with flag 49209/67897
9.81/8.69	c Got one! Elapsed wall clock time (in seconds):8.576
9.81/8.69	o 26
10.02/8.89	c cleaning 5591 clauses out of 11189 with flag 33356/72977
10.62/9.41	c cleaning 5796 clauses out of 11598 with flag 78245/78977
11.12/9.94	c Got one! Elapsed wall clock time (in seconds):9.833
11.12/9.94	o 25
11.52/10.38	c cleaning 7898 clauses out of 15806 with flag 44197/88981
12.14/10.97	c cleaning 6944 clauses out of 13909 with flag 88079/94982
12.85/11.66	c Got one! Elapsed wall clock time (in seconds):11.545
12.85/11.66	o 24
13.26/12.06	c cleaning 9462 clauses out of 18935 with flag 59373/106952
13.65/12.49	c cleaning 7730 clauses out of 15473 with flag 125525/112952
14.46/13.24	c cleaning 7366 clauses out of 14744 with flag 184199/119953
15.27/14.07	c cleaning 7680 clauses out of 15377 with flag 250824/127952
16.27/15.08	c cleaning 8336 clauses out of 16699 with flag 340600/136954
16.59/15.34	c Got one! Elapsed wall clock time (in seconds):15.228
16.59/15.34	o 21
16.79/15.58	c cleaning 6776 clauses out of 13577 with flag 20583/142168
17.30/16.07	c cleaning 6394 clauses out of 12801 with flag 60448/148168
17.71/16.49	c Got one! Elapsed wall clock time (in seconds):16.379
17.71/16.49	o 20
18.11/16.87	c cleaning 8392 clauses out of 16789 with flag 56628/158550
18.61/17.30	c cleaning 7183 clauses out of 14397 with flag 122174/164550
19.01/17.76	c cleaning 7096 clauses out of 14214 with flag 193331/171550
19.13/17.85	c Got one! Elapsed wall clock time (in seconds):17.74
19.13/17.85	o 18
19.55/18.28	c cleaning 6375 clauses out of 12760 with flag 38057/177192
20.15/18.84	c cleaning 6189 clauses out of 12391 with flag 83689/183198
20.76/19.43	c cleaning 6593 clauses out of 13196 with flag 133616/190192
20.76/19.48	c Got one! Elapsed wall clock time (in seconds):19.37
20.76/19.48	o 16
21.17/19.84	c cleaning 5956 clauses out of 11926 with flag 54832/195515
21.56/20.24	c cleaning 5964 clauses out of 11969 with flag 100541/201514
22.07/20.74	c cleaning 6489 clauses out of 13006 with flag 149800/208515
22.69/21.34	c cleaning 7244 clauses out of 14516 with flag 206912/216514
23.41/22.04	c cleaning 8125 clauses out of 16272 with flag 275654/225514
24.22/22.81	c cleaning 9062 clauses out of 18148 with flag 354231/235515
25.02/23.66	c cleaning 10030 clauses out of 20085 with flag 443884/246514
26.02/24.62	c cleaning 11015 clauses out of 22058 with flag 550417/258517
27.02/25.65	c cleaning 12017 clauses out of 24042 with flag 664448/271516
27.23/25.86	c Got one! Elapsed wall clock time (in seconds):25.754
27.23/25.86	o 13
27.54/26.11	c cleaning 8800 clauses out of 17613 with flag 31180/277104
27.94/26.56	c cleaning 7399 clauses out of 14815 with flag 80572/283106
28.44/27.08	c cleaning 7186 clauses out of 14415 with flag 132325/290105
29.04/27.67	c cleaning 7608 clauses out of 15229 with flag 191212/298105
29.75/28.39	c cleaning 8301 clauses out of 16621 with flag 267491/307105
30.56/29.18	c cleaning 9156 clauses out of 18324 with flag 351690/317109
31.46/30.05	c cleaning 10080 clauses out of 20165 with flag 445985/328106
32.36/30.99	c cleaning 11036 clauses out of 22082 with flag 544038/340104
33.38/31.94	c cleaning 12016 clauses out of 24049 with flag 642116/353107
34.49/33.03	c cleaning 13006 clauses out of 26030 with flag 754271/367104
35.70/34.25	c cleaning 13997 clauses out of 28025 with flag 880012/382105
37.00/35.58	c cleaning 15008 clauses out of 30030 with flag 1017663/398107
38.50/37.01	c cleaning 16005 clauses out of 32020 with flag 1162668/415105
39.91/38.47	c cleaning 16998 clauses out of 34014 with flag 1309706/433105
41.61/40.17	c cleaning 17993 clauses out of 36015 with flag 1465720/452104
43.41/41.98	c cleaning 19005 clauses out of 38023 with flag 1628217/472105
45.53/44.01	c cleaning 20008 clauses out of 40017 with flag 1808137/493104
46.23/44.77	c Got one! Elapsed wall clock time (in seconds):44.656
46.23/44.77	o 12
46.73/45.29	c cleaning 16915 clauses out of 33841 with flag 53039/506937
47.35/45.80	c cleaning 11449 clauses out of 22926 with flag 111342/512937
47.86/46.37	c cleaning 9233 clauses out of 18479 with flag 177366/519939
48.47/46.91	c cleaning 8619 clauses out of 17244 with flag 232923/527937
48.57/47.04	c Got one! Elapsed wall clock time (in seconds):46.932
48.57/47.04	o 10
48.87/47.38	c cleaning 7207 clauses out of 14434 with flag 41296/533746
49.37/47.80	c cleaning 6600 clauses out of 13228 with flag 87984/539747
49.79/48.25	c cleaning 6806 clauses out of 13629 with flag 126728/546748
50.31/48.73	c cleaning 7402 clauses out of 14821 with flag 170932/554746
50.83/49.23	c cleaning 8204 clauses out of 16419 with flag 216696/563746
51.43/49.89	c cleaning 9100 clauses out of 18215 with flag 274792/573746
51.83/50.24	c Got one! Elapsed wall clock time (in seconds):50.125
51.83/50.24	o 9
51.93/50.32	c cleaning 7340 clauses out of 14689 with flag 6486/579320
52.34/50.73	c cleaning 6666 clauses out of 13349 with flag 42678/585320
52.74/51.16	c cleaning 6829 clauses out of 13681 with flag 76674/592318
53.25/51.61	c cleaning 7414 clauses out of 14853 with flag 115185/600319
53.75/52.10	c cleaning 8211 clauses out of 16439 with flag 159208/609319
54.25/52.70	c cleaning 9097 clauses out of 18229 with flag 216661/619320
54.95/53.39	c cleaning 10050 clauses out of 20131 with flag 284557/630319
55.85/54.24	c cleaning 11027 clauses out of 22080 with flag 353201/642318
56.75/55.19	c cleaning 12020 clauses out of 24054 with flag 436371/655319
57.87/56.24	c cleaning 13004 clauses out of 26032 with flag 509033/669318
58.88/57.29	c cleaning 14011 clauses out of 28028 with flag 602050/684318
60.28/58.62	c cleaning 15007 clauses out of 30018 with flag 713114/700319
61.48/59.80	c cleaning 15993 clauses out of 32009 with flag 808847/717318
62.78/61.10	c cleaning 16997 clauses out of 34016 with flag 919984/735318
64.08/62.49	c cleaning 17994 clauses out of 36019 with flag 1055470/754318
65.29/63.64	c Got one! Elapsed wall clock time (in seconds):63.534
65.29/63.64	o 8
65.79/64.18	c cleaning 19262 clauses out of 38526 with flag 39116/774819
66.29/64.62	c cleaning 12622 clauses out of 25265 with flag 76854/780820
66.70/65.09	c cleaning 9807 clauses out of 19644 with flag 120399/787821
67.20/65.56	c cleaning 8908 clauses out of 17837 with flag 151230/795821
67.70/66.06	c cleaning 8954 clauses out of 17928 with flag 182804/804820
68.32/66.60	c cleaning 9473 clauses out of 18972 with flag 222478/814819
68.93/67.24	c cleaning 10245 clauses out of 20498 with flag 267820/825819
69.63/67.99	c cleaning 11111 clauses out of 22253 with flag 323562/837819
70.53/68.89	c cleaning 12045 clauses out of 24142 with flag 391368/850819
71.53/69.82	c cleaning 13046 clauses out of 26098 with flag 465378/864820
72.43/70.72	c cleaning 14020 clauses out of 28050 with flag 543167/879819
73.45/71.77	c cleaning 15006 clauses out of 30031 with flag 625673/895821
74.85/73.11	c cleaning 16012 clauses out of 32023 with flag 731464/912820
76.26/74.51	c cleaning 16998 clauses out of 34008 with flag 843452/930819
77.67/75.95	c cleaning 18001 clauses out of 36010 with flag 959890/949820
78.68/76.94	c Got one! Elapsed wall clock time (in seconds):76.827
78.68/76.94	o 7
79.17/77.46	c cleaning 18039 clauses out of 36087 with flag 34783/967899
79.67/77.94	c cleaning 12005 clauses out of 24046 with flag 72028/973897
80.17/78.41	c cleaning 9508 clauses out of 19042 with flag 114883/980898
80.68/78.93	c cleaning 8748 clauses out of 17533 with flag 150494/988897
81.28/79.52	c cleaning 8878 clauses out of 17785 with flag 188270/997897
81.89/80.12	c cleaning 9445 clauses out of 18909 with flag 231463/1007899
82.59/80.82	c cleaning 10216 clauses out of 20462 with flag 286241/1018897
83.40/81.61	c cleaning 11118 clauses out of 22247 with flag 341433/1030898
84.33/82.57	c cleaning 12059 clauses out of 24128 with flag 410946/1043897
85.44/83.60	c cleaning 13031 clauses out of 26068 with flag 490129/1057897
86.46/84.61	c Got one! Elapsed wall clock time (in seconds):84.503
86.46/84.61	o 6
86.96/85.14	c cleaning 16220 clauses out of 32454 with flag 30122/1077315
87.46/85.63	c cleaning 11116 clauses out of 22237 with flag 65286/1083318
87.96/86.11	c cleaning 9048 clauses out of 18118 with flag 101157/1090315
88.46/86.63	c cleaning 8518 clauses out of 17070 with flag 136242/1098315
88.96/87.18	c cleaning 8758 clauses out of 17553 with flag 170898/1107316
89.67/87.83	c cleaning 9387 clauses out of 18796 with flag 212805/1117317
90.37/88.50	c cleaning 10198 clauses out of 20407 with flag 259353/1128315
91.08/89.22	c cleaning 11089 clauses out of 22209 with flag 310346/1140315
91.88/90.08	c cleaning 12040 clauses out of 24120 with flag 376427/1153315
92.79/90.96	c cleaning 13028 clauses out of 26080 with flag 452565/1167315
93.89/92.07	c cleaning 14017 clauses out of 28052 with flag 531431/1182316
95.10/93.27	c cleaning 15006 clauses out of 30034 with flag 614343/1198316
96.60/94.71	c cleaning 16009 clauses out of 32027 with flag 708569/1215315
98.10/96.28	c cleaning 17001 clauses out of 34016 with flag 810739/1233315
99.20/97.31	c Got one! Elapsed wall clock time (in seconds):97.196
99.20/97.31	o 5
99.71/97.81	c cleaning 17511 clauses out of 35034 with flag 30094/1251334
100.11/98.29	c cleaning 11760 clauses out of 23529 with flag 64272/1257340
100.72/98.81	c cleaning 9373 clauses out of 18764 with flag 95813/1264335
101.22/99.36	c cleaning 8683 clauses out of 17389 with flag 122439/1272333
101.84/99.98	c cleaning 8846 clauses out of 17706 with flag 156764/1281333
102.54/100.65	c cleaning 9424 clauses out of 18858 with flag 193918/1291333
103.26/101.39	c cleaning 10212 clauses out of 20433 with flag 237861/1302335
104.06/102.19	c cleaning 11103 clauses out of 22217 with flag 284832/1314335
105.06/103.18	c cleaning 12052 clauses out of 24109 with flag 346374/1327334
105.28/103.31	c starts		: 238
105.28/103.31	c conflicts		: 1328843
105.28/103.31	c decisions		: 1900546
105.28/103.31	c propagations		: 95586326
105.28/103.31	c inspects		: 1064495618
105.28/103.31	c shortcuts		: 0
105.28/103.31	c learnt literals	: 37
105.28/103.31	c learnt binary clauses	: 50
105.28/103.31	c learnt ternary clauses	: 186
105.28/103.31	c learnt constraints	: 1328805
105.28/103.31	c ignored constraints	: 0
105.28/103.31	c root simplifications	: 0
105.28/103.31	c removed literals (reason simplification)	: 0
105.28/103.31	c reason swapping (by a shorter reason)	: 0
105.28/103.31	c Calls to reduceDB	: 126
105.28/103.31	c Number of update (reduction) of LBD	: 425570
105.28/103.31	c number of reductions to clauses (during analyze)	: 0
105.28/103.31	c number of learned constraints concerned by reduction	: 0
105.28/103.31	c number of learning phase by resolution	: 0
105.28/103.31	c number of learning phase by cutting planes	: 0
105.28/103.31	c speed (assignments/second)	: 928410.1712365357
105.28/103.31	c non guided choices	6295
105.28/103.31	c learnt constraints type 
105.28/103.31	c constraints type 
105.28/103.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
105.28/103.32	c ignored satisfied constraints => 1
105.28/103.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
105.28/103.32	c 2708 constraints processed.
105.28/103.32	s OPTIMUM FOUND
105.28/103.32	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 
105.28/103.32	c objective function=5
105.28/103.32	c Total wall clock time (in seconds): 103.205

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718416-1338254485/watcher-3718416-1338254485 -o /tmp/evaluation-result-3718416-1338254485/solver-3718416-1338254485 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718416-1338254485.wbo 

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

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 4324
/proc/meminfo: memFree=30241592/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4324/stat : 4324 (java) D 4322 4324 919 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 291574418 9515008 175 33554432000 1073741824 1073778376 140733683891296 140733683874024 242167399312 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/4324/statm: 2323 175 133 9 0 71 0

[startup+0.0503059 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 4324
/proc/meminfo: memFree=30241592/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 3053 0 1 0 2 1 0 0 20 0 13 0 291574418 9446973440 3751 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2306390 3751 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100199 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 4324
/proc/meminfo: memFree=30241592/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 4311 0 1 0 8 1 0 0 20 0 18 0 291574418 9787817984 5496 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2389604 5496 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300164 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 4324
/proc/meminfo: memFree=30241592/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9558416 CPUtime=0.49 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 6666 0 1 0 47 2 0 0 20 0 18 0 291574418 9787817984 8923 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2389604 8923 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558416

[startup+0.700158 s]
/proc/loadavg: 2.03 2.01 2.00 3/194 4324
/proc/meminfo: memFree=30241592/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=1.64 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 12545 0 1 0 161 3 0 0 20 0 19 0 291574418 9855979520 13684 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 13684 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9624980

[startup+1.50053 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 4343
/proc/meminfo: memFree=30191368/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=2.46 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 12554 0 1 0 243 3 0 0 20 0 19 0 291574418 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 15225 2259 9 0 2396937 0
[pid=4324/tid=4326] ppid=4322 vsize=9624980 CPUtime=1.47 cores=0,2,4,6
/proc/4324/task/4326/stat : 4326 (java) R 4322 4324 919 0 -1 4202560 2463 0 1 0 145 2 0 0 20 0 19 0 291574419 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886774110888 139886632526627 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4327] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4327/stat : 4327 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886752213544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4328] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291574421 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 3614 0 0 0 48 0 0 0 20 0 19 0 291574424 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5277 0 0 0 48 0 0 0 20 0 19 0 291574424 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 15225 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9624980

[startup+3.10063 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 4343
/proc/meminfo: memFree=30176288/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=4.18 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 12705 0 1 0 414 4 0 0 20 0 19 0 291574418 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 19897 2285 9 0 2396937 0
[pid=4324/tid=4326] ppid=4322 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/4324/task/4326/stat : 4326 (java) R 4322 4324 919 0 -1 4202560 2469 0 1 0 301 2 0 0 20 0 19 0 291574419 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886774112664 139886631911405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4327] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4327/stat : 4327 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886752213544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4328] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 291574421 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 3675 0 0 0 53 1 0 0 20 0 19 0 291574424 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5281 0 0 0 52 0 0 0 20 0 19 0 291574424 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 19897 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 9624980

[startup+6.30054 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 4343
/proc/meminfo: memFree=30170888/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=7.44 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 13169 0 1 0 740 4 0 0 20 0 19 0 291574418 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 19938 2285 9 0 2396937 0
[pid=4324/tid=4326] ppid=4322 vsize=9624980 CPUtime=6.16 cores=0,2,4,6
/proc/4324/task/4326/stat : 4326 (java) R 4322 4324 919 0 -1 4202560 2472 0 1 0 614 2 0 0 20 0 19 0 291574419 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886774104512 139886631911337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4327] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4327/stat : 4327 (java) S 4322 4324 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886752213544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4328] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291574420 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 291574421 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 4127 0 0 0 58 2 0 0 20 0 19 0 291574424 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5282 0 0 0 52 0 0 0 20 0 19 0 291574424 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 19938 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 9 0 0 0 8 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 7 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 23 0 0 0 8 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 7 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 7 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 20 0 0 0 8 0 0 0 20 0 19 0 291574420 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=1.77 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 39 0 0 0 177 0 0 0 20 0 19 0 291574421 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 4127 0 0 0 58 2 0 0 20 0 19 0 291574424 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5301 0 0 0 58 0 0 0 20 0 19 0 291574424 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 21525 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 52.74
Current children cumulated vsize (KiB) 9624980

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4344
/proc/meminfo: memFree=30151152/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=104.27 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 13398 0 1 0 10420 7 0 0 20 0 19 0 291574418 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 22067 2286 9 0 2396937 0
[pid=4324/tid=4326] ppid=4322 vsize=9624980 CPUtime=98.08 cores=0,2,4,6
/proc/4324/task/4326/stat : 4326 (java) R 4322 4324 919 0 -1 4202560 2594 0 1 0 9804 4 0 0 20 0 19 0 291574419 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886774112608 139886632452921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4327] ppid=4322 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/4324/task/4327/stat : 4327 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886752213544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4328] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 15 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 15 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 13 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 23 0 0 0 13 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 16 0 0 0 12 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 10 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=3.74 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 44 0 0 0 374 0 0 0 20 0 19 0 291574421 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 4127 0 0 0 58 2 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5303 0 0 0 60 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 104.27
Current children cumulated vsize (KiB) 9624980

Solver just ended. Dumping a history of the last processes samples

[startup+103.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4344
/proc/meminfo: memFree=30151152/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=105.06 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 13398 0 1 0 10499 7 0 0 20 0 19 0 291574418 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 22067 2286 9 0 2396937 0
[pid=4324/tid=4326] ppid=4322 vsize=9624980 CPUtime=98.88 cores=0,2,4,6
/proc/4324/task/4326/stat : 4326 (java) R 4322 4324 919 0 -1 4202560 2594 0 1 0 9884 4 0 0 20 0 19 0 291574419 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886774112608 139886632467410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4327] ppid=4322 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/4324/task/4327/stat : 4327 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886752213544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4328] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 15 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 15 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 13 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 23 0 0 0 13 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 16 0 0 0 12 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 10 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=3.74 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 44 0 0 0 374 0 0 0 20 0 19 0 291574421 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 4127 0 0 0 58 2 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5303 0 0 0 60 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 105.06
Current children cumulated vsize (KiB) 9624980

[startup+103.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 4344
/proc/meminfo: memFree=30151152/32873648 swapFree=7112/7112
[pid=4324] ppid=4322 vsize=9624980 CPUtime=105.28 cores=0,2,4,6
/proc/4324/stat : 4324 (java) S 4322 4324 919 0 -1 4202496 13399 0 1 0 10521 7 0 0 20 0 19 0 291574418 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 140735449203200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4324/statm: 2406245 22067 2286 9 0 2396937 0
[pid=4324/tid=4326] ppid=4322 vsize=9624980 CPUtime=99.05 cores=0,2,4,6
/proc/4324/task/4326/stat : 4326 (java) R 4322 4324 919 0 -1 4202560 2595 0 1 0 9901 4 0 0 20 0 19 0 291574419 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886774112608 139886632526653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4327] ppid=4322 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/4324/task/4327/stat : 4327 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886752213544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4328] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4328/stat : 4328 (java) S 4322 4324 919 0 -1 4202560 15 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886751160744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4329] ppid=4322 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/4324/task/4329/stat : 4329 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 16 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886547953960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4330] ppid=4322 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/4324/task/4330/stat : 4330 (java) S 4322 4324 919 0 -1 4202560 18 0 0 0 13 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886546901160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4331] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4331/stat : 4331 (java) S 4322 4324 919 0 -1 4202560 23 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886545849384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4324/tid=4332] ppid=4322 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/4324/task/4332/stat : 4332 (java) S 4322 4324 919 0 -1 4202560 16 0 0 0 12 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886544796584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4333] ppid=4322 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4324/task/4333/stat : 4333 (java) S 4322 4324 919 0 -1 4202560 10 0 0 0 14 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886543743784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4334] ppid=4322 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/4324/task/4334/stat : 4334 (java) S 4322 4324 919 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291574420 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886542690984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4335] ppid=4322 vsize=9624980 CPUtime=3.77 cores=0,2,4,6
/proc/4324/task/4335/stat : 4335 (java) S 4322 4324 919 0 -1 4202560 44 0 0 0 377 0 0 0 20 0 19 0 291574421 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886530492904 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4336] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4336/stat : 4336 (java) S 4322 4324 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886529438968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4337] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4337/stat : 4337 (java) S 4322 4324 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291574422 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886528386056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4338] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4338/stat : 4338 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886527334544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4339] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4339/stat : 4339 (java) S 4322 4324 919 0 -1 4202560 4127 0 0 0 58 2 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886526282680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4324/tid=4340] ppid=4322 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/4324/task/4340/stat : 4340 (java) S 4322 4324 919 0 -1 4202560 5303 0 0 0 60 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886525229880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4341] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4341/stat : 4341 (java) S 4322 4324 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886524177272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4324/tid=4342] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4342/stat : 4342 (java) S 4322 4324 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291574424 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886523124680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4324/tid=4343] ppid=4322 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4324/task/4343/stat : 4343 (java) S 4322 4324 919 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291574454 9855979520 22067 33554432000 1073741824 1073778376 140735449212064 139886522070184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 105.28
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 103.323
CPU time (s): 105.401
CPU user time (s): 105.206
CPU system time (s): 0.19497
CPU usage (%): 102.011
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.206
system time used= 0.19497
maximum resident set size= 88324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13417
page faults= 1
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5792
involuntary context switches= 7381

runsolver used 0.216967 second user time and 0.550916 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-29 03:21:25
IDJOB=3718416
IDBENCH=79309
IDSOLVER=2301
FILE ID=node126/3718416-1338254485
RUNJOBID= node126-1338248585-2144
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718416-1338254485/watcher-3718416-1338254485 -o /tmp/evaluation-result-3718416-1338254485/solver-3718416-1338254485 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718416-1338254485.wbo

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

MD5SUM BENCH= 14bc8800f159591dc4e79c8dbc089eb4
RANDOM SEED=1002195555

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30242384 kB
Buffers:          426300 kB
Cached:           730176 kB
SwapCached:        17756 kB
Active:          1450552 kB
Inactive:         314744 kB
Active(anon):     589940 kB
Inactive(anon):    20452 kB
Active(file):     860612 kB
Inactive(file):   294292 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        684156 kB
Mapped:            17992 kB
Shmem:                 0 kB
Slab:             727236 kB
SReclaimable:     171428 kB
SUnreclaim:       555808 kB
KernelStack:        1760 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1019940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    645120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71360 MiB
End job on node126 at 2012-05-29 03:23:09