Trace number 3737317

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 NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)-65 1800.15 984.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
MD5SUM04b0fb885ddf05bea62d9eda618b3e5b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-68
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

Quality of the solution as a function of time


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

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3737317-1338721080.opb
0.10/0.12	c reading problem ... 
1.30/0.68	c ... done. Wall clock time 0.563s.
1.30/0.68	c #vars     8361
1.30/0.68	c #constraints  24083
1.30/0.68	c constraints type 
1.30/0.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1.30/0.68	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.30/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1.30/0.68	c constraints type 
1.30/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7861
1.30/0.68	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1.30/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7861
2.00/0.81	c  And the winner is Resolution
2.49/1.19	c SATISFIABLE
2.49/1.19	c OPTIMIZING...
2.49/1.19	c Got one! Elapsed wall clock time (in seconds):1.074
2.49/1.19	o -51
2.56/1.27	c  And the winner is CuttingPlanes
2.89/1.70	c Got one! Elapsed wall clock time (in seconds):1.581
2.89/1.70	o -52
2.89/1.74	c  And the winner is Resolution
3.13/2.20	c Got one! Elapsed wall clock time (in seconds):2.085
3.13/2.20	o -54
3.14/2.24	c  And the winner is Resolution
3.39/2.70	c Got one! Elapsed wall clock time (in seconds):2.587
3.39/2.70	o -55
3.39/2.74	c  And the winner is Resolution
3.55/3.21	c Got one! Elapsed wall clock time (in seconds):3.09
3.55/3.21	o -56
3.84/3.31	c  And the winner is Resolution
3.88/3.71	c Got one! Elapsed wall clock time (in seconds):3.593
3.88/3.71	o -57
3.88/3.74	c  And the winner is Resolution
3.98/4.21	c Got one! Elapsed wall clock time (in seconds):4.095
3.98/4.21	o -58
4.16/4.32	c  And the winner is Resolution
4.26/4.71	c Got one! Elapsed wall clock time (in seconds):4.598
4.26/4.71	o -59
5.26/5.22	c  And the winner is CuttingPlanes
5.32/5.72	c Got one! Elapsed wall clock time (in seconds):5.6
5.32/5.72	o -60
5.47/5.88	c cleaning 3912 clauses out of 7823 with flag 1000/7823
6.95/6.57	c  And the winner is CuttingPlanes
7.09/6.72	c Got one! Elapsed wall clock time (in seconds):6.603
7.09/6.72	o -61
8.30/7.32	c cleaning 7158 clauses out of 14317 with flag 5000/18229
9.92/8.10	c cleaning 6572 clauses out of 13160 with flag 11001/24230
11.46/8.94	c cleaning 6793 clauses out of 13587 with flag 18000/31229
13.37/9.94	c cleaning 7394 clauses out of 14795 with flag 26001/39230
14.08/10.34	c  And the winner is CuttingPlanes
14.17/10.72	c Got one! Elapsed wall clock time (in seconds):10.606
14.17/10.72	o -62
14.92/11.11	c cleaning 6664 clauses out of 13327 with flag 3000/45156
16.25/11.87	c cleaning 6326 clauses out of 12663 with flag 9000/51156
17.97/12.72	c cleaning 6660 clauses out of 13338 with flag 16001/58157
19.85/13.75	c cleaning 7339 clauses out of 14677 with flag 24000/66156
21.96/14.87	c cleaning 8168 clauses out of 16339 with flag 33001/75157
24.28/16.09	c cleaning 9085 clauses out of 18171 with flag 43001/85157
26.99/17.48	c cleaning 10040 clauses out of 20086 with flag 54001/96157
30.05/19.01	c cleaning 11023 clauses out of 22045 with flag 66000/108156
33.56/20.81	c cleaning 12004 clauses out of 24022 with flag 79000/121156
36.86/22.56	c cleaning 13004 clauses out of 26018 with flag 93000/135156
39.54/23.91	c  And the winner is Resolution
39.94/24.33	c Got one! Elapsed wall clock time (in seconds):24.21
39.94/24.33	o -63
41.09/24.99	c cleaning 14009 clauses out of 28017 with flag 5000/150159
43.11/26.00	c cleaning 10003 clauses out of 20008 with flag 11000/156159
44.78/26.98	c cleaning 8497 clauses out of 17005 with flag 18000/163159
46.94/28.02	c cleaning 8253 clauses out of 16509 with flag 26001/171160
49.22/29.25	c cleaning 8628 clauses out of 17255 with flag 35000/180159
52.03/30.71	c cleaning 9302 clauses out of 18627 with flag 45000/190159
54.70/32.16	c cleaning 10163 clauses out of 20325 with flag 56000/201159
58.19/33.93	c cleaning 11075 clauses out of 22164 with flag 68002/213161
61.45/35.62	c cleaning 12038 clauses out of 24087 with flag 81000/226159
65.06/37.58	c cleaning 13015 clauses out of 26049 with flag 95000/240159
69.32/39.73	c cleaning 14011 clauses out of 28034 with flag 110000/255159
73.98/42.17	c cleaning 15005 clauses out of 30024 with flag 126001/271160
78.84/44.63	c cleaning 16006 clauses out of 32018 with flag 143000/288159
83.85/47.26	c  And the winner is Resolution
84.41/47.81	c Got one! Elapsed wall clock time (in seconds):47.698
84.41/47.81	o -64
85.77/48.56	c cleaning 18557 clauses out of 37114 with flag 5001/309261
87.45/49.50	c cleaning 12271 clauses out of 24557 with flag 11001/315261
89.28/50.48	c cleaning 9632 clauses out of 19285 with flag 18000/322260
91.52/51.64	c cleaning 8825 clauses out of 17655 with flag 26002/330262
93.85/53.00	c cleaning 8912 clauses out of 17829 with flag 35001/339261
96.48/54.33	c cleaning 9453 clauses out of 18917 with flag 45001/349261
99.50/55.91	c cleaning 10228 clauses out of 20463 with flag 56000/360260
102.55/57.59	c cleaning 11101 clauses out of 22235 with flag 68000/372260
106.49/59.63	c cleaning 12067 clauses out of 24134 with flag 81000/385260
110.34/61.61	c cleaning 13034 clauses out of 26067 with flag 95000/399260
114.74/63.94	c cleaning 14018 clauses out of 28035 with flag 110002/414262
119.78/66.57	c cleaning 15008 clauses out of 30015 with flag 126000/430260
124.48/69.02	c cleaning 15994 clauses out of 32007 with flag 143000/447260
128.91/71.37	c cleaning 16492 clauses out of 33015 with flag 160002/464262
133.54/73.79	c cleaning 16755 clauses out of 33521 with flag 177000/481260
138.36/76.26	c cleaning 16871 clauses out of 33767 with flag 194001/498261
143.25/78.82	c cleaning 16941 clauses out of 33896 with flag 211001/515261
147.84/81.25	c cleaning 16971 clauses out of 33954 with flag 228000/532260
153.05/83.94	c cleaning 16989 clauses out of 33984 with flag 245001/549261
158.24/86.69	c cleaning 16992 clauses out of 33994 with flag 262000/566260
163.72/89.54	c cleaning 16994 clauses out of 34002 with flag 279000/583260
168.72/92.11	c cleaning 16992 clauses out of 34008 with flag 296000/600260
174.11/94.92	c cleaning 16998 clauses out of 34016 with flag 313000/617260
179.11/97.52	c cleaning 17009 clauses out of 34019 with flag 330001/634261
183.37/99.88	c cleaning 16996 clauses out of 34009 with flag 347000/651260
188.16/102.33	c cleaning 17004 clauses out of 34013 with flag 364000/668260
193.12/104.90	c cleaning 17000 clauses out of 34010 with flag 381001/685261
197.69/107.35	c cleaning 16997 clauses out of 34009 with flag 398000/702260
203.35/110.34	c cleaning 17004 clauses out of 34013 with flag 415001/719261
208.53/113.07	c cleaning 16991 clauses out of 34009 with flag 432001/736261
213.70/115.72	c cleaning 16998 clauses out of 34018 with flag 449001/753261
218.46/118.20	c cleaning 16999 clauses out of 34020 with flag 466001/770261
223.71/121.01	c cleaning 17004 clauses out of 34021 with flag 483001/787261
229.05/123.86	c cleaning 17002 clauses out of 34017 with flag 500001/804261
234.20/126.59	c cleaning 16996 clauses out of 34014 with flag 517000/821260
238.96/129.05	c cleaning 16997 clauses out of 34018 with flag 534000/838260
243.96/131.78	c cleaning 17000 clauses out of 34021 with flag 551000/855260
249.12/134.43	c cleaning 17001 clauses out of 34021 with flag 568000/872260
254.28/137.18	c  And the winner is CuttingPlanes
254.28/137.20	c cleaning 16994 clauses out of 34021 with flag 585001/889261
254.42/137.53	c Got one! Elapsed wall clock time (in seconds):137.409
254.42/137.53	o -65
255.76/138.24	c cleaning 11009 clauses out of 22028 with flag 5001/894262
257.56/139.36	c cleaning 8500 clauses out of 17019 with flag 11001/900262
259.49/140.41	c cleaning 7750 clauses out of 15518 with flag 18000/907261
261.44/141.58	c cleaning 7879 clauses out of 15768 with flag 26000/915261
263.79/142.88	c cleaning 8445 clauses out of 16889 with flag 35000/924261
266.59/144.43	c cleaning 9214 clauses out of 18444 with flag 45000/934261
269.33/145.97	c cleaning 10111 clauses out of 20231 with flag 56001/945262
272.47/147.67	c cleaning 11050 clauses out of 22120 with flag 68001/957262
276.03/149.52	c cleaning 12030 clauses out of 24069 with flag 81000/970261
279.64/151.58	c cleaning 13020 clauses out of 26039 with flag 95000/984261
283.99/153.81	c cleaning 14010 clauses out of 28019 with flag 110000/999261
288.14/156.10	c cleaning 14996 clauses out of 30009 with flag 126000/1015261
292.88/158.56	c cleaning 16004 clauses out of 32013 with flag 143000/1032261
297.87/161.26	c cleaning 16501 clauses out of 33010 with flag 160001/1049262
302.83/163.87	c cleaning 16740 clauses out of 33508 with flag 177000/1066261
307.35/166.28	c cleaning 16881 clauses out of 33768 with flag 194000/1083261
312.48/168.94	c cleaning 16939 clauses out of 33887 with flag 211000/1100261
317.89/171.82	c cleaning 16966 clauses out of 33949 with flag 228001/1117262
322.82/174.45	c cleaning 16987 clauses out of 33982 with flag 245000/1134261
328.13/177.21	c cleaning 16992 clauses out of 33995 with flag 262000/1151261
332.67/179.62	c cleaning 16997 clauses out of 34004 with flag 279001/1168262
337.44/182.27	c cleaning 16999 clauses out of 34008 with flag 296002/1185263
342.37/184.89	c cleaning 17003 clauses out of 34008 with flag 313001/1202262
347.27/187.48	c cleaning 16991 clauses out of 34005 with flag 330001/1219262
352.61/190.21	c cleaning 16995 clauses out of 34013 with flag 347000/1236261
357.96/193.10	c cleaning 17002 clauses out of 34018 with flag 364000/1253261
362.89/195.79	c cleaning 16995 clauses out of 34016 with flag 381000/1270261
367.97/198.40	c cleaning 17004 clauses out of 34021 with flag 398000/1287261
372.49/200.83	c cleaning 17005 clauses out of 34017 with flag 415000/1304261
377.61/203.63	c cleaning 16996 clauses out of 34012 with flag 432000/1321261
382.69/206.35	c cleaning 16997 clauses out of 34016 with flag 449000/1338261
388.01/209.11	c cleaning 17001 clauses out of 34019 with flag 466000/1355261
392.90/211.70	c cleaning 17007 clauses out of 34019 with flag 483001/1372262
398.04/214.59	c cleaning 16997 clauses out of 34012 with flag 500001/1389262
403.32/217.31	c cleaning 16993 clauses out of 34014 with flag 517000/1406261
408.24/219.95	c cleaning 17011 clauses out of 34023 with flag 534002/1423263
413.52/222.72	c cleaning 16994 clauses out of 34010 with flag 551000/1440261
419.01/225.75	c cleaning 16999 clauses out of 34016 with flag 568000/1457261
424.51/228.70	c cleaning 17003 clauses out of 34018 with flag 585001/1474262
429.21/231.12	c cleaning 17001 clauses out of 34014 with flag 602000/1491261
433.91/233.65	c cleaning 16997 clauses out of 34013 with flag 619000/1508261
438.80/236.35	c cleaning 17000 clauses out of 34018 with flag 636002/1525263
443.49/238.87	c cleaning 17006 clauses out of 34018 with flag 653002/1542263
448.78/241.64	c cleaning 16999 clauses out of 34010 with flag 670000/1559261
453.85/244.30	c cleaning 16995 clauses out of 34011 with flag 687000/1576261
459.54/247.43	c cleaning 17003 clauses out of 34017 with flag 704001/1593262
464.60/250.17	c cleaning 17003 clauses out of 34013 with flag 721000/1610261
470.10/253.04	c cleaning 16992 clauses out of 34010 with flag 738000/1627261
475.56/255.91	c cleaning 17007 clauses out of 34018 with flag 755000/1644261
481.22/259.01	c cleaning 17001 clauses out of 34011 with flag 772000/1661261
486.08/261.66	c cleaning 16996 clauses out of 34011 with flag 789001/1678262
491.36/264.45	c cleaning 16990 clauses out of 34015 with flag 806001/1695262
496.66/267.27	c cleaning 17003 clauses out of 34024 with flag 823000/1712261
502.11/270.28	c cleaning 17001 clauses out of 34022 with flag 840001/1729262
507.56/273.13	c cleaning 16995 clauses out of 34020 with flag 857000/1746261
513.04/276.06	c cleaning 17010 clauses out of 34026 with flag 874001/1763262
517.89/278.69	c cleaning 17001 clauses out of 34016 with flag 891001/1780262
522.74/281.35	c cleaning 17002 clauses out of 34014 with flag 908000/1797261
527.81/284.05	c cleaning 16996 clauses out of 34013 with flag 925001/1814262
533.07/286.85	c cleaning 17005 clauses out of 34017 with flag 942001/1831262
538.34/289.62	c cleaning 16997 clauses out of 34011 with flag 959000/1848261
543.36/292.48	c cleaning 17001 clauses out of 34014 with flag 976000/1865261
548.62/295.23	c cleaning 17005 clauses out of 34015 with flag 993002/1882263
554.08/298.12	c cleaning 16993 clauses out of 34009 with flag 1010001/1899262
559.11/300.82	c cleaning 16998 clauses out of 34015 with flag 1027000/1916261
564.54/303.85	c cleaning 17000 clauses out of 34017 with flag 1044000/1933261
569.97/306.77	c cleaning 17008 clauses out of 34020 with flag 1061003/1950264
575.41/309.65	c cleaning 17001 clauses out of 34010 with flag 1078001/1967262
580.66/312.44	c cleaning 17003 clauses out of 34009 with flag 1095001/1984262
586.25/315.57	c cleaning 16997 clauses out of 34006 with flag 1112001/2001262
591.92/318.52	c cleaning 17004 clauses out of 34009 with flag 1129001/2018262
597.55/321.59	c cleaning 16995 clauses out of 34005 with flag 1146001/2035262
603.39/324.61	c cleaning 17000 clauses out of 34009 with flag 1163000/2052261
609.38/327.98	c cleaning 16995 clauses out of 34009 with flag 1180000/2069261
614.82/330.83	c cleaning 17003 clauses out of 34014 with flag 1197000/2086261
620.06/333.63	c cleaning 16994 clauses out of 34011 with flag 1214000/2103261
625.70/336.61	c cleaning 17006 clauses out of 34017 with flag 1231000/2120261
631.06/339.61	c cleaning 16992 clauses out of 34012 with flag 1248001/2137262
636.47/342.56	c cleaning 17002 clauses out of 34019 with flag 1265000/2154261
642.09/345.57	c cleaning 17003 clauses out of 34017 with flag 1282000/2171261
647.51/348.41	c cleaning 17000 clauses out of 34014 with flag 1299000/2188261
653.29/351.68	c cleaning 17002 clauses out of 34014 with flag 1316000/2205261
658.32/354.30	c cleaning 16998 clauses out of 34013 with flag 1333001/2222262
662.97/356.80	c cleaning 17000 clauses out of 34015 with flag 1350001/2239262
668.00/359.59	c cleaning 17003 clauses out of 34015 with flag 1367001/2256262
673.55/362.68	c cleaning 17006 clauses out of 34013 with flag 1384002/2273263
678.98/365.51	c cleaning 16995 clauses out of 34005 with flag 1401000/2290261
684.01/368.24	c cleaning 17001 clauses out of 34010 with flag 1418000/2307261
689.66/371.21	c cleaning 17001 clauses out of 34010 with flag 1435001/2324262
695.20/374.31	c cleaning 17003 clauses out of 34008 with flag 1452000/2341261
700.22/377.08	c cleaning 16996 clauses out of 34005 with flag 1469000/2358261
705.84/380.09	c cleaning 16997 clauses out of 34010 with flag 1486001/2375262
711.66/383.15	c cleaning 16997 clauses out of 34013 with flag 1503001/2392262
717.82/386.54	c cleaning 16996 clauses out of 34016 with flag 1520001/2409262
722.81/389.22	c cleaning 16999 clauses out of 34019 with flag 1537000/2426261
727.61/391.88	c cleaning 16998 clauses out of 34020 with flag 1554000/2443261
733.01/394.71	c cleaning 17001 clauses out of 34023 with flag 1571001/2460262
738.54/397.84	c cleaning 16996 clauses out of 34021 with flag 1588000/2477261
743.75/400.69	c cleaning 17002 clauses out of 34025 with flag 1605000/2494261
748.94/403.40	c cleaning 17004 clauses out of 34024 with flag 1622001/2511262
753.94/406.12	c cleaning 16997 clauses out of 34020 with flag 1639001/2528262
759.46/409.21	c cleaning 17006 clauses out of 34023 with flag 1656001/2545262
764.63/412.05	c cleaning 16996 clauses out of 34016 with flag 1673000/2562261
769.81/414.84	c cleaning 17001 clauses out of 34021 with flag 1690001/2579262
774.99/417.64	c cleaning 16998 clauses out of 34019 with flag 1707000/2596261
780.49/420.74	c cleaning 17001 clauses out of 34021 with flag 1724000/2613261
785.87/423.63	c cleaning 17003 clauses out of 34021 with flag 1741001/2630262
791.05/426.45	c cleaning 17003 clauses out of 34018 with flag 1758001/2647262
796.04/429.19	c cleaning 16994 clauses out of 34014 with flag 1775000/2664261
801.76/432.38	c cleaning 17002 clauses out of 34020 with flag 1792000/2681261
807.12/435.27	c cleaning 17000 clauses out of 34018 with flag 1809000/2698261
812.70/438.23	c cleaning 16999 clauses out of 34019 with flag 1826001/2715262
818.29/441.21	c cleaning 17007 clauses out of 34021 with flag 1843002/2732263
823.99/444.41	c cleaning 16992 clauses out of 34012 with flag 1860000/2749261
829.34/447.33	c cleaning 16996 clauses out of 34021 with flag 1877001/2766262
834.71/450.25	c cleaning 17008 clauses out of 34024 with flag 1894000/2783261
840.28/453.21	c cleaning 16992 clauses out of 34017 with flag 1911001/2800262
846.18/456.53	c cleaning 17008 clauses out of 34024 with flag 1928000/2817261
851.56/459.48	c cleaning 17004 clauses out of 34017 with flag 1945001/2834262
857.14/462.42	c cleaning 16990 clauses out of 34012 with flag 1962000/2851261
862.72/465.44	c cleaning 17001 clauses out of 34022 with flag 1979000/2868261
868.22/468.53	c cleaning 17007 clauses out of 34021 with flag 1996000/2885261
872.79/471.05	c cleaning 17000 clauses out of 34014 with flag 2013000/2902261
877.76/473.73	c cleaning 16996 clauses out of 34014 with flag 2030000/2919261
883.13/476.68	c cleaning 17003 clauses out of 34018 with flag 2047000/2936261
888.60/479.75	c cleaning 16999 clauses out of 34015 with flag 2064000/2953261
893.99/482.66	c cleaning 16993 clauses out of 34016 with flag 2081000/2970261
899.36/485.50	c cleaning 17013 clauses out of 34025 with flag 2098002/2987263
904.52/488.31	c cleaning 16995 clauses out of 34010 with flag 2115000/3004261
909.60/491.26	c cleaning 16999 clauses out of 34016 with flag 2132001/3021262
914.99/494.12	c cleaning 16998 clauses out of 34017 with flag 2149001/3038262
920.36/497.00	c cleaning 17000 clauses out of 34020 with flag 2166002/3055263
925.71/499.97	c cleaning 17001 clauses out of 34018 with flag 2183000/3072261
930.98/502.96	c cleaning 17005 clauses out of 34017 with flag 2200000/3089261
936.14/505.77	c cleaning 16994 clauses out of 34012 with flag 2217000/3106261
941.71/508.70	c cleaning 17005 clauses out of 34019 with flag 2234001/3123262
946.87/511.51	c cleaning 16993 clauses out of 34013 with flag 2251000/3140261
952.09/514.58	c cleaning 17004 clauses out of 34020 with flag 2268000/3157261
957.44/517.44	c cleaning 17000 clauses out of 34016 with flag 2285000/3174261
962.81/520.32	c cleaning 16991 clauses out of 34016 with flag 2302000/3191261
968.15/523.23	c cleaning 17011 clauses out of 34027 with flag 2319002/3208263
973.83/526.41	c cleaning 17000 clauses out of 34016 with flag 2336002/3225263
979.20/529.38	c cleaning 17001 clauses out of 34014 with flag 2353000/3242261
984.96/532.47	c cleaning 17004 clauses out of 34013 with flag 2370000/3259261
990.28/535.31	c cleaning 16999 clauses out of 34010 with flag 2387001/3276262
995.93/538.53	c cleaning 16999 clauses out of 34010 with flag 2404000/3293261
1001.30/541.43	c cleaning 16999 clauses out of 34011 with flag 2421000/3310261
1006.45/544.22	c cleaning 16999 clauses out of 34012 with flag 2438000/3327261
1011.60/547.08	c cleaning 17007 clauses out of 34013 with flag 2455000/3344261
1015.82/549.54	c cleaning 0 clauses out of 8232 with flag 0/8235
1018.20/550.90	c cleaning 17000 clauses out of 34006 with flag 2472000/3361261
1023.73/553.93	c cleaning 17003 clauses out of 34008 with flag 2489002/3378263
1029.46/557.08	c cleaning 16998 clauses out of 34003 with flag 2506000/3395261
1036.08/560.72	c cleaning 17001 clauses out of 34005 with flag 2523000/3412261
1041.61/563.77	c cleaning 16997 clauses out of 34004 with flag 2540000/3429261
1047.55/566.96	c cleaning 16995 clauses out of 34008 with flag 2557001/3446262
1053.51/570.13	c cleaning 16999 clauses out of 34012 with flag 2574000/3463261
1060.14/573.83	c cleaning 17007 clauses out of 34013 with flag 2591000/3480261
1066.50/577.28	c cleaning 17004 clauses out of 34007 with flag 2608001/3497262
1073.05/580.71	c cleaning 16993 clauses out of 34002 with flag 2625000/3514261
1079.18/584.10	c cleaning 16997 clauses out of 34010 with flag 2642001/3531262
1085.93/587.81	c cleaning 16998 clauses out of 34012 with flag 2659000/3548261
1091.47/590.88	c cleaning 17002 clauses out of 34015 with flag 2676001/3565262
1097.01/593.85	c cleaning 16992 clauses out of 34013 with flag 2693001/3582262
1102.55/596.86	c cleaning 17002 clauses out of 34021 with flag 2710001/3599262
1108.76/600.30	c cleaning 17005 clauses out of 34019 with flag 2727001/3616262
1114.29/603.34	c cleaning 16994 clauses out of 34014 with flag 2744001/3633262
1119.61/606.29	c cleaning 16995 clauses out of 34019 with flag 2761000/3650261
1125.13/609.27	c cleaning 16995 clauses out of 34025 with flag 2778001/3667262
1131.12/612.70	c cleaning 17006 clauses out of 34029 with flag 2795000/3684261
1136.63/615.70	c cleaning 17000 clauses out of 34024 with flag 2812001/3701262
1142.55/618.83	c cleaning 16997 clauses out of 34023 with flag 2829000/3718261
1147.87/621.70	c cleaning 16999 clauses out of 34028 with flag 2846002/3735263
1153.64/625.06	c cleaning 17005 clauses out of 34028 with flag 2863001/3752262
1159.38/628.17	c cleaning 17002 clauses out of 34022 with flag 2880000/3769261
1165.09/631.21	c cleaning 17001 clauses out of 34020 with flag 2897000/3786261
1170.59/634.23	c cleaning 16999 clauses out of 34020 with flag 2914001/3803262
1176.59/637.63	c cleaning 16997 clauses out of 34020 with flag 2931000/3820261
1182.08/640.64	c cleaning 17007 clauses out of 34024 with flag 2948001/3837262
1187.77/643.76	c cleaning 17005 clauses out of 34017 with flag 2965001/3854262
1193.48/646.88	c cleaning 16995 clauses out of 34012 with flag 2982001/3871262
1198.84/649.90	c cleaning 17001 clauses out of 34016 with flag 2999000/3888261
1203.75/652.60	c cleaning 16995 clauses out of 34015 with flag 3016000/3905261
1208.64/655.34	c cleaning 17001 clauses out of 34020 with flag 3033000/3922261
1213.95/658.22	c cleaning 17002 clauses out of 34019 with flag 3050000/3939261
1219.72/661.53	c cleaning 17000 clauses out of 34020 with flag 3067003/3956264
1224.82/664.35	c cleaning 17002 clauses out of 34017 with flag 3084000/3973261
1230.31/667.35	c cleaning 16999 clauses out of 34016 with flag 3101001/3990262
1235.80/670.34	c cleaning 16989 clauses out of 34016 with flag 3118000/4007261
1241.74/673.70	c cleaning 17008 clauses out of 34028 with flag 3135001/4024262
1247.24/676.80	c cleaning 16998 clauses out of 34019 with flag 3152000/4041261
1253.14/679.94	c cleaning 16986 clauses out of 34021 with flag 3169000/4058261
1258.63/682.99	c cleaning 17010 clauses out of 34035 with flag 3186000/4075261
1264.38/686.22	c cleaning 17004 clauses out of 34025 with flag 3203000/4092261
1269.65/689.13	c cleaning 16998 clauses out of 34021 with flag 3220000/4109261
1275.13/692.12	c cleaning 17010 clauses out of 34023 with flag 3237000/4126261
1280.41/695.07	c cleaning 16995 clauses out of 34013 with flag 3254000/4143261
1286.54/698.54	c cleaning 17001 clauses out of 34018 with flag 3271000/4160261
1291.62/701.32	c cleaning 17001 clauses out of 34017 with flag 3288000/4177261
1297.10/704.34	c cleaning 17003 clauses out of 34017 with flag 3305001/4194262
1302.76/707.46	c cleaning 16998 clauses out of 34013 with flag 3322000/4211261
1308.70/710.84	c cleaning 16997 clauses out of 34015 with flag 3339000/4228261
1314.37/713.91	c cleaning 17006 clauses out of 34021 with flag 3356003/4245264
1319.62/716.89	c cleaning 16999 clauses out of 34013 with flag 3373001/4262262
1325.09/719.89	c cleaning 16998 clauses out of 34014 with flag 3390001/4279262
1331.05/723.27	c cleaning 16997 clauses out of 34015 with flag 3407000/4296261
1336.72/726.37	c cleaning 16990 clauses out of 34019 with flag 3424001/4313262
1341.79/729.17	c cleaning 16996 clauses out of 34028 with flag 3441000/4330261
1347.29/732.16	c cleaning 17003 clauses out of 34032 with flag 3458000/4347261
1352.98/735.50	c cleaning 17007 clauses out of 34029 with flag 3475000/4364261
1358.64/738.59	c cleaning 17000 clauses out of 34023 with flag 3492001/4381262
1364.10/741.51	c cleaning 17001 clauses out of 34022 with flag 3509000/4398261
1369.55/744.53	c cleaning 17001 clauses out of 34021 with flag 3526000/4415261
1375.48/747.95	c cleaning 16999 clauses out of 34022 with flag 3543002/4432263
1380.91/750.92	c cleaning 17005 clauses out of 34021 with flag 3560000/4449261
1386.39/753.92	c cleaning 16999 clauses out of 34017 with flag 3577001/4466262
1391.85/756.94	c cleaning 16999 clauses out of 34017 with flag 3594000/4483261
1397.94/760.42	c cleaning 17002 clauses out of 34018 with flag 3611000/4500261
1403.61/763.55	c cleaning 16995 clauses out of 34016 with flag 3628000/4517261
1409.08/766.56	c cleaning 17004 clauses out of 34021 with flag 3645000/4534261
1414.13/769.38	c cleaning 17003 clauses out of 34017 with flag 3662000/4551261
1420.00/772.79	c cleaning 16995 clauses out of 34014 with flag 3679000/4568261
1425.85/775.92	c cleaning 17000 clauses out of 34019 with flag 3696000/4585261
1431.49/779.05	c cleaning 17000 clauses out of 34019 with flag 3713000/4602261
1436.95/782.09	c cleaning 16996 clauses out of 34020 with flag 3730001/4619262
1443.20/785.62	c cleaning 17007 clauses out of 34025 with flag 3747002/4636263
1449.04/788.89	c cleaning 16994 clauses out of 34017 with flag 3764001/4653262
1454.90/792.01	c cleaning 17000 clauses out of 34022 with flag 3781000/4670261
1460.56/795.13	c cleaning 17001 clauses out of 34023 with flag 3798001/4687262
1466.45/798.56	c cleaning 17004 clauses out of 34022 with flag 3815001/4704262
1472.28/801.77	c cleaning 16990 clauses out of 34018 with flag 3832001/4721262
1477.91/804.88	c cleaning 17001 clauses out of 34027 with flag 3849000/4738261
1483.97/808.15	c cleaning 17000 clauses out of 34026 with flag 3866000/4755261
1490.24/811.74	c cleaning 17007 clauses out of 34026 with flag 3883000/4772261
1496.07/814.94	c cleaning 16995 clauses out of 34019 with flag 3900000/4789261
1502.13/818.22	c cleaning 17001 clauses out of 34024 with flag 3917000/4806261
1508.18/821.54	c cleaning 16995 clauses out of 34024 with flag 3934001/4823262
1514.44/825.16	c cleaning 17001 clauses out of 34029 with flag 3951001/4840262
1520.44/828.40	c cleaning 17008 clauses out of 34027 with flag 3968000/4857261
1525.69/831.39	c cleaning 16995 clauses out of 34019 with flag 3985000/4874261
1531.33/834.40	c cleaning 17000 clauses out of 34024 with flag 4002000/4891261
1537.19/837.85	c cleaning 17000 clauses out of 34025 with flag 4019001/4908262
1542.83/840.92	c cleaning 17005 clauses out of 34024 with flag 4036000/4925261
1548.48/844.05	c cleaning 17001 clauses out of 34019 with flag 4053000/4942261
1554.11/847.17	c cleaning 16993 clauses out of 34018 with flag 4070000/4959261
1560.34/850.74	c cleaning 17002 clauses out of 34025 with flag 4087000/4976261
1565.99/853.89	c cleaning 16997 clauses out of 34023 with flag 4104000/4993261
1571.65/856.98	c cleaning 17005 clauses out of 34026 with flag 4121000/5010261
1577.48/860.10	c cleaning 16993 clauses out of 34021 with flag 4138000/5027261
1583.44/863.51	c cleaning 17005 clauses out of 34028 with flag 4155000/5044261
1589.07/866.68	c cleaning 17005 clauses out of 34024 with flag 4172001/5061262
1594.90/869.88	c cleaning 16996 clauses out of 34019 with flag 4189001/5078262
1600.92/873.12	c cleaning 16996 clauses out of 34022 with flag 4206000/5095261
1607.19/876.73	c cleaning 17005 clauses out of 34026 with flag 4223000/5112261
1612.59/879.73	c cleaning 17000 clauses out of 34021 with flag 4240000/5129261
1618.20/882.80	c cleaning 17000 clauses out of 34021 with flag 4257000/5146261
1623.82/885.92	c cleaning 17002 clauses out of 34023 with flag 4274002/5163263
1629.85/889.40	c cleaning 16999 clauses out of 34019 with flag 4291000/5180261
1635.45/892.51	c cleaning 16998 clauses out of 34020 with flag 4308000/5197261
1640.86/895.56	c cleaning 17006 clauses out of 34023 with flag 4325001/5214262
1646.48/898.67	c cleaning 16999 clauses out of 34016 with flag 4342000/5231261
1652.50/902.17	c cleaning 16999 clauses out of 34017 with flag 4359000/5248261
1658.53/905.43	c cleaning 16992 clauses out of 34018 with flag 4376000/5265261
1664.36/908.68	c cleaning 17009 clauses out of 34026 with flag 4393000/5282261
1670.55/912.07	c cleaning 16994 clauses out of 34018 with flag 4410001/5299262
1676.54/915.55	c cleaning 17001 clauses out of 34024 with flag 4427001/5316262
1682.35/918.77	c cleaning 17003 clauses out of 34023 with flag 4444001/5333262
1688.34/922.07	c cleaning 16997 clauses out of 34020 with flag 4461001/5350262
1694.34/925.36	c cleaning 17009 clauses out of 34023 with flag 4478001/5367262
1699.72/928.54	c cleaning 17000 clauses out of 34013 with flag 4495000/5384261
1704.53/931.29	c cleaning 16993 clauses out of 34013 with flag 4512000/5401261
1709.75/934.16	c cleaning 17005 clauses out of 34022 with flag 4529002/5418263
1715.18/937.14	c cleaning 17002 clauses out of 34015 with flag 4546000/5435261
1721.04/940.55	c cleaning 16991 clauses out of 34014 with flag 4563001/5452262
1726.24/943.44	c cleaning 17011 clauses out of 34022 with flag 4580000/5469261
1732.02/946.64	c cleaning 16995 clauses out of 34012 with flag 4597001/5486262
1737.82/949.82	c cleaning 17008 clauses out of 34017 with flag 4614001/5503262
1743.60/953.29	c cleaning 16995 clauses out of 34009 with flag 4631001/5520262
1749.00/956.29	c cleaning 17000 clauses out of 34013 with flag 4648000/5537261
1754.58/959.38	c cleaning 16997 clauses out of 34013 with flag 4665000/5554261
1760.59/962.60	c cleaning 17001 clauses out of 34017 with flag 4682001/5571262
1766.82/966.20	c cleaning 16999 clauses out of 34016 with flag 4699001/5588262
1772.41/969.39	c cleaning 17004 clauses out of 34016 with flag 4716000/5605261
1778.22/972.56	c cleaning 16990 clauses out of 34012 with flag 4733000/5622261
1784.22/975.86	c cleaning 17000 clauses out of 34022 with flag 4750000/5639261
1790.20/979.39	c cleaning 17004 clauses out of 34023 with flag 4767001/5656262
1795.61/982.34	c cleaning 17001 clauses out of 34018 with flag 4784000/5673261
1800.04/984.81	c starts		: 58
1800.04/984.81	c conflicts		: 10990
1800.04/984.81	c decisions		: 17092
1800.04/984.81	c propagations		: 155162
1800.04/984.81	c inspects		: 429062071
1800.04/984.81	c shortcuts		: 0
1800.04/984.81	c learnt literals	: 0
1800.04/984.81	c learnt binary clauses	: 0
1800.04/984.81	c learnt ternary clauses	: 0
1800.04/984.81	c learnt constraints	: 10987
1800.04/984.81	c ignored constraints	: 0
1800.04/984.81	c root simplifications	: 0
1800.04/984.81	c removed literals (reason simplification)	: 0
1800.04/984.81	c reason swapping (by a shorter reason)	: 0
1800.04/984.81	c Calls to reduceDB	: 1
1800.04/984.81	c number of reductions to clauses (during analyze)	: 0
1800.04/984.81	c number of learned constraints concerned by reduction	: 0
1800.04/984.81	c number of learning phase by resolution	: 0
1800.04/984.81	c number of learning phase by cutting planes	: 0
1800.04/984.81	c speed (assignments/second)	: 183.128895540215
1800.04/984.81	c non guided choices	0
1800.04/984.82	c learnt constraints type 
1800.04/984.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 366
1800.04/984.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10621
1800.04/984.82	c constraints type 
1800.04/984.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1800.04/984.82	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.04/984.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/984.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1800.04/984.82	c constraints type 
1800.04/984.82	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7861
1800.04/984.82	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.04/984.82	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1800.04/984.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7861
1800.04/984.82	s SATISFIABLE
1800.04/984.82	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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 x439 -x440 x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 
1800.04/984.82	c objective function=-65
1800.04/984.82	c Total wall clock time (in seconds): 984.701

