Trace number 3492065

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 222.024 220.438

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3492065-1307911250.wbo
0.11/0.10	c reading problem ... 
0.52/0.31	c ... done. Wall clock time 0.208s.
0.52/0.31	c #vars     2938
0.52/0.31	c #constraints  2707
0.52/0.31	c constraints type 
0.52/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.52/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.10/0.51	c SATISFIABLE
1.10/0.51	c OPTIMIZING...
1.10/0.51	c Got one! Elapsed wall clock time (in seconds):0.407
1.10/0.51	o 376
1.10/0.55	c Got one! Elapsed wall clock time (in seconds):0.448
1.10/0.55	o 363
1.10/0.58	c Got one! Elapsed wall clock time (in seconds):0.477
1.10/0.58	o 354
1.37/0.60	c Got one! Elapsed wall clock time (in seconds):0.499
1.37/0.60	o 336
1.37/0.63	c Got one! Elapsed wall clock time (in seconds):0.523
1.37/0.63	o 312
1.37/0.66	c Got one! Elapsed wall clock time (in seconds):0.552
1.37/0.66	o 279
1.37/0.67	c Got one! Elapsed wall clock time (in seconds):0.566
1.37/0.67	o 255
1.58/0.70	c Got one! Elapsed wall clock time (in seconds):0.592
1.58/0.70	o 223
1.58/0.73	c Got one! Elapsed wall clock time (in seconds):0.625
1.58/0.73	o 203
1.58/0.76	c Got one! Elapsed wall clock time (in seconds):0.658
1.58/0.76	o 154
1.58/0.79	c Got one! Elapsed wall clock time (in seconds):0.691
1.58/0.79	o 108
1.68/0.83	c Got one! Elapsed wall clock time (in seconds):0.729
1.68/0.83	o 91
1.78/0.90	c Got one! Elapsed wall clock time (in seconds):0.793
1.78/0.90	o 90
1.78/0.97	c Got one! Elapsed wall clock time (in seconds):0.867
1.78/0.97	o 89
1.89/1.03	c Got one! Elapsed wall clock time (in seconds):0.924
1.89/1.03	o 81
1.99/1.13	c Got one! Elapsed wall clock time (in seconds):1.03
1.99/1.13	o 77
1.99/1.16	c Got one! Elapsed wall clock time (in seconds):1.058
1.99/1.16	o 74
2.08/1.22	c Got one! Elapsed wall clock time (in seconds):1.116
2.08/1.22	o 70
2.18/1.36	c Got one! Elapsed wall clock time (in seconds):1.254
2.18/1.36	o 69
2.38/1.53	c Got one! Elapsed wall clock time (in seconds):1.422
2.38/1.53	o 60
2.38/1.56	c Got one! Elapsed wall clock time (in seconds):1.46
2.38/1.56	o 56
2.48/1.61	c Got one! Elapsed wall clock time (in seconds):1.504
2.48/1.61	o 54
2.59/1.71	c Got one! Elapsed wall clock time (in seconds):1.611
2.59/1.71	o 49
2.69/1.85	c Got one! Elapsed wall clock time (in seconds):1.748
2.69/1.85	o 29
2.89/2.04	c Got one! Elapsed wall clock time (in seconds):1.938
2.89/2.04	o 27
3.21/2.39	c Got one! Elapsed wall clock time (in seconds):2.284
3.21/2.39	o 26
3.51/2.60	c Got one! Elapsed wall clock time (in seconds):2.5
3.51/2.60	o 23
3.61/2.78	c cleaning 7243 clauses out of 14494 with flag 1002/14494
3.96/3.07	c Got one! Elapsed wall clock time (in seconds):2.963
3.96/3.07	o 20
4.26/3.37	c Got one! Elapsed wall clock time (in seconds):3.271
4.26/3.37	o 19
4.56/3.61	c cleaning 6862 clauses out of 13730 with flag 2000/20973
4.56/3.65	c Got one! Elapsed wall clock time (in seconds):3.544
4.56/3.65	o 11
4.97/4.06	c cleaning 6003 clauses out of 12014 with flag 5001/26119
5.43/4.47	c cleaning 6000 clauses out of 12011 with flag 11001/32119
5.43/4.50	c Got one! Elapsed wall clock time (in seconds):4.392
5.43/4.50	o 10
5.83/4.85	c cleaning 5525 clauses out of 11062 with flag 5002/37170
6.23/5.23	c cleaning 5765 clauses out of 11538 with flag 11003/43171
6.43/5.47	c Got one! Elapsed wall clock time (in seconds):5.364
6.43/5.47	o 9
6.63/5.61	c cleaning 5611 clauses out of 11231 with flag 2000/48629
7.03/6.03	c cleaning 5805 clauses out of 11622 with flag 8002/54631
7.23/6.21	c Got one! Elapsed wall clock time (in seconds):6.103
7.23/6.21	o 3
7.33/6.39	c cleaning 5741 clauses out of 11491 with flag 3000/60305
7.74/6.71	c cleaning 5872 clauses out of 11750 with flag 9000/66305
8.04/7.07	c cleaning 6436 clauses out of 12882 with flag 16004/73309
8.54/7.53	c cleaning 7215 clauses out of 14443 with flag 24001/81306
9.04/8.03	c cleaning 8106 clauses out of 16227 with flag 33000/90305
9.64/8.64	c cleaning 9054 clauses out of 18121 with flag 43000/100305
10.24/9.23	c cleaning 9530 clauses out of 19069 with flag 53002/110307
10.85/9.85	c cleaning 9762 clauses out of 19539 with flag 63002/120307
11.45/10.41	c cleaning 9885 clauses out of 19776 with flag 73001/130306
12.06/11.02	c cleaning 9936 clauses out of 19890 with flag 83000/140305
12.65/11.67	c cleaning 9972 clauses out of 19956 with flag 93002/150307
13.25/12.24	c cleaning 9982 clauses out of 19983 with flag 103001/160306
13.86/12.80	c cleaning 9990 clauses out of 20001 with flag 113001/170306
14.06/13.09	c Got one! Elapsed wall clock time (in seconds):12.983
14.06/13.09	o 2
14.46/13.50	c cleaning 10140 clauses out of 20292 with flag 5002/180587
14.86/13.86	c cleaning 8070 clauses out of 16156 with flag 11006/186591
15.26/14.26	c cleaning 7531 clauses out of 15080 with flag 18000/193585
15.66/14.66	c cleaning 7763 clauses out of 15549 with flag 26000/201585
16.16/15.10	c cleaning 8383 clauses out of 16786 with flag 35000/210585
16.66/15.65	c cleaning 9193 clauses out of 18403 with flag 45000/220585
17.26/16.26	c cleaning 9603 clauses out of 19211 with flag 55001/230586
17.86/16.89	c cleaning 9798 clauses out of 19612 with flag 65005/240590
18.47/17.45	c cleaning 9897 clauses out of 19811 with flag 75002/250587
19.06/18.00	c cleaning 9950 clauses out of 19912 with flag 85000/260585
19.57/18.53	c cleaning 9978 clauses out of 19965 with flag 95003/270588
20.07/19.09	c cleaning 9987 clauses out of 19986 with flag 105002/280587
20.67/19.62	c cleaning 9990 clauses out of 19997 with flag 115000/290585
21.27/20.22	c cleaning 9999 clauses out of 20007 with flag 125000/300585
21.77/20.75	c cleaning 9994 clauses out of 20008 with flag 135000/310585
22.37/21.33	c cleaning 9993 clauses out of 20016 with flag 145002/320587
22.89/21.88	c cleaning 10006 clauses out of 20023 with flag 155002/330587
23.40/22.39	c cleaning 10005 clauses out of 20019 with flag 165004/340589
23.90/22.81	c Got one! Elapsed wall clock time (in seconds):22.705
23.90/22.81	o 1
24.30/23.24	c cleaning 11677 clauses out of 23371 with flag 5001/353946
24.70/23.61	c cleaning 8838 clauses out of 17694 with flag 11001/359946
25.10/24.04	c cleaning 7925 clauses out of 15856 with flag 18001/366946
25.61/24.56	c cleaning 7956 clauses out of 15932 with flag 26002/374947
26.11/25.03	c cleaning 8480 clauses out of 16974 with flag 35000/383945
26.61/25.54	c cleaning 9245 clauses out of 18496 with flag 45002/393947
27.11/26.05	c cleaning 9618 clauses out of 19250 with flag 55001/403946
27.61/26.56	c cleaning 9813 clauses out of 19631 with flag 65000/413945
28.21/27.11	c cleaning 9905 clauses out of 19819 with flag 75001/423946
28.71/27.65	c cleaning 9951 clauses out of 19913 with flag 85000/433945
29.21/28.18	c cleaning 9979 clauses out of 19966 with flag 95004/443949
29.82/28.70	c cleaning 9986 clauses out of 19985 with flag 105002/453947
30.32/29.21	c cleaning 9993 clauses out of 19999 with flag 115002/463947
30.82/29.75	c cleaning 9994 clauses out of 20006 with flag 125002/473947
31.32/30.28	c cleaning 9993 clauses out of 20010 with flag 135000/483945
31.93/30.81	c cleaning 10002 clauses out of 20018 with flag 145001/493946
32.42/31.34	c cleaning 9997 clauses out of 20015 with flag 155000/503945
33.03/31.91	c cleaning 10004 clauses out of 20018 with flag 165000/513945
33.52/32.45	c cleaning 10005 clauses out of 20015 with flag 175001/523946
34.03/32.99	c cleaning 9997 clauses out of 20009 with flag 185000/533945
34.63/33.50	c cleaning 10001 clauses out of 20013 with flag 195001/543946
35.13/34.04	c cleaning 9997 clauses out of 20011 with flag 205000/553945
35.63/34.56	c cleaning 10001 clauses out of 20014 with flag 215000/563945
36.13/35.07	c cleaning 9998 clauses out of 20013 with flag 225000/573945
36.63/35.57	c cleaning 10000 clauses out of 20016 with flag 235001/583946
37.13/36.08	c cleaning 10003 clauses out of 20016 with flag 245001/593946
37.63/36.59	c cleaning 9999 clauses out of 20012 with flag 255000/603945
38.23/37.11	c cleaning 9999 clauses out of 20013 with flag 265000/613945
38.73/37.65	c cleaning 10002 clauses out of 20014 with flag 275000/623945
39.23/38.18	c cleaning 9997 clauses out of 20016 with flag 285004/633949
39.83/38.72	c cleaning 9996 clauses out of 20016 with flag 295001/643946
40.33/39.22	c cleaning 10005 clauses out of 20020 with flag 305001/653946
40.83/39.72	c cleaning 10001 clauses out of 20017 with flag 315003/663948
41.33/40.24	c cleaning 10002 clauses out of 20013 with flag 325000/673945
41.84/40.75	c cleaning 10002 clauses out of 20012 with flag 335001/683946
42.33/41.25	c cleaning 10000 clauses out of 20009 with flag 345000/693945
42.84/41.76	c cleaning 10002 clauses out of 20011 with flag 355002/703947
43.34/42.23	c cleaning 9999 clauses out of 20008 with flag 365001/713946
43.83/42.73	c cleaning 9997 clauses out of 20008 with flag 375000/723945
44.34/43.27	c cleaning 10000 clauses out of 20012 with flag 385001/733946
44.84/43.77	c cleaning 9999 clauses out of 20012 with flag 395001/743946
45.34/44.26	c cleaning 10002 clauses out of 20013 with flag 405001/753946
45.84/44.74	c cleaning 10004 clauses out of 20013 with flag 415003/763948
46.34/45.23	c cleaning 9998 clauses out of 20006 with flag 425000/773945
46.84/45.72	c cleaning 10002 clauses out of 20009 with flag 435001/783946
47.35/46.25	c cleaning 10000 clauses out of 20008 with flag 445002/793947
47.84/46.80	c cleaning 9995 clauses out of 20006 with flag 455000/803945
48.45/47.35	c cleaning 10003 clauses out of 20015 with flag 465004/813949
48.95/47.86	c cleaning 9997 clauses out of 20009 with flag 475001/823946
49.45/48.36	c cleaning 10001 clauses out of 20013 with flag 485002/833947
49.95/48.89	c cleaning 9995 clauses out of 20010 with flag 495000/843945
50.56/49.42	c cleaning 9999 clauses out of 20016 with flag 505001/853946
51.06/49.94	c cleaning 10003 clauses out of 20016 with flag 515000/863945
51.56/50.49	c cleaning 9999 clauses out of 20013 with flag 525000/873945
52.16/51.00	c cleaning 10003 clauses out of 20014 with flag 535000/883945
52.66/51.52	c cleaning 9997 clauses out of 20012 with flag 545001/893946
53.16/52.05	c cleaning 9997 clauses out of 20014 with flag 555000/903945
53.76/52.61	c cleaning 9997 clauses out of 20017 with flag 565000/913945
54.26/53.12	c cleaning 10005 clauses out of 20020 with flag 575000/923945
54.66/53.60	c cleaning 10004 clauses out of 20015 with flag 585000/933945
55.16/54.07	c cleaning 10001 clauses out of 20014 with flag 595003/943948
55.66/54.58	c cleaning 9997 clauses out of 20010 with flag 605000/953945
56.17/55.09	c cleaning 9998 clauses out of 20015 with flag 615002/963947
56.76/55.63	c cleaning 10000 clauses out of 20015 with flag 625000/973945
57.36/56.25	c cleaning 10001 clauses out of 20015 with flag 635000/983945
57.96/56.80	c cleaning 10002 clauses out of 20016 with flag 645002/993947
58.46/57.38	c cleaning 9993 clauses out of 20012 with flag 655000/1003945
59.06/57.92	c cleaning 10001 clauses out of 20021 with flag 665002/1013947
59.57/58.42	c cleaning 10006 clauses out of 20019 with flag 675001/1023946
60.08/58.94	c cleaning 9998 clauses out of 20012 with flag 685000/1033945
60.58/59.45	c cleaning 10000 clauses out of 20014 with flag 695000/1043945
61.07/59.98	c cleaning 10001 clauses out of 20015 with flag 705001/1053946
61.68/60.53	c cleaning 10003 clauses out of 20013 with flag 715000/1063945
62.17/61.03	c cleaning 10003 clauses out of 20013 with flag 725003/1073948
62.68/61.56	c cleaning 9996 clauses out of 20008 with flag 735001/1083946
63.18/62.09	c cleaning 10002 clauses out of 20013 with flag 745002/1093947
63.68/62.59	c cleaning 9999 clauses out of 20011 with flag 755002/1103947
64.28/63.14	c cleaning 9996 clauses out of 20010 with flag 765000/1113945
64.78/63.65	c cleaning 10003 clauses out of 20015 with flag 775001/1123946
65.28/64.12	c cleaning 10003 clauses out of 20011 with flag 785000/1133945
65.78/64.64	c cleaning 9999 clauses out of 20008 with flag 795000/1143945
66.28/65.13	c cleaning 10000 clauses out of 20012 with flag 805003/1153948
66.78/65.64	c cleaning 9996 clauses out of 20012 with flag 815003/1163948
67.28/66.15	c cleaning 10003 clauses out of 20013 with flag 825000/1173945
67.79/66.66	c cleaning 9993 clauses out of 20011 with flag 835001/1183946
68.39/67.25	c cleaning 10004 clauses out of 20018 with flag 845001/1193946
68.89/67.79	c cleaning 10000 clauses out of 20016 with flag 855003/1203948
69.49/68.31	c cleaning 10000 clauses out of 20014 with flag 865001/1213946
69.99/68.82	c cleaning 10000 clauses out of 20015 with flag 875002/1223947
70.50/69.32	c cleaning 10001 clauses out of 20014 with flag 885001/1233946
70.99/69.80	c cleaning 9996 clauses out of 20014 with flag 895002/1243947
71.39/70.29	c cleaning 10005 clauses out of 20016 with flag 905000/1253945
71.89/70.78	c cleaning 10002 clauses out of 20015 with flag 915004/1263949
72.39/71.28	c cleaning 9999 clauses out of 20010 with flag 925001/1273946
72.99/71.83	c cleaning 9990 clauses out of 20011 with flag 935001/1283946
73.49/72.33	c cleaning 10005 clauses out of 20021 with flag 945001/1293946
73.99/72.81	c cleaning 10004 clauses out of 20018 with flag 955003/1303948
74.49/73.30	c cleaning 9999 clauses out of 20011 with flag 965000/1313945
74.99/73.80	c cleaning 10003 clauses out of 20015 with flag 975003/1323948
75.49/74.32	c cleaning 10000 clauses out of 20011 with flag 985002/1333947
76.00/74.85	c cleaning 9995 clauses out of 20012 with flag 995003/1343948
76.50/75.37	c cleaning 9999 clauses out of 20015 with flag 1005001/1353946
77.01/75.88	c cleaning 10004 clauses out of 20017 with flag 1015002/1363947
77.51/76.37	c cleaning 10004 clauses out of 20011 with flag 1025000/1373945
78.01/76.88	c cleaning 9997 clauses out of 20008 with flag 1035001/1383946
78.51/77.35	c cleaning 9996 clauses out of 20010 with flag 1045000/1393945
79.01/77.87	c cleaning 9995 clauses out of 20014 with flag 1055000/1403945
79.61/78.40	c cleaning 10005 clauses out of 20020 with flag 1065001/1413946
80.11/78.93	c cleaning 10000 clauses out of 20015 with flag 1075001/1423946
80.61/79.45	c cleaning 9997 clauses out of 20015 with flag 1085001/1433946
81.12/79.95	c cleaning 10002 clauses out of 20017 with flag 1095000/1443945
81.62/80.47	c cleaning 10000 clauses out of 20018 with flag 1105003/1453948
82.11/80.98	c cleaning 10001 clauses out of 20016 with flag 1115001/1463946
82.62/81.48	c cleaning 10002 clauses out of 20015 with flag 1125001/1473946
83.12/81.99	c cleaning 10002 clauses out of 20012 with flag 1135000/1483945
83.62/82.49	c cleaning 9998 clauses out of 20010 with flag 1145000/1493945
84.12/82.97	c cleaning 9992 clauses out of 20012 with flag 1155000/1503945
84.62/83.46	c cleaning 10008 clauses out of 20024 with flag 1165004/1513949
85.12/83.95	c cleaning 10003 clauses out of 20013 with flag 1175001/1523946
85.73/84.50	c cleaning 9995 clauses out of 20012 with flag 1185003/1533948
86.23/85.01	c cleaning 10005 clauses out of 20014 with flag 1195000/1543945
86.73/85.51	c cleaning 10000 clauses out of 20014 with flag 1205005/1553950
87.24/86.08	c cleaning 9998 clauses out of 20009 with flag 1215000/1563945
87.74/86.59	c cleaning 10000 clauses out of 20011 with flag 1225000/1573945
88.34/87.14	c cleaning 10001 clauses out of 20012 with flag 1235001/1583946
88.84/87.63	c cleaning 9999 clauses out of 20010 with flag 1245000/1593945
89.34/88.14	c cleaning 9997 clauses out of 20011 with flag 1255000/1603945
89.84/88.68	c cleaning 10001 clauses out of 20015 with flag 1265001/1613946
90.34/89.18	c cleaning 10002 clauses out of 20013 with flag 1275000/1623945
90.94/89.72	c cleaning 9997 clauses out of 20011 with flag 1285000/1633945
91.44/90.23	c cleaning 10002 clauses out of 20015 with flag 1295001/1643946
91.94/90.75	c cleaning 10002 clauses out of 20012 with flag 1305000/1653945
92.44/91.26	c cleaning 10000 clauses out of 20010 with flag 1315000/1663945
92.94/91.75	c cleaning 9999 clauses out of 20010 with flag 1325000/1673945
93.44/92.26	c cleaning 10000 clauses out of 20011 with flag 1335000/1683945
93.94/92.77	c cleaning 10001 clauses out of 20011 with flag 1345000/1693945
94.55/93.30	c cleaning 9998 clauses out of 20011 with flag 1355001/1703946
95.08/93.84	c cleaning 10001 clauses out of 20013 with flag 1365001/1713946
95.58/94.34	c cleaning 10002 clauses out of 20013 with flag 1375002/1723947
96.08/94.82	c cleaning 10000 clauses out of 20010 with flag 1385001/1733946
96.58/95.31	c cleaning 9999 clauses out of 20011 with flag 1395002/1743947
97.08/95.84	c cleaning 10000 clauses out of 20010 with flag 1405000/1753945
97.58/96.36	c cleaning 10000 clauses out of 20011 with flag 1415001/1763946
98.09/96.83	c cleaning 9997 clauses out of 20010 with flag 1425000/1773945
98.49/97.29	c cleaning 9999 clauses out of 20015 with flag 1435002/1783947
99.09/97.81	c cleaning 10003 clauses out of 20014 with flag 1445000/1793945
99.59/98.32	c cleaning 9999 clauses out of 20011 with flag 1455000/1803945
100.09/98.86	c cleaning 9997 clauses out of 20013 with flag 1465001/1813946
100.59/99.39	c cleaning 10004 clauses out of 20016 with flag 1475001/1823946
101.20/99.92	c cleaning 9993 clauses out of 20011 with flag 1485000/1833945
101.70/100.46	c cleaning 9999 clauses out of 20019 with flag 1495001/1843946
102.20/100.99	c cleaning 10003 clauses out of 20020 with flag 1505001/1853946
102.80/101.50	c cleaning 10002 clauses out of 20017 with flag 1515001/1863946
103.30/102.03	c cleaning 10003 clauses out of 20015 with flag 1525001/1873946
103.80/102.55	c cleaning 9999 clauses out of 20011 with flag 1535000/1883945
104.40/103.11	c cleaning 10003 clauses out of 20014 with flag 1545002/1893947
105.00/103.75	c cleaning 9996 clauses out of 20009 with flag 1555000/1903945
105.60/104.36	c cleaning 9994 clauses out of 20014 with flag 1565001/1913946
106.10/104.89	c cleaning 10006 clauses out of 20021 with flag 1575002/1923947
106.70/105.42	c cleaning 10001 clauses out of 20013 with flag 1585000/1933945
107.20/105.95	c cleaning 10002 clauses out of 20015 with flag 1595003/1943948
107.80/106.51	c cleaning 9999 clauses out of 20012 with flag 1605002/1953947
108.31/107.04	c cleaning 10001 clauses out of 20013 with flag 1615002/1963947
108.81/107.57	c cleaning 9999 clauses out of 20011 with flag 1625001/1973946
109.31/108.08	c cleaning 9988 clauses out of 20011 with flag 1635000/1983945
109.81/108.59	c cleaning 10006 clauses out of 20025 with flag 1645002/1993947
110.41/109.11	c cleaning 10002 clauses out of 20018 with flag 1655001/2003946
110.91/109.61	c cleaning 10003 clauses out of 20016 with flag 1665001/2013946
111.41/110.10	c cleaning 10001 clauses out of 20012 with flag 1675000/2023945
111.82/110.58	c cleaning 10000 clauses out of 20011 with flag 1685000/2033945
112.32/111.08	c cleaning 9997 clauses out of 20012 with flag 1695001/2043946
112.92/111.63	c cleaning 10005 clauses out of 20019 with flag 1705005/2053950
113.42/112.16	c cleaning 9997 clauses out of 20009 with flag 1715000/2063945
113.92/112.69	c cleaning 10002 clauses out of 20012 with flag 1725000/2073945
114.53/113.23	c cleaning 9996 clauses out of 20011 with flag 1735001/2083946
115.02/113.72	c cleaning 9999 clauses out of 20015 with flag 1745001/2093946
115.52/114.20	c cleaning 10001 clauses out of 20015 with flag 1755000/2103945
116.03/114.70	c cleaning 10004 clauses out of 20019 with flag 1765005/2113950
116.53/115.20	c cleaning 10002 clauses out of 20013 with flag 1775003/2123948
117.03/115.71	c cleaning 9996 clauses out of 20008 with flag 1785000/2133945
117.43/116.18	c cleaning 10000 clauses out of 20012 with flag 1795000/2143945
117.94/116.70	c cleaning 10002 clauses out of 20015 with flag 1805003/2153948
118.54/117.20	c cleaning 10000 clauses out of 20010 with flag 1815000/2163945
119.04/117.73	c cleaning 10003 clauses out of 20011 with flag 1825001/2173946
119.54/118.25	c cleaning 9993 clauses out of 20007 with flag 1835000/2183945
120.04/118.79	c cleaning 9997 clauses out of 20014 with flag 1845000/2193945
120.64/119.32	c cleaning 10006 clauses out of 20019 with flag 1855002/2203947
121.24/119.91	c cleaning 9998 clauses out of 20014 with flag 1865003/2213948
121.74/120.43	c cleaning 10003 clauses out of 20014 with flag 1875001/2223946
122.24/120.97	c cleaning 10002 clauses out of 20010 with flag 1885000/2233945
122.84/121.52	c cleaning 9997 clauses out of 20008 with flag 1895000/2243945
123.35/122.03	c cleaning 10001 clauses out of 20011 with flag 1905000/2253945
123.84/122.55	c cleaning 9995 clauses out of 20012 with flag 1915002/2263947
124.45/123.11	c cleaning 10004 clauses out of 20017 with flag 1925002/2273947
124.94/123.68	c cleaning 9999 clauses out of 20011 with flag 1935000/2283945
125.55/124.25	c cleaning 9999 clauses out of 20012 with flag 1945000/2293945
126.04/124.79	c cleaning 9995 clauses out of 20014 with flag 1955001/2303946
126.55/125.30	c cleaning 10005 clauses out of 20019 with flag 1965001/2313946
127.15/125.81	c cleaning 9999 clauses out of 20013 with flag 1975000/2323945
127.56/126.29	c cleaning 10004 clauses out of 20014 with flag 1985000/2333945
128.06/126.76	c cleaning 9999 clauses out of 20010 with flag 1995000/2343945
128.56/127.26	c cleaning 10000 clauses out of 20013 with flag 2005002/2353947
129.06/127.75	c cleaning 9999 clauses out of 20013 with flag 2015002/2363947
129.56/128.26	c cleaning 10002 clauses out of 20012 with flag 2025000/2373945
130.07/128.75	c cleaning 10000 clauses out of 20010 with flag 2035000/2383945
130.56/129.24	c cleaning 10004 clauses out of 20011 with flag 2045001/2393946
131.07/129.76	c cleaning 9996 clauses out of 20007 with flag 2055001/2403946
131.56/130.29	c cleaning 10003 clauses out of 20011 with flag 2065001/2413946
132.17/130.83	c cleaning 9998 clauses out of 20008 with flag 2075001/2423946
132.66/131.35	c cleaning 10002 clauses out of 20012 with flag 2085003/2433948
133.16/131.90	c cleaning 9991 clauses out of 20008 with flag 2095001/2443946
133.77/132.43	c cleaning 10005 clauses out of 20017 with flag 2105001/2453946
134.27/132.98	c cleaning 10000 clauses out of 20011 with flag 2115000/2463945
134.87/133.52	c cleaning 9992 clauses out of 20011 with flag 2125000/2473945
135.37/134.04	c cleaning 10005 clauses out of 20020 with flag 2135001/2483946
135.87/134.52	c cleaning 9998 clauses out of 20014 with flag 2145000/2493945
136.28/135.00	c cleaning 9999 clauses out of 20016 with flag 2155000/2503945
136.78/135.50	c cleaning 10002 clauses out of 20018 with flag 2165001/2513946
137.38/136.00	c cleaning 10000 clauses out of 20017 with flag 2175002/2523947
137.79/136.49	c cleaning 9999 clauses out of 20015 with flag 2185000/2533945
138.28/136.99	c cleaning 10005 clauses out of 20017 with flag 2195001/2543946
138.89/137.51	c cleaning 10001 clauses out of 20013 with flag 2205002/2553947
139.38/138.04	c cleaning 9991 clauses out of 20010 with flag 2215000/2563945
139.88/138.58	c cleaning 10006 clauses out of 20019 with flag 2225000/2573945
140.48/139.12	c cleaning 9999 clauses out of 20015 with flag 2235002/2583947
140.99/139.63	c cleaning 10001 clauses out of 20015 with flag 2245001/2593946
141.48/140.16	c cleaning 10003 clauses out of 20016 with flag 2255003/2603948
141.98/140.66	c cleaning 10002 clauses out of 20013 with flag 2265003/2613948
142.48/141.14	c cleaning 10000 clauses out of 20008 with flag 2275000/2623945
143.08/141.70	c cleaning 9984 clauses out of 20009 with flag 2285001/2633946
143.68/142.30	c cleaning 10007 clauses out of 20025 with flag 2295001/2643946
144.18/142.81	c cleaning 9996 clauses out of 20017 with flag 2305000/2653945
144.69/143.32	c cleaning 10003 clauses out of 20021 with flag 2315000/2663945
145.19/143.85	c cleaning 10001 clauses out of 20018 with flag 2325000/2673945
145.69/144.38	c cleaning 9999 clauses out of 20017 with flag 2335000/2683945
146.29/144.93	c cleaning 10000 clauses out of 20018 with flag 2345000/2693945
146.79/145.46	c cleaning 10003 clauses out of 20018 with flag 2355000/2703945
147.29/145.98	c cleaning 10004 clauses out of 20017 with flag 2365002/2713947
147.89/146.57	c cleaning 9995 clauses out of 20013 with flag 2375002/2723947
148.49/147.11	c cleaning 10002 clauses out of 20017 with flag 2385001/2733946
148.99/147.66	c cleaning 10006 clauses out of 20015 with flag 2395001/2743946
149.49/148.17	c cleaning 9994 clauses out of 20008 with flag 2405000/2753945
150.00/148.69	c cleaning 9997 clauses out of 20015 with flag 2415001/2763946
150.60/149.20	c cleaning 10006 clauses out of 20018 with flag 2425001/2773946
151.11/149.75	c cleaning 9985 clauses out of 20011 with flag 2435000/2783945
151.71/150.32	c cleaning 10003 clauses out of 20026 with flag 2445000/2793945
152.21/150.87	c cleaning 10006 clauses out of 20023 with flag 2455000/2803945
152.81/151.40	c cleaning 10001 clauses out of 20018 with flag 2465001/2813946
153.31/151.92	c cleaning 10001 clauses out of 20018 with flag 2475002/2823947
153.82/152.45	c cleaning 10001 clauses out of 20016 with flag 2485001/2833946
154.32/153.00	c cleaning 10002 clauses out of 20014 with flag 2495000/2843945
154.91/153.53	c cleaning 10003 clauses out of 20012 with flag 2505000/2853945
155.42/154.02	c cleaning 10000 clauses out of 20012 with flag 2515003/2863948
156.02/154.61	c cleaning 9996 clauses out of 20009 with flag 2525000/2873945
156.52/155.15	c cleaning 10003 clauses out of 20016 with flag 2535003/2883948
157.11/155.71	c cleaning 9999 clauses out of 20011 with flag 2545001/2893946
157.62/156.27	c cleaning 10002 clauses out of 20013 with flag 2555002/2903947
158.12/156.79	c cleaning 10002 clauses out of 20009 with flag 2565000/2913945
158.82/157.40	c cleaning 9980 clauses out of 20007 with flag 2575000/2923945
159.32/157.96	c cleaning 10009 clauses out of 20028 with flag 2585001/2933946
159.92/158.52	c cleaning 10004 clauses out of 20019 with flag 2595001/2943946
160.42/159.01	c cleaning 10006 clauses out of 20017 with flag 2605003/2953948
160.93/159.56	c cleaning 9997 clauses out of 20009 with flag 2615001/2963946
161.42/160.08	c cleaning 10001 clauses out of 20011 with flag 2625000/2973945
162.03/160.65	c cleaning 9997 clauses out of 20010 with flag 2635000/2983945
162.63/161.21	c cleaning 9999 clauses out of 20014 with flag 2645001/2993946
163.13/161.79	c cleaning 10000 clauses out of 20014 with flag 2655000/3003945
163.83/162.43	c cleaning 10003 clauses out of 20014 with flag 2665000/3013945
164.43/163.03	c cleaning 9995 clauses out of 20011 with flag 2675000/3023945
164.93/163.54	c cleaning 10003 clauses out of 20018 with flag 2685002/3033947
165.43/164.04	c cleaning 10002 clauses out of 20014 with flag 2695001/3043946
165.93/164.53	c cleaning 10000 clauses out of 20011 with flag 2705000/3053945
166.44/165.07	c cleaning 10003 clauses out of 20011 with flag 2715000/3063945
166.94/165.56	c cleaning 9995 clauses out of 20008 with flag 2725000/3073945
167.45/166.09	c cleaning 10001 clauses out of 20014 with flag 2735001/3083946
168.05/166.61	c cleaning 10003 clauses out of 20013 with flag 2745001/3093946
168.55/167.11	c cleaning 9999 clauses out of 20009 with flag 2755000/3103945
169.05/167.67	c cleaning 10001 clauses out of 20010 with flag 2765000/3113945
169.55/168.20	c cleaning 9998 clauses out of 20009 with flag 2775000/3123945
170.15/168.74	c cleaning 9998 clauses out of 20012 with flag 2785001/3133946
170.65/169.25	c cleaning 9999 clauses out of 20013 with flag 2795000/3143945
171.15/169.75	c cleaning 10003 clauses out of 20014 with flag 2805000/3153945
171.65/170.24	c cleaning 10002 clauses out of 20011 with flag 2815000/3163945
172.16/170.74	c cleaning 10003 clauses out of 20010 with flag 2825001/3173946
172.66/171.23	c cleaning 9998 clauses out of 20006 with flag 2835000/3183945
173.16/171.75	c cleaning 10000 clauses out of 20011 with flag 2845003/3193948
173.66/172.29	c cleaning 9998 clauses out of 20009 with flag 2855001/3203946
174.26/172.80	c cleaning 10005 clauses out of 20015 with flag 2865005/3213950
174.76/173.32	c cleaning 9995 clauses out of 20005 with flag 2875000/3223945
175.27/173.83	c cleaning 9998 clauses out of 20010 with flag 2885000/3233945
175.76/174.35	c cleaning 10001 clauses out of 20013 with flag 2895001/3243946
176.27/174.87	c cleaning 10002 clauses out of 20012 with flag 2905001/3253946
176.76/175.37	c cleaning 10002 clauses out of 20012 with flag 2915003/3263948
177.26/175.89	c cleaning 9993 clauses out of 20007 with flag 2925000/3273945
177.86/176.40	c cleaning 10001 clauses out of 20014 with flag 2935000/3283945
178.36/176.91	c cleaning 9999 clauses out of 20013 with flag 2945000/3293945
178.86/177.44	c cleaning 10001 clauses out of 20014 with flag 2955000/3303945
179.37/177.95	c cleaning 10002 clauses out of 20013 with flag 2965000/3313945
179.87/178.44	c cleaning 9991 clauses out of 20011 with flag 2975000/3323945
180.37/178.94	c cleaning 10007 clauses out of 20021 with flag 2985001/3333946
180.87/179.42	c cleaning 10003 clauses out of 20014 with flag 2995001/3343946
181.37/179.96	c cleaning 10001 clauses out of 20011 with flag 3005001/3353946
181.88/180.46	c cleaning 10001 clauses out of 20011 with flag 3015002/3363947
182.47/181.01	c cleaning 9994 clauses out of 20008 with flag 3025000/3373945
182.98/181.56	c cleaning 10003 clauses out of 20015 with flag 3035001/3383946
183.48/182.04	c cleaning 10000 clauses out of 20015 with flag 3045004/3393949
183.99/182.55	c cleaning 9995 clauses out of 20011 with flag 3055000/3403945
184.49/183.05	c cleaning 10002 clauses out of 20016 with flag 3065000/3413945
184.99/183.60	c cleaning 10002 clauses out of 20016 with flag 3075002/3423947
185.59/184.14	c cleaning 10000 clauses out of 20014 with flag 3085002/3433947
186.09/184.69	c cleaning 10003 clauses out of 20013 with flag 3095001/3443946
186.69/185.22	c cleaning 10001 clauses out of 20012 with flag 3105003/3453948
187.19/185.75	c cleaning 9999 clauses out of 20008 with flag 3115000/3463945
187.69/186.25	c cleaning 9995 clauses out of 20009 with flag 3125000/3473945
188.19/186.73	c cleaning 10004 clauses out of 20016 with flag 3135002/3483947
188.70/187.25	c cleaning 9998 clauses out of 20010 with flag 3145000/3493945
189.20/187.76	c cleaning 9999 clauses out of 20012 with flag 3155000/3503945
189.70/188.26	c cleaning 10004 clauses out of 20013 with flag 3165000/3513945
190.20/188.75	c cleaning 9999 clauses out of 20011 with flag 3175002/3523947
190.71/189.27	c cleaning 10001 clauses out of 20013 with flag 3185003/3533948
191.30/189.80	c cleaning 9997 clauses out of 20009 with flag 3195000/3543945
191.81/190.39	c cleaning 9998 clauses out of 20013 with flag 3205001/3553946
192.41/190.98	c cleaning 10000 clauses out of 20015 with flag 3215001/3563946
193.11/191.60	c cleaning 9998 clauses out of 20014 with flag 3225000/3573945
193.61/192.13	c cleaning 9998 clauses out of 20019 with flag 3235003/3583948
194.11/192.65	c cleaning 10004 clauses out of 20019 with flag 3245001/3593946
194.71/193.20	c cleaning 10000 clauses out of 20014 with flag 3255000/3603945
195.21/193.75	c cleaning 10000 clauses out of 20014 with flag 3265000/3613945
195.81/194.32	c cleaning 9995 clauses out of 20014 with flag 3275000/3623945
196.41/194.91	c cleaning 10005 clauses out of 20022 with flag 3285003/3633948
197.02/195.50	c cleaning 10002 clauses out of 20015 with flag 3295001/3643946
197.52/196.03	c cleaning 10001 clauses out of 20014 with flag 3305002/3653947
198.02/196.53	c cleaning 10003 clauses out of 20014 with flag 3315003/3663948
198.52/197.06	c cleaning 9998 clauses out of 20008 with flag 3325000/3673945
199.12/197.63	c cleaning 9995 clauses out of 20012 with flag 3335002/3683947
199.72/198.21	c cleaning 10000 clauses out of 20018 with flag 3345003/3693948
200.23/198.79	c cleaning 9998 clauses out of 20016 with flag 3355001/3703946
200.83/199.35	c cleaning 10000 clauses out of 20019 with flag 3365002/3713947
201.43/199.95	c cleaning 10006 clauses out of 20018 with flag 3375001/3723946
201.93/200.49	c cleaning 10003 clauses out of 20015 with flag 3385004/3733949
202.53/201.06	c cleaning 9989 clauses out of 20009 with flag 3395001/3743946
203.13/201.61	c cleaning 10000 clauses out of 20021 with flag 3405002/3753947
203.64/202.15	c cleaning 10001 clauses out of 20019 with flag 3415000/3763945
204.24/202.71	c cleaning 10001 clauses out of 20018 with flag 3425000/3773945
204.74/203.27	c cleaning 9997 clauses out of 20017 with flag 3435000/3783945
205.44/203.91	c cleaning 10008 clauses out of 20024 with flag 3445004/3793949
206.05/204.50	c cleaning 10002 clauses out of 20012 with flag 3455000/3803945
206.54/205.09	c cleaning 9999 clauses out of 20012 with flag 3465002/3813947
207.15/205.67	c cleaning 9998 clauses out of 20011 with flag 3475000/3823945
207.74/206.26	c cleaning 9991 clauses out of 20013 with flag 3485000/3833945
208.35/206.85	c cleaning 10002 clauses out of 20023 with flag 3495001/3843946
208.94/207.49	c cleaning 10004 clauses out of 20020 with flag 3505000/3853945
209.55/208.04	c cleaning 10004 clauses out of 20019 with flag 3515003/3863948
210.15/208.68	c cleaning 9999 clauses out of 20012 with flag 3525000/3873945
210.75/209.21	c cleaning 10004 clauses out of 20014 with flag 3535001/3883946
211.25/209.76	c cleaning 10000 clauses out of 20010 with flag 3545001/3893946
211.75/210.28	c cleaning 9999 clauses out of 20009 with flag 3555000/3903945
212.35/210.80	c cleaning 9999 clauses out of 20011 with flag 3565001/3913946
212.85/211.31	c cleaning 10003 clauses out of 20013 with flag 3575002/3923947
213.35/211.84	c cleaning 10002 clauses out of 20011 with flag 3585003/3933948
213.96/212.41	c cleaning 9998 clauses out of 20006 with flag 3595000/3943945
214.46/212.95	c cleaning 9993 clauses out of 20008 with flag 3605000/3953945
215.06/213.52	c cleaning 10001 clauses out of 20018 with flag 3615003/3963948
215.56/214.08	c cleaning 9999 clauses out of 20015 with flag 3625001/3973946
216.07/214.59	c cleaning 9998 clauses out of 20017 with flag 3635002/3983947
216.66/215.15	c cleaning 10002 clauses out of 20018 with flag 3645001/3993946
217.17/215.69	c cleaning 10004 clauses out of 20016 with flag 3655001/4003946
217.86/216.30	c cleaning 10000 clauses out of 20011 with flag 3665000/4013945
218.37/216.87	c cleaning 9999 clauses out of 20011 with flag 3675000/4023945
218.97/217.45	c cleaning 9998 clauses out of 20013 with flag 3685001/4033946
219.57/218.03	c cleaning 9984 clauses out of 20015 with flag 3695001/4043946
220.07/218.59	c cleaning 10005 clauses out of 20031 with flag 3705001/4053946
220.77/219.21	c cleaning 10011 clauses out of 20027 with flag 3715002/4063947
221.27/219.74	c cleaning 9999 clauses out of 20014 with flag 3725000/4073945
221.97/220.43	c starts		: 288
221.97/220.43	c conflicts		: 4083922
221.97/220.43	c decisions		: 6391468
221.97/220.43	c propagations		: 203424659
221.97/220.43	c inspects		: 2076179252
221.97/220.43	c shortcuts		: 0
221.97/220.43	c learnt literals	: 7
221.97/220.43	c learnt binary clauses	: 20
221.97/220.43	c learnt ternary clauses	: 1052
221.97/220.43	c learnt constraints	: 4083914
221.97/220.43	c ignored constraints	: 0
221.97/220.43	c root simplifications	: 0
221.97/220.43	c removed literals (reason simplification)	: 20342811
221.97/220.43	c reason swapping (by a shorter reason)	: 0
221.97/220.43	c Calls to reduceDB	: 413
221.97/220.43	c number of reductions to clauses (during analyze)	: 0
221.97/220.43	c number of learned constraints concerned by reduction	: 0
221.97/220.43	c number of learning phase by resolution	: 0
221.97/220.43	c number of learning phase by cutting planes	: 0
221.97/220.43	c speed (assignments/second)	: 1029393.6675168002
221.97/220.43	c non guided choices	4492
221.97/220.43	c learnt constraints type 
221.97/220.43	c constraints type 
221.97/220.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
221.97/220.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
221.97/220.43	s OPTIMUM FOUND
221.97/220.43	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 
221.97/220.43	c objective function=1
221.97/220.43	c Total wall clock time (in seconds): 220.323

