Trace number 3492548

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 Resolution 2011-06-08OPTIMUM 59.6509 58.6183

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo
MD5SUMd1941e1c80c188b3aa73f66a6e35e5a0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark59
Best CPU time to get the best result obtained on this benchmark1.2988
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints42
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
Number of bits of the biggest sum of numbers11
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492548-1307909952.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c #vars     211
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.30/0.28	c SATISFIABLE
0.30/0.28	c OPTIMIZING...
0.30/0.28	c Got one! Elapsed wall clock time (in seconds):0.174
0.30/0.28	o 373
0.70/0.47	c cleaning 2834 clauses out of 5671 with flag 5001/5671
0.84/0.51	c Got one! Elapsed wall clock time (in seconds):0.406
0.84/0.51	o 364
0.94/0.65	c cleaning 4388 clauses out of 8791 with flag 5000/11625
0.94/0.67	c Got one! Elapsed wall clock time (in seconds):0.566
0.94/0.67	o 336
1.06/0.73	c Got one! Elapsed wall clock time (in seconds):0.63
1.06/0.73	o 274
1.16/0.83	c cleaning 4930 clauses out of 9866 with flag 3000/17088
1.16/0.85	c Got one! Elapsed wall clock time (in seconds):0.745
1.16/0.85	o 272
1.27/0.99	c cleaning 5103 clauses out of 10213 with flag 5002/22365
1.50/1.18	c cleaning 5546 clauses out of 11109 with flag 11001/28364
1.59/1.23	c Got one! Elapsed wall clock time (in seconds):1.128
1.59/1.23	o 261
1.69/1.35	c cleaning 5592 clauses out of 11194 with flag 4000/33995
1.79/1.48	c Got one! Elapsed wall clock time (in seconds):1.373
1.79/1.48	o 258
1.89/1.51	c cleaning 5321 clauses out of 10648 with flag 1001/39041
1.89/1.59	c Got one! Elapsed wall clock time (in seconds):1.482
1.89/1.59	o 194
1.99/1.68	c cleaning 5261 clauses out of 10531 with flag 3000/44245
2.19/1.87	c cleaning 5634 clauses out of 11271 with flag 9001/50246
2.39/2.08	c cleaning 6314 clauses out of 12637 with flag 16001/57246
2.70/2.31	c cleaning 7157 clauses out of 14322 with flag 24000/65245
2.90/2.59	c cleaning 8078 clauses out of 16166 with flag 33001/74246
3.20/2.89	c cleaning 9040 clauses out of 18087 with flag 43000/84245
3.30/2.98	c Got one! Elapsed wall clock time (in seconds):2.872
3.30/2.98	o 192
3.40/3.07	c cleaning 7298 clauses out of 14616 with flag 3000/89814
3.50/3.12	c Got one! Elapsed wall clock time (in seconds):3.013
3.50/3.12	o 178
3.60/3.24	c cleaning 6267 clauses out of 12545 with flag 4000/95041
3.80/3.46	c cleaning 6130 clauses out of 12278 with flag 10000/101041
4.00/3.69	c cleaning 6566 clauses out of 13150 with flag 17002/108043
4.30/3.94	c cleaning 7286 clauses out of 14583 with flag 25001/116042
4.60/4.25	c cleaning 8147 clauses out of 16302 with flag 34006/125047
4.90/4.57	c cleaning 9065 clauses out of 18150 with flag 44001/135042
5.10/4.75	c Got one! Elapsed wall clock time (in seconds):4.646
5.10/4.75	o 137
5.30/4.93	c cleaning 9957 clauses out of 19925 with flag 5002/145882
5.51/5.13	c cleaning 7971 clauses out of 15966 with flag 11000/151880
5.71/5.36	c cleaning 7494 clauses out of 14996 with flag 18001/158881
6.01/5.62	c cleaning 7739 clauses out of 15501 with flag 26000/166880
6.31/5.91	c cleaning 8378 clauses out of 16763 with flag 35001/175881
6.61/6.24	c cleaning 9185 clauses out of 18384 with flag 45000/185880
6.91/6.58	c cleaning 9592 clauses out of 19199 with flag 55000/195880
7.32/6.91	c cleaning 9799 clauses out of 19607 with flag 65000/205880
7.62/7.24	c cleaning 9899 clauses out of 19812 with flag 75004/215884
7.92/7.57	c cleaning 9949 clauses out of 19909 with flag 85000/225880
8.32/7.92	c cleaning 9973 clauses out of 19960 with flag 95000/235880
8.62/8.25	c cleaning 9989 clauses out of 19987 with flag 105000/245880
8.83/8.42	c Got one! Elapsed wall clock time (in seconds):8.315
8.83/8.42	o 130
9.03/8.60	c cleaning 10214 clauses out of 20439 with flag 5000/256321
9.24/8.82	c cleaning 8109 clauses out of 16225 with flag 11000/262321
9.44/9.06	c cleaning 7556 clauses out of 15117 with flag 18001/269322
9.74/9.33	c cleaning 7775 clauses out of 15560 with flag 26000/277321
10.04/9.63	c cleaning 8391 clauses out of 16789 with flag 35004/286325
10.34/9.95	c cleaning 9194 clauses out of 18395 with flag 45001/296322
10.34/9.98	c Got one! Elapsed wall clock time (in seconds):9.876
10.34/9.98	o 129
10.54/10.15	c cleaning 7424 clauses out of 14854 with flag 5000/301975
10.64/10.26	c Got one! Elapsed wall clock time (in seconds):10.159
10.64/10.26	o 66
10.74/10.33	c cleaning 6430 clauses out of 12869 with flag 2000/307414
10.94/10.53	c cleaning 6213 clauses out of 12440 with flag 8001/313415
11.14/10.78	c cleaning 6605 clauses out of 13227 with flag 15001/320415
11.45/11.05	c cleaning 7304 clauses out of 14621 with flag 23000/328414
11.74/11.35	c cleaning 8151 clauses out of 16317 with flag 32000/337414
12.04/11.67	c cleaning 9078 clauses out of 18166 with flag 42000/347414
12.45/12.03	c cleaning 9540 clauses out of 19089 with flag 52001/357415
12.74/12.36	c cleaning 9769 clauses out of 19548 with flag 62000/367414
13.04/12.68	c cleaning 9883 clauses out of 19779 with flag 72000/377414
13.44/13.00	c cleaning 9945 clauses out of 19897 with flag 82001/387415
13.74/13.32	c cleaning 9970 clauses out of 19951 with flag 92000/397414
14.04/13.65	c cleaning 9983 clauses out of 19981 with flag 102000/407414
14.35/14.00	c cleaning 9992 clauses out of 19998 with flag 112000/417414
14.75/14.35	c cleaning 10003 clauses out of 20009 with flag 122003/427417
15.05/14.69	c cleaning 9997 clauses out of 20003 with flag 132000/437414
15.45/15.04	c cleaning 9998 clauses out of 20006 with flag 142000/447414
15.78/15.39	c cleaning 10003 clauses out of 20009 with flag 152001/457415
16.17/15.73	c cleaning 9997 clauses out of 20006 with flag 162001/467415
16.57/16.11	c cleaning 10001 clauses out of 20012 with flag 172004/477418
16.88/16.46	c cleaning 9998 clauses out of 20008 with flag 182001/487415
17.17/16.77	c cleaning 10000 clauses out of 20012 with flag 192003/497417
17.47/17.09	c cleaning 10001 clauses out of 20009 with flag 202000/507414
17.88/17.42	c cleaning 9999 clauses out of 20008 with flag 212000/517414
18.18/17.76	c cleaning 10001 clauses out of 20012 with flag 222003/527417
18.48/18.09	c cleaning 9997 clauses out of 20009 with flag 232001/537415
18.88/18.41	c cleaning 10000 clauses out of 20012 with flag 242001/547415
19.19/18.74	c cleaning 10004 clauses out of 20012 with flag 252001/557415
19.48/19.06	c cleaning 10000 clauses out of 20007 with flag 262000/567414
19.78/19.39	c cleaning 9996 clauses out of 20007 with flag 272000/577414
20.18/19.72	c cleaning 10000 clauses out of 20011 with flag 282000/587414
20.48/20.03	c cleaning 10001 clauses out of 20011 with flag 292000/597414
20.78/20.35	c cleaning 10001 clauses out of 20010 with flag 302000/607414
21.08/20.69	c cleaning 10000 clauses out of 20009 with flag 312000/617414
21.48/21.03	c cleaning 10000 clauses out of 20010 with flag 322001/627415
21.78/21.37	c cleaning 9998 clauses out of 20009 with flag 332000/637414
22.19/21.71	c cleaning 10002 clauses out of 20011 with flag 342000/647414
22.49/22.05	c cleaning 10001 clauses out of 20009 with flag 352000/657414
22.79/22.40	c cleaning 10001 clauses out of 20009 with flag 362001/667415
23.19/22.73	c cleaning 9999 clauses out of 20007 with flag 372000/677414
23.51/23.06	c cleaning 10003 clauses out of 20009 with flag 382001/687415
23.80/23.37	c cleaning 10000 clauses out of 20006 with flag 392001/697415
24.20/23.71	c cleaning 9998 clauses out of 20009 with flag 402004/707418
24.50/24.07	c cleaning 10001 clauses out of 20007 with flag 412000/717414
24.90/24.42	c cleaning 10000 clauses out of 20006 with flag 422000/727414
25.20/24.75	c cleaning 9998 clauses out of 20006 with flag 432000/737414
25.51/25.08	c cleaning 9999 clauses out of 20011 with flag 442003/747417
25.91/25.47	c cleaning 10000 clauses out of 20012 with flag 452003/757417
26.31/25.85	c cleaning 9998 clauses out of 20010 with flag 462001/767415
26.71/26.22	c cleaning 10000 clauses out of 20011 with flag 472000/777414
27.01/26.59	c cleaning 10001 clauses out of 20011 with flag 482000/787414
27.41/26.92	c cleaning 9996 clauses out of 20010 with flag 492000/797414
27.71/27.29	c cleaning 10003 clauses out of 20015 with flag 502001/807415
27.81/27.34	c Got one! Elapsed wall clock time (in seconds):27.241
27.81/27.34	o 64
27.91/27.48	c cleaning 7844 clauses out of 15698 with flag 4000/813101
28.21/27.72	c cleaning 6925 clauses out of 13856 with flag 10002/819103
28.41/27.98	c cleaning 6960 clauses out of 13929 with flag 17000/826101
28.71/28.27	c cleaning 7476 clauses out of 14970 with flag 25001/834102
29.02/28.60	c cleaning 8245 clauses out of 16495 with flag 34002/843103
29.41/28.99	c cleaning 9122 clauses out of 18248 with flag 44000/853101
29.81/29.37	c cleaning 9558 clauses out of 19126 with flag 54000/863101
30.22/29.75	c cleaning 9781 clauses out of 19568 with flag 64000/873101
30.61/30.14	c cleaning 9889 clauses out of 19787 with flag 74000/883101
31.02/30.53	c cleaning 9946 clauses out of 19898 with flag 84000/893101
31.32/30.88	c cleaning 9973 clauses out of 19952 with flag 94000/903101
31.71/31.26	c cleaning 9984 clauses out of 19979 with flag 104000/913101
32.11/31.61	c cleaning 9988 clauses out of 19996 with flag 114001/923102
32.42/31.99	c cleaning 9998 clauses out of 20008 with flag 124001/933102
32.82/32.37	c cleaning 9993 clauses out of 20009 with flag 134000/943101
33.22/32.72	c cleaning 10003 clauses out of 20016 with flag 144000/953101
33.52/33.08	c cleaning 10002 clauses out of 20013 with flag 154000/963101
33.92/33.49	c cleaning 9997 clauses out of 20011 with flag 164000/973101
34.32/33.87	c cleaning 10002 clauses out of 20015 with flag 174001/983102
34.72/34.24	c cleaning 9995 clauses out of 20012 with flag 184000/993101
35.12/34.61	c cleaning 10006 clauses out of 20019 with flag 194002/1003103
35.42/34.97	c cleaning 10002 clauses out of 20011 with flag 204000/1013101
35.82/35.34	c cleaning 10002 clauses out of 20009 with flag 214000/1023101
36.12/35.69	c cleaning 9998 clauses out of 20007 with flag 224000/1033101
36.53/36.05	c cleaning 10001 clauses out of 20010 with flag 234001/1043102
36.93/36.42	c cleaning 9998 clauses out of 20010 with flag 244002/1053103
37.23/36.78	c cleaning 10002 clauses out of 20011 with flag 254001/1063102
37.63/37.14	c cleaning 9996 clauses out of 20008 with flag 264000/1073101
38.03/37.50	c cleaning 10002 clauses out of 20013 with flag 274001/1083102
38.33/37.84	c cleaning 10001 clauses out of 20012 with flag 284002/1093103
38.73/38.20	c cleaning 10001 clauses out of 20009 with flag 294000/1103101
39.04/38.56	c cleaning 10002 clauses out of 20011 with flag 304003/1113104
39.43/38.95	c cleaning 9999 clauses out of 20007 with flag 314001/1123102
39.83/39.31	c cleaning 9998 clauses out of 20008 with flag 324001/1133102
40.14/39.67	c cleaning 9993 clauses out of 20009 with flag 334000/1143101
40.53/40.04	c cleaning 10004 clauses out of 20016 with flag 344000/1153101
40.93/40.41	c cleaning 10001 clauses out of 20012 with flag 354000/1163101
41.24/40.79	c cleaning 10002 clauses out of 20012 with flag 364001/1173102
41.63/41.15	c cleaning 10001 clauses out of 20009 with flag 374000/1183101
41.74/41.23	c Got one! Elapsed wall clock time (in seconds):41.123
41.74/41.23	o 59
41.84/41.33	c cleaning 7519 clauses out of 15048 with flag 3001/1188141
42.04/41.55	c cleaning 6760 clauses out of 13529 with flag 9001/1194141
42.34/41.81	c cleaning 6881 clauses out of 13769 with flag 16001/1201141
42.64/42.10	c cleaning 7439 clauses out of 14887 with flag 24000/1209140
42.94/42.44	c cleaning 8222 clauses out of 16450 with flag 33002/1218142
43.35/42.80	c cleaning 9109 clauses out of 18229 with flag 43003/1228143
43.65/43.19	c cleaning 9555 clauses out of 19117 with flag 53000/1238140
44.05/43.56	c cleaning 9774 clauses out of 19562 with flag 63000/1248140
44.46/43.95	c cleaning 9889 clauses out of 19788 with flag 73000/1258140
44.85/44.34	c cleaning 9947 clauses out of 19903 with flag 83004/1268144
45.25/44.72	c cleaning 9971 clauses out of 19952 with flag 93000/1278140
45.66/45.12	c cleaning 9987 clauses out of 19981 with flag 103000/1288140
46.05/45.55	c cleaning 9991 clauses out of 19995 with flag 113001/1298141
46.45/45.94	c cleaning 9999 clauses out of 20003 with flag 123000/1308140
46.85/46.31	c cleaning 10000 clauses out of 20010 with flag 133006/1318146
47.15/46.66	c cleaning 9998 clauses out of 20005 with flag 143001/1328141
47.55/47.06	c cleaning 9996 clauses out of 20008 with flag 153002/1338142
47.95/47.44	c cleaning 9998 clauses out of 20010 with flag 163000/1348140
48.36/47.82	c cleaning 10001 clauses out of 20012 with flag 173000/1358140
48.66/48.20	c cleaning 10002 clauses out of 20011 with flag 183000/1368140
49.06/48.55	c cleaning 10000 clauses out of 20009 with flag 193000/1378140
49.46/48.93	c cleaning 10001 clauses out of 20009 with flag 203000/1388140
49.86/49.31	c cleaning 9999 clauses out of 20009 with flag 213001/1398141
50.16/49.66	c cleaning 9999 clauses out of 20009 with flag 223000/1408140
50.56/50.07	c cleaning 10002 clauses out of 20011 with flag 233001/1418141
50.96/50.43	c cleaning 10000 clauses out of 20008 with flag 243000/1428140
51.37/50.80	c cleaning 10004 clauses out of 20009 with flag 253001/1438141
51.67/51.15	c cleaning 10000 clauses out of 20007 with flag 263003/1448143
52.07/51.52	c cleaning 9996 clauses out of 20005 with flag 273001/1458141
52.47/51.91	c cleaning 9999 clauses out of 20009 with flag 283001/1468141
52.78/52.27	c cleaning 9998 clauses out of 20010 with flag 293001/1478141
53.18/52.63	c cleaning 10001 clauses out of 20011 with flag 303000/1488140
53.48/52.99	c cleaning 9999 clauses out of 20010 with flag 313000/1498140
53.88/53.34	c cleaning 10001 clauses out of 20012 with flag 323001/1508141
54.28/53.70	c cleaning 9998 clauses out of 20010 with flag 333000/1518140
54.58/54.09	c cleaning 9998 clauses out of 20012 with flag 343000/1528140
54.98/54.45	c cleaning 10001 clauses out of 20014 with flag 353000/1538140
55.38/54.80	c cleaning 9999 clauses out of 20014 with flag 363001/1548141
55.68/55.17	c cleaning 9999 clauses out of 20014 with flag 373000/1558140
56.08/55.54	c cleaning 10001 clauses out of 20015 with flag 383000/1568140
56.38/55.89	c cleaning 10003 clauses out of 20015 with flag 393001/1578141
56.78/56.27	c cleaning 10002 clauses out of 20013 with flag 403002/1588142
57.18/56.64	c cleaning 10001 clauses out of 20009 with flag 413000/1598140
57.58/57.02	c cleaning 10002 clauses out of 20009 with flag 423001/1608141
58.02/57.42	c cleaning 10000 clauses out of 20006 with flag 433000/1618140
58.81/57.80	c cleaning 9999 clauses out of 20006 with flag 443001/1628141
59.12/58.16	c cleaning 10002 clauses out of 20008 with flag 453002/1638142
59.52/58.54	c cleaning 9999 clauses out of 20005 with flag 463002/1648142
59.62/58.61	c starts		: 223
59.62/58.61	c conflicts		: 1649888
59.62/58.61	c decisions		: 2574970
59.62/58.61	c propagations		: 37507350
59.62/58.61	c inspects		: 320992753
59.62/58.61	c shortcuts		: 0
59.62/58.61	c learnt literals	: 8
59.62/58.61	c learnt binary clauses	: 31
59.62/58.61	c learnt ternary clauses	: 846
59.62/58.61	c learnt constraints	: 1649879
59.62/58.61	c ignored constraints	: 0
59.62/58.61	c root simplifications	: 0
59.62/58.61	c removed literals (reason simplification)	: 12577505
59.62/58.61	c reason swapping (by a shorter reason)	: 0
59.62/58.61	c Calls to reduceDB	: 178
59.62/58.61	c number of reductions to clauses (during analyze)	: 0
59.62/58.61	c number of learned constraints concerned by reduction	: 0
59.62/58.61	c number of learning phase by resolution	: 0
59.62/58.61	c number of learning phase by cutting planes	: 0
59.62/58.61	c speed (assignments/second)	: 2157827.062478426
59.62/58.61	c non guided choices	840
59.62/58.61	c learnt constraints type 
59.62/58.61	c constraints type 
59.62/58.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
59.62/58.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
59.62/58.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
59.62/58.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
59.62/58.61	s OPTIMUM FOUND
59.62/58.61	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 
59.62/58.61	c objective function=59
59.62/58.61	c Total wall clock time (in seconds): 58.506