Verifier Data 

OK	-65

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737317-1338721080/watcher-3737317-1338721080 -o /tmp/evaluation-result-3737317-1338721080/solver-3737317-1338721080 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737317-1338721080.opb 

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: 3.57 3.69 3.71 4/197 20589
/proc/meminfo: memFree=26444640/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20589/stat : 20589 (java) R 20587 20589 18226 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 338233787 9515008 176 33554432000 1073741824 1073778376 140737189741296 140737189724024 270330053520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20589/statm: 2323 176 133 9 0 71 0

[startup+0.033517 s]
/proc/loadavg: 3.57 3.69 3.71 4/197 20589
/proc/meminfo: memFree=26444640/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11042732 CPUtime=0.01 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 3502 0 1 0 0 1 0 0 20 0 10 0 338233787 11307757568 10845 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2760683 10845 1081 9 0 2751792 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11042732

[startup+0.100194 s]
/proc/loadavg: 3.57 3.69 3.71 4/197 20589
/proc/meminfo: memFree=26444640/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 5243 0 1 0 8 2 0 0 20 0 18 0 338233787 11864465408 13594 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2896598 13594 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.300174 s]
/proc/loadavg: 3.57 3.69 3.71 4/197 20589
/proc/meminfo: memFree=26444640/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11586392 CPUtime=0.46 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 6381 0 1 0 44 2 0 0 20 0 18 0 338233787 11864465408 15765 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2896598 15765 2231 9 0 2887285 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 11586392

