Trace number 3492504

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 182.918 181.53

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-33-100-0.wbo
MD5SUM9e79fcc5962892fd65131f45b2c5bc52
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.664898
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 constraints64
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 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1266
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		9996466904
0.08/0.09	c Max memory 		10048897024
0.08/0.09	c Total memory 		10048897024
0.08/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492504-1307909915.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c #vars     233
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 => 30
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
0.27/0.26	c SATISFIABLE
0.27/0.26	c OPTIMIZING...
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.152
0.27/0.26	o 516
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.18
0.27/0.29	o 451
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.217
0.53/0.32	o 394
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.282
0.53/0.39	o 372
0.78/0.55	c cleaning 3749 clauses out of 7504 with flag 4001/7504
0.91/0.66	c Got one! Elapsed wall clock time (in seconds):0.548
0.91/0.66	o 367
1.04/0.75	c cleaning 4474 clauses out of 8967 with flag 3000/12716
1.13/0.89	c Got one! Elapsed wall clock time (in seconds):0.779
1.13/0.89	o 342
1.23/0.98	c cleaning 4805 clauses out of 9615 with flag 2000/17838
1.34/1.07	c Got one! Elapsed wall clock time (in seconds):0.965
1.34/1.07	o 311
1.44/1.18	c cleaning 5064 clauses out of 10133 with flag 3000/23161
1.76/1.42	c cleaning 5527 clauses out of 11069 with flag 9000/29161
1.96/1.63	c Got one! Elapsed wall clock time (in seconds):1.526
1.96/1.63	o 294
2.16/1.82	c cleaning 8102 clauses out of 16215 with flag 5001/39834
2.26/1.99	c Got one! Elapsed wall clock time (in seconds):1.885
2.26/1.99	o 277
2.36/2.08	c cleaning 6904 clauses out of 13816 with flag 2000/45537
2.57/2.29	c cleaning 6453 clauses out of 12913 with flag 8001/51538
2.86/2.58	c cleaning 6727 clauses out of 13463 with flag 15004/58541
3.16/2.89	c cleaning 7364 clauses out of 14734 with flag 23002/66539
3.57/3.28	c cleaning 8181 clauses out of 16369 with flag 32001/75538
4.06/3.74	c cleaning 9089 clauses out of 18187 with flag 42000/85537
4.57/4.20	c cleaning 9537 clauses out of 19098 with flag 52000/95537
4.57/4.23	c Got one! Elapsed wall clock time (in seconds):4.123
4.57/4.23	o 251
4.77/4.41	c cleaning 7490 clauses out of 14990 with flag 5000/100966
4.97/4.60	c cleaning 6745 clauses out of 13500 with flag 11000/106966
5.17/4.84	c cleaning 6874 clauses out of 13756 with flag 18001/113967
5.17/4.87	c Got one! Elapsed wall clock time (in seconds):4.76
5.17/4.87	o 216
5.37/5.03	c cleaning 6131 clauses out of 12265 with flag 5001/119350
5.57/5.23	c cleaning 6061 clauses out of 12133 with flag 11000/125349
5.78/5.48	c cleaning 6531 clauses out of 13072 with flag 18000/132349
6.07/5.74	c cleaning 7263 clauses out of 14542 with flag 26001/140350
6.37/6.07	c cleaning 8136 clauses out of 16279 with flag 35001/149350
6.88/6.52	c cleaning 9062 clauses out of 18142 with flag 45000/159349
6.98/6.66	c Got one! Elapsed wall clock time (in seconds):6.554
6.98/6.66	o 212
7.07/6.76	c cleaning 7317 clauses out of 14640 with flag 3002/164909
7.28/6.99	c cleaning 6659 clauses out of 13323 with flag 9002/170909
7.48/7.13	c Got one! Elapsed wall clock time (in seconds):7.024
7.48/7.13	o 180
7.48/7.17	c cleaning 5904 clauses out of 11814 with flag 1001/176059
7.68/7.39	c cleaning 5951 clauses out of 11909 with flag 7000/182058
7.99/7.64	c cleaning 6476 clauses out of 12961 with flag 14003/189061
8.28/7.93	c cleaning 7239 clauses out of 14483 with flag 22001/197059
8.39/8.07	c Got one! Elapsed wall clock time (in seconds):7.959
8.39/8.07	o 153
8.49/8.14	c cleaning 6609 clauses out of 13230 with flag 2001/203045
8.70/8.37	c cleaning 6300 clauses out of 12620 with flag 8000/209044
9.00/8.62	c cleaning 6657 clauses out of 13321 with flag 15001/216045
9.30/8.94	c cleaning 7327 clauses out of 14665 with flag 23002/224046
9.70/9.33	c cleaning 8163 clauses out of 16338 with flag 32002/233046
10.10/9.77	c cleaning 9081 clauses out of 18173 with flag 42000/243044
10.40/10.01	c Got one! Elapsed wall clock time (in seconds):9.904
10.40/10.01	o 142
10.40/10.05	c cleaning 7449 clauses out of 14915 with flag 1000/248867
10.60/10.29	c cleaning 6728 clauses out of 13467 with flag 7001/254868
10.90/10.54	c cleaning 6869 clauses out of 13743 with flag 14005/261872
11.20/10.85	c cleaning 7434 clauses out of 14869 with flag 22000/269867
11.60/11.21	c cleaning 8212 clauses out of 16437 with flag 31002/278869
11.60/11.29	c Got one! Elapsed wall clock time (in seconds):11.181
11.60/11.29	o 138
11.71/11.39	c cleaning 6765 clauses out of 13540 with flag 3001/284184
11.91/11.59	c cleaning 6382 clauses out of 12774 with flag 9000/290183
12.21/11.83	c cleaning 6688 clauses out of 13392 with flag 16000/297183
12.42/12.10	c cleaning 7350 clauses out of 14705 with flag 24001/305184
12.82/12.41	c cleaning 8172 clauses out of 16354 with flag 33000/314183
13.12/12.79	c cleaning 9085 clauses out of 18182 with flag 43000/324183
13.52/13.19	c cleaning 9545 clauses out of 19098 with flag 53001/334184
14.02/13.62	c cleaning 9771 clauses out of 19552 with flag 63000/344183
14.32/13.91	c Got one! Elapsed wall clock time (in seconds):13.8
14.32/13.91	o 135
14.52/14.11	c cleaning 10711 clauses out of 21428 with flag 5003/355830
14.73/14.35	c cleaning 8353 clauses out of 16714 with flag 11000/361827
15.02/14.61	c cleaning 7678 clauses out of 15361 with flag 18000/368827
15.32/14.97	c cleaning 7839 clauses out of 15685 with flag 26002/376829
15.73/15.36	c cleaning 8418 clauses out of 16844 with flag 35000/385827
16.22/15.82	c cleaning 9209 clauses out of 18427 with flag 45001/395828
16.65/16.26	c cleaning 9601 clauses out of 19217 with flag 55000/405827
17.15/16.72	c cleaning 9803 clauses out of 19618 with flag 65002/415829
17.55/17.16	c cleaning 9899 clauses out of 19813 with flag 75000/425827
18.06/17.61	c cleaning 9951 clauses out of 19915 with flag 85001/435828
18.45/18.03	c cleaning 9981 clauses out of 19963 with flag 95000/445827
18.75/18.38	c cleaning 9987 clauses out of 19982 with flag 105000/455827
19.16/18.78	c cleaning 9991 clauses out of 19995 with flag 115000/465827
19.55/19.17	c cleaning 9996 clauses out of 20004 with flag 125000/475827
19.95/19.55	c cleaning 9999 clauses out of 20009 with flag 135001/485828
20.35/19.93	c cleaning 9996 clauses out of 20009 with flag 145000/495827
20.75/20.33	c cleaning 10001 clauses out of 20013 with flag 155000/505827
21.15/20.75	c cleaning 9999 clauses out of 20013 with flag 165001/515828
21.36/20.97	c Got one! Elapsed wall clock time (in seconds):20.867
21.36/20.97	o 117
21.56/21.18	c cleaning 10267 clauses out of 20540 with flag 5002/526354
21.86/21.41	c cleaning 8133 clauses out of 16274 with flag 11003/532355
22.06/21.67	c cleaning 7564 clauses out of 15138 with flag 18000/539352
22.37/21.97	c cleaning 7782 clauses out of 15574 with flag 26000/547352
22.76/22.35	c cleaning 8394 clauses out of 16796 with flag 35004/556356
23.26/22.85	c cleaning 9193 clauses out of 18398 with flag 45000/566352
23.66/23.29	c cleaning 9599 clauses out of 19207 with flag 55002/576354
24.17/23.73	c cleaning 9797 clauses out of 19606 with flag 65000/586352
24.57/24.16	c cleaning 9900 clauses out of 19810 with flag 75001/596353
24.97/24.54	c cleaning 9949 clauses out of 19909 with flag 85000/606352
25.37/24.94	c cleaning 9972 clauses out of 19960 with flag 95000/616352
25.79/25.39	c cleaning 9990 clauses out of 19989 with flag 105001/626353
26.28/25.85	c cleaning 9992 clauses out of 20000 with flag 115002/636354
26.79/26.30	c cleaning 10002 clauses out of 20011 with flag 125005/646357
27.18/26.73	c cleaning 9993 clauses out of 20004 with flag 135000/656352
27.59/27.15	c cleaning 10002 clauses out of 20012 with flag 145001/666353
28.09/27.62	c cleaning 10003 clauses out of 20013 with flag 155004/676356
28.49/28.03	c cleaning 10002 clauses out of 20009 with flag 165003/686355
28.89/28.45	c cleaning 9998 clauses out of 20005 with flag 175001/696353
29.29/28.87	c cleaning 9992 clauses out of 20006 with flag 185000/706352
29.79/29.30	c cleaning 10002 clauses out of 20014 with flag 195000/716352
30.20/29.77	c cleaning 10003 clauses out of 20016 with flag 205004/726356
30.69/30.23	c cleaning 9997 clauses out of 20010 with flag 215001/736353
31.09/30.67	c cleaning 10004 clauses out of 20013 with flag 225001/746353
31.49/31.07	c cleaning 10002 clauses out of 20009 with flag 235001/756353
31.89/31.47	c cleaning 9995 clauses out of 20006 with flag 245000/766352
32.30/31.88	c cleaning 9997 clauses out of 20012 with flag 255001/776353
32.70/32.28	c cleaning 10000 clauses out of 20015 with flag 265001/786353
33.10/32.70	c cleaning 10005 clauses out of 20014 with flag 275000/796352
33.60/33.11	c cleaning 9999 clauses out of 20009 with flag 285000/806352
34.00/33.53	c cleaning 10001 clauses out of 20012 with flag 295002/816354
34.40/33.96	c cleaning 9998 clauses out of 20009 with flag 305000/826352
34.91/34.42	c cleaning 10001 clauses out of 20012 with flag 315001/836353
35.31/34.85	c cleaning 10000 clauses out of 20010 with flag 325000/846352
35.81/35.32	c cleaning 9997 clauses out of 20013 with flag 335003/856355
36.21/35.75	c cleaning 10004 clauses out of 20013 with flag 345000/866352
36.61/36.19	c cleaning 9999 clauses out of 20010 with flag 355001/876353
37.11/36.64	c cleaning 10000 clauses out of 20010 with flag 365000/886352
37.51/37.08	c cleaning 9998 clauses out of 20010 with flag 375000/896352
38.01/37.53	c cleaning 9999 clauses out of 20012 with flag 385000/906352
38.42/37.94	c cleaning 10003 clauses out of 20013 with flag 395000/916352
38.82/38.35	c cleaning 10000 clauses out of 20011 with flag 405001/926353
39.22/38.77	c cleaning 10001 clauses out of 20010 with flag 415000/936352
39.72/39.22	c cleaning 9999 clauses out of 20009 with flag 425000/946352
40.13/39.66	c cleaning 10002 clauses out of 20010 with flag 435000/956352
40.62/40.12	c cleaning 10001 clauses out of 20010 with flag 445002/966354
41.02/40.55	c cleaning 9997 clauses out of 20007 with flag 455000/976352
41.42/40.99	c cleaning 9994 clauses out of 20012 with flag 465002/986354
41.93/41.41	c cleaning 9998 clauses out of 20016 with flag 475000/996352
42.33/41.88	c cleaning 10005 clauses out of 20019 with flag 485001/1006353
42.83/42.32	c cleaning 10004 clauses out of 20016 with flag 495003/1016355
43.23/42.76	c cleaning 9998 clauses out of 20012 with flag 505003/1026355
43.73/43.20	c cleaning 10001 clauses out of 20011 with flag 515000/1036352
44.13/43.63	c cleaning 9999 clauses out of 20010 with flag 525000/1046352
44.54/44.06	c cleaning 10002 clauses out of 20011 with flag 535000/1056352
44.93/44.43	c cleaning 9988 clauses out of 20009 with flag 545000/1066352
45.33/44.82	c cleaning 10007 clauses out of 20023 with flag 555002/1076354
45.64/45.19	c cleaning 9999 clauses out of 20015 with flag 565001/1086353
46.13/45.60	c cleaning 10003 clauses out of 20016 with flag 575001/1096353
46.43/45.96	c cleaning 9998 clauses out of 20012 with flag 585000/1106352
46.83/46.35	c cleaning 10000 clauses out of 20015 with flag 595001/1116353
47.24/46.71	c cleaning 10003 clauses out of 20015 with flag 605001/1126353
47.54/47.09	c cleaning 9998 clauses out of 20011 with flag 615000/1136352
47.94/47.48	c cleaning 9999 clauses out of 20014 with flag 625001/1146353
48.34/47.86	c cleaning 10005 clauses out of 20015 with flag 635001/1156353
48.74/48.29	c cleaning 9998 clauses out of 20009 with flag 645000/1166352
49.24/48.73	c cleaning 10001 clauses out of 20012 with flag 655001/1176353
49.64/49.17	c cleaning 9999 clauses out of 20010 with flag 665000/1186352
50.05/49.58	c cleaning 9996 clauses out of 20012 with flag 675001/1196353
50.54/50.00	c cleaning 9995 clauses out of 20017 with flag 685002/1206354
50.94/50.46	c cleaning 10008 clauses out of 20022 with flag 695002/1216354
51.34/50.89	c cleaning 9999 clauses out of 20014 with flag 705002/1226354
51.84/51.31	c cleaning 10002 clauses out of 20014 with flag 715001/1236353
52.25/51.75	c cleaning 10002 clauses out of 20013 with flag 725002/1246354
52.65/52.15	c cleaning 10000 clauses out of 20009 with flag 735000/1256352
53.05/52.56	c cleaning 9997 clauses out of 20009 with flag 745000/1266352
53.45/52.95	c cleaning 10002 clauses out of 20013 with flag 755001/1276353
53.85/53.37	c cleaning 9998 clauses out of 20012 with flag 765002/1286354
54.25/53.79	c cleaning 10001 clauses out of 20013 with flag 775001/1296353
54.75/54.21	c cleaning 9999 clauses out of 20012 with flag 785001/1306353
55.15/54.62	c cleaning 9997 clauses out of 20012 with flag 795000/1316352
55.56/55.03	c cleaning 10005 clauses out of 20020 with flag 805005/1326357
55.95/55.45	c cleaning 9995 clauses out of 20011 with flag 815001/1336353
56.35/55.86	c cleaning 10006 clauses out of 20018 with flag 825003/1346355
56.85/56.30	c cleaning 9997 clauses out of 20009 with flag 835000/1356352
57.26/56.72	c cleaning 10001 clauses out of 20012 with flag 845000/1366352
57.66/57.16	c cleaning 10001 clauses out of 20011 with flag 855000/1376352
58.05/57.53	c cleaning 9998 clauses out of 20011 with flag 865001/1386353
58.46/57.92	c cleaning 10002 clauses out of 20013 with flag 875001/1396353
58.76/58.30	c cleaning 10002 clauses out of 20010 with flag 885000/1406352
59.26/58.73	c cleaning 9997 clauses out of 20008 with flag 895000/1416352
59.76/59.22	c cleaning 10000 clauses out of 20011 with flag 905000/1426352
60.17/59.69	c cleaning 10000 clauses out of 20012 with flag 915001/1436353
60.68/60.14	c cleaning 10001 clauses out of 20012 with flag 925001/1446353
61.08/60.58	c cleaning 10000 clauses out of 20010 with flag 935000/1456352
61.48/60.99	c cleaning 9991 clauses out of 20010 with flag 945000/1466352
61.98/61.41	c cleaning 10008 clauses out of 20019 with flag 955000/1476352
62.38/61.84	c cleaning 10005 clauses out of 20013 with flag 965002/1486354
62.78/62.28	c cleaning 9996 clauses out of 20006 with flag 975000/1496352
63.29/62.72	c cleaning 10002 clauses out of 20011 with flag 985001/1506353
63.68/63.15	c cleaning 9994 clauses out of 20008 with flag 995000/1516352
64.08/63.53	c cleaning 10003 clauses out of 20016 with flag 1005002/1526354
64.49/63.95	c cleaning 10002 clauses out of 20012 with flag 1015001/1536353
64.89/64.33	c cleaning 10001 clauses out of 20009 with flag 1025000/1546352
65.19/64.69	c cleaning 10000 clauses out of 20008 with flag 1035000/1556352
65.59/65.09	c cleaning 9998 clauses out of 20009 with flag 1045001/1566353
66.09/65.51	c cleaning 9998 clauses out of 20010 with flag 1055000/1576352
66.49/65.90	c cleaning 10000 clauses out of 20013 with flag 1065001/1586353
66.89/66.32	c cleaning 10004 clauses out of 20014 with flag 1075002/1596354
67.29/66.77	c cleaning 10001 clauses out of 20009 with flag 1085001/1606353
67.79/67.22	c cleaning 9999 clauses out of 20007 with flag 1095000/1616352
68.19/67.63	c cleaning 10001 clauses out of 20011 with flag 1105003/1626355
68.60/68.05	c cleaning 9995 clauses out of 20007 with flag 1115000/1636352
69.10/68.50	c cleaning 10001 clauses out of 20012 with flag 1125000/1646352
69.50/68.95	c cleaning 10000 clauses out of 20011 with flag 1135000/1656352
70.00/69.41	c cleaning 9992 clauses out of 20011 with flag 1145000/1666352
70.40/69.85	c cleaning 10005 clauses out of 20019 with flag 1155000/1676352
70.81/70.26	c cleaning 10000 clauses out of 20016 with flag 1165002/1686354
71.21/70.62	c cleaning 10002 clauses out of 20015 with flag 1175001/1696353
71.51/70.98	c Got one! Elapsed wall clock time (in seconds):70.875
71.51/70.98	o 102
71.71/71.19	c cleaning 12133 clauses out of 24272 with flag 5000/1710612
72.01/71.41	c cleaning 9067 clauses out of 18141 with flag 11002/1716614
72.21/71.66	c cleaning 8033 clauses out of 16072 with flag 18000/1723612
72.51/71.94	c cleaning 8017 clauses out of 16040 with flag 26001/1731613
72.91/72.31	c cleaning 8507 clauses out of 17023 with flag 35001/1740613
73.31/72.71	c cleaning 9248 clauses out of 18515 with flag 45000/1750612
73.71/73.13	c cleaning 9631 clauses out of 19269 with flag 55002/1760614
74.11/73.52	c cleaning 9815 clauses out of 19636 with flag 65000/1770612
74.51/73.92	c cleaning 9903 clauses out of 19821 with flag 75000/1780612
74.92/74.32	c cleaning 9954 clauses out of 19920 with flag 85002/1790614
75.22/74.69	c cleaning 9977 clauses out of 19966 with flag 95002/1800614
75.72/75.14	c cleaning 9989 clauses out of 19987 with flag 105000/1810612
76.12/75.56	c cleaning 9993 clauses out of 19999 with flag 115001/1820613
76.53/75.94	c cleaning 9997 clauses out of 20005 with flag 125000/1830612
76.92/76.32	c cleaning 10001 clauses out of 20012 with flag 135004/1840616
77.32/76.70	c cleaning 9999 clauses out of 20008 with flag 145001/1850613
77.72/77.12	c cleaning 10001 clauses out of 20009 with flag 155001/1860613
78.13/77.52	c cleaning 10002 clauses out of 20009 with flag 165002/1870614
78.43/77.89	c cleaning 9999 clauses out of 20009 with flag 175004/1880616
78.93/78.30	c cleaning 9994 clauses out of 20006 with flag 185000/1890612
79.33/78.70	c cleaning 10001 clauses out of 20012 with flag 195000/1900612
79.73/79.17	c cleaning 9997 clauses out of 20011 with flag 205000/1910612
80.13/79.59	c cleaning 10002 clauses out of 20014 with flag 215000/1920612
80.63/80.04	c cleaning 9998 clauses out of 20014 with flag 225002/1930614
81.03/80.47	c cleaning 10003 clauses out of 20015 with flag 235001/1940613
81.53/80.90	c cleaning 10001 clauses out of 20014 with flag 245003/1950615
81.94/81.32	c cleaning 9999 clauses out of 20010 with flag 255000/1960612
82.34/81.77	c cleaning 10001 clauses out of 20012 with flag 265001/1970613
82.84/82.22	c cleaning 9999 clauses out of 20012 with flag 275002/1980614
83.24/82.66	c cleaning 10002 clauses out of 20012 with flag 285001/1990613
83.64/83.09	c cleaning 9999 clauses out of 20011 with flag 295002/2000614
84.15/83.53	c cleaning 9998 clauses out of 20011 with flag 305001/2010613
84.54/83.92	c cleaning 10004 clauses out of 20016 with flag 315004/2020616
84.94/84.32	c cleaning 10000 clauses out of 20009 with flag 325001/2030613
85.35/84.74	c cleaning 9998 clauses out of 20008 with flag 335000/2040612
85.74/85.18	c cleaning 9998 clauses out of 20012 with flag 345002/2050614
86.25/85.63	c cleaning 10000 clauses out of 20013 with flag 355001/2060613
86.65/86.09	c cleaning 10001 clauses out of 20012 with flag 365000/2070612
87.15/86.51	c cleaning 10005 clauses out of 20014 with flag 375003/2080615
87.55/86.92	c cleaning 9996 clauses out of 20006 with flag 385000/2090612
87.95/87.35	c cleaning 9999 clauses out of 20011 with flag 395001/2100613
88.35/87.76	c cleaning 10003 clauses out of 20015 with flag 405004/2110616
88.85/88.21	c cleaning 9999 clauses out of 20009 with flag 415001/2120613
89.35/88.70	c cleaning 9998 clauses out of 20009 with flag 425000/2130612
89.76/89.15	c cleaning 9999 clauses out of 20011 with flag 435000/2140612
90.26/89.63	c cleaning 10002 clauses out of 20012 with flag 445000/2150612
90.66/90.09	c cleaning 9998 clauses out of 20010 with flag 455000/2160612
91.16/90.50	c cleaning 9995 clauses out of 20012 with flag 465000/2170612
91.46/90.89	c cleaning 10002 clauses out of 20018 with flag 475001/2180613
91.97/91.30	c cleaning 10002 clauses out of 20015 with flag 485000/2190612
92.36/91.73	c cleaning 10000 clauses out of 20013 with flag 495000/2200612
92.76/92.14	c cleaning 10003 clauses out of 20014 with flag 505001/2210613
93.16/92.56	c cleaning 10003 clauses out of 20012 with flag 515002/2220614
93.46/92.88	c Got one! Elapsed wall clock time (in seconds):92.775
93.46/92.88	o 91
93.76/93.11	c cleaning 11174 clauses out of 22353 with flag 5000/2232958
93.97/93.34	c cleaning 8585 clauses out of 17179 with flag 11000/2238958
94.27/93.60	c cleaning 7795 clauses out of 15595 with flag 18001/2245959
94.57/93.90	c cleaning 7894 clauses out of 15799 with flag 26000/2253958
94.87/94.26	c cleaning 8450 clauses out of 16907 with flag 35002/2262960
95.27/94.69	c cleaning 9222 clauses out of 18455 with flag 45000/2272958
95.67/95.09	c cleaning 9612 clauses out of 19233 with flag 55000/2282958
96.17/95.51	c cleaning 9805 clauses out of 19621 with flag 65000/2292958
96.67/96.03	c cleaning 9907 clauses out of 19817 with flag 75001/2302959
97.07/96.49	c cleaning 9945 clauses out of 19909 with flag 85000/2312958
97.57/96.92	c cleaning 9980 clauses out of 19964 with flag 95000/2322958
97.98/97.37	c cleaning 9984 clauses out of 19984 with flag 105000/2332958
98.38/97.78	c cleaning 9997 clauses out of 20001 with flag 115001/2342959
98.88/98.20	c cleaning 9998 clauses out of 20005 with flag 125002/2352960
99.28/98.67	c cleaning 9999 clauses out of 20006 with flag 135001/2362959
99.78/99.12	c cleaning 9998 clauses out of 20006 with flag 145000/2372958
100.28/99.61	c cleaning 10001 clauses out of 20008 with flag 155000/2382958
100.79/100.13	c cleaning 9998 clauses out of 20007 with flag 165000/2392958
101.18/100.58	c cleaning 10002 clauses out of 20011 with flag 175002/2402960
101.68/101.04	c cleaning 9998 clauses out of 20007 with flag 185000/2412958
102.09/101.49	c cleaning 10001 clauses out of 20009 with flag 195000/2422958
102.59/101.93	c cleaning 9999 clauses out of 20012 with flag 205004/2432962
102.99/102.38	c cleaning 10002 clauses out of 20009 with flag 215000/2442958
103.49/102.84	c cleaning 10000 clauses out of 20008 with flag 225001/2452959
103.89/103.25	c cleaning 9998 clauses out of 20007 with flag 235000/2462958
104.29/103.67	c cleaning 9999 clauses out of 20009 with flag 245000/2472958
104.69/104.04	c cleaning 9998 clauses out of 20010 with flag 255000/2482958
105.10/104.45	c cleaning 9996 clauses out of 20012 with flag 265000/2492958
105.60/104.93	c cleaning 10000 clauses out of 20017 with flag 275001/2502959
106.10/105.40	c cleaning 10000 clauses out of 20017 with flag 285001/2512959
106.51/105.82	c cleaning 10003 clauses out of 20017 with flag 295001/2522959
106.51/105.87	c Got one! Elapsed wall clock time (in seconds):105.759
106.51/105.87	o 75
106.73/106.05	c cleaning 7867 clauses out of 15739 with flag 5000/2528684
106.93/106.27	c cleaning 6935 clauses out of 13875 with flag 11003/2534687
107.23/106.53	c cleaning 6965 clauses out of 13937 with flag 18000/2541684
107.53/106.82	c cleaning 7481 clauses out of 14973 with flag 26001/2549685
107.83/107.16	c cleaning 8241 clauses out of 16491 with flag 35000/2558684
108.23/107.56	c cleaning 9119 clauses out of 18251 with flag 45001/2568685
108.63/107.94	c cleaning 9565 clauses out of 19136 with flag 55005/2578689
109.04/108.33	c cleaning 9779 clauses out of 19567 with flag 65001/2588685
109.44/108.73	c cleaning 9889 clauses out of 19787 with flag 75000/2598684
109.84/109.11	c cleaning 9945 clauses out of 19900 with flag 85002/2608686
110.24/109.50	c cleaning 9966 clauses out of 19953 with flag 95000/2618684
110.54/109.87	c cleaning 9988 clauses out of 19987 with flag 105000/2628684
110.94/110.22	c cleaning 9996 clauses out of 19999 with flag 115000/2638684
111.24/110.59	c cleaning 9995 clauses out of 20003 with flag 125000/2648684
111.64/110.94	c cleaning 9998 clauses out of 20008 with flag 135000/2658684
112.04/111.32	c cleaning 10000 clauses out of 20010 with flag 145000/2668684
112.44/111.77	c cleaning 10002 clauses out of 20012 with flag 155002/2678686
112.95/112.27	c cleaning 10000 clauses out of 20010 with flag 165002/2688686
113.44/112.70	c cleaning 10000 clauses out of 20009 with flag 175001/2698685
113.74/113.09	c cleaning 9999 clauses out of 20008 with flag 185000/2708684
114.25/113.51	c cleaning 10002 clauses out of 20011 with flag 195002/2718686
114.65/113.94	c cleaning 9997 clauses out of 20008 with flag 205001/2728685
115.05/114.34	c cleaning 10001 clauses out of 20011 with flag 215001/2738685
115.45/114.73	c cleaning 10000 clauses out of 20010 with flag 225001/2748685
115.85/115.14	c cleaning 10002 clauses out of 20009 with flag 235000/2758684
116.26/115.57	c cleaning 9995 clauses out of 20008 with flag 245001/2768685
116.75/116.02	c cleaning 9996 clauses out of 20012 with flag 255000/2778684
117.15/116.44	c cleaning 10003 clauses out of 20017 with flag 265001/2788685
117.56/116.83	c cleaning 9999 clauses out of 20013 with flag 275000/2798684
117.96/117.24	c cleaning 10001 clauses out of 20015 with flag 285001/2808685
118.36/117.63	c cleaning 10005 clauses out of 20013 with flag 295000/2818684
118.76/118.07	c cleaning 9997 clauses out of 20008 with flag 305000/2828684
119.26/118.54	c cleaning 9999 clauses out of 20012 with flag 315001/2838685
119.76/119.02	c cleaning 10001 clauses out of 20012 with flag 325000/2848684
120.16/119.49	c cleaning 10001 clauses out of 20013 with flag 335002/2858686
120.67/119.97	c cleaning 9998 clauses out of 20011 with flag 345001/2868685
121.16/120.44	c cleaning 9999 clauses out of 20012 with flag 355000/2878684
121.67/120.92	c cleaning 10003 clauses out of 20014 with flag 365001/2888685
122.06/121.36	c cleaning 9998 clauses out of 20011 with flag 375001/2898685
122.46/121.79	c cleaning 9999 clauses out of 20012 with flag 385000/2908684
122.96/122.20	c cleaning 10000 clauses out of 20013 with flag 395000/2918684
123.36/122.61	c cleaning 10002 clauses out of 20014 with flag 405001/2928685
123.77/123.00	c cleaning 10001 clauses out of 20011 with flag 415000/2938684
124.07/123.39	c cleaning 10000 clauses out of 20011 with flag 425001/2948685
124.47/123.78	c cleaning 10000 clauses out of 20011 with flag 435001/2958685
124.87/124.17	c cleaning 10000 clauses out of 20010 with flag 445000/2968684
125.27/124.56	c cleaning 10000 clauses out of 20011 with flag 455001/2978685
125.67/124.95	c cleaning 10003 clauses out of 20013 with flag 465003/2988687
126.08/125.35	c cleaning 9995 clauses out of 20007 with flag 475000/2998684
126.47/125.77	c cleaning 10002 clauses out of 20013 with flag 485001/3008685
126.97/126.20	c cleaning 10000 clauses out of 20011 with flag 495001/3018685
127.38/126.63	c cleaning 10001 clauses out of 20010 with flag 505000/3028684
127.78/127.04	c cleaning 9999 clauses out of 20010 with flag 515001/3038685
128.18/127.50	c cleaning 9998 clauses out of 20010 with flag 525000/3048684
128.68/127.97	c cleaning 10001 clauses out of 20012 with flag 535000/3058684
129.08/128.39	c cleaning 10002 clauses out of 20012 with flag 545001/3068685
129.58/128.83	c cleaning 10002 clauses out of 20013 with flag 555004/3078688
129.98/129.24	c cleaning 9996 clauses out of 20009 with flag 565002/3088686
130.38/129.65	c cleaning 10000 clauses out of 20011 with flag 575000/3098684
130.79/130.05	c cleaning 9999 clauses out of 20011 with flag 585000/3108684
131.19/130.43	c cleaning 10002 clauses out of 20012 with flag 595000/3118684
131.59/130.85	c cleaning 10000 clauses out of 20011 with flag 605001/3128685
131.79/131.03	c Got one! Elapsed wall clock time (in seconds):130.924
131.79/131.03	o 74
131.79/131.08	c cleaning 7710 clauses out of 15425 with flag 1000/3134099
132.09/131.30	c cleaning 6854 clauses out of 13715 with flag 7000/3140099
132.29/131.56	c cleaning 6920 clauses out of 13861 with flag 14000/3147099
132.59/131.86	c cleaning 7467 clauses out of 14943 with flag 22002/3155101
132.99/132.20	c cleaning 8231 clauses out of 16474 with flag 31000/3164099
133.29/132.59	c cleaning 9119 clauses out of 18243 with flag 41000/3174099
133.80/133.00	c cleaning 9557 clauses out of 19124 with flag 51000/3184099
134.09/133.39	c cleaning 9779 clauses out of 19568 with flag 61001/3194100
134.49/133.74	c cleaning 9889 clauses out of 19788 with flag 71000/3204099
134.90/134.16	c cleaning 9944 clauses out of 19899 with flag 81000/3214099
135.29/134.58	c cleaning 9976 clauses out of 19959 with flag 91004/3224103
135.69/134.98	c cleaning 9986 clauses out of 19981 with flag 101002/3234101
136.10/135.35	c cleaning 9993 clauses out of 19994 with flag 111001/3244100
136.50/135.72	c cleaning 9991 clauses out of 20000 with flag 121000/3254099
136.80/136.08	c cleaning 10002 clauses out of 20011 with flag 131002/3264101
137.10/136.40	c cleaning 10002 clauses out of 20009 with flag 141002/3274101
137.50/136.76	c cleaning 9999 clauses out of 20008 with flag 151003/3284102
137.90/137.10	c cleaning 9998 clauses out of 20008 with flag 161002/3294101
138.21/137.48	c cleaning 10000 clauses out of 20009 with flag 171001/3304100
138.60/137.85	c cleaning 9999 clauses out of 20009 with flag 181001/3314100
139.00/138.21	c cleaning 10000 clauses out of 20009 with flag 191000/3324099
139.32/138.57	c cleaning 9999 clauses out of 20009 with flag 201000/3334099
139.71/138.95	c cleaning 9999 clauses out of 20011 with flag 211001/3344100
140.11/139.35	c cleaning 10000 clauses out of 20011 with flag 221000/3354099
140.52/139.72	c cleaning 10001 clauses out of 20011 with flag 231000/3364099
140.81/140.04	c cleaning 10001 clauses out of 20011 with flag 241001/3374100
141.11/140.37	c cleaning 10002 clauses out of 20009 with flag 251000/3384099
141.41/140.69	c cleaning 10001 clauses out of 20007 with flag 261000/3394099
141.82/141.06	c cleaning 9999 clauses out of 20007 with flag 271001/3404100
142.22/141.42	c cleaning 9992 clauses out of 20007 with flag 281000/3414099
142.62/141.80	c cleaning 10003 clauses out of 20016 with flag 291001/3424100
142.92/142.18	c cleaning 10001 clauses out of 20012 with flag 301000/3434099
143.32/142.56	c cleaning 10001 clauses out of 20011 with flag 311000/3444099
143.62/142.88	c cleaning 9999 clauses out of 20012 with flag 321002/3454101
144.02/143.21	c cleaning 10002 clauses out of 20011 with flag 331000/3464099
144.32/143.57	c cleaning 10000 clauses out of 20009 with flag 341000/3474099
144.72/143.95	c cleaning 9999 clauses out of 20009 with flag 351000/3484099
145.12/144.38	c cleaning 10003 clauses out of 20013 with flag 361003/3494102
145.62/144.86	c cleaning 9999 clauses out of 20007 with flag 371000/3504099
146.03/145.28	c cleaning 10000 clauses out of 20008 with flag 381000/3514099
146.53/145.71	c cleaning 9998 clauses out of 20008 with flag 391000/3524099
146.93/146.15	c cleaning 10001 clauses out of 20011 with flag 401001/3534100
147.33/146.56	c cleaning 9998 clauses out of 20009 with flag 411000/3544099
147.73/146.97	c cleaning 10003 clauses out of 20011 with flag 421000/3554099
148.24/147.42	c cleaning 9999 clauses out of 20008 with flag 431000/3564099
148.63/147.82	c cleaning 9999 clauses out of 20011 with flag 441002/3574101
149.04/148.23	c cleaning 9998 clauses out of 20010 with flag 451000/3584099
149.44/148.69	c cleaning 9994 clauses out of 20012 with flag 461000/3594099
149.94/149.11	c cleaning 10005 clauses out of 20018 with flag 471000/3604099
150.24/149.49	c cleaning 10005 clauses out of 20015 with flag 481002/3614101
150.64/149.85	c cleaning 9998 clauses out of 20008 with flag 491000/3624099
151.04/150.21	c cleaning 10001 clauses out of 20010 with flag 501000/3634099
151.44/150.60	c cleaning 9999 clauses out of 20011 with flag 511002/3644101
151.84/151.04	c cleaning 10000 clauses out of 20010 with flag 521000/3654099
152.24/151.44	c cleaning 10000 clauses out of 20010 with flag 531000/3664099
152.65/151.83	c cleaning 9999 clauses out of 20010 with flag 541000/3674099
153.04/152.21	c cleaning 10001 clauses out of 20011 with flag 551000/3684099
153.44/152.61	c cleaning 10000 clauses out of 20011 with flag 561001/3694100
153.85/153.03	c cleaning 10002 clauses out of 20011 with flag 571001/3704100
154.25/153.41	c cleaning 9999 clauses out of 20008 with flag 581000/3714099
154.65/153.84	c cleaning 10000 clauses out of 20009 with flag 591000/3724099
155.05/154.26	c cleaning 9998 clauses out of 20009 with flag 601000/3734099
155.45/154.68	c cleaning 9993 clauses out of 20011 with flag 611000/3744099
155.86/155.10	c cleaning 10002 clauses out of 20019 with flag 621001/3754100
156.35/155.54	c cleaning 10007 clauses out of 20021 with flag 631005/3764104
156.75/155.93	c cleaning 9999 clauses out of 20009 with flag 641000/3774099
157.06/156.30	c cleaning 10002 clauses out of 20011 with flag 651001/3784100
157.45/156.68	c cleaning 10001 clauses out of 20009 with flag 661001/3794100
157.85/157.08	c cleaning 10000 clauses out of 20007 with flag 671000/3804099
158.25/157.48	c cleaning 10001 clauses out of 20008 with flag 681001/3814100
158.76/157.90	c cleaning 9996 clauses out of 20008 with flag 691002/3824101
159.16/158.31	c cleaning 10002 clauses out of 20010 with flag 701000/3834099
159.56/158.72	c cleaning 9997 clauses out of 20008 with flag 711000/3844099
159.96/159.12	c cleaning 10001 clauses out of 20011 with flag 721000/3854099
160.36/159.53	c cleaning 10000 clauses out of 20010 with flag 731000/3864099
160.76/159.96	c cleaning 9999 clauses out of 20012 with flag 741002/3874101
161.26/160.40	c cleaning 10000 clauses out of 20011 with flag 751000/3884099
161.66/160.82	c cleaning 10002 clauses out of 20011 with flag 761000/3894099
162.06/161.25	c cleaning 9998 clauses out of 20010 with flag 771001/3904100
162.47/161.67	c cleaning 10002 clauses out of 20011 with flag 781000/3914099
162.86/162.05	c cleaning 10000 clauses out of 20009 with flag 791000/3924099
163.27/162.44	c cleaning 9998 clauses out of 20009 with flag 801000/3934099
163.67/162.84	c cleaning 10002 clauses out of 20013 with flag 811002/3944101
164.07/163.23	c cleaning 9999 clauses out of 20010 with flag 821001/3954100
164.47/163.65	c cleaning 10001 clauses out of 20011 with flag 831001/3964100
164.87/164.07	c cleaning 10001 clauses out of 20010 with flag 841001/3974100
165.37/164.53	c cleaning 10000 clauses out of 20009 with flag 851001/3984100
165.78/164.94	c cleaning 9999 clauses out of 20011 with flag 861003/3994102
166.17/165.37	c cleaning 9992 clauses out of 20009 with flag 871000/4004099
166.57/165.75	c cleaning 10004 clauses out of 20018 with flag 881001/4014100
166.98/166.15	c cleaning 10002 clauses out of 20013 with flag 891000/4024099
167.37/166.57	c cleaning 9999 clauses out of 20011 with flag 901000/4034099
167.88/167.01	c cleaning 10001 clauses out of 20012 with flag 911000/4044099
168.28/167.45	c cleaning 9997 clauses out of 20011 with flag 921000/4054099
168.78/167.94	c cleaning 10004 clauses out of 20019 with flag 931005/4064104
169.28/168.40	c cleaning 10000 clauses out of 20012 with flag 941002/4074101
169.68/168.81	c cleaning 9999 clauses out of 20010 with flag 951000/4084099
170.08/169.20	c cleaning 9999 clauses out of 20011 with flag 961000/4094099
170.49/169.61	c cleaning 9999 clauses out of 20013 with flag 971001/4104100
170.89/170.00	c cleaning 10000 clauses out of 20015 with flag 981002/4114101
171.29/170.41	c cleaning 10002 clauses out of 20013 with flag 991000/4124099
171.69/170.83	c cleaning 10004 clauses out of 20014 with flag 1001003/4134102
172.09/171.23	c cleaning 9998 clauses out of 20008 with flag 1011001/4144100
172.50/171.64	c cleaning 9988 clauses out of 20010 with flag 1021001/4154100
173.00/172.13	c cleaning 10008 clauses out of 20021 with flag 1031000/4164099
173.40/172.57	c cleaning 9989 clauses out of 20013 with flag 1041000/4174099
173.80/172.99	c cleaning 10005 clauses out of 20027 with flag 1051003/4184102
174.30/173.41	c cleaning 10006 clauses out of 20019 with flag 1061000/4194099
174.70/173.86	c cleaning 10002 clauses out of 20016 with flag 1071003/4204102
175.10/174.29	c cleaning 10002 clauses out of 20011 with flag 1081000/4214099
175.60/174.77	c cleaning 9998 clauses out of 20009 with flag 1091000/4224099
176.10/175.21	c cleaning 10000 clauses out of 20012 with flag 1101001/4234100
176.50/175.60	c cleaning 10002 clauses out of 20011 with flag 1111000/4244099
176.81/175.99	c cleaning 9999 clauses out of 20009 with flag 1121000/4254099
177.21/176.38	c cleaning 10002 clauses out of 20011 with flag 1131001/4264100
177.71/176.83	c cleaning 10002 clauses out of 20008 with flag 1141000/4274099
178.11/177.28	c cleaning 9999 clauses out of 20008 with flag 1151002/4284101
178.61/177.71	c cleaning 10000 clauses out of 20008 with flag 1161001/4294100
178.81/177.92	c Got one! Elapsed wall clock time (in seconds):177.816
178.81/177.92	o 72
178.96/178.01	c cleaning 7985 clauses out of 15984 with flag 1000/4300076
179.36/178.27	c cleaning 6998 clauses out of 13999 with flag 7000/4306076
179.87/178.53	c cleaning 6992 clauses out of 14002 with flag 14001/4313077
180.17/178.83	c cleaning 7502 clauses out of 15011 with flag 22002/4321078
180.47/179.16	c cleaning 8250 clauses out of 16509 with flag 31002/4330078
180.87/179.54	c cleaning 9122 clauses out of 18257 with flag 41000/4340076
181.27/179.93	c cleaning 9564 clauses out of 19135 with flag 51000/4350076
181.67/180.33	c cleaning 9781 clauses out of 19574 with flag 61003/4360079
182.07/180.72	c cleaning 9889 clauses out of 19790 with flag 71000/4370076
182.47/181.14	c cleaning 9944 clauses out of 19901 with flag 81000/4380076
182.78/181.50	c Got one! Elapsed wall clock time (in seconds):181.391
182.78/181.50	o 67
182.78/181.50	c Got one! Elapsed wall clock time (in seconds):181.394
182.78/181.50	o 29
182.88/181.52	c starts		: 276
182.88/181.52	c conflicts		: 4389460
182.88/181.52	c decisions		: 7280373
182.88/181.52	c propagations		: 120777024
182.88/181.52	c inspects		: 969674773
182.88/181.52	c shortcuts		: 0
182.88/181.52	c learnt literals	: 0
182.88/181.52	c learnt binary clauses	: 1
182.88/181.52	c learnt ternary clauses	: 2633
182.88/181.52	c learnt constraints	: 4389460
182.88/181.52	c ignored constraints	: 0
182.88/181.52	c root simplifications	: 0
182.88/181.52	c removed literals (reason simplification)	: 27208936
182.88/181.52	c reason swapping (by a shorter reason)	: 0
182.88/181.52	c Calls to reduceDB	: 458
182.88/181.52	c number of reductions to clauses (during analyze)	: 0
182.88/181.52	c number of learned constraints concerned by reduction	: 0
182.88/181.52	c number of learning phase by resolution	: 0
182.88/181.52	c number of learning phase by cutting planes	: 0
182.88/181.52	c speed (assignments/second)	: 6.709834666666667E9
182.88/181.52	c non guided choices	901
182.88/181.52	c learnt constraints type 
182.88/181.52	c constraints type 
182.88/181.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
182.88/181.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
182.88/181.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
182.88/181.52	s OPTIMUM FOUND
182.88/181.52	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 
182.88/181.52	c objective function=29
182.88/181.52	c Total wall clock time (in seconds): 181.414