Verifier Data 

OK	59

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-3492548-1307909952/watcher-3492548-1307909952 -o /tmp/evaluation-result-3492548-1307909952/solver-3492548-1307909952 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492548-1307909952.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: 1.90 1.97 1.91 2/195 19872
/proc/meminfo: memFree=7998068/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 981225827 31272960 960 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 7635 960 732 9 0 386 0
[pid=19872/tid=19873] ppid=19870 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) S 19870 19872 18184 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 981225828 31268864 963 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224280002183 0 2147483391 0 16784584 18446744071699199166 0 0 -1 4 0 0 0

[startup+0.061558 s]
/proc/loadavg: 1.90 1.97 1.91 2/195 19872
/proc/meminfo: memFree=7998068/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10472924 CPUtime=0.05 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 11706 0 1 0 4 1 0 0 25 0 18 0 981225827 10724274176 11402 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2618231 11402 1733 9 0 2608972 0
[pid=19872/tid=19873] ppid=19870 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 10533 0 1 0 4 1 0 0 25 0 18 0 981225828 10724302848 11405 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912504011048 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924

[startup+0.100579 s]
/proc/loadavg: 1.90 1.97 1.91 2/195 19872
/proc/meminfo: memFree=7998068/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10540128 CPUtime=0.1 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 13124 0 1 0 9 1 0 0 25 0 18 0 981225827 10793091072 12820 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2635032 12823 2092 9 0 2625766 0
[pid=19872/tid=19873] ppid=19870 vsize=10540128 CPUtime=0.08 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 11208 0 1 0 7 1 0 0 18 0 18 0 981225828 10793091072 12823 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 47626046858776 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540128

