Trace number 3737020

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)5 1800.18 934.027

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.08083
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint26
Maximum length of a constraint40
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


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

Solver Data 

0.04/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		9996466904
0.08/0.10	c Max memory 		10048897024
0.08/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3737020-1338719275.opb
0.08/0.12	c reading problem ... 
0.68/0.40	c ... done. Wall clock time 0.276s.
0.68/0.40	c #vars     3162
0.68/0.40	c #constraints  6224
0.68/0.40	c constraints type 
0.68/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
0.68/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.68/0.40	c constraints type 
0.68/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3162
0.68/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
0.68/0.43	c  And the winner is Resolution
1.04/0.91	c SATISFIABLE
1.04/0.91	c OPTIMIZING...
1.04/0.91	c Got one! Elapsed wall clock time (in seconds):0.781
1.04/0.91	o 8
1.04/0.99	c  And the winner is Resolution
1.50/1.41	c Got one! Elapsed wall clock time (in seconds):1.286
1.50/1.41	o 7
2.93/1.81	c  And the winner is Resolution
2.98/1.91	c Got one! Elapsed wall clock time (in seconds):1.788
2.98/1.91	o 6
4.12/2.41	c cleaning 2764 clauses out of 5528 with flag 3000/5528
6.20/3.40	c cleaning 4382 clauses out of 8766 with flag 9002/11530
8.42/4.58	c cleaning 5691 clauses out of 11385 with flag 16003/18531
11.02/5.86	c cleaning 6842 clauses out of 13691 with flag 24000/26528
14.02/7.37	c cleaning 7923 clauses out of 15851 with flag 33002/35530
17.37/9.02	c cleaning 8960 clauses out of 17926 with flag 43000/45528
20.72/10.74	c cleaning 9480 clauses out of 18966 with flag 53000/55528
24.28/12.58	c cleaning 9741 clauses out of 19487 with flag 63001/65529
28.00/14.46	c cleaning 9870 clauses out of 19745 with flag 73000/75528
31.16/16.05	c cleaning 9937 clauses out of 19877 with flag 83002/85530
34.70/17.89	c cleaning 9965 clauses out of 19938 with flag 93000/95528
38.05/19.53	c cleaning 9984 clauses out of 19975 with flag 103002/105530
41.35/21.25	c cleaning 9993 clauses out of 19993 with flag 113004/115532
44.48/22.83	c cleaning 9995 clauses out of 19996 with flag 123000/125528
47.81/24.51	c cleaning 9997 clauses out of 20001 with flag 133000/135528
51.37/26.30	c cleaning 9999 clauses out of 20004 with flag 143000/145528
55.05/28.23	c cleaning 10000 clauses out of 20007 with flag 153002/155530
58.78/30.12	c cleaning 10001 clauses out of 20008 with flag 163003/165531
62.33/31.96	c cleaning 10001 clauses out of 20004 with flag 173000/175528
65.64/33.64	c cleaning 10000 clauses out of 20007 with flag 183004/185532
68.94/35.37	c cleaning 9999 clauses out of 20005 with flag 193002/195530
72.27/37.07	c cleaning 9998 clauses out of 20007 with flag 203003/205531
75.60/38.75	c cleaning 10002 clauses out of 20009 with flag 213003/215531
78.93/40.47	c cleaning 9998 clauses out of 20006 with flag 223002/225530
82.02/42.09	c cleaning 10000 clauses out of 20007 with flag 233001/235529
85.35/43.74	c cleaning 9999 clauses out of 20008 with flag 243002/245530
88.68/45.42	c cleaning 10000 clauses out of 20007 with flag 253000/255528
91.81/47.09	c cleaning 9999 clauses out of 20007 with flag 263000/265528
95.31/48.81	c cleaning 10004 clauses out of 20012 with flag 273004/275532
98.86/50.67	c cleaning 10001 clauses out of 20005 with flag 283001/285529
101.98/52.25	c cleaning 9995 clauses out of 20004 with flag 293001/295529
105.13/53.83	c cleaning 10000 clauses out of 20008 with flag 303000/305528
108.40/55.52	c cleaning 9997 clauses out of 20008 with flag 313000/315528
111.54/57.15	c cleaning 10006 clauses out of 20017 with flag 323006/325534
114.85/58.84	c cleaning 9999 clauses out of 20006 with flag 333001/335529
118.20/60.56	c cleaning 10000 clauses out of 20007 with flag 343001/345529
121.47/62.29	c cleaning 9999 clauses out of 20007 with flag 353001/355529
124.99/64.02	c cleaning 10004 clauses out of 20016 with flag 363009/365537
128.32/65.77	c cleaning 9998 clauses out of 20004 with flag 373001/375529
131.84/67.56	c cleaning 9999 clauses out of 20008 with flag 383003/385531
135.33/69.31	c cleaning 10001 clauses out of 20007 with flag 393001/395529
138.84/71.15	c cleaning 9998 clauses out of 20005 with flag 403000/405528
141.96/72.77	c cleaning 9999 clauses out of 20007 with flag 413000/415528
145.49/74.52	c cleaning 10001 clauses out of 20011 with flag 423003/425531
148.78/76.26	c cleaning 9999 clauses out of 20008 with flag 433001/435529
152.36/78.01	c cleaning 10000 clauses out of 20011 with flag 443003/445531
155.47/79.67	c cleaning 10002 clauses out of 20012 with flag 453004/455532
159.00/81.43	c cleaning 9998 clauses out of 20007 with flag 463001/465529
163.07/83.51	c cleaning 9998 clauses out of 20008 with flag 473000/475528
166.37/85.25	c cleaning 10000 clauses out of 20011 with flag 483001/485529
169.89/87.05	c cleaning 10002 clauses out of 20012 with flag 493002/495530
173.40/88.84	c cleaning 10000 clauses out of 20008 with flag 503000/505528
177.29/90.82	c cleaning 10001 clauses out of 20011 with flag 513003/515531
181.01/92.73	c cleaning 10001 clauses out of 20009 with flag 523002/525530
185.12/94.82	c cleaning 9998 clauses out of 20006 with flag 533000/535528
189.44/97.01	c cleaning 10002 clauses out of 20010 with flag 543002/545530
193.12/98.94	c cleaning 9998 clauses out of 20006 with flag 553000/555528
197.00/100.97	c cleaning 9999 clauses out of 20009 with flag 563001/565529
201.11/103.09	c cleaning 10001 clauses out of 20010 with flag 573001/575529
205.23/105.14	c cleaning 10000 clauses out of 20008 with flag 583000/585528
208.71/106.94	c cleaning 10000 clauses out of 20008 with flag 593000/595528
212.22/108.71	c cleaning 10001 clauses out of 20008 with flag 603000/605528
215.92/110.61	c cleaning 10000 clauses out of 20008 with flag 613001/615529
219.83/112.60	c cleaning 10004 clauses out of 20011 with flag 623004/625532
223.29/114.44	c cleaning 9998 clauses out of 20005 with flag 633002/635530
226.79/116.27	c cleaning 9996 clauses out of 20005 with flag 643000/645528
230.50/118.12	c cleaning 10000 clauses out of 20010 with flag 653001/655529
234.41/120.12	c cleaning 10001 clauses out of 20009 with flag 663000/665528
238.47/122.23	c cleaning 10001 clauses out of 20008 with flag 673000/675528
241.99/124.09	c cleaning 10002 clauses out of 20009 with flag 683002/685530
245.70/125.96	c cleaning 9997 clauses out of 20005 with flag 693000/695528
249.61/127.93	c cleaning 10002 clauses out of 20010 with flag 703002/705530
253.67/130.03	c cleaning 9998 clauses out of 20007 with flag 713001/715529
257.38/131.94	c cleaning 10000 clauses out of 20008 with flag 723000/725528
261.28/133.98	c cleaning 10001 clauses out of 20009 with flag 733001/735529
265.19/135.96	c cleaning 10000 clauses out of 20010 with flag 743003/745531
269.25/138.01	c cleaning 10001 clauses out of 20010 with flag 753003/755531
272.96/139.98	c cleaning 10000 clauses out of 20010 with flag 763004/765532
277.07/142.07	c cleaning 9997 clauses out of 20006 with flag 773000/775528
281.38/144.26	c cleaning 10001 clauses out of 20010 with flag 783001/785529
286.04/146.61	c cleaning 10002 clauses out of 20010 with flag 793002/795530
290.33/148.89	c cleaning 9997 clauses out of 20006 with flag 803000/805528
294.83/151.10	c cleaning 10003 clauses out of 20011 with flag 813002/815530
299.33/153.45	c cleaning 9994 clauses out of 20008 with flag 823002/825530
303.57/155.67	c cleaning 10002 clauses out of 20012 with flag 833000/835528
307.86/157.87	c cleaning 10003 clauses out of 20013 with flag 843003/845531
312.18/160.03	c cleaning 9997 clauses out of 20008 with flag 853001/855529
316.27/162.18	c cleaning 10000 clauses out of 20010 with flag 863000/865528
320.50/164.32	c cleaning 10004 clauses out of 20014 with flag 873004/875532
324.40/166.37	c cleaning 10002 clauses out of 20008 with flag 883002/885530
327.71/168.05	c cleaning 10002 clauses out of 20007 with flag 893003/895531
331.00/169.78	c cleaning 10000 clauses out of 20005 with flag 903003/905531
334.64/171.61	c cleaning 9997 clauses out of 20002 with flag 913000/915528
338.13/173.46	c cleaning 10002 clauses out of 20008 with flag 923003/925531
342.03/175.47	c cleaning 9999 clauses out of 20003 with flag 933000/935528
345.73/177.33	c cleaning 9999 clauses out of 20006 with flag 943002/945530
349.39/179.22	c cleaning 9998 clauses out of 20006 with flag 953001/955529
352.87/181.03	c cleaning 10000 clauses out of 20009 with flag 963002/965530
356.37/182.81	c cleaning 10000 clauses out of 20007 with flag 973000/975528
360.09/184.73	c cleaning 9999 clauses out of 20007 with flag 983000/985528
363.71/186.65	c cleaning 10001 clauses out of 20013 with flag 993005/995533
367.40/188.59	c cleaning 10000 clauses out of 20008 with flag 1003001/1005529
371.29/190.59	c cleaning 10002 clauses out of 20009 with flag 1013002/1015530
374.78/192.39	c cleaning 9998 clauses out of 20005 with flag 1023000/1025528
378.60/194.34	c cleaning 10002 clauses out of 20010 with flag 1033003/1035531
382.30/196.22	c cleaning 9999 clauses out of 20005 with flag 1043000/1045528
385.81/198.06	c cleaning 9998 clauses out of 20006 with flag 1053000/1055528
389.70/200.00	c cleaning 9999 clauses out of 20008 with flag 1063000/1065528
393.52/202.05	c cleaning 10004 clauses out of 20016 with flag 1073007/1075535
397.23/203.96	c cleaning 9997 clauses out of 20006 with flag 1083001/1085529
400.93/205.87	c cleaning 10000 clauses out of 20009 with flag 1093001/1095529
404.84/207.83	c cleaning 10001 clauses out of 20010 with flag 1103002/1105530
408.86/209.90	c cleaning 9998 clauses out of 20008 with flag 1113001/1115529
412.55/211.86	c cleaning 10003 clauses out of 20011 with flag 1123002/1125530
416.44/213.83	c cleaning 9998 clauses out of 20007 with flag 1133001/1135529
420.33/215.86	c cleaning 10001 clauses out of 20010 with flag 1143002/1145530
424.35/217.94	c cleaning 10002 clauses out of 20011 with flag 1153004/1155532
428.46/220.06	c cleaning 9998 clauses out of 20005 with flag 1163000/1165528
432.53/222.15	c cleaning 9999 clauses out of 20008 with flag 1173001/1175529
436.01/223.99	c cleaning 9998 clauses out of 20008 with flag 1183000/1185528
440.03/226.01	c cleaning 10001 clauses out of 20010 with flag 1193000/1195528
443.73/227.92	c cleaning 10003 clauses out of 20013 with flag 1203004/1205532
447.21/229.80	c cleaning 10000 clauses out of 20006 with flag 1213000/1215528
451.10/231.76	c cleaning 9998 clauses out of 20007 with flag 1223001/1225529
454.91/233.75	c cleaning 9996 clauses out of 20008 with flag 1233000/1235528
458.82/235.72	c cleaning 10001 clauses out of 20012 with flag 1243000/1245528
462.72/237.76	c cleaning 10002 clauses out of 20013 with flag 1253002/1255530
466.21/239.57	c  And the winner is CuttingPlanes
465.30/239.96	c Got one! Elapsed wall clock time (in seconds):239.833
465.30/239.96	o 5
467.01/240.90	c cleaning 12148 clauses out of 24301 with flag 5000/1269820
469.38/242.13	c cleaning 9075 clauses out of 18155 with flag 11002/1275822
472.07/243.53	c cleaning 8036 clauses out of 16079 with flag 18001/1282821
475.14/245.14	c cleaning 8019 clauses out of 16042 with flag 26000/1290820
478.63/246.97	c cleaning 8508 clauses out of 17026 with flag 35003/1299823
482.63/249.08	c cleaning 9255 clauses out of 18516 with flag 45001/1309821
486.91/251.20	c cleaning 9627 clauses out of 19262 with flag 55002/1319822
491.01/253.31	c cleaning 9812 clauses out of 19633 with flag 65000/1329820
495.08/255.43	c cleaning 9908 clauses out of 19821 with flag 75000/1339820
499.07/257.54	c cleaning 9957 clauses out of 19917 with flag 85004/1349824
503.35/259.72	c cleaning 9972 clauses out of 19956 with flag 95000/1359820
507.46/261.88	c cleaning 9987 clauses out of 19984 with flag 105000/1369820
511.91/264.10	c cleaning 9998 clauses out of 20001 with flag 115004/1379824
516.11/266.33	c cleaning 9997 clauses out of 20001 with flag 125002/1389822
520.19/268.47	c cleaning 9999 clauses out of 20006 with flag 135004/1399824
524.05/270.47	c cleaning 10001 clauses out of 20007 with flag 145004/1409824
528.13/272.60	c cleaning 9999 clauses out of 20006 with flag 155004/1419824
532.74/274.92	c cleaning 9997 clauses out of 20004 with flag 165001/1429821
537.01/277.18	c cleaning 10001 clauses out of 20007 with flag 175001/1439821
541.07/279.25	c cleaning 10000 clauses out of 20007 with flag 185002/1449822
545.13/281.38	c cleaning 10000 clauses out of 20007 with flag 195002/1459822
549.13/283.46	c cleaning 9998 clauses out of 20005 with flag 205000/1469820
553.19/285.53	c cleaning 10001 clauses out of 20009 with flag 215002/1479822
557.68/287.86	c cleaning 9998 clauses out of 20006 with flag 225000/1489820
561.95/290.07	c cleaning 9999 clauses out of 20010 with flag 235002/1499822
566.52/292.42	c cleaning 10006 clauses out of 20019 with flag 245010/1509830
571.00/294.75	c cleaning 9999 clauses out of 20006 with flag 255003/1519823
575.06/296.87	c cleaning 9998 clauses out of 20004 with flag 265000/1529820
578.94/298.81	c cleaning 9999 clauses out of 20007 with flag 275001/1539821
583.32/301.15	c cleaning 9997 clauses out of 20007 with flag 285000/1549820
587.57/303.31	c cleaning 10004 clauses out of 20013 with flag 295003/1559823
591.42/305.38	c cleaning 10000 clauses out of 20007 with flag 305001/1569821
595.89/307.67	c cleaning 9999 clauses out of 20007 with flag 315001/1579821
600.46/310.07	c cleaning 9999 clauses out of 20007 with flag 325000/1589820
601.33/310.56	c cleaning 0 clauses out of 5446 with flag 0/5447
605.85/312.78	c cleaning 10006 clauses out of 20015 with flag 335007/1599827
610.73/315.16	c cleaning 9994 clauses out of 20002 with flag 345000/1609820
615.09/317.43	c cleaning 10002 clauses out of 20011 with flag 355003/1619823
619.36/319.66	c cleaning 10003 clauses out of 20011 with flag 365005/1629825
623.83/321.91	c cleaning 9999 clauses out of 20004 with flag 375001/1639821
628.29/324.25	c cleaning 9996 clauses out of 20004 with flag 385000/1649820
632.65/326.53	c cleaning 9999 clauses out of 20008 with flag 395000/1659820
636.71/328.68	c cleaning 10001 clauses out of 20009 with flag 405000/1669820
641.17/330.97	c cleaning 9999 clauses out of 20008 with flag 415000/1679820
645.22/333.06	c cleaning 10002 clauses out of 20009 with flag 425000/1689820
649.38/335.26	c cleaning 9998 clauses out of 20009 with flag 435002/1699822
654.05/337.64	c cleaning 9999 clauses out of 20011 with flag 445002/1709822
658.11/339.75	c cleaning 9999 clauses out of 20010 with flag 455000/1719820
662.38/341.91	c cleaning 10002 clauses out of 20013 with flag 465002/1729822
666.95/344.31	c cleaning 10002 clauses out of 20009 with flag 475000/1739820
671.00/346.40	c cleaning 10002 clauses out of 20009 with flag 485002/1749822
675.28/348.61	c cleaning 9999 clauses out of 20006 with flag 495001/1759821
679.53/350.86	c cleaning 10000 clauses out of 20007 with flag 505001/1769821
683.88/353.15	c cleaning 10000 clauses out of 20008 with flag 515002/1779822
688.11/355.32	c cleaning 10002 clauses out of 20009 with flag 525003/1789823
692.36/357.53	c cleaning 9996 clauses out of 20004 with flag 535000/1799820
696.99/359.99	c cleaning 10003 clauses out of 20013 with flag 545005/1809825
702.14/362.62	c cleaning 10001 clauses out of 20009 with flag 555004/1819824
707.21/365.26	c cleaning 9998 clauses out of 20007 with flag 565003/1829823
712.26/367.89	c cleaning 9999 clauses out of 20007 with flag 575001/1839821
717.53/370.55	c cleaning 9999 clauses out of 20010 with flag 585003/1849823
721.90/372.81	c cleaning 10002 clauses out of 20011 with flag 595003/1859823
725.75/374.83	c cleaning 9999 clauses out of 20006 with flag 605000/1869820
729.79/376.93	c cleaning 10002 clauses out of 20009 with flag 615002/1879822
734.24/379.20	c cleaning 10000 clauses out of 20007 with flag 625002/1889822
738.79/381.69	c cleaning 9998 clauses out of 20006 with flag 635001/1899821
743.62/384.16	c cleaning 10000 clauses out of 20011 with flag 645004/1909824
747.88/386.37	c cleaning 10001 clauses out of 20007 with flag 655000/1919820
752.54/388.78	c cleaning 10002 clauses out of 20008 with flag 665002/1929822
757.09/391.17	c cleaning 10000 clauses out of 20005 with flag 675001/1939821
761.35/393.31	c cleaning 9998 clauses out of 20004 with flag 685000/1949820
765.61/395.55	c cleaning 10001 clauses out of 20010 with flag 695004/1959824
770.27/397.99	c cleaning 9996 clauses out of 20005 with flag 705000/1969820
775.41/400.63	c cleaning 10002 clauses out of 20012 with flag 715003/1979823
779.67/402.84	c cleaning 10000 clauses out of 20009 with flag 725002/1989822
783.91/405.06	c cleaning 10002 clauses out of 20011 with flag 735004/1999824
788.36/407.37	c cleaning 10000 clauses out of 20008 with flag 745003/2009823
793.11/409.86	c cleaning 10000 clauses out of 20009 with flag 755004/2019824
797.95/412.34	c cleaning 9997 clauses out of 20006 with flag 765001/2029821
802.79/414.82	c cleaning 10002 clauses out of 20013 with flag 775005/2039825
807.45/417.25	c cleaning 10003 clauses out of 20012 with flag 785006/2049826
812.62/419.91	c cleaning 9995 clauses out of 20007 with flag 795004/2059824
817.48/422.42	c cleaning 9999 clauses out of 20008 with flag 805000/2069820
822.11/424.88	c cleaning 9999 clauses out of 20010 with flag 815001/2079821
827.16/427.47	c cleaning 10004 clauses out of 20018 with flag 825008/2089828
832.13/430.04	c cleaning 10002 clauses out of 20012 with flag 835006/2099826
836.98/432.59	c cleaning 9997 clauses out of 20005 with flag 845001/2109821
842.24/435.25	c cleaning 10000 clauses out of 20007 with flag 855000/2119820
847.30/437.85	c cleaning 10001 clauses out of 20010 with flag 865003/2129823
852.64/440.63	c cleaning 9998 clauses out of 20008 with flag 875002/2139822
857.30/443.04	c cleaning 10004 clauses out of 20012 with flag 885004/2149824
861.56/445.20	c cleaning 9999 clauses out of 20005 with flag 895001/2159821
865.59/447.37	c cleaning 10001 clauses out of 20006 with flag 905001/2169821
869.96/449.67	c cleaning 10000 clauses out of 20006 with flag 915002/2179822
874.20/451.87	c cleaning 9997 clauses out of 20004 with flag 925000/2189820
878.65/454.16	c cleaning 10000 clauses out of 20008 with flag 935001/2199821
882.68/456.23	c cleaning 10002 clauses out of 20010 with flag 945003/2209823
887.04/458.51	c cleaning 10000 clauses out of 20006 with flag 955001/2219821
891.29/460.70	c cleaning 9998 clauses out of 20005 with flag 965000/2229820
895.55/462.92	c cleaning 10002 clauses out of 20007 with flag 975000/2239820
899.81/465.16	c cleaning 9997 clauses out of 20006 with flag 985001/2249821
904.17/467.48	c cleaning 9996 clauses out of 20008 with flag 995000/2259820
908.79/469.81	c cleaning 10002 clauses out of 20012 with flag 1005000/2269820
913.43/472.21	c cleaning 10003 clauses out of 20011 with flag 1015001/2279821
917.88/474.51	c cleaning 9999 clauses out of 20008 with flag 1025001/2289821
922.42/476.94	c cleaning 10003 clauses out of 20011 with flag 1035003/2299823
926.88/479.30	c cleaning 10001 clauses out of 20009 with flag 1045004/2309824
931.75/481.73	c cleaning 10000 clauses out of 20007 with flag 1055003/2319823
936.59/484.20	c cleaning 9998 clauses out of 20004 with flag 1065000/2329820
941.34/486.73	c cleaning 9999 clauses out of 20008 with flag 1075002/2339822
945.98/489.15	c cleaning 10000 clauses out of 20007 with flag 1085000/2349820
950.44/491.49	c cleaning 10004 clauses out of 20014 with flag 1095007/2359827
955.30/493.91	c cleaning 10000 clauses out of 20007 with flag 1105004/2369824
960.23/496.54	c cleaning 9997 clauses out of 20004 with flag 1115001/2379821
964.87/498.92	c cleaning 10001 clauses out of 20008 with flag 1125002/2389822
969.73/501.49	c cleaning 9997 clauses out of 20006 with flag 1135001/2399821
974.98/504.16	c cleaning 10001 clauses out of 20010 with flag 1145002/2409822
980.13/506.82	c cleaning 10001 clauses out of 20015 with flag 1155008/2419828
985.38/509.54	c cleaning 10000 clauses out of 20006 with flag 1165000/2429820
990.43/512.13	c cleaning 9998 clauses out of 20006 with flag 1175000/2439820
995.27/514.60	c cleaning 9999 clauses out of 20009 with flag 1185001/2449821
1000.00/517.12	c cleaning 10001 clauses out of 20009 with flag 1195000/2459820
1004.64/519.55	c cleaning 10002 clauses out of 20010 with flag 1205002/2469822
1009.27/521.93	c cleaning 9998 clauses out of 20006 with flag 1215000/2479820
1014.12/524.42	c cleaning 10002 clauses out of 20009 with flag 1225001/2489821
1019.27/527.15	c cleaning 9999 clauses out of 20006 with flag 1235000/2499820
1024.33/529.70	c cleaning 9998 clauses out of 20009 with flag 1245002/2509822
1029.38/532.30	c cleaning 10000 clauses out of 20010 with flag 1255001/2519821
1034.23/534.88	c cleaning 9996 clauses out of 20009 with flag 1265000/2529820
1039.56/537.64	c cleaning 10002 clauses out of 20016 with flag 1275003/2539823
1044.60/540.30	c cleaning 10002 clauses out of 20017 with flag 1285006/2549826
1050.05/543.01	c cleaning 10002 clauses out of 20012 with flag 1295003/2559823
1055.29/545.72	c cleaning 9998 clauses out of 20011 with flag 1305004/2569824
1060.23/548.32	c cleaning 10001 clauses out of 20009 with flag 1315000/2579820
1065.25/550.93	c cleaning 9999 clauses out of 20008 with flag 1325000/2589820
1069.30/553.07	c cleaning 10002 clauses out of 20010 with flag 1335001/2599821
1073.73/555.37	c cleaning 10002 clauses out of 20010 with flag 1345003/2609823
1078.06/557.64	c cleaning 10000 clauses out of 20008 with flag 1355003/2619823
1082.09/559.80	c cleaning 10002 clauses out of 20007 with flag 1365002/2629822
1086.74/562.12	c cleaning 9998 clauses out of 20003 with flag 1375000/2639820
1091.37/564.51	c cleaning 9999 clauses out of 20006 with flag 1385001/2649821
1095.90/566.98	c cleaning 9998 clauses out of 20008 with flag 1395002/2659822
1100.54/569.38	c cleaning 10002 clauses out of 20010 with flag 1405002/2669822
1105.36/571.86	c cleaning 9998 clauses out of 20006 with flag 1415000/2679820
1109.40/573.98	c cleaning 10001 clauses out of 20010 with flag 1425002/2689822
1113.90/576.34	c cleaning 10000 clauses out of 20008 with flag 1435001/2699821
1118.35/578.65	c cleaning 10001 clauses out of 20008 with flag 1445001/2709821
1122.97/581.04	c cleaning 10002 clauses out of 20011 with flag 1455005/2719825
1127.21/583.22	c cleaning 9999 clauses out of 20008 with flag 1465004/2729824
1131.74/585.67	c cleaning 10002 clauses out of 20009 with flag 1475004/2739824
1136.56/588.12	c cleaning 10001 clauses out of 20009 with flag 1485006/2749826
1141.40/590.67	c cleaning 9995 clauses out of 20002 with flag 1495000/2759820
1146.41/593.22	c cleaning 10001 clauses out of 20008 with flag 1505001/2769821
1151.73/596.00	c cleaning 10001 clauses out of 20010 with flag 1515004/2779824
1156.60/598.57	c cleaning 9998 clauses out of 20006 with flag 1525001/2789821
1161.22/600.97	c cleaning 9999 clauses out of 20007 with flag 1535000/2799820
1166.03/603.40	c cleaning 9998 clauses out of 20009 with flag 1545001/2809821
1170.55/605.87	c cleaning 10001 clauses out of 20011 with flag 1555001/2819821
1175.40/608.39	c cleaning 10002 clauses out of 20010 with flag 1565001/2829821
1180.41/610.92	c cleaning 10001 clauses out of 20011 with flag 1575004/2839824
1185.05/613.39	c cleaning 10000 clauses out of 20008 with flag 1585002/2849822
1190.16/616.08	c cleaning 10000 clauses out of 20006 with flag 1595000/2859820
1195.18/618.68	c cleaning 10001 clauses out of 20010 with flag 1605004/2869824
1200.20/621.26	c cleaning 9997 clauses out of 20005 with flag 1615000/2879820
1205.03/623.73	c cleaning 9999 clauses out of 20009 with flag 1625001/2889821
1209.73/626.22	c cleaning 10002 clauses out of 20009 with flag 1635000/2899820
1214.56/628.72	c cleaning 10002 clauses out of 20011 with flag 1645004/2909824
1219.40/631.26	c cleaning 9997 clauses out of 20006 with flag 1655001/2919821
1224.22/633.71	c cleaning 10001 clauses out of 20010 with flag 1665002/2929822
1229.12/636.36	c cleaning 10002 clauses out of 20009 with flag 1675002/2939822
1233.93/638.89	c cleaning 9997 clauses out of 20005 with flag 1685000/2949820
1238.94/641.43	c cleaning 10002 clauses out of 20011 with flag 1695003/2959823
1243.79/643.98	c cleaning 10001 clauses out of 20010 with flag 1705004/2969824
1248.90/646.69	c cleaning 10001 clauses out of 20010 with flag 1715005/2979825
1254.33/649.44	c cleaning 9999 clauses out of 20006 with flag 1725002/2989822
1259.77/652.27	c cleaning 9998 clauses out of 20007 with flag 1735002/2999822
1264.98/654.92	c cleaning 9995 clauses out of 20007 with flag 1745000/3009820
1270.30/657.75	c cleaning 10002 clauses out of 20013 with flag 1755001/3019821
1275.72/660.54	c cleaning 10004 clauses out of 20014 with flag 1765004/3029824
1280.34/662.91	c cleaning 9998 clauses out of 20006 with flag 1775000/3039820
1284.76/665.21	c cleaning 10001 clauses out of 20008 with flag 1785000/3049820
1289.31/667.67	c cleaning 10000 clauses out of 20009 with flag 1795002/3059822
1293.93/670.05	c cleaning 10002 clauses out of 20013 with flag 1805006/3069826
1298.75/672.54	c cleaning 9999 clauses out of 20008 with flag 1815003/3079823
1303.57/675.00	c cleaning 9999 clauses out of 20006 with flag 1825000/3089820
1308.27/677.59	c cleaning 9995 clauses out of 20007 with flag 1835000/3099820
1313.28/680.13	c cleaning 10002 clauses out of 20012 with flag 1845000/3109820
1318.32/682.74	c cleaning 10002 clauses out of 20013 with flag 1855003/3119823
1323.53/685.46	c cleaning 10001 clauses out of 20009 with flag 1865001/3129821
1328.83/688.25	c cleaning 9998 clauses out of 20007 with flag 1875000/3139820
1334.06/690.95	c cleaning 10001 clauses out of 20010 with flag 1885001/3149821
1339.29/693.69	c cleaning 10000 clauses out of 20008 with flag 1895000/3159820
1344.13/696.11	c cleaning 10000 clauses out of 20008 with flag 1905000/3169820
1349.63/699.00	c cleaning 10000 clauses out of 20011 with flag 1915003/3179823
1354.45/701.58	c cleaning 9999 clauses out of 20008 with flag 1925000/3189820
1358.86/703.82	c cleaning 9998 clauses out of 20009 with flag 1935000/3199820
1363.29/706.15	c cleaning 10002 clauses out of 20011 with flag 1945000/3209820
1368.17/708.72	c cleaning 10001 clauses out of 20011 with flag 1955002/3219822
1373.00/711.20	c cleaning 10001 clauses out of 20011 with flag 1965003/3229823
1377.81/713.70	c cleaning 9997 clauses out of 20009 with flag 1975002/3239822
1382.83/716.30	c cleaning 10001 clauses out of 20010 with flag 1985000/3249820
1387.37/718.71	c cleaning 10006 clauses out of 20017 with flag 1995008/3259828
1391.39/720.85	c cleaning 10000 clauses out of 20005 with flag 2005002/3269822
1395.62/723.06	c cleaning 9998 clauses out of 20004 with flag 2015001/3279821
1399.83/725.28	c cleaning 9999 clauses out of 20005 with flag 2025000/3289820
1404.36/727.69	c cleaning 9999 clauses out of 20006 with flag 2035000/3299820
1409.19/730.19	c cleaning 9998 clauses out of 20008 with flag 2045001/3309821
1413.82/732.52	c cleaning 10002 clauses out of 20010 with flag 2055001/3319821
1418.63/735.07	c cleaning 10005 clauses out of 20016 with flag 2065009/3329829
1423.93/737.80	c cleaning 9998 clauses out of 20003 with flag 2075001/3339821
1428.35/740.18	c cleaning 10002 clauses out of 20013 with flag 2085009/3349829
1432.98/742.59	c cleaning 10002 clauses out of 20011 with flag 2095009/3359829
1437.78/745.05	c cleaning 9995 clauses out of 20001 with flag 2105001/3369821
1442.69/747.68	c cleaning 10000 clauses out of 20007 with flag 2115002/3379822
1447.55/750.14	c cleaning 10000 clauses out of 20006 with flag 2125001/3389821
1452.16/752.56	c cleaning 10002 clauses out of 20010 with flag 2135005/3399825
1456.78/754.93	c cleaning 9999 clauses out of 20007 with flag 2145004/3409824
1461.49/757.43	c cleaning 10001 clauses out of 20007 with flag 2155003/3419823
1466.12/759.87	c cleaning 10000 clauses out of 20008 with flag 2165005/3429825
1471.14/762.42	c cleaning 9998 clauses out of 20003 with flag 2175000/3439820
1475.74/764.89	c cleaning 9999 clauses out of 20008 with flag 2185003/3449823
1480.44/767.30	c cleaning 9999 clauses out of 20006 with flag 2195000/3459820
1484.86/769.63	c cleaning 10002 clauses out of 20010 with flag 2205003/3469823
1489.49/772.03	c cleaning 10000 clauses out of 20007 with flag 2215002/3479822
1494.11/774.45	c cleaning 10000 clauses out of 20005 with flag 2225000/3489820
1498.96/777.06	c cleaning 9998 clauses out of 20005 with flag 2235000/3499820
1503.77/779.53	c cleaning 10001 clauses out of 20009 with flag 2245002/3509822
1508.81/782.14	c cleaning 10000 clauses out of 20009 with flag 2255003/3519823
1513.61/784.66	c cleaning 9999 clauses out of 20006 with flag 2265000/3529820
1518.50/787.28	c cleaning 10001 clauses out of 20010 with flag 2275003/3539823
1523.33/789.76	c cleaning 9997 clauses out of 20006 with flag 2285000/3549820
1527.54/791.95	c cleaning 10005 clauses out of 20013 with flag 2295004/3559824
1531.96/794.23	c cleaning 10000 clauses out of 20008 with flag 2305004/3569824
1536.43/796.65	c cleaning 10002 clauses out of 20010 with flag 2315006/3579826
1541.06/799.01	c cleaning 9999 clauses out of 20005 with flag 2325003/3589823
1545.68/801.47	c cleaning 9999 clauses out of 20007 with flag 2335004/3599824
1550.29/803.86	c cleaning 9997 clauses out of 20004 with flag 2345000/3609820
1555.00/806.38	c cleaning 10000 clauses out of 20008 with flag 2355001/3619821
1559.82/808.86	c cleaning 10004 clauses out of 20018 with flag 2365011/3629831
1564.63/811.33	c cleaning 9998 clauses out of 20004 with flag 2375001/3639821
1569.43/813.83	c cleaning 10000 clauses out of 20007 with flag 2385002/3649822
1574.32/816.47	c cleaning 9999 clauses out of 20008 with flag 2395003/3659823
1579.34/819.06	c cleaning 9999 clauses out of 20006 with flag 2405000/3669820
1584.16/821.52	c cleaning 9998 clauses out of 20010 with flag 2415003/3679823
1589.17/824.14	c cleaning 10001 clauses out of 20011 with flag 2425002/3689822
1594.24/826.83	c cleaning 10002 clauses out of 20010 with flag 2435002/3699822
1598.45/829.03	c cleaning 10001 clauses out of 20008 with flag 2445002/3709822
1602.85/831.38	c cleaning 9998 clauses out of 20005 with flag 2455000/3719820
1607.69/833.85	c cleaning 10000 clauses out of 20010 with flag 2465003/3729823
1612.58/836.46	c cleaning 10000 clauses out of 20009 with flag 2475002/3739822
1617.60/839.02	c cleaning 10001 clauses out of 20011 with flag 2485004/3749824
1622.42/841.57	c cleaning 10001 clauses out of 20009 with flag 2495003/3759823
1627.41/844.15	c cleaning 10000 clauses out of 20008 with flag 2505003/3769823
1632.48/846.88	c cleaning 10000 clauses out of 20008 with flag 2515003/3779823
1637.50/849.48	c cleaning 9998 clauses out of 20006 with flag 2525001/3789821
1642.90/852.22	c cleaning 10000 clauses out of 20009 with flag 2535002/3799822
1648.10/854.99	c cleaning 10001 clauses out of 20010 with flag 2545003/3809823
1653.60/857.84	c cleaning 9999 clauses out of 20008 with flag 2555002/3819822
1658.82/860.50	c cleaning 10002 clauses out of 20013 with flag 2565006/3829826
1663.83/863.13	c cleaning 9999 clauses out of 20005 with flag 2575000/3839820
1668.23/865.45	c cleaning 9997 clauses out of 20006 with flag 2585000/3849820
1672.92/867.91	c cleaning 9996 clauses out of 20009 with flag 2595000/3859820
1677.30/870.29	c cleaning 10002 clauses out of 20013 with flag 2605000/3869820
1682.12/872.72	c cleaning 9999 clauses out of 20012 with flag 2615001/3879821
1686.95/875.20	c cleaning 10002 clauses out of 20014 with flag 2625002/3889822
1691.64/877.76	c cleaning 9999 clauses out of 20010 with flag 2635000/3899820
1696.63/880.33	c cleaning 10000 clauses out of 20012 with flag 2645001/3909821
1701.44/882.81	c cleaning 10002 clauses out of 20015 with flag 2655004/3919824
1705.85/885.18	c cleaning 10001 clauses out of 20011 with flag 2665002/3929822
1710.72/887.73	c cleaning 10002 clauses out of 20012 with flag 2675004/3939824
1715.30/890.16	c cleaning 10001 clauses out of 20010 with flag 2685004/3949824
1720.10/892.60	c cleaning 10000 clauses out of 20010 with flag 2695005/3959825
1724.74/895.04	c cleaning 9998 clauses out of 20007 with flag 2705002/3969822
1729.63/897.65	c cleaning 10001 clauses out of 20007 with flag 2715000/3979820
1734.42/900.17	c cleaning 10000 clauses out of 20010 with flag 2725004/3989824
1739.42/902.73	c cleaning 10001 clauses out of 20008 with flag 2735002/3999822
1744.24/905.22	c cleaning 9998 clauses out of 20006 with flag 2745001/4009821
1749.08/907.85	c cleaning 10000 clauses out of 20008 with flag 2755001/4019821
1754.08/910.40	c cleaning 9999 clauses out of 20007 with flag 2765000/4029820
1758.91/912.98	c cleaning 10002 clauses out of 20010 with flag 2775002/4039822
1764.11/915.63	c cleaning 9998 clauses out of 20006 with flag 2785000/4049820
1769.38/918.49	c cleaning 9998 clauses out of 20008 with flag 2795000/4059820
1774.58/921.20	c cleaning 9999 clauses out of 20011 with flag 2805001/4069821
1780.00/923.93	c cleaning 10001 clauses out of 20013 with flag 2815002/4079822
1784.98/926.58	c cleaning 10002 clauses out of 20012 with flag 2825002/4089822
1790.24/929.37	c cleaning 9997 clauses out of 20008 with flag 2835000/4099820
1795.25/931.96	c cleaning 10003 clauses out of 20011 with flag 2845000/4109820
1799.27/934.01	c starts		: 32
1799.27/934.01	c conflicts		: 8292
1799.27/934.01	c decisions		: 16047
1799.27/934.01	c propagations		: 2504854
1799.27/934.01	c inspects		: 620707721
1799.27/934.01	c shortcuts		: 0
1799.27/934.01	c learnt literals	: 0
1799.27/934.01	c learnt binary clauses	: 0
1799.27/934.01	c learnt ternary clauses	: 0
1799.27/934.01	c learnt constraints	: 8291
1799.27/934.01	c ignored constraints	: 0
1799.27/934.01	c root simplifications	: 0
1799.27/934.01	c removed literals (reason simplification)	: 0
1799.27/934.01	c reason swapping (by a shorter reason)	: 0
1799.27/934.01	c Calls to reduceDB	: 1
1799.27/934.01	c number of reductions to clauses (during analyze)	: 0
1799.27/934.01	c number of learned constraints concerned by reduction	: 0
1799.27/934.01	c number of learning phase by resolution	: 0
1799.27/934.01	c number of learning phase by cutting planes	: 0
1799.27/934.01	c speed (assignments/second)	: 3609.0411353648874
1799.27/934.01	c non guided choices	0
1799.27/934.01	c learnt constraints type 
1799.27/934.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 149
1799.27/934.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8142
1799.27/934.01	c constraints type 
1799.27/934.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
1799.27/934.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.27/934.01	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1799.27/934.01	c constraints type 
1799.27/934.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3162
1799.27/934.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.27/934.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
1799.27/934.01	s SATISFIABLE
1799.27/934.01	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 
1799.27/934.01	c objective function=5
1799.27/934.01	c Total wall clock time (in seconds): 933.89

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.88 3.88 3.82 4/197 27227
/proc/meminfo: memFree=27851600/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27227/stat : 27227 (java) D 27225 27227 25219 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 338052049 9515008 176 33554432000 1073741824 1073778376 140734159917008 140734159899736 212073268112 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/27227/statm: 2323 176 133 9 0 71 0