Verifier Data 

OK	1

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-3492065-1307911250/watcher-3492065-1307911250 -o /var/tmp/evaluation-result-3492065-1307911250/solver-3492065-1307911250 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492065-1307911250.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.92 3/195 12157
/proc/meminfo: memFree=1598916/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 981355649 31260672 957 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 7634 958 731 9 0 385 0
[pid=12157/tid=12158] ppid=12155 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 981355649 31272960 959 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231895490363 0 0 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0275489 s]
/proc/loadavg: 2.00 2.01 1.92 3/195 12157
/proc/meminfo: memFree=1598916/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 10739 0 1 0 1 1 0 0 25 0 10 0 981355649 10705932288 10436 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2613753 10437 1515 9 0 2604501 0
[pid=12157/tid=12158] ppid=12155 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 9616 0 1 0 1 0 0 0 25 0 10 0 981355649 10705932288 10437 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907317195 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012

[startup+0.100528 s]
/proc/loadavg: 2.00 2.01 1.92 3/195 12157
/proc/meminfo: memFree=1598916/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10539720 CPUtime=0.11 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 13106 0 1 0 9 2 0 0 25 0 18 0 981355649 10792673280 12781 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2634930 12781 2092 9 0 2625664 0
[pid=12157/tid=12158] ppid=12155 vsize=10539720 CPUtime=0.08 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 11176 0 1 0 7 1 0 0 18 0 18 0 981355649 10792673280 12782 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 47822736968500 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539720