[startup+0.300544 s]
/proc/loadavg: 1.90 1.97 1.91 2/195 19872
/proc/meminfo: memFree=7998068/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10544824 CPUtime=0.56 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 16225 0 1 0 54 2 0 0 25 0 19 0 981225827 10797899776 14887 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2636206 14887 2215 9 0 2626940 0
[pid=19872/tid=19873] ppid=19870 vsize=10544824 CPUtime=0.28 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 11776 0 1 0 27 1 0 0 18 0 19 0 981225828 10797899776 14887 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505552864 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10544824

[startup+0.700484 s]
/proc/loadavg: 1.90 1.97 1.91 2/195 19872
/proc/meminfo: memFree=7998068/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10544824 CPUtime=1.06 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 17520 0 1 0 104 2 0 0 25 0 19 0 981225827 10797899776 15874 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2636206 15874 2247 9 0 2626940 0
[pid=19872/tid=19873] ppid=19870 vsize=10544824 CPUtime=0.65 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 11994 0 1 0 64 1 0 0 18 0 19 0 981225828 10797899776 15874 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505597586 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 10544824

[startup+1.5013 s]
/proc/loadavg: 1.91 1.97 1.91 3/214 19891
/proc/meminfo: memFree=7943072/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10544824 CPUtime=1.89 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 17770 0 1 0 187 2 0 0 25 0 19 0 981225827 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2636206 15980 2248 9 0 2626940 0
[pid=19872/tid=19873] ppid=19870 vsize=10544824 CPUtime=1.4 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 11996 0 1 0 139 1 0 0 18 0 19 0 981225828 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505514087 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19872/tid=19875] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 91 0 0 0 0 0 0 0 16 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10544824 CPUtime=0.07 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 388 0 0 0 7 0 0 0 15 0 19 0 981225830 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10544824 CPUtime=0.18 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19870 19872 18184 0 -1 4202560 1830 0 0 0 18 0 0 0 15 0 19 0 981225833 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10544824 CPUtime=0.21 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 1943 0 0 0 21 0 0 0 20 0 19 0 981225833 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19889] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19890] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19890/stat : 19890 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981225833 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19891] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981225844 10797899776 15980 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 10544824