[startup+0.07171 s]
/proc/loadavg: 3.88 3.88 3.82 4/197 27227
/proc/meminfo: memFree=27851600/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 4315 0 1 0 3 1 0 0 20 0 13 0 338052049 11523600384 12678 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2813379 12678 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100211 s]
/proc/loadavg: 3.88 3.88 3.82 4/197 27227
/proc/meminfo: memFree=27851600/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 4930 0 1 0 6 2 0 0 20 0 18 0 338052049 11864465408 13285 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2896598 13289 2038 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300219 s]
/proc/loadavg: 3.88 3.88 3.82 4/197 27227
/proc/meminfo: memFree=27851600/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11586392 CPUtime=0.41 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 6200 0 1 0 39 2 0 0 20 0 18 0 338052049 11864465408 15801 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2896598 15801 2215 9 0 2887285 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 11586392

[startup+0.700256 s]
/proc/loadavg: 3.88 3.88 3.82 4/197 27227
/proc/meminfo: memFree=27851600/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 11160 0 1 0 98 6 0 0 20 0 19 0 338052049 12137111552 20325 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2963162 20325 2254 9 0 2953849 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 11852648

[startup+1.5006 s]
/proc/loadavg: 3.97 3.90 3.83 6/217 27252
/proc/meminfo: memFree=27768836/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11852648 CPUtime=1.82 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 15885 0 1 0 174 8 0 0 20 0 22 0 338052049 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2963162 27170 2261 9 0 2953849 0
[pid=27227/tid=27229] ppid=27225 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/27227/task/27229/stat : 27229 (java) S 27225 27227 25219 0 -1 4202560 3383 0 1 0 36 2 0 0 20 0 22 0 338052050 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035877831832 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27230] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27230/stat : 27230 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035866892968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27231] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27231/stat : 27231 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035713428264 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27232] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27232/stat : 27232 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035712375720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27233] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27233/stat : 27233 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035711323176 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27234] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27234/stat : 27234 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035710269608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27235] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27235/stat : 27235 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035709217064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27236] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27236/stat : 27236 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035708164520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27237] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27237/stat : 27237 (java) S 27225 27227 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035707111976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27238] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27238/stat : 27238 (java) S 27225 27227 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338052053 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035694914152 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27239] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27239/stat : 27239 (java) S 27225 27227 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035693860472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27240] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27240/stat : 27240 (java) S 27225 27227 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035692807816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27241] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27241/stat : 27241 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035691756560 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27242] ppid=27225 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/27227/task/27242/stat : 27242 (java) R 27225 27227 25219 0 -1 4202560 3295 0 0 0 47 0 0 0 20 0 22 0 338052056 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035690680976 140035879921648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27243] ppid=27225 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/27227/task/27243/stat : 27243 (java) R 27225 27227 25219 0 -1 4202560 7882 0 0 0 49 1 0 0 20 0 22 0 338052056 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035689627512 140035883534558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27244] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27244/stat : 27244 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035688598008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27245] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27245/stat : 27245 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035687545672 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27249] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27249/stat : 27249 (java) S 27225 27227 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338052091 12137111552 27170 33554432000 1073741824 1073778376 140736270509104 140035683333800 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 11852648