[startup+0.700173 s]
/proc/loadavg: 3.57 3.69 3.71 4/197 20589
/proc/meminfo: memFree=26444640/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11719520 CPUtime=1.61 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 18369 0 1 0 156 5 0 0 20 0 20 0 338233787 12000788480 31349 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2929880 31349 2257 9 0 2920567 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 11719520

[startup+1.50062 s]
/proc/loadavg: 3.57 3.69 3.71 5/216 20611
/proc/meminfo: memFree=26325004/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11852648 CPUtime=2.89 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 20868 0 1 0 280 9 0 0 20 0 19 0 338233787 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2963162 34602 2269 9 0 2953849 0
[pid=20589/tid=20591] ppid=20587 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/20589/task/20591/stat : 20591 (java) S 20587 20589 18226 0 -1 4202560 3394 0 1 0 64 3 0 0 20 0 19 0 338233788 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922761700504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20592] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20592/stat : 20592 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922730109352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20593] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20593/stat : 20593 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922729056808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20594] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20594/stat : 20594 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922728003752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20595] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20595/stat : 20595 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922726951208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20596] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20596/stat : 20596 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922725899176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20597] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20597/stat : 20597 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922724846632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20598] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20598/stat : 20598 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922723793576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20599] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20599/stat : 20599 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922722741032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20600] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20600/stat : 20600 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338233791 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922108283240 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20601] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20601/stat : 20601 (java) S 20587 20589 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338233792 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922107229560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20602] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20602/stat : 20602 (java) S 20587 20589 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338233792 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922106176392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20603] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20603/stat : 20603 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233794 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922105125136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20604] ppid=20587 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/20589/task/20604/stat : 20604 (java) S 20587 20589 18226 0 -1 4202560 8127 0 0 0 88 0 0 0 20 0 19 0 338233794 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922104073016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20605] ppid=20587 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/20589/task/20605/stat : 20605 (java) S 20587 20589 18226 0 -1 4202560 8037 0 0 0 83 2 0 0 20 0 19 0 338233794 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922103020472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20606] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20606/stat : 20606 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233794 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922101967608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20607] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20607/stat : 20607 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233794 12137111552 34602 33554432000 1073741824 1073778376 140733834462160 139922100915272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 11852648