[startup+0.305525 s]
/proc/loadavg: 2.00 2.01 1.92 3/195 12157
/proc/meminfo: memFree=1598916/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10541316 CPUtime=0.52 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 17116 0 1 0 49 3 0 0 25 0 18 0 981355649 10794307584 15920 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2635329 15921 2205 9 0 2626063 0
[pid=12157/tid=12158] ppid=12155 vsize=10541316 CPUtime=0.28 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 13197 0 1 0 27 1 0 0 18 0 18 0 981355649 10794307584 15922 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10541316

[startup+0.700424 s]
/proc/loadavg: 2.00 2.01 1.92 3/195 12157
/proc/meminfo: memFree=1598916/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=1.58 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 23634 0 1 0 155 3 0 0 25 0 19 0 981355649 10798694400 19813 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 19813 2235 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=0.69 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 15180 0 1 0 67 2 0 0 19 0 19 0 981355649 10798694400 19813 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505913488 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10545600

[startup+1.50126 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 12176
/proc/meminfo: memFree=1508392/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=2.38 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 26763 0 1 0 234 4 0 0 25 0 19 0 981355649 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 22941 2237 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=1.48 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 18306 0 1 0 146 2 0 0 20 0 19 0 981355649 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505648033 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12157/tid=12160] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355651 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981355652 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981355652 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.47 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4662 0 0 0 47 0 0 0 17 0 19 0 981355654 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.4 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2633 0 0 0 40 0 0 0 16 0 19 0 981355654 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12174] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12174/stat : 12174 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12175] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12175/stat : 12175 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355654 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12176] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12176/stat : 12176 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355685 10798694400 22941 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10545600