Verifier Data 

OK	29

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 /var/tmp/evaluation-result-3492504-1307909915/watcher-3492504-1307909915 -o /var/tmp/evaluation-result-3492504-1307909915/solver-3492504-1307909915 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492504-1307909915.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.84 1.97 1.91 1/175 16082
/proc/meminfo: memFree=1616316/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/16082/stat : 16082 (java) R 16080 16082 14274 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902591278 23580672 695 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237273916904 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16082/statm: 5757 695 511 9 0 124 0

[startup+0.0907889 s]
/proc/loadavg: 1.84 1.97 1.91 1/175 16082
/proc/meminfo: memFree=1616316/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10540476 CPUtime=0.08 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 12910 0 1 0 7 1 0 0 25 0 18 0 902591278 10793447424 12569 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2635119 12570 2063 9 0 2625853 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10540476

[startup+0.100786 s]
/proc/loadavg: 1.84 1.97 1.91 1/175 16082
/proc/meminfo: memFree=1616316/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10540476 CPUtime=0.1 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 13124 0 1 0 9 1 0 0 25 0 18 0 902591278 10793447424 12783 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2635119 12783 2093 9 0 2625853 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540476

[startup+0.300752 s]
/proc/loadavg: 1.84 1.97 1.91 1/175 16082
/proc/meminfo: memFree=1616316/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=0.53 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 15903 0 1 0 51 2 0 0 25 0 19 0 902591278 10797645824 14789 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 14789 2215 9 0 2626878 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544576