[startup+3.10064 s]
/proc/loadavg: 3.57 3.69 3.71 3/216 20617
/proc/meminfo: memFree=26303432/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11852648 CPUtime=3.55 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 20905 0 1 0 339 16 0 0 20 0 19 0 338233787 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2963162 42795 2269 9 0 2953849 0
[pid=20589/tid=20591] ppid=20587 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/20589/task/20591/stat : 20591 (java) S 20587 20589 18226 0 -1 4202560 3395 0 1 0 65 3 0 0 20 0 19 0 338233788 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922761700504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20592] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20592/stat : 20592 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922730109352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20593] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20593/stat : 20593 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922729056808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20594] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20594/stat : 20594 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922728003752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20595] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20595/stat : 20595 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922726951208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20596] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20596/stat : 20596 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922725899176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20597] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20597/stat : 20597 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922724846632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20598] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20598/stat : 20598 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922723793576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20599] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20599/stat : 20599 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338233790 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922722741032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20600] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20600/stat : 20600 (java) S 20587 20589 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338233791 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922108283240 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20601] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20601/stat : 20601 (java) S 20587 20589 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338233792 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922107229560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20602] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20602/stat : 20602 (java) S 20587 20589 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338233792 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922106176392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20603] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20603/stat : 20603 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233794 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922105125136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20604] ppid=20587 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/20589/task/20604/stat : 20604 (java) S 20587 20589 18226 0 -1 4202560 8127 0 0 0 106 0 0 0 20 0 19 0 338233794 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922104073016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20605] ppid=20587 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/20589/task/20605/stat : 20605 (java) S 20587 20589 18226 0 -1 4202560 8037 0 0 0 103 2 0 0 20 0 19 0 338233794 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922103020472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20606] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20606/stat : 20606 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233794 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922101967608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20607] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20607/stat : 20607 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233794 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922100915272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20617] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20617/stat : 20617 (java) S 20587 20589 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233957 12137111552 42795 33554432000 1073741824 1073778376 140733834462160 139922097755304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 11852648