[startup+3.10096 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 12176
/proc/meminfo: memFree=1492332/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=4.06 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 31553 0 1 0 402 4 0 0 25 0 19 0 981355649 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 27724 2263 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=3.06 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 20952 0 1 0 304 2 0 0 25 0 19 0 981355649 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505709044 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12157/tid=12160] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 191 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 405 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 237 0 0 0 0 0 0 0 18 0 19 0 981355651 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=0.01 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 1056 0 0 0 1 0 0 0 16 0 19 0 981355652 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.5 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4668 0 0 0 50 0 0 0 16 0 19 0 981355654 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.44 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2646 0 0 0 44 0 0 0 16 0 19 0 981355654 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12174] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12174/stat : 12174 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12175] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12175/stat : 12175 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355654 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12176] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12176/stat : 12176 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355685 10798694400 27724 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10545600

[startup+6.30137 s]
/proc/loadavg: 2.00 2.01 1.92 3/214 12176
/proc/meminfo: memFree=1467908/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=7.33 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 32234 0 1 0 728 5 0 0 25 0 19 0 981355649 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 28197 2263 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=6.14 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 20960 0 1 0 612 2 0 0 25 0 19 0 981355649 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505709143 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12157/tid=12160] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 338 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 981355651 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 1313 0 0 0 12 0 0 0 16 0 19 0 981355652 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.55 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4677 0 0 0 55 0 0 0 15 0 19 0 981355654 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.44 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2646 0 0 0 44 0 0 0 15 0 19 0 981355654 10798694400 28197 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0

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