[startup+3.10109 s]
/proc/loadavg: 1.91 1.97 1.91 3/214 19891
/proc/meminfo: memFree=7941836/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10544824 CPUtime=3.5 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 17962 0 1 0 348 2 0 0 25 0 19 0 981225827 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2636206 16164 2248 9 0 2626940 0
[pid=19872/tid=19873] ppid=19870 vsize=10544824 CPUtime=2.89 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 12005 0 1 0 288 1 0 0 20 0 19 0 981225828 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505626822 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19872/tid=19875] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 152 0 0 0 0 0 0 0 16 0 19 0 981225829 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10544824 CPUtime=0.17 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 520 0 0 0 17 0 0 0 15 0 19 0 981225830 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10544824 CPUtime=0.18 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19870 19872 18184 0 -1 4202560 1830 0 0 0 18 0 0 0 15 0 19 0 981225833 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10544824 CPUtime=0.22 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 1943 0 0 0 22 0 0 0 18 0 19 0 981225833 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19889] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19890] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19890/stat : 19890 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981225833 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19891] ppid=19870 vsize=10544824 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981225844 10797899776 16164 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10544824

[startup+6.30153 s]
/proc/loadavg: 1.91 1.97 1.91 3/214 19891
/proc/meminfo: memFree=7940456/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10544160 CPUtime=6.71 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 18065 0 1 0 669 2 0 0 25 0 19 0 981225827 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2636040 16131 2248 9 0 2626774 0
[pid=19872/tid=19873] ppid=19870 vsize=10544160 CPUtime=5.92 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 12018 0 1 0 591 1 0 0 19 0 19 0 981225828 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505592524 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19872/tid=19875] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10544160 CPUtime=0.01 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 94 0 0 0 1 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 981225829 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10544160 CPUtime=0.32 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 605 0 0 0 32 0 0 0 15 0 19 0 981225830 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10544160 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10544160 CPUtime=0.18 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19870 19872 18184 0 -1 4202560 1830 0 0 0 18 0 0 0 15 0 19 0 981225833 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10544160 CPUtime=0.22 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 1943 0 0 0 22 0 0 0 18 0 19 0 981225833 10797219840 16131 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0

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