[startup+6.30069 s]
/proc/loadavg: 3.44 3.66 3.70 3/216 20635
/proc/meminfo: memFree=26110024/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11852648 CPUtime=6.53 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 21182 0 1 0 621 32 0 0 20 0 22 0 338233787 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2963162 113610 2295 9 0 2953849 0
[pid=20589/tid=20591] ppid=20587 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/20589/task/20591/stat : 20591 (java) S 20587 20589 18226 0 -1 4202560 3396 0 1 0 66 3 0 0 20 0 22 0 338233788 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922761700504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20592] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20592/stat : 20592 (java) S 20587 20589 18226 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922730109352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20593] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20593/stat : 20593 (java) S 20587 20589 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922729056808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20594] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20594/stat : 20594 (java) S 20587 20589 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922728003752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20595] ppid=20587 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20589/task/20595/stat : 20595 (java) S 20587 20589 18226 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922726951208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20596] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20596/stat : 20596 (java) S 20587 20589 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922725899176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20597] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20597/stat : 20597 (java) S 20587 20589 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922724846632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20598] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20598/stat : 20598 (java) S 20587 20589 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922723793576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20599] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20599/stat : 20599 (java) S 20587 20589 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338233790 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922722741032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20600] ppid=20587 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/20589/task/20600/stat : 20600 (java) S 20587 20589 18226 0 -1 4202560 44 0 0 0 7 1 0 0 20 0 22 0 338233791 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922108283240 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20601] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20601/stat : 20601 (java) S 20587 20589 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922107229560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20602] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20602/stat : 20602 (java) S 20587 20589 18226 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922106176392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20603] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20603/stat : 20603 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922105125136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20604] ppid=20587 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/20589/task/20604/stat : 20604 (java) S 20587 20589 18226 0 -1 4202560 8133 0 0 0 123 0 0 0 20 0 22 0 338233794 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922104073016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20605] ppid=20587 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/20589/task/20605/stat : 20605 (java) S 20587 20589 18226 0 -1 4202560 8037 0 0 0 114 2 0 0 20 0 22 0 338233794 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922103020472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20606] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20606/stat : 20606 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922101967608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20607] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20607/stat : 20607 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922100915272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20635] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20635/stat : 20635 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338234259 12137111552 113610 33554432000 1073741824 1073778376 140733834462160 139922098807720 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 11852648