/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 200 0 0 0 10 1 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0.13 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 13 0 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 270 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0.14 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 421 0 0 0 14 0 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 16 0 0 0 12 0 0 0 16 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 352 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 302 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=6.91 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 1826 0 0 0 683 8 0 0 15 0 19 0 981355652 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.59 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4689 0 0 0 59 0 0 0 15 0 19 0 981355654 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.47 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2648 0 0 0 47 0 0 0 15 0 19 0 981355654 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12174] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12174/stat : 12174 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12175] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12175/stat : 12175 (java) S 12155 12157 10183 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355654 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12176] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12176/stat : 12176 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355685 10798694400 28809 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 220.67
Current children cumulated vsize (KiB) 10545600

[startup+219.901 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 12182
/proc/meminfo: memFree=1460384/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=221.48 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 33284 0 1 0 22127 21 0 0 25 0 19 0 981355649 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 28811 2265 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=212.35 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 21366 0 1 0 21230 5 0 0 25 0 19 0 981355649 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505878784 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12157/tid=12160] ppid=12155 vsize=10545600 CPUtime=0.11 cores=1,3,5,7
/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 200 0 0 0 10 1 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0.13 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 13 0 0 0 16 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 271 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0.14 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 421 0 0 0 14 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 16 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 352 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 302 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=6.95 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 1826 0 0 0 687 8 0 0 15 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.59 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4689 0 0 0 59 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.47 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2648 0 0 0 47 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12174] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12174/stat : 12174 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12175] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12175/stat : 12175 (java) S 12155 12157 10183 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12176] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12176/stat : 12176 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355685 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 10545600