[startup+0.704672 s]
/proc/loadavg: 1.84 1.97 1.91 1/175 16082
/proc/meminfo: memFree=1616316/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=1.04 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 17006 0 1 0 102 2 0 0 25 0 19 0 902591278 10797645824 15690 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 15690 2247 9 0 2626878 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10544576

[startup+1.50161 s]
/proc/loadavg: 1.84 1.97 1.91 3/214 16157
/proc/meminfo: memFree=1510104/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=1.86 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 17383 0 1 0 184 2 0 0 25 0 19 0 902591278 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 16035 2248 9 0 2626878 0
[pid=16082/tid=16084] ppid=16080 vsize=10544576 CPUtime=1.41 cores=0,2,4,6
/proc/16082/task/16084/stat : 16084 (java) R 16080 16082 14274 0 -1 4202560 12154 0 1 0 140 1 0 0 18 0 19 0 902591278 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 46912505541249 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=0.05 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 389 0 0 0 5 0 0 0 15 0 19 0 902591281 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.21 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 1968 0 0 0 21 0 0 0 18 0 19 0 902591284 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1248 0 0 0 14 0 0 0 17 0 19 0 902591284 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 16035 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10544576

[startup+3.10127 s]
/proc/loadavg: 1.84 1.97 1.91 3/214 16157
/proc/meminfo: memFree=1504372/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=3.46 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 17731 0 1 0 344 2 0 0 25 0 19 0 902591278 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 16378 2248 9 0 2626878 0
[pid=16082/tid=16084] ppid=16080 vsize=10544576 CPUtime=2.94 cores=0,2,4,6
/proc/16082/task/16084/stat : 16084 (java) R 16080 16082 14274 0 -1 4202560 12159 0 1 0 293 1 0 0 20 0 19 0 902591278 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 46912505592836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=0.11 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 533 0 0 0 11 0 0 0 15 0 19 0 902591281 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.21 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 1968 0 0 0 21 0 0 0 18 0 19 0 902591284 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1248 0 0 0 14 0 0 0 17 0 19 0 902591284 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 16378 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10544576