[startup+3.10079 s]
/proc/loadavg: 3.97 3.90 3.83 6/219 27258
/proc/meminfo: memFree=27654960/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11852648 CPUtime=5.54 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 20122 0 1 0 536 18 0 0 20 0 22 0 338052049 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2963162 112838 2292 9 0 2953849 0
[pid=27227/tid=27229] ppid=27225 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/27227/task/27229/stat : 27229 (java) S 27225 27227 25219 0 -1 4202560 3384 0 1 0 36 2 0 0 20 0 22 0 338052050 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035877831832 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27230] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27230/stat : 27230 (java) S 27225 27227 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035866892968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27231] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27231/stat : 27231 (java) S 27225 27227 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035713428264 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27232] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27232/stat : 27232 (java) S 27225 27227 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035712375720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27233] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27233/stat : 27233 (java) S 27225 27227 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035711323176 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27234] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27234/stat : 27234 (java) S 27225 27227 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035710269608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27235] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27235/stat : 27235 (java) S 27225 27227 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035709217064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27236] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27236/stat : 27236 (java) S 27225 27227 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035708164520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27237] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27237/stat : 27237 (java) S 27225 27227 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035707111976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27238] ppid=27225 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/27227/task/27238/stat : 27238 (java) S 27225 27227 25219 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 338052053 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035694914152 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27239] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27239/stat : 27239 (java) S 27225 27227 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035693860472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27240] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27240/stat : 27240 (java) S 27225 27227 25219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035692807816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27241] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27241/stat : 27241 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035691756560 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27242] ppid=27225 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/27227/task/27242/stat : 27242 (java) S 27225 27227 25219 0 -1 4202560 5545 0 0 0 78 1 0 0 20 0 22 0 338052056 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035690702904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27243] ppid=27225 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/27227/task/27243/stat : 27243 (java) S 27225 27227 25219 0 -1 4202560 9635 0 0 0 87 2 0 0 20 0 22 0 338052056 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035689650360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27244] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27244/stat : 27244 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035688598008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27245] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27245/stat : 27245 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035687545672 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27249] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27249/stat : 27249 (java) S 27225 27227 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338052091 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035683333800 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27256] ppid=27225 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/27227/task/27256/stat : 27256 (java) R 27225 27227 25219 0 -1 4202560 7 0 0 0 111 0 0 0 20 0 22 0 338052241 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035685438184 140035748268000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27257] ppid=27225 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/27227/task/27257/stat : 27257 (java) R 27225 27227 25219 0 -1 4202560 130 0 0 0 107 4 0 0 20 0 22 0 338052241 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035686489448 140035748424381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27258] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27258/stat : 27258 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338052241 12137111552 112838 33554432000 1073741824 1073778376 140736270509104 140035684385576 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.97 3.90 3.83 5/219 27258
/proc/meminfo: memFree=27262120/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11852648 CPUtime=12.03 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 20491 0 1 0 1182 21 0 0 20 0 22 0 338052049 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2963162 148786 2292 9 0 2953849 0
[pid=27227/tid=27229] ppid=27225 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/27227/task/27229/stat : 27229 (java) S 27225 27227 25219 0 -1 4202560 3384 0 1 0 36 2 0 0 20 0 22 0 338052050 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035877831832 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27230] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27230/stat : 27230 (java) S 27225 27227 25219 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035866892968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27231] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27231/stat : 27231 (java) S 27225 27227 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035713428264 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27232] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27232/stat : 27232 (java) S 27225 27227 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035712375720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27233] ppid=27225 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27227/task/27233/stat : 27233 (java) S 27225 27227 25219 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035711323176 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27234] ppid=27225 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/27227/task/27234/stat : 27234 (java) S 27225 27227 25219 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035710269608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27235] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27235/stat : 27235 (java) S 27225 27227 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035709217064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27236] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27236/stat : 27236 (java) S 27225 27227 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035708164520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27237] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27237/stat : 27237 (java) S 27225 27227 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338052052 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035707111976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27238] ppid=27225 vsize=11852648 CPUtime=0.17 cores=0,2,4,6
/proc/27227/task/27238/stat : 27238 (java) S 27225 27227 25219 0 -1 4202560 57 0 0 0 17 0 0 0 20 0 22 0 338052053 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035694914152 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27239] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27239/stat : 27239 (java) S 27225 27227 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035693860472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27240] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27240/stat : 27240 (java) S 27225 27227 25219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035692807816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27241] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27241/stat : 27241 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035691756560 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27242] ppid=27225 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/27227/task/27242/stat : 27242 (java) S 27225 27227 25219 0 -1 4202560 5794 0 0 0 92 1 0 0 20 0 22 0 338052056 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035690702904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27243] ppid=27225 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/27227/task/27243/stat : 27243 (java) S 27225 27227 25219 0 -1 4202560 9641 0 0 0 94 2 0 0 20 0 22 0 338052056 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035689650360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27244] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27244/stat : 27244 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035688598008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27245] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27245/stat : 27245 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 148786 33554432000 1073741824 1073778376 140736270509104 140035687545672 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=27227/tid=27233] ppid=27225 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/27227/task/27233/stat : 27233 (java) S 27225 27227 25219 0 -1 4202560 113 0 0 0 168 2 0 0 20 0 22 0 338052052 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035711323176 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27234] ppid=27225 vsize=11852648 CPUtime=1.66 cores=0,2,4,6
/proc/27227/task/27234/stat : 27234 (java) S 27225 27227 25219 0 -1 4202560 109 0 0 0 166 0 0 0 20 0 22 0 338052052 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035710269608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27235] ppid=27225 vsize=11852648 CPUtime=1.57 cores=0,2,4,6
/proc/27227/task/27235/stat : 27235 (java) S 27225 27227 25219 0 -1 4202560 112 0 0 0 155 2 0 0 20 0 22 0 338052052 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035709217064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27236] ppid=27225 vsize=11852648 CPUtime=1.69 cores=0,2,4,6
/proc/27227/task/27236/stat : 27236 (java) S 27225 27227 25219 0 -1 4202560 125 0 0 0 167 2 0 0 20 0 22 0 338052052 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035708164520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27237] ppid=27225 vsize=11852648 CPUtime=1.53 cores=0,2,4,6
/proc/27227/task/27237/stat : 27237 (java) S 27225 27227 25219 0 -1 4202560 108 0 0 0 151 2 0 0 20 0 22 0 338052052 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035707111976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27238] ppid=27225 vsize=11852648 CPUtime=62.34 cores=0,2,4,6
/proc/27227/task/27238/stat : 27238 (java) S 27225 27227 25219 0 -1 4202560 164 0 0 0 6227 7 0 0 20 0 22 0 338052053 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035694914152 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27239] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27239/stat : 27239 (java) S 27225 27227 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035693860472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27240] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27240/stat : 27240 (java) S 27225 27227 25219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035692807816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27241] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27241/stat : 27241 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035691756560 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27242] ppid=27225 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/27227/task/27242/stat : 27242 (java) S 27225 27227 25219 0 -1 4202560 9973 0 0 0 147 2 0 0 20 0 22 0 338052056 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035690702904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27243] ppid=27225 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/27227/task/27243/stat : 27243 (java) S 27225 27227 25219 0 -1 4202560 9669 0 0 0 98 2 0 0 20 0 22 0 338052056 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035689650360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27244] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27244/stat : 27244 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035688598008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27245] ppid=27225 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/27227/task/27245/stat : 27245 (java) S 27225 27227 25219 0 -1 4202560 49 0 0 0 14 15 0 0 20 0 22 0 338052056 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035687545672 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27258] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27258/stat : 27258 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338052241 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035684385576 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27263] ppid=27225 vsize=11852648 CPUtime=529.13 cores=0,2,4,6
/proc/27227/task/27263/stat : 27263 (java) R 27225 27227 25219 0 -1 4202560 103 0 0 0 52904 9 0 0 20 0 22 0 338076045 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035685437648 140035748338492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27264] ppid=27225 vsize=11852648 CPUtime=529.04 cores=0,2,4,6
/proc/27227/task/27264/stat : 27264 (java) R 27225 27227 25219 0 -1 4202560 71 0 0 0 52895 9 0 0 20 0 22 0 338076045 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035683330672 140035748422027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27265] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27265/stat : 27265 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338076045 12137111552 204409 33554432000 1073741824 1073778376 140736270509104 140035686491304 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1585.57
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.77 3.78 3.79 5/219 27360
/proc/meminfo: memFree=26452692/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11852648 CPUtime=1700.44 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 26241 0 1 0 169981 63 0 0 20 0 22 0 338052049 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2963162 204998 2293 9 0 2953849 0
[pid=27227/tid=27229] ppid=27225 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/27227/task/27229/stat : 27229 (java) S 27225 27227 25219 0 -1 4202560 3515 0 1 0 38 4 0 0 20 0 22 0 338052050 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035877831832 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27230] ppid=27225 vsize=11852648 CPUtime=1.74 cores=0,2,4,6
/proc/27227/task/27230/stat : 27230 (java) S 27225 27227 25219 0 -1 4202560 111 0 0 0 174 0 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035866892968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27231] ppid=27225 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/27227/task/27231/stat : 27231 (java) S 27225 27227 25219 0 -1 4202560 151 0 0 0 177 2 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035713428264 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27232] ppid=27225 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/27227/task/27232/stat : 27232 (java) S 27225 27227 25219 0 -1 4202560 115 0 0 0 170 2 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035712375720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27233] ppid=27225 vsize=11852648 CPUtime=1.85 cores=0,2,4,6
/proc/27227/task/27233/stat : 27233 (java) S 27225 27227 25219 0 -1 4202560 122 0 0 0 183 2 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035711323176 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27234] ppid=27225 vsize=11852648 CPUtime=1.82 cores=0,2,4,6
/proc/27227/task/27234/stat : 27234 (java) S 27225 27227 25219 0 -1 4202560 123 0 0 0 182 0 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035710269608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27235] ppid=27225 vsize=11852648 CPUtime=1.71 cores=0,2,4,6
/proc/27227/task/27235/stat : 27235 (java) S 27225 27227 25219 0 -1 4202560 126 0 0 0 169 2 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035709217064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27236] ppid=27225 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/27227/task/27236/stat : 27236 (java) S 27225 27227 25219 0 -1 4202560 130 0 0 0 178 2 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035708164520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27237] ppid=27225 vsize=11852648 CPUtime=1.67 cores=0,2,4,6
/proc/27227/task/27237/stat : 27237 (java) S 27225 27227 25219 0 -1 4202560 118 0 0 0 165 2 0 0 20 0 22 0 338052052 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035707111976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27238] ppid=27225 vsize=11852648 CPUtime=67.89 cores=0,2,4,6
/proc/27227/task/27238/stat : 27238 (java) S 27225 27227 25219 0 -1 4202560 167 0 0 0 6781 8 0 0 20 0 22 0 338052053 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035694914152 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27239] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27239/stat : 27239 (java) S 27225 27227 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035693860472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27240] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27240/stat : 27240 (java) S 27225 27227 25219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035692807816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27241] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27241/stat : 27241 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035691756560 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27242] ppid=27225 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/27227/task/27242/stat : 27242 (java) S 27225 27227 25219 0 -1 4202560 9973 0 0 0 147 2 0 0 20 0 22 0 338052056 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035690702904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27243] ppid=27225 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/27227/task/27243/stat : 27243 (java) S 27225 27227 25219 0 -1 4202560 9669 0 0 0 98 2 0 0 20 0 22 0 338052056 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035689650360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27244] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27244/stat : 27244 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035688598008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27245] ppid=27225 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/27227/task/27245/stat : 27245 (java) S 27225 27227 25219 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 338052056 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035687545672 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27258] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27258/stat : 27258 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338052241 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035684385576 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27263] ppid=27225 vsize=11852648 CPUtime=583.08 cores=0,2,4,6
/proc/27227/task/27263/stat : 27263 (java) R 27225 27227 25219 0 -1 4202560 114 0 0 0 58299 9 0 0 20 0 22 0 338076045 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035685437648 140035748468823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27264] ppid=27225 vsize=11852648 CPUtime=583.02 cores=0,2,4,6
/proc/27227/task/27264/stat : 27264 (java) R 27225 27227 25219 0 -1 4202560 72 0 0 0 58293 9 0 0 20 0 22 0 338076045 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035683330432 140035748424324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27265] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27265/stat : 27265 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338076045 12137111552 204998 33554432000 1073741824 1073778376 140736270509104 140035686491304 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1700.44
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+934.001 s]
/proc/loadavg: 3.71 3.76 3.78 4/219 27360
/proc/meminfo: memFree=26326896/32873648 swapFree=7388/7388
[pid=27227] ppid=27225 vsize=11852648 CPUtime=1799.27 cores=0,2,4,6
/proc/27227/stat : 27227 (java) S 27225 27227 25219 0 -1 4202496 26328 0 1 0 179862 65 0 0 20 0 22 0 338052049 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140736270500240 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27227/statm: 2963162 206079 2293 9 0 2953849 0
[pid=27227/tid=27229] ppid=27225 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/27227/task/27229/stat : 27229 (java) S 27225 27227 25219 0 -1 4202560 3526 0 1 0 38 4 0 0 20 0 22 0 338052050 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035877831832 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27230] ppid=27225 vsize=11852648 CPUtime=1.85 cores=0,2,4,6
/proc/27227/task/27230/stat : 27230 (java) S 27225 27227 25219 0 -1 4202560 122 0 0 0 183 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035866892968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27231] ppid=27225 vsize=11852648 CPUtime=1.94 cores=0,2,4,6
/proc/27227/task/27231/stat : 27231 (java) S 27225 27227 25219 0 -1 4202560 166 0 0 0 192 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035713428264 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27232] ppid=27225 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/27227/task/27232/stat : 27232 (java) S 27225 27227 25219 0 -1 4202560 115 0 0 0 184 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035712375720 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27233] ppid=27225 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/27227/task/27233/stat : 27233 (java) S 27225 27227 25219 0 -1 4202560 127 0 0 0 193 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035711323176 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27234] ppid=27225 vsize=11852648 CPUtime=1.91 cores=0,2,4,6
/proc/27227/task/27234/stat : 27234 (java) S 27225 27227 25219 0 -1 4202560 127 0 0 0 191 0 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035710269608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27235] ppid=27225 vsize=11852648 CPUtime=1.84 cores=0,2,4,6
/proc/27227/task/27235/stat : 27235 (java) S 27225 27227 25219 0 -1 4202560 138 0 0 0 182 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035709217064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27236] ppid=27225 vsize=11852648 CPUtime=1.93 cores=0,2,4,6
/proc/27227/task/27236/stat : 27236 (java) S 27225 27227 25219 0 -1 4202560 138 0 0 0 191 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035708164520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27237] ppid=27225 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/27227/task/27237/stat : 27237 (java) S 27225 27227 25219 0 -1 4202560 120 0 0 0 177 2 0 0 20 0 22 0 338052052 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035707111976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27238] ppid=27225 vsize=11852648 CPUtime=72.88 cores=0,2,4,6
/proc/27227/task/27238/stat : 27238 (java) S 27225 27227 25219 0 -1 4202560 173 0 0 0 7280 8 0 0 20 0 22 0 338052053 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035694914152 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27239] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27239/stat : 27239 (java) S 27225 27227 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035693860472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27240] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27240/stat : 27240 (java) S 27225 27227 25219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338052054 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035692807816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27241] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27241/stat : 27241 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035691756560 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27242] ppid=27225 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/27227/task/27242/stat : 27242 (java) S 27225 27227 25219 0 -1 4202560 9973 0 0 0 147 2 0 0 20 0 22 0 338052056 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035690702904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27243] ppid=27225 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/27227/task/27243/stat : 27243 (java) S 27225 27227 25219 0 -1 4202560 9669 0 0 0 98 2 0 0 20 0 22 0 338052056 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035689650360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27244] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27244/stat : 27244 (java) S 27225 27227 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338052056 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035688598008 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27245] ppid=27225 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/27227/task/27245/stat : 27245 (java) S 27225 27227 25219 0 -1 4202560 55 0 0 0 16 17 0 0 20 0 22 0 338052056 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035687545672 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27227/tid=27258] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27258/stat : 27258 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338052241 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035684385576 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27227/tid=27263] ppid=27225 vsize=11852648 CPUtime=629.38 cores=0,2,4,6
/proc/27227/task/27263/stat : 27263 (java) R 27225 27227 25219 0 -1 4202560 123 0 0 0 62928 10 0 0 20 0 22 0 338076045 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035685437648 140035748437583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27227/tid=27264] ppid=27225 vsize=11852648 CPUtime=629.32 cores=0,2,4,6
/proc/27227/task/27264/stat : 27264 (java) R 27225 27227 25219 0 -1 4202560 72 0 0 0 62922 10 0 0 20 0 22 0 338076045 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035683330672 140035748422117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27227/tid=27265] ppid=27225 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/27227/task/27265/stat : 27265 (java) S 27225 27227 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338076045 12137111552 206079 33554432000 1073741824 1073778376 140736270509104 140035686491304 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.27
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 27227 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=268077
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=41841
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1799.27
#
# 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.910004
#  lost CPU user time (s): 0.970001
#  lost CPU system time (s): -0.06

Real time (s): 934.027
CPU time (s): 1800.18
CPU user time (s): 1799.59
CPU system time (s): 0.59
CPU usage (%): 192.733
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.27
system time used= 1.04184
maximum resident set size= 824428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26357
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34020
involuntary context switches= 37813

runsolver used 3.18252 second user time and 8.67268 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-03 12:27:56
IDJOB=3737020
IDBENCH=48159
IDSOLVER=2328
FILE ID=node148/3737020-1338719275
RUNJOBID= node148-1338713436-25235
PBS_JOBID= 14636734
Free space on /tmp= 71332 MiB

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

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=2082298989

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27851228 kB
Buffers:          595104 kB
Cached:          2873424 kB
SwapCached:          628 kB
Active:          2048672 kB
Inactive:        2064276 kB
Active(anon):     634080 kB
Inactive(anon):    10660 kB
Active(file):    1414592 kB
Inactive(file):  2053616 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:        653016 kB
Mapped:            19100 kB
Shmem:                36 kB
Slab:             766712 kB
SReclaimable:     210632 kB
SUnreclaim:       556080 kB
KernelStack:        1624 kB
PageTables:         5484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10459568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 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= 71332 MiB
End job on node148 at 2012-06-03 12:43:32