[startup+220.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 12182
/proc/meminfo: memFree=1460384/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=221.87 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 33284 0 1 0 22166 21 0 0 25 0 19 0 981355649 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 28811 2265 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=212.75 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 21366 0 1 0 21270 5 0 0 25 0 19 0 981355649 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12157/tid=12160] ppid=12155 vsize=10545600 CPUtime=0.11 cores=1,3,5,7
/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 200 0 0 0 10 1 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0.13 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 13 0 0 0 16 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 271 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0.14 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 421 0 0 0 14 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 16 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 352 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 302 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=6.95 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 1826 0 0 0 687 8 0 0 15 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.59 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4689 0 0 0 59 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.47 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2648 0 0 0 47 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12174] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12174/stat : 12174 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12175] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12175/stat : 12175 (java) S 12155 12157 10183 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12176] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12176/stat : 12176 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355685 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 221.87
Current children cumulated vsize (KiB) 10545600

[startup+220.401 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 12182
/proc/meminfo: memFree=1460384/32950928 swapFree=67054844/67111528
[pid=12157] ppid=12155 vsize=10545600 CPUtime=221.97 cores=1,3,5,7
/proc/12157/stat : 12157 (java) S 12155 12157 10183 0 -1 4202496 33284 0 1 0 22176 21 0 0 25 0 19 0 981355649 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12157/statm: 2636400 28811 2265 9 0 2627134 0
[pid=12157/tid=12158] ppid=12155 vsize=10545600 CPUtime=212.85 cores=1,3,5,7
/proc/12157/task/12158/stat : 12158 (java) R 12155 12157 10183 0 -1 4202560 21366 0 1 0 21280 5 0 0 25 0 19 0 981355649 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 46912505708015 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12157/tid=12160] ppid=12155 vsize=10545600 CPUtime=0.11 cores=1,3,5,7
/proc/12157/task/12160/stat : 12160 (java) S 12155 12157 10183 0 -1 4202560 200 0 0 0 10 1 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12161] ppid=12155 vsize=10545600 CPUtime=0.13 cores=1,3,5,7
/proc/12157/task/12161/stat : 12161 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 13 0 0 0 16 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12162] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12162/stat : 12162 (java) S 12155 12157 10183 0 -1 4202560 13 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12163] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12163/stat : 12163 (java) S 12155 12157 10183 0 -1 4202560 271 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12164] ppid=12155 vsize=10545600 CPUtime=0.14 cores=1,3,5,7
/proc/12157/task/12164/stat : 12164 (java) S 12155 12157 10183 0 -1 4202560 421 0 0 0 14 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12165] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12165/stat : 12165 (java) S 12155 12157 10183 0 -1 4202560 16 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
[pid=12157/tid=12166] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12166/stat : 12166 (java) S 12155 12157 10183 0 -1 4202560 352 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12167] ppid=12155 vsize=10545600 CPUtime=0.12 cores=1,3,5,7
/proc/12157/task/12167/stat : 12167 (java) S 12155 12157 10183 0 -1 4202560 302 0 0 0 12 0 0 0 15 0 19 0 981355651 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12168] ppid=12155 vsize=10545600 CPUtime=6.95 cores=1,3,5,7
/proc/12157/task/12168/stat : 12168 (java) S 12155 12157 10183 0 -1 4202560 1826 0 0 0 687 8 0 0 15 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 0 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12169] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12169/stat : 12169 (java) S 12155 12157 10183 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12170] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12170/stat : 12170 (java) S 12155 12157 10183 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355652 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12171] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12171/stat : 12171 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907314097 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12172] ppid=12155 vsize=10545600 CPUtime=0.59 cores=1,3,5,7
/proc/12157/task/12172/stat : 12172 (java) S 12155 12157 10183 0 -1 4202560 4689 0 0 0 59 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 5 0 0 0
[pid=12157/tid=12173] ppid=12155 vsize=10545600 CPUtime=0.47 cores=1,3,5,7
/proc/12157/task/12173/stat : 12173 (java) S 12155 12157 10183 0 -1 4202560 2648 0 0 0 47 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 1 0 0 0
[pid=12157/tid=12174] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12174/stat : 12174 (java) S 12155 12157 10183 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907306393 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12175] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12175/stat : 12175 (java) S 12155 12157 10183 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355654 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 3 0 0 0
[pid=12157/tid=12176] ppid=12155 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/12157/task/12176/stat : 12176 (java) S 12155 12157 10183 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355685 10798694400 28811 33554432000 1073741824 1073778376 140736498662832 18446744073709551615 231907307008 0 4 0 16800975 18446604471162145728 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 221.97
Current children cumulated vsize (KiB) 10545600