[startup+6.30067 s]
/proc/loadavg: 1.85 1.97 1.91 3/214 16157
/proc/meminfo: memFree=1502636/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=6.68 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 17807 0 1 0 666 2 0 0 25 0 19 0 902591278 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 16394 2248 9 0 2626878 0
[pid=16082/tid=16084] ppid=16080 vsize=10544576 CPUtime=6 cores=0,2,4,6
/proc/16082/task/16084/stat : 16084 (java) R 16080 16082 14274 0 -1 4202560 12171 0 1 0 599 1 0 0 25 0 19 0 902591278 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 46912505539981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 126 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 214 0 0 0 0 0 0 0 16 0 19 0 902591280 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=0.24 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 592 0 0 0 24 0 0 0 15 0 19 0 902591281 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.21 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 1968 0 0 0 21 0 0 0 18 0 19 0 902591284 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1248 0 0 0 14 0 0 0 17 0 19 0 902591284 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 16394 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 10544576

[startup+12.7005 s]

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

/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 64 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 12 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 10 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 85 0 0 0 12 0 0 0 16 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 47 0 0 0 14 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0.11 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 151 0 0 0 11 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 226 0 0 0 12 0 0 0 16 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=6.32 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 1303 0 0 0 629 3 0 0 15 0 19 0 902591281 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.69 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 11239 0 0 0 67 2 0 0 16 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.18 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1250 0 0 0 18 0 0 0 15 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 180.47
Current children cumulated vsize (KiB) 10544576