/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 154 0 0 0 5 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10561752 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 97 0 0 0 5 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10561752 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 20 0 0 0 4 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10561752 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10561752 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10561752 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 98 0 0 0 4 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10561752 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10561752 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 981225829 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10561752 CPUtime=2.34 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 1013 0 0 0 232 2 0 0 15 0 19 0 981225830 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10561752 CPUtime=0.28 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) R 19870 19872 18184 0 -1 4202560 6682 0 0 0 28 0 0 0 15 0 19 0 981225833 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 47626042676513 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10561752 CPUtime=0.27 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 2442 0 0 0 27 0 0 0 15 0 19 0 981225833 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19889] ppid=19870 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19890] ppid=19870 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19890/stat : 19890 (java) S 19870 19872 18184 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981225833 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19891] ppid=19870 vsize=10561752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981225844 10815234048 19959 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 58.22
Current children cumulated vsize (KiB) 10561752

[startup+58.3069 s]
/proc/loadavg: 2.02 1.99 1.92 3/214 20007
/proc/meminfo: memFree=7896296/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10558500 CPUtime=59.33 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 25236 0 1 0 5927 6 0 0 25 0 19 0 981225827 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2639625 20685 2251 9 0 2630359 0
[pid=19872/tid=19873] ppid=19870 vsize=10558500 CPUtime=55.66 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 12170 0 1 0 5564 2 0 0 25 0 19 0 981225828 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505553084 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19872/tid=19875] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 154 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 97 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 20 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 98 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10558500 CPUtime=2.37 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 1013 0 0 0 235 2 0 0 15 0 19 0 981225830 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10558500 CPUtime=0.56 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19870 19872 18184 0 -1 4202560 7551 0 0 0 56 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10558500 CPUtime=0.3 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 2787 0 0 0 30 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19889] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19890] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19890/stat : 19890 (java) S 19870 19872 18184 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19891] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981225844 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 59.33
Current children cumulated vsize (KiB) 10558500