[startup+12.7008 s]
/proc/loadavg: 3.72 3.72 3.72 4/219 20644
/proc/meminfo: memFree=25680772/32873660 swapFree=7120/7120

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

[pid=20589/tid=20595] ppid=20587 vsize=11852648 CPUtime=3.31 cores=1,3,5,7
/proc/20589/task/20595/stat : 20595 (java) S 20587 20589 18226 0 -1 4202560 210 0 0 0 327 4 0 0 20 0 22 0 338233790 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922726951208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20596] ppid=20587 vsize=11852648 CPUtime=3.08 cores=1,3,5,7
/proc/20589/task/20596/stat : 20596 (java) S 20587 20589 18226 0 -1 4202560 180 0 0 0 305 3 0 0 20 0 22 0 338233790 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922725899176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20597] ppid=20587 vsize=11852648 CPUtime=2.98 cores=1,3,5,7
/proc/20589/task/20597/stat : 20597 (java) S 20587 20589 18226 0 -1 4202560 197 0 0 0 294 4 0 0 20 0 22 0 338233790 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922724846632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20598] ppid=20587 vsize=11852648 CPUtime=3.33 cores=1,3,5,7
/proc/20589/task/20598/stat : 20598 (java) S 20587 20589 18226 0 -1 4202560 229 0 0 0 330 3 0 0 20 0 22 0 338233790 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922723793576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20599] ppid=20587 vsize=11852648 CPUtime=3.09 cores=1,3,5,7
/proc/20589/task/20599/stat : 20599 (java) S 20587 20589 18226 0 -1 4202560 196 0 0 0 306 3 0 0 20 0 22 0 338233790 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922722741032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20600] ppid=20587 vsize=11852648 CPUtime=150 cores=1,3,5,7
/proc/20589/task/20600/stat : 20600 (java) S 20587 20589 18226 0 -1 4202560 330 0 0 0 14986 14 0 0 20 0 22 0 338233791 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922108283240 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20601] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20601/stat : 20601 (java) S 20587 20589 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922107229560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20602] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20602/stat : 20602 (java) S 20587 20589 18226 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922106176392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20603] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20603/stat : 20603 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922105125136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20604] ppid=20587 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/20589/task/20604/stat : 20604 (java) S 20587 20589 18226 0 -1 4202560 8148 0 0 0 152 0 0 0 20 0 22 0 338233794 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922104073016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20605] ppid=20587 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/20589/task/20605/stat : 20605 (java) S 20587 20589 18226 0 -1 4202560 8040 0 0 0 123 2 0 0 20 0 22 0 338233794 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922103020472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20606] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20606/stat : 20606 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922101967608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20607] ppid=20587 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/20589/task/20607/stat : 20607 (java) S 20587 20589 18226 0 -1 4202560 50 0 0 0 14 21 0 0 20 0 22 0 338233794 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922100915272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20650] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20650/stat : 20650 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338238569 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922098807592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20654] ppid=20587 vsize=11852648 CPUtime=600.61 cores=1,3,5,7
/proc/20589/task/20654/stat : 20654 (java) R 20587 20589 18226 0 -1 4202560 34 0 0 0 60052 9 0 0 20 0 22 0 338247540 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922096701648 139922602686224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20655] ppid=20587 vsize=11852648 CPUtime=600.48 cores=1,3,5,7
/proc/20589/task/20655/stat : 20655 (java) R 20587 20589 18226 0 -1 4202560 12 0 0 0 60036 12 0 0 20 0 22 0 338247540 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922097753088 139922603276221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20656] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20656/stat : 20656 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338247540 12137111552 344496 33554432000 1073741824 1073778376 140733834462160 139922099861160 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1617.2
Current children cumulated vsize (KiB) 11852648