[startup+180.701 s]
/proc/loadavg: 1.99 1.97 1.91 3/214 16276
/proc/meminfo: memFree=1455752/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=182.07 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 28365 0 1 0 18198 9 0 0 25 0 19 0 902591278 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 22519 2250 9 0 2626878 0
[pid=16082/tid=16084] ppid=16080 vsize=10544576 CPUtime=173.73 cores=0,2,4,6
/proc/16082/task/16084/stat : 16084 (java) R 16080 16082 14274 0 -1 4202560 12609 0 1 0 17371 2 0 0 25 0 19 0 902591278 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 46912505578784 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 208 0 0 0 13 0 0 0 16 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 64 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 12 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 10 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 85 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 47 0 0 0 14 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0.11 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 151 0 0 0 11 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 226 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=6.38 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 1303 0 0 0 635 3 0 0 15 0 19 0 902591281 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.69 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 11239 0 0 0 67 2 0 0 16 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.18 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1250 0 0 0 18 0 0 0 15 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 22519 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 182.07
Current children cumulated vsize (KiB) 10544576

[startup+181.101 s]
/proc/loadavg: 1.99 1.97 1.91 3/214 16276
/proc/meminfo: memFree=1455752/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=182.47 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 28368 0 1 0 18238 9 0 0 25 0 19 0 902591278 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 22521 2250 9 0 2626878 0
[pid=16082/tid=16084] ppid=16080 vsize=10544576 CPUtime=174.11 cores=0,2,4,6
/proc/16082/task/16084/stat : 16084 (java) R 16080 16082 14274 0 -1 4202560 12610 0 1 0 17409 2 0 0 25 0 19 0 902591278 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 46912505166080 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 64 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 12 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 10 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 85 0 0 0 12 0 0 0 16 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 47 0 0 0 14 0 0 0 15 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0.11 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 151 0 0 0 11 0 0 0 15 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 226 0 0 0 12 0 0 0 16 0 19 0 902591280 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=6.39 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 1305 0 0 0 636 3 0 0 15 0 19 0 902591281 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.69 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 11239 0 0 0 67 2 0 0 16 0 19 0 902591284 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.18 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1250 0 0 0 18 0 0 0 15 0 19 0 902591284 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 22521 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 182.47
Current children cumulated vsize (KiB) 10544576