[startup+58.5008 s]
/proc/loadavg: 2.02 1.99 1.92 3/214 20007
/proc/meminfo: memFree=7896296/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10558500 CPUtime=59.52 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 25236 0 1 0 5946 6 0 0 25 0 19 0 981225827 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2639625 20685 2251 9 0 2630359 0
[pid=19872/tid=19873] ppid=19870 vsize=10558500 CPUtime=55.85 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 12170 0 1 0 5583 2 0 0 25 0 19 0 981225828 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505522730 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19872/tid=19875] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 154 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 97 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 20 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 98 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10558500 CPUtime=2.37 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 1013 0 0 0 235 2 0 0 15 0 19 0 981225830 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10558500 CPUtime=0.56 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19870 19872 18184 0 -1 4202560 7551 0 0 0 56 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10558500 CPUtime=0.3 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 2787 0 0 0 30 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19889] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19890] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19890/stat : 19890 (java) S 19870 19872 18184 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19891] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981225844 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 59.52
Current children cumulated vsize (KiB) 10558500

[startup+58.6008 s]
/proc/loadavg: 2.02 1.99 1.92 3/214 20007
/proc/meminfo: memFree=7896296/32951124 swapFree=67049472/67111528
[pid=19872] ppid=19870 vsize=10558500 CPUtime=59.62 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19870 19872 18184 0 -1 4202496 25237 0 1 0 5956 6 0 0 25 0 19 0 981225827 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19872/statm: 2639625 20685 2251 9 0 2630359 0
[pid=19872/tid=19873] ppid=19870 vsize=10558500 CPUtime=55.94 cores=0,2,4,6
/proc/19872/task/19873/stat : 19873 (java) R 19870 19872 18184 0 -1 4202560 12171 0 1 0 5592 2 0 0 18 0 19 0 981225828 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 46912505522675 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19872/tid=19875] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19870 19872 18184 0 -1 4202560 154 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19876] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19870 19872 18184 0 -1 4202560 97 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19877] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19870 19872 18184 0 -1 4202560 20 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19878] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19870 19872 18184 0 -1 4202560 13 0 0 0 5 0 0 0 16 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19879] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 16 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19880] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19870 19872 18184 0 -1 4202560 98 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 6 0 0 0
[pid=19872/tid=19881] ppid=19870 vsize=10558500 CPUtime=0.04 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19882] ppid=19870 vsize=10558500 CPUtime=0.05 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19870 19872 18184 0 -1 4202560 158 0 0 0 5 0 0 0 15 0 19 0 981225829 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19883] ppid=19870 vsize=10558500 CPUtime=2.38 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19870 19872 18184 0 -1 4202560 1013 0 0 0 236 2 0 0 15 0 19 0 981225830 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 0 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19884] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19870 19872 18184 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 981225831 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19885] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19870 19872 18184 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 981225831 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19886] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296749489 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19887] ppid=19870 vsize=10558500 CPUtime=0.56 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19870 19872 18184 0 -1 4202560 7551 0 0 0 56 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 2 0 0 0
[pid=19872/tid=19888] ppid=19870 vsize=10558500 CPUtime=0.3 cores=0,2,4,6
/proc/19872/task/19888/stat : 19888 (java) S 19870 19872 18184 0 -1 4202560 2787 0 0 0 30 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19889] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19870 19872 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296741785 0 4 0 16800975 18446604453905187008 0 0 -1 4 0 0 0
[pid=19872/tid=19890] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19890/stat : 19890 (java) S 19870 19872 18184 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981225833 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
[pid=19872/tid=19891] ppid=19870 vsize=10558500 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19870 19872 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981225844 10811904000 20685 33554432000 1073741824 1073778376 140736992528832 18446744073709551615 224296742400 0 4 0 16800975 18446604453905187008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (KiB) 10558500