[startup+942.301 s]
/proc/loadavg: 3.55 3.56 3.63 5/219 20762
/proc/meminfo: memFree=25102100/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11852648 CPUtime=1724.04 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 23821 0 1 0 172292 112 0 0 20 0 22 0 338233787 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2963162 347676 2296 9 0 2953849 0
[pid=20589/tid=20591] ppid=20587 vsize=11852648 CPUtime=0.73 cores=1,3,5,7
/proc/20589/task/20591/stat : 20591 (java) S 20587 20589 18226 0 -1 4202560 3656 0 1 0 69 4 0 0 20 0 22 0 338233788 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922761700504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20592] ppid=20587 vsize=11852648 CPUtime=3.66 cores=1,3,5,7
/proc/20589/task/20592/stat : 20592 (java) S 20587 20589 18226 0 -1 4202560 237 0 0 0 363 3 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922730109352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20593] ppid=20587 vsize=11852648 CPUtime=3.32 cores=1,3,5,7
/proc/20589/task/20593/stat : 20593 (java) S 20587 20589 18226 0 -1 4202560 192 0 0 0 328 4 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922729056808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20594] ppid=20587 vsize=11852648 CPUtime=3.37 cores=1,3,5,7
/proc/20589/task/20594/stat : 20594 (java) S 20587 20589 18226 0 -1 4202560 242 0 0 0 334 3 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922728003752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20595] ppid=20587 vsize=11852648 CPUtime=3.57 cores=1,3,5,7
/proc/20589/task/20595/stat : 20595 (java) S 20587 20589 18226 0 -1 4202560 222 0 0 0 353 4 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922726951208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20596] ppid=20587 vsize=11852648 CPUtime=3.33 cores=1,3,5,7
/proc/20589/task/20596/stat : 20596 (java) S 20587 20589 18226 0 -1 4202560 193 0 0 0 330 3 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922725899176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20597] ppid=20587 vsize=11852648 CPUtime=3.18 cores=1,3,5,7
/proc/20589/task/20597/stat : 20597 (java) S 20587 20589 18226 0 -1 4202560 217 0 0 0 314 4 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922724846632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20598] ppid=20587 vsize=11852648 CPUtime=3.58 cores=1,3,5,7
/proc/20589/task/20598/stat : 20598 (java) S 20587 20589 18226 0 -1 4202560 236 0 0 0 354 4 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922723793576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20599] ppid=20587 vsize=11852648 CPUtime=3.35 cores=1,3,5,7
/proc/20589/task/20599/stat : 20599 (java) S 20587 20589 18226 0 -1 4202560 204 0 0 0 332 3 0 0 20 0 22 0 338233790 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922722741032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20600] ppid=20587 vsize=11852648 CPUtime=164.01 cores=1,3,5,7
/proc/20589/task/20600/stat : 20600 (java) S 20587 20589 18226 0 -1 4202560 341 0 0 0 16386 15 0 0 20 0 22 0 338233791 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922108283240 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20601] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20601/stat : 20601 (java) S 20587 20589 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922107229560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20602] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20602/stat : 20602 (java) S 20587 20589 18226 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922106176392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20603] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20603/stat : 20603 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922105125136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20604] ppid=20587 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/20589/task/20604/stat : 20604 (java) S 20587 20589 18226 0 -1 4202560 8148 0 0 0 152 0 0 0 20 0 22 0 338233794 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922104073016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20605] ppid=20587 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/20589/task/20605/stat : 20605 (java) S 20587 20589 18226 0 -1 4202560 8040 0 0 0 123 2 0 0 20 0 22 0 338233794 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922103020472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20606] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20606/stat : 20606 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922101967608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20607] ppid=20587 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/20589/task/20607/stat : 20607 (java) S 20587 20589 18226 0 -1 4202560 53 0 0 0 15 22 0 0 20 0 22 0 338233794 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922100915272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20650] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20650/stat : 20650 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338238569 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922098807592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20654] ppid=20587 vsize=11852648 CPUtime=645.92 cores=1,3,5,7
/proc/20589/task/20654/stat : 20654 (java) R 20587 20589 18226 0 -1 4202560 35 0 0 0 64583 9 0 0 20 0 22 0 338247540 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922096701648 139922603065512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20655] ppid=20587 vsize=11852648 CPUtime=645.78 cores=1,3,5,7
/proc/20589/task/20655/stat : 20655 (java) R 20587 20589 18226 0 -1 4202560 12 0 0 0 64566 12 0 0 20 0 22 0 338247540 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922097753088 139922603304996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20656] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20656/stat : 20656 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338247540 12137111552 347676 33554432000 1073741824 1073778376 140733834462160 139922099861160 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.04
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+984.801 s]
/proc/loadavg: 3.70 3.59 3.63 5/219 20762
/proc/meminfo: memFree=25087152/32873660 swapFree=7120/7120
[pid=20589] ppid=20587 vsize=11852648 CPUtime=1800.04 cores=1,3,5,7
/proc/20589/stat : 20589 (java) S 20587 20589 18226 0 -1 4202496 23936 0 1 0 179889 115 0 0 20 0 22 0 338233787 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 140733834453296 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20589/statm: 2963162 349307 2296 9 0 2953849 0
[pid=20589/tid=20591] ppid=20587 vsize=11852648 CPUtime=0.73 cores=1,3,5,7
/proc/20589/task/20591/stat : 20591 (java) S 20587 20589 18226 0 -1 4202560 3664 0 1 0 69 4 0 0 20 0 22 0 338233788 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922761700504 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20592] ppid=20587 vsize=11852648 CPUtime=3.86 cores=1,3,5,7
/proc/20589/task/20592/stat : 20592 (java) S 20587 20589 18226 0 -1 4202560 276 0 0 0 383 3 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922730109352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20593] ppid=20587 vsize=11852648 CPUtime=3.49 cores=1,3,5,7
/proc/20589/task/20593/stat : 20593 (java) S 20587 20589 18226 0 -1 4202560 203 0 0 0 345 4 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922729056808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20594] ppid=20587 vsize=11852648 CPUtime=3.56 cores=1,3,5,7
/proc/20589/task/20594/stat : 20594 (java) S 20587 20589 18226 0 -1 4202560 251 0 0 0 353 3 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922728003752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20595] ppid=20587 vsize=11852648 CPUtime=3.78 cores=1,3,5,7
/proc/20589/task/20595/stat : 20595 (java) S 20587 20589 18226 0 -1 4202560 232 0 0 0 374 4 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922726951208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20596] ppid=20587 vsize=11852648 CPUtime=3.51 cores=1,3,5,7
/proc/20589/task/20596/stat : 20596 (java) S 20587 20589 18226 0 -1 4202560 207 0 0 0 348 3 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922725899176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20597] ppid=20587 vsize=11852648 CPUtime=3.39 cores=1,3,5,7
/proc/20589/task/20597/stat : 20597 (java) S 20587 20589 18226 0 -1 4202560 221 0 0 0 335 4 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922724846632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20598] ppid=20587 vsize=11852648 CPUtime=3.71 cores=1,3,5,7
/proc/20589/task/20598/stat : 20598 (java) S 20587 20589 18226 0 -1 4202560 236 0 0 0 367 4 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922723793576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20599] ppid=20587 vsize=11852648 CPUtime=3.54 cores=1,3,5,7
/proc/20589/task/20599/stat : 20599 (java) S 20587 20589 18226 0 -1 4202560 212 0 0 0 351 3 0 0 20 0 22 0 338233790 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922722741032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20600] ppid=20587 vsize=11852648 CPUtime=173.62 cores=1,3,5,7
/proc/20589/task/20600/stat : 20600 (java) S 20587 20589 18226 0 -1 4202560 346 0 0 0 17347 15 0 0 20 0 22 0 338233791 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922108283240 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20601] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20601/stat : 20601 (java) S 20587 20589 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922107229560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20602] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20602/stat : 20602 (java) S 20587 20589 18226 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 338233792 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922106176392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20603] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20603/stat : 20603 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922105125136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20604] ppid=20587 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/20589/task/20604/stat : 20604 (java) S 20587 20589 18226 0 -1 4202560 8148 0 0 0 152 0 0 0 20 0 22 0 338233794 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922104073016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20605] ppid=20587 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/20589/task/20605/stat : 20605 (java) S 20587 20589 18226 0 -1 4202560 8040 0 0 0 123 2 0 0 20 0 22 0 338233794 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922103020472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20589/tid=20606] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20606/stat : 20606 (java) S 20587 20589 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233794 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922101967608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20607] ppid=20587 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/20589/task/20607/stat : 20607 (java) S 20587 20589 18226 0 -1 4202560 55 0 0 0 16 22 0 0 20 0 22 0 338233794 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922100915272 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20650] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20650/stat : 20650 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338238569 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922098807592 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20589/tid=20654] ppid=20587 vsize=11852648 CPUtime=678.28 cores=1,3,5,7
/proc/20589/task/20654/stat : 20654 (java) R 20587 20589 18226 0 -1 4202560 40 0 0 0 67818 10 0 0 20 0 22 0 338247540 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922096701648 139922603317015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20589/tid=20655] ppid=20587 vsize=11852648 CPUtime=678.15 cores=1,3,5,7
/proc/20589/task/20655/stat : 20655 (java) R 20587 20589 18226 0 -1 4202560 12 0 0 0 67802 13 0 0 20 0 22 0 338247540 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922097752960 139922603304992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20589/tid=20656] ppid=20587 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20589/task/20656/stat : 20656 (java) S 20587 20589 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338247540 12137111552 349307 33554432000 1073741824 1073778376 140733834462160 139922099861160 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11852648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20589 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=938127
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=462777
# CPU time returned by wait4() is 1796.4
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.110001
#  lost CPU user time (s): 0.150009
#  lost CPU system time (s): -0.04