[startup+181.507 s]
/proc/loadavg: 1.99 1.97 1.91 3/214 16276
/proc/meminfo: memFree=1455628/32950904 swapFree=67055440/67111528
[pid=16082] ppid=16080 vsize=10544576 CPUtime=182.88 cores=0,2,4,6
/proc/16082/stat : 16082 (java) S 16080 16082 14274 0 -1 4202496 28379 0 1 0 18279 9 0 0 25 0 19 0 902591278 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16082/statm: 2636144 22531 2250 9 0 2626878 0
[pid=16082/tid=16084] ppid=16080 vsize=10544576 CPUtime=174.5 cores=0,2,4,6
/proc/16082/task/16084/stat : 16084 (java) R 16080 16082 14274 0 -1 4202560 12611 0 1 0 17448 2 0 0 25 0 19 0 902591278 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 46912505220097 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16082/tid=16085] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16085/stat : 16085 (java) S 16080 16082 14274 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16086] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16086/stat : 16086 (java) S 16080 16082 14274 0 -1 4202560 64 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16087] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16087/stat : 16087 (java) S 16080 16082 14274 0 -1 4202560 12 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16088] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16088/stat : 16088 (java) S 16080 16082 14274 0 -1 4202560 10 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16089] ppid=16080 vsize=10544576 CPUtime=0.13 cores=0,2,4,6
/proc/16082/task/16089/stat : 16089 (java) S 16080 16082 14274 0 -1 4202560 85 0 0 0 13 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16090] ppid=16080 vsize=10544576 CPUtime=0.14 cores=0,2,4,6
/proc/16082/task/16090/stat : 16090 (java) S 16080 16082 14274 0 -1 4202560 47 0 0 0 14 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16091] ppid=16080 vsize=10544576 CPUtime=0.11 cores=0,2,4,6
/proc/16082/task/16091/stat : 16091 (java) S 16080 16082 14274 0 -1 4202560 151 0 0 0 11 0 0 0 16 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16092] ppid=16080 vsize=10544576 CPUtime=0.12 cores=0,2,4,6
/proc/16082/task/16092/stat : 16092 (java) S 16080 16082 14274 0 -1 4202560 226 0 0 0 12 0 0 0 15 0 19 0 902591280 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16093] ppid=16080 vsize=10544576 CPUtime=6.4 cores=0,2,4,6
/proc/16082/task/16093/stat : 16093 (java) S 16080 16082 14274 0 -1 4202560 1315 0 0 0 637 3 0 0 15 0 19 0 902591281 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 0 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16094] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16094/stat : 16094 (java) S 16080 16082 14274 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16095] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16095/stat : 16095 (java) S 16080 16082 14274 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902591281 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16096] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16096/stat : 16096 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290703281 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16097] ppid=16080 vsize=10544576 CPUtime=0.69 cores=0,2,4,6
/proc/16082/task/16097/stat : 16097 (java) S 16080 16082 14274 0 -1 4202560 11239 0 0 0 67 2 0 0 16 0 19 0 902591284 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 4 0 0 0
[pid=16082/tid=16098] ppid=16080 vsize=10544576 CPUtime=0.18 cores=0,2,4,6
/proc/16082/task/16098/stat : 16098 (java) S 16080 16082 14274 0 -1 4202560 1250 0 0 0 18 0 0 0 15 0 19 0 902591284 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
[pid=16082/tid=16099] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16099/stat : 16099 (java) S 16080 16082 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902591284 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290695577 0 4 0 16800975 18446604453925345280 0 0 -1 2 0 0 0
[pid=16082/tid=16100] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16100/stat : 16100 (java) S 16080 16082 14274 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902591284 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 0 0 0 0
[pid=16082/tid=16111] ppid=16080 vsize=10544576 CPUtime=0 cores=0,2,4,6
/proc/16082/task/16111/stat : 16111 (java) S 16080 16082 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902591295 10797645824 22531 33554432000 1073741824 1073778376 140735420321408 18446744073709551615 237290696192 0 4 0 16800975 18446604453925345280 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 182.88
Current children cumulated vsize (KiB) 10544576

Child status: 30
Real time (s): 181.53
CPU time (s): 182.918
CPU user time (s): 182.815
CPU system time (s): 0.102984
CPU usage (%): 100.765
Max. virtual memory (cumulated for all children) (KiB): 10544576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.815
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28406
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= 15327
involuntary context switches= 6294

runsolver used 0.318951 second user time and 0.682896 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-12 22:18:35
IDJOB=3492504
IDBENCH=78848
IDSOLVER=1982
FILE ID=node121/3492504-1307909915
RUNJOBID= node121-1307908110-15571
PBS_JOBID= 13559585
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= 9e79fcc5962892fd65131f45b2c5bc52
RANDOM SEED=714204461

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:       1616620 kB
Buffers:         63860 kB
Cached:       30302852 kB
SwapCached:       9696 kB
Active:       15138368 kB
Inactive:     15250108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       1616620 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:       19108 kB
Mapped:          12908 kB
Slab:           882276 kB
PageTables:       4392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   222672 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 /var/tmp at the end= 2892 MiB
End job on node121 at 2011-06-12 22:21:37