Child status: 30
Real time (s): 220.438
CPU time (s): 222.024
CPU user time (s): 221.802
CPU system time (s): 0.221966
CPU usage (%): 100.72
Max. virtual memory (cumulated for all children) (KiB): 10545600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.802
system time used= 0.221966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33310
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= 15317
involuntary context switches= 6493

runsolver used 0.371943 second user time and 0.846871 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-12 22:40:50
IDJOB=3492065
IDBENCH=79270
IDSOLVER=1982
FILE ID=node114/3492065-1307911250
RUNJOBID= node114-1307908609-11797
PBS_JOBID= 13559591
Free space on /var/tmp= 2884 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-0-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-3492065-1307911250/watcher-3492065-1307911250 -o /var/tmp/evaluation-result-3492065-1307911250/solver-3492065-1307911250 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492065-1307911250.wbo

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

MD5SUM BENCH= a56ccccf952bf820f5367d29dba24868
RANDOM SEED=1262851814

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.73
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.848
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.75
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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:     32950928 kB
MemFree:       1599568 kB
Buffers:         63892 kB
Cached:       30243616 kB
SwapCached:      10300 kB
Active:       14944436 kB
Inactive:     15458128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1599568 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:             580 kB
Writeback:           0 kB
AnonPages:       91840 kB
Mapped:          21080 kB
Slab:           884040 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10550964 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= 2884 MiB
End job on node114 at 2011-06-12 22:44:30