Real time (s): 984.83
CPU time (s): 1800.15
CPU user time (s): 1799.04
CPU system time (s): 1.11
CPU usage (%): 182.788
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.94
system time used= 1.46278
maximum resident set size= 1397340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23965
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33835
involuntary context switches= 66892

runsolver used 3.48147 second user time and 9.41357 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 12:58:00
IDJOB=3737317
IDBENCH=48215
IDSOLVER=2328
FILE ID=node117/3737317-1338721080
RUNJOBID= node117-1338713269-18243
PBS_JOBID= 14636728
Free space on /tmp= 69120 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737317-1338721080/watcher-3737317-1338721080 -o /tmp/evaluation-result-3737317-1338721080/solver-3737317-1338721080 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737317-1338721080.opb

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

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=378275801

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        26444796 kB
Buffers:          620088 kB
Cached:          4126568 kB
SwapCached:          776 kB
Active:          3053232 kB
Inactive:        2457920 kB
Active(anon):     750324 kB
Inactive(anon):     9972 kB
Active(file):    2302908 kB
Inactive(file):  2447948 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:        767604 kB
Mapped:            20444 kB
Shmem:                80 kB
Slab:             776972 kB
SReclaimable:     221072 kB
SUnreclaim:       555900 kB
KernelStack:        1632 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:   10460944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 13:14:27