Child status: 30
Real time (s): 58.6183
CPU time (s): 59.6509
CPU user time (s): 59.5769
CPU system time (s): 0.073988
CPU usage (%): 101.762
Max. virtual memory (cumulated for all children) (KiB): 10563556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.5769
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25257
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= 5946
involuntary context switches= 2929

runsolver used 0.123981 second user time and 0.208968 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-12 22:19:12
IDJOB=3492548
IDBENCH=78875
IDSOLVER=1982
FILE ID=node118/3492548-1307909952
RUNJOBID= node118-1307908120-19537
PBS_JOBID= 13559604
Free space on /tmp= 18216 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492548-1307909952/watcher-3492548-1307909952 -o /tmp/evaluation-result-3492548-1307909952/solver-3492548-1307909952 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492548-1307909952.wbo

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

MD5SUM BENCH= d1941e1c80c188b3aa73f66a6e35e5a0
RANDOM SEED=1279230291

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:       7998480 kB
Buffers:         70892 kB
Cached:       24011980 kB
SwapCached:      14020 kB
Active:        8942868 kB
Inactive:     15218100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7998480 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:            1056 kB
Writeback:           4 kB
AnonPages:       76880 kB
Mapped:          17308 kB
Slab:           727152 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10549772 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= 18216 MiB
End job on node118 at 2011-06-12 22:20:10