Trace number 3741503

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31? (TO) 1800.5 933.54

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
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 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version 2.2.0.v20100531
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		1349517296
0.00/0.07	c Max memory 		1356595200
0.00/0.07	c Total memory 		1356595200
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c Stops conflict analysis at the first Unique Implication Point
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c Stops conflict analysis at the first Unique Implication Point
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	
0.11/0.10	c solving HOME/instance-3741503-1338764459.opb
0.11/0.10	c reading problem ... 
0.78/0.41	c ... done. Wall clock time 0.317s.
0.78/0.41	c #vars     4000
0.78/0.41	c #constraints  10500
0.78/0.41	c constraints type 
0.78/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
0.78/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
0.78/0.41	c constraints type 
0.78/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
0.78/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
3.66/1.41	c cleaning 2495 clauses out of 5000 with flag 5000/5000
5.50/2.24	c cleaning 4249 clauses out of 8506 with flag 11001/11001
6.86/2.93	c cleaning 0 clauses out of 5002 with flag 0/5002
8.02/3.32	c cleaning 5624 clauses out of 11257 with flag 18001/18001
10.46/4.55	c cleaning 6813 clauses out of 13635 with flag 26003/26003
13.21/5.74	c cleaning 0 clauses out of 11001 with flag 0/11001
13.78/6.04	c cleaning 7908 clauses out of 15820 with flag 35001/35001
16.98/7.66	c cleaning 8949 clauses out of 17913 with flag 45002/45002
20.33/9.35	c cleaning 0 clauses out of 18000 with flag 0/18000
20.51/9.50	c cleaning 9972 clauses out of 19962 with flag 56000/56000
24.51/11.45	c cleaning 10493 clauses out of 20991 with flag 67001/67001
28.29/13.39	c cleaning 10746 clauses out of 21497 with flag 78000/78000
28.86/13.64	c cleaning 0 clauses out of 26002 with flag 0/26002
32.25/15.30	c cleaning 10868 clauses out of 21751 with flag 89000/89000
36.24/17.35	c cleaning 10932 clauses out of 21884 with flag 100001/100001
38.63/18.54	c cleaning 0 clauses out of 35000 with flag 0/35000
40.59/19.54	c cleaning 10969 clauses out of 21953 with flag 111002/111002
44.36/21.40	c cleaning 10988 clauses out of 21982 with flag 122000/122000
48.12/23.37	c cleaning 10988 clauses out of 21994 with flag 133000/133000
49.70/24.19	c cleaning 0 clauses out of 45000 with flag 0/45000
52.24/25.45	c cleaning 10993 clauses out of 22009 with flag 144003/144003
56.41/27.53	c cleaning 11000 clauses out of 22014 with flag 155001/155001
60.97/29.82	c cleaning 10998 clauses out of 22015 with flag 166002/166002
62.94/30.87	c cleaning 0 clauses out of 56000 with flag 0/56000
64.89/31.89	c cleaning 11003 clauses out of 22015 with flag 177000/177000
68.83/33.86	c cleaning 10995 clauses out of 22012 with flag 188000/188000
72.79/35.83	c cleaning 10998 clauses out of 22017 with flag 199000/199000
76.95/37.93	c cleaning 0 clauses out of 67000 with flag 0/67000
77.12/38.04	c cleaning 11002 clauses out of 22019 with flag 210000/210000
81.27/40.19	c cleaning 11005 clauses out of 22017 with flag 221000/221000
85.23/42.17	c cleaning 10996 clauses out of 22012 with flag 232000/232000
89.59/44.37	c cleaning 11000 clauses out of 22016 with flag 243000/243000
92.12/45.62	c cleaning 0 clauses out of 78000 with flag 0/78000
94.07/46.65	c cleaning 10995 clauses out of 22016 with flag 254000/254000
98.03/48.65	c cleaning 11006 clauses out of 22022 with flag 265001/265001
102.20/50.71	c cleaning 10999 clauses out of 22015 with flag 276000/276000
106.34/52.87	c cleaning 11003 clauses out of 22016 with flag 287000/287000
107.49/53.45	c cleaning 0 clauses out of 89000 with flag 0/89000
110.85/55.16	c cleaning 11003 clauses out of 22013 with flag 298000/298000
115.20/57.37	c cleaning 10996 clauses out of 22010 with flag 309000/309000
119.54/59.51	c cleaning 10996 clauses out of 22014 with flag 320000/320000
123.31/61.44	c cleaning 0 clauses out of 100001 with flag 0/100001
123.87/61.77	c cleaning 10998 clauses out of 22018 with flag 331000/331000
128.21/63.98	c cleaning 11005 clauses out of 22021 with flag 342001/342001
132.35/66.07	c cleaning 10999 clauses out of 22016 with flag 353001/353001
136.87/68.31	c cleaning 11003 clauses out of 22016 with flag 364000/364000
141.03/70.45	c cleaning 0 clauses out of 111000 with flag 0/111000
141.21/70.58	c cleaning 11004 clauses out of 22016 with flag 375003/375003
145.69/72.81	c cleaning 10992 clauses out of 22010 with flag 386001/386001
149.65/74.82	c cleaning 10998 clauses out of 22018 with flag 397001/397001
153.58/76.83	c cleaning 11000 clauses out of 22021 with flag 408002/408002
157.72/78.97	c cleaning 10996 clauses out of 22020 with flag 419001/419001
159.25/79.74	c cleaning 0 clauses out of 122001 with flag 0/122001
162.42/81.34	c cleaning 11005 clauses out of 22026 with flag 430003/430003
166.97/83.66	c cleaning 10999 clauses out of 22018 with flag 441000/441000
171.31/85.88	c cleaning 11007 clauses out of 22021 with flag 452002/452002
175.81/88.18	c cleaning 11000 clauses out of 22012 with flag 463000/463000
177.16/88.87	c cleaning 0 clauses out of 133000 with flag 0/133000
180.29/90.46	c cleaning 11003 clauses out of 22016 with flag 474004/474004
184.43/92.60	c cleaning 10988 clauses out of 22009 with flag 485000/485000
189.14/94.93	c cleaning 11004 clauses out of 22022 with flag 496001/496001
193.48/97.18	c cleaning 10989 clauses out of 22018 with flag 507001/507001
195.22/98.02	c cleaning 0 clauses out of 144000 with flag 0/144000
197.95/99.50	c cleaning 11000 clauses out of 22028 with flag 518000/518000
202.25/101.66	c cleaning 11006 clauses out of 22028 with flag 529000/529000
206.59/103.85	c cleaning 10996 clauses out of 22023 with flag 540001/540001
211.33/106.25	c cleaning 10994 clauses out of 22026 with flag 551000/551000
214.47/107.81	c cleaning 0 clauses out of 155000 with flag 0/155000
215.97/108.67	c cleaning 11009 clauses out of 22033 with flag 562001/562001
220.50/110.96	c cleaning 10993 clauses out of 22023 with flag 573000/573000
225.04/113.28	c cleaning 11006 clauses out of 22035 with flag 584005/584005
229.16/115.33	c cleaning 11005 clauses out of 22025 with flag 595001/595001
233.27/117.48	c cleaning 10994 clauses out of 22021 with flag 606002/606002
234.20/117.93	c cleaning 0 clauses out of 166000 with flag 0/166000
237.72/119.77	c cleaning 11005 clauses out of 22025 with flag 617000/617000
242.05/121.96	c cleaning 10999 clauses out of 22022 with flag 628002/628002
246.56/124.23	c cleaning 10999 clauses out of 22023 with flag 639002/639002
250.89/126.44	c cleaning 11003 clauses out of 22022 with flag 650000/650000
255.62/128.83	c cleaning 10991 clauses out of 22019 with flag 661000/661000
255.78/128.97	c cleaning 0 clauses out of 177000 with flag 0/177000
260.24/131.20	c cleaning 11002 clauses out of 22029 with flag 672001/672001
264.57/133.40	c cleaning 10995 clauses out of 22026 with flag 683000/683000
269.10/135.73	c cleaning 11002 clauses out of 22031 with flag 694000/694000
273.63/138.07	c cleaning 11001 clauses out of 22031 with flag 705002/705002
278.11/140.37	c cleaning 0 clauses out of 188002 with flag 0/188002
278.43/140.54	c cleaning 11007 clauses out of 22028 with flag 716000/716000
282.75/142.72	c cleaning 10997 clauses out of 22021 with flag 727000/727000
287.27/145.03	c cleaning 11000 clauses out of 22025 with flag 738001/738001
291.97/147.48	c cleaning 10995 clauses out of 22025 with flag 749001/749001
296.48/149.75	c cleaning 10998 clauses out of 22030 with flag 760001/760001
300.19/151.60	c cleaning 0 clauses out of 199001 with flag 0/199001
301.11/152.20	c cleaning 11013 clauses out of 22031 with flag 771000/771000
305.99/154.62	c cleaning 10998 clauses out of 22020 with flag 782002/782002
310.50/156.95	c cleaning 11002 clauses out of 22021 with flag 793001/793001
315.01/159.26	c cleaning 11005 clauses out of 22021 with flag 804003/804003
319.74/161.63	c cleaning 10990 clauses out of 22014 with flag 815001/815001
323.20/163.44	c cleaning 0 clauses out of 210003 with flag 0/210003
324.53/164.15	c cleaning 10998 clauses out of 22024 with flag 826001/826001
329.44/166.60	c cleaning 11001 clauses out of 22025 with flag 837000/837000
333.95/168.93	c cleaning 11006 clauses out of 22027 with flag 848003/848003
338.82/171.42	c cleaning 10998 clauses out of 22019 with flag 859001/859001
343.35/173.78	c cleaning 11001 clauses out of 22021 with flag 870001/870001
346.64/175.45	c cleaning 0 clauses out of 221001 with flag 0/221001
347.95/176.17	c cleaning 11000 clauses out of 22020 with flag 881001/881001
352.02/178.29	c cleaning 11003 clauses out of 22021 with flag 892002/892002
356.33/180.45	c cleaning 11002 clauses out of 22020 with flag 903004/903004
360.64/182.67	c cleaning 11000 clauses out of 22015 with flag 914001/914001
365.14/184.96	c cleaning 10998 clauses out of 22014 with flag 925000/925000
370.00/187.45	c cleaning 11002 clauses out of 22016 with flag 936000/936000
371.71/188.38	c cleaning 0 clauses out of 232001 with flag 0/232001
374.43/189.78	c cleaning 10992 clauses out of 22015 with flag 947001/947001
379.14/192.13	c cleaning 10997 clauses out of 22022 with flag 958000/958000
383.80/194.52	c cleaning 11006 clauses out of 22027 with flag 969002/969002
388.32/196.87	c cleaning 10996 clauses out of 22019 with flag 980000/980000
393.03/199.26	c cleaning 10996 clauses out of 22024 with flag 991001/991001
395.93/200.78	c cleaning 0 clauses out of 243001 with flag 0/243001
397.79/201.75	c cleaning 10999 clauses out of 22029 with flag 1002002/1002002
402.49/204.10	c cleaning 11004 clauses out of 22029 with flag 1013001/1013001
406.99/206.43	c cleaning 11001 clauses out of 22024 with flag 1024000/1024000
411.49/208.79	c cleaning 10999 clauses out of 22023 with flag 1035000/1035000
416.36/211.24	c cleaning 11010 clauses out of 22026 with flag 1046002/1046002
421.05/213.65	c cleaning 10999 clauses out of 22016 with flag 1057002/1057002
421.35/213.87	c cleaning 0 clauses out of 254001 with flag 0/254001
425.64/216.06	c cleaning 10995 clauses out of 22016 with flag 1068001/1068001
430.09/218.39	c cleaning 11002 clauses out of 22020 with flag 1079000/1079000
435.00/220.86	c cleaning 10999 clauses out of 22018 with flag 1090000/1090000
439.71/223.30	c cleaning 11000 clauses out of 22020 with flag 1101001/1101001
444.59/225.79	c cleaning 10988 clauses out of 22020 with flag 1112001/1112001
449.42/228.24	c cleaning 11006 clauses out of 22032 with flag 1123001/1123001
450.54/228.86	c cleaning 0 clauses out of 265000 with flag 0/265000
454.22/230.78	c cleaning 11002 clauses out of 22025 with flag 1134000/1134000
459.32/233.32	c cleaning 11001 clauses out of 22025 with flag 1145002/1145002
464.15/235.81	c cleaning 11002 clauses out of 22024 with flag 1156002/1156002
468.84/238.20	c cleaning 11003 clauses out of 22023 with flag 1167003/1167003
473.54/240.62	c cleaning 10995 clauses out of 22019 with flag 1178002/1178002
477.84/242.86	c cleaning 0 clauses out of 276001 with flag 0/276001
478.46/243.24	c cleaning 10991 clauses out of 22022 with flag 1189000/1189000
483.15/245.68	c cleaning 10996 clauses out of 22031 with flag 1200000/1200000
488.04/248.12	c cleaning 11007 clauses out of 22038 with flag 1211003/1211003
492.73/250.59	c cleaning 11006 clauses out of 22029 with flag 1222001/1222001
497.57/253.07	c cleaning 10997 clauses out of 22024 with flag 1233002/1233002
502.44/255.56	c cleaning 10995 clauses out of 22026 with flag 1244001/1244001
506.73/257.78	c cleaning 0 clauses out of 287000 with flag 0/287000
507.42/258.19	c cleaning 11002 clauses out of 22030 with flag 1255000/1255000
512.26/260.63	c cleaning 11002 clauses out of 22028 with flag 1266000/1266000
516.94/263.06	c cleaning 10999 clauses out of 22028 with flag 1277002/1277002
521.83/265.53	c cleaning 11002 clauses out of 22028 with flag 1288001/1288001
526.72/268.00	c cleaning 10995 clauses out of 22025 with flag 1299000/1299000
531.34/270.45	c cleaning 11004 clauses out of 22030 with flag 1310000/1310000
534.04/271.86	c cleaning 0 clauses out of 298002 with flag 0/298002
536.11/272.95	c cleaning 10995 clauses out of 22026 with flag 1321000/1321000
540.40/275.14	c cleaning 11004 clauses out of 22031 with flag 1332000/1332000
544.83/277.44	c cleaning 11009 clauses out of 22027 with flag 1343000/1343000
549.51/279.86	c cleaning 10995 clauses out of 22021 with flag 1354003/1354003
554.20/282.27	c cleaning 11007 clauses out of 22023 with flag 1365000/1365000
559.08/284.75	c cleaning 10995 clauses out of 22017 with flag 1376001/1376001
563.72/287.17	c cleaning 10997 clauses out of 22021 with flag 1387000/1387000
565.19/287.93	c cleaning 0 clauses out of 309000 with flag 0/309000
568.67/289.78	c cleaning 10998 clauses out of 22025 with flag 1398001/1398001
573.56/292.25	c cleaning 10997 clauses out of 22026 with flag 1409000/1409000
578.39/294.74	c cleaning 11008 clauses out of 22029 with flag 1420000/1420000
583.46/297.37	c cleaning 11003 clauses out of 22023 with flag 1431002/1431002
588.13/299.78	c cleaning 11001 clauses out of 22018 with flag 1442000/1442000
593.01/302.25	c cleaning 10995 clauses out of 22018 with flag 1453001/1453001
596.23/303.90	c cleaning 0 clauses out of 320000 with flag 0/320000
597.92/304.84	c cleaning 10996 clauses out of 22022 with flag 1464000/1464000
602.79/307.34	c cleaning 11005 clauses out of 22030 with flag 1475004/1475004
607.48/309.70	c cleaning 10995 clauses out of 22022 with flag 1486001/1486001
612.08/312.14	c cleaning 11006 clauses out of 22029 with flag 1497003/1497003
616.77/314.55	c cleaning 10995 clauses out of 22022 with flag 1508002/1508002
621.44/317.00	c cleaning 10999 clauses out of 22028 with flag 1519003/1519003
624.72/318.68	c cleaning 0 clauses out of 331001 with flag 0/331001
626.32/319.56	c cleaning 11001 clauses out of 22026 with flag 1530000/1530000
630.99/321.98	c cleaning 11009 clauses out of 22025 with flag 1541000/1541000
635.87/324.50	c cleaning 10999 clauses out of 22017 with flag 1552001/1552001
640.93/327.00	c cleaning 10996 clauses out of 22018 with flag 1563001/1563001
645.74/329.57	c cleaning 11001 clauses out of 22022 with flag 1574001/1574001
650.63/332.07	c cleaning 11006 clauses out of 22023 with flag 1585003/1585003
654.90/334.30	c cleaning 0 clauses out of 342000 with flag 0/342000
655.77/334.72	c cleaning 10993 clauses out of 22015 with flag 1596001/1596001
660.59/337.26	c cleaning 11002 clauses out of 22022 with flag 1607001/1607001
665.25/339.68	c cleaning 10996 clauses out of 22019 with flag 1618000/1618000
669.92/342.02	c cleaning 11010 clauses out of 22026 with flag 1629003/1629003
674.58/344.47	c cleaning 10998 clauses out of 22016 with flag 1640003/1640003
679.38/346.96	c cleaning 10998 clauses out of 22015 with flag 1651000/1651000
684.26/349.48	c cleaning 10997 clauses out of 22017 with flag 1662000/1662000
686.95/350.83	c cleaning 0 clauses out of 353000 with flag 0/353000
689.21/352.06	c cleaning 10992 clauses out of 22021 with flag 1673001/1673001
693.99/354.50	c cleaning 11003 clauses out of 22028 with flag 1684000/1684000
698.45/356.89	c cleaning 10995 clauses out of 22025 with flag 1695000/1695000
703.11/359.26	c cleaning 11006 clauses out of 22030 with flag 1706000/1706000
707.76/361.69	c cleaning 11004 clauses out of 22027 with flag 1717003/1717003
712.74/364.27	c cleaning 10999 clauses out of 22020 with flag 1728000/1728000
717.61/366.70	c cleaning 11004 clauses out of 22022 with flag 1739001/1739001
718.11/367.06	c cleaning 0 clauses out of 364000 with flag 0/364000
722.36/369.29	c cleaning 10992 clauses out of 22017 with flag 1750000/1750000
728.15/372.20	c cleaning 10995 clauses out of 22025 with flag 1761000/1761000
733.40/374.91	c cleaning 11008 clauses out of 22030 with flag 1772000/1772000
738.86/377.72	c cleaning 10992 clauses out of 22023 with flag 1783001/1783001
744.33/380.53	c cleaning 11000 clauses out of 22030 with flag 1794000/1794000
748.91/382.95	c cleaning 11001 clauses out of 22031 with flag 1805001/1805001
750.16/383.68	c cleaning 0 clauses out of 375000 with flag 0/375000
753.82/385.55	c cleaning 11001 clauses out of 22030 with flag 1816001/1816001
758.70/388.04	c cleaning 11004 clauses out of 22028 with flag 1827000/1827000
763.68/390.60	c cleaning 10994 clauses out of 22024 with flag 1838000/1838000
768.34/393.05	c cleaning 11003 clauses out of 22032 with flag 1849002/1849002
773.19/395.53	c cleaning 11004 clauses out of 22028 with flag 1860001/1860001
778.05/398.04	c cleaning 10998 clauses out of 22024 with flag 1871001/1871001
782.85/400.54	c cleaning 11002 clauses out of 22025 with flag 1882000/1882000
783.50/400.93	c cleaning 0 clauses out of 386003 with flag 0/386003
787.77/403.18	c cleaning 10998 clauses out of 22024 with flag 1893001/1893001
792.83/405.70	c cleaning 11001 clauses out of 22027 with flag 1904002/1904002
797.81/408.31	c cleaning 10989 clauses out of 22025 with flag 1915001/1915001
802.47/410.79	c cleaning 11005 clauses out of 22036 with flag 1926001/1926001
807.53/413.33	c cleaning 10995 clauses out of 22030 with flag 1937000/1937000
812.39/415.83	c cleaning 11003 clauses out of 22038 with flag 1948003/1948003
817.37/418.48	c cleaning 11006 clauses out of 22035 with flag 1959003/1959003
822.43/421.05	c cleaning 11000 clauses out of 22026 with flag 1970000/1970000
823.08/421.49	c cleaning 0 clauses out of 397001 with flag 0/397001
827.53/423.77	c cleaning 11001 clauses out of 22028 with flag 1981002/1981002
832.50/426.34	c cleaning 11005 clauses out of 22025 with flag 1992000/1992000
836.77/428.59	c cleaning 11002 clauses out of 22021 with flag 2003001/2003001
841.42/430.93	c cleaning 10997 clauses out of 22020 with flag 2014002/2014002
846.08/433.34	c cleaning 10996 clauses out of 22021 with flag 2025000/2025000
850.64/435.79	c cleaning 11006 clauses out of 22025 with flag 2036000/2036000
855.29/438.19	c cleaning 11001 clauses out of 22019 with flag 2047000/2047000
860.14/440.61	c cleaning 10999 clauses out of 22018 with flag 2058000/2058000
861.39/441.37	c cleaning 0 clauses out of 408001 with flag 0/408001
865.18/443.39	c cleaning 11000 clauses out of 22019 with flag 2069000/2069000
870.04/445.86	c cleaning 10997 clauses out of 22023 with flag 2080004/2080004
874.87/448.36	c cleaning 11005 clauses out of 22022 with flag 2091000/2091000
879.94/450.95	c cleaning 11003 clauses out of 22022 with flag 2102005/2102005
884.90/453.52	c cleaning 10994 clauses out of 22015 with flag 2113001/2113001
889.56/455.92	c cleaning 11001 clauses out of 22021 with flag 2124001/2124001
894.41/458.41	c cleaning 10993 clauses out of 22020 with flag 2135001/2135001
898.26/460.46	c cleaning 0 clauses out of 419003 with flag 0/419003
899.22/461.05	c cleaning 10999 clauses out of 22026 with flag 2146000/2146000
904.08/463.55	c cleaning 11003 clauses out of 22029 with flag 2157002/2157002
908.71/465.93	c cleaning 11003 clauses out of 22024 with flag 2168000/2168000
913.55/468.42	c cleaning 11001 clauses out of 22022 with flag 2179001/2179001
918.12/470.83	c cleaning 10996 clauses out of 22021 with flag 2190001/2190001
922.96/473.33	c cleaning 10991 clauses out of 22024 with flag 2201000/2201000
927.62/475.79	c cleaning 10999 clauses out of 22033 with flag 2212000/2212000
932.66/478.38	c cleaning 11002 clauses out of 22034 with flag 2223000/2223000
935.03/479.66	c cleaning 0 clauses out of 430000 with flag 0/430000
938.08/481.22	c cleaning 11003 clauses out of 22034 with flag 2234002/2234002
943.12/483.85	c cleaning 11001 clauses out of 22029 with flag 2245000/2245000
947.96/486.37	c cleaning 11003 clauses out of 22030 with flag 2256002/2256002
952.92/488.98	c cleaning 11000 clauses out of 22026 with flag 2267001/2267001
957.76/491.43	c cleaning 11000 clauses out of 22025 with flag 2278000/2278000
962.40/493.89	c cleaning 11005 clauses out of 22028 with flag 2289003/2289003
967.45/496.45	c cleaning 10992 clauses out of 22020 with flag 2300000/2300000
971.20/498.44	c cleaning 0 clauses out of 441000 with flag 0/441000
972.43/499.19	c cleaning 11000 clauses out of 22029 with flag 2311001/2311001
977.28/501.68	c cleaning 11004 clauses out of 22029 with flag 2322001/2322001
982.11/504.10	c cleaning 10993 clauses out of 22024 with flag 2333000/2333000
986.68/506.57	c cleaning 11007 clauses out of 22031 with flag 2344000/2344000
991.52/509.06	c cleaning 11005 clauses out of 22025 with flag 2355001/2355001
996.37/511.51	c cleaning 10998 clauses out of 22021 with flag 2366002/2366002
1001.19/514.08	c cleaning 10990 clauses out of 22022 with flag 2377001/2377001
1006.14/516.68	c cleaning 10999 clauses out of 22032 with flag 2388001/2388001
1009.76/518.51	c cleaning 0 clauses out of 452000 with flag 0/452000
1011.20/519.35	c cleaning 11004 clauses out of 22032 with flag 2399000/2399000
1015.84/521.79	c cleaning 11000 clauses out of 22028 with flag 2410000/2410000
1020.99/524.46	c cleaning 11000 clauses out of 22028 with flag 2421000/2421000
1025.83/526.95	c cleaning 10999 clauses out of 22029 with flag 2432001/2432001
1030.46/529.34	c cleaning 11000 clauses out of 22029 with flag 2443000/2443000
1035.29/531.87	c cleaning 10999 clauses out of 22030 with flag 2454001/2454001
1040.24/534.43	c cleaning 11009 clauses out of 22030 with flag 2465000/2465000
1045.08/536.95	c cleaning 10993 clauses out of 22023 with flag 2476002/2476002
1047.71/538.35	c cleaning 0 clauses out of 463000 with flag 0/463000
1050.14/539.64	c cleaning 10995 clauses out of 22028 with flag 2487000/2487000
1055.28/542.34	c cleaning 10998 clauses out of 22033 with flag 2498000/2498000
1060.09/544.83	c cleaning 11008 clauses out of 22037 with flag 2509002/2509002
1064.92/547.35	c cleaning 10998 clauses out of 22030 with flag 2520003/2520003
1069.97/549.94	c cleaning 11010 clauses out of 22032 with flag 2531003/2531003
1074.89/552.52	c cleaning 11005 clauses out of 22023 with flag 2542004/2542004
1079.73/555.05	c cleaning 10995 clauses out of 22014 with flag 2553000/2553000
1084.56/557.54	c cleaning 11000 clauses out of 22023 with flag 2564004/2564004
1085.40/558.05	c cleaning 0 clauses out of 474001 with flag 0/474001
1089.73/560.34	c cleaning 10997 clauses out of 22019 with flag 2575000/2575000
1094.56/562.89	c cleaning 10991 clauses out of 22022 with flag 2586000/2586000
1099.60/565.41	c cleaning 11006 clauses out of 22031 with flag 2597000/2597000
1104.42/567.99	c cleaning 11000 clauses out of 22025 with flag 2608000/2608000
1109.35/570.55	c cleaning 11001 clauses out of 22025 with flag 2619000/2619000
1114.18/573.02	c cleaning 10997 clauses out of 22024 with flag 2630000/2630000
1118.99/575.57	c cleaning 11000 clauses out of 22027 with flag 2641000/2641000
1124.02/578.18	c cleaning 10997 clauses out of 22027 with flag 2652000/2652000
1124.56/578.55	c cleaning 0 clauses out of 485002 with flag 0/485002
1129.17/580.92	c cleaning 11007 clauses out of 22030 with flag 2663000/2663000
1133.99/583.47	c cleaning 11006 clauses out of 22024 with flag 2674001/2674001
1139.01/586.02	c cleaning 10997 clauses out of 22018 with flag 2685001/2685001
1143.75/588.52	c cleaning 10999 clauses out of 22021 with flag 2696001/2696001
1148.55/591.02	c cleaning 10999 clauses out of 22023 with flag 2707002/2707002
1153.37/593.52	c cleaning 10993 clauses out of 22022 with flag 2718000/2718000
1158.19/596.03	c cleaning 11000 clauses out of 22029 with flag 2729000/2729000
1163.31/598.71	c cleaning 11002 clauses out of 22030 with flag 2740001/2740001
1164.92/599.65	c cleaning 0 clauses out of 496001 with flag 0/496001
1168.33/601.42	c cleaning 10992 clauses out of 22027 with flag 2751000/2751000
1173.56/604.11	c cleaning 11009 clauses out of 22035 with flag 2762000/2762000
1178.49/606.75	c cleaning 10999 clauses out of 22027 with flag 2773001/2773001
1183.52/609.37	c cleaning 11002 clauses out of 22031 with flag 2784004/2784004
1188.33/611.88	c cleaning 10996 clauses out of 22025 with flag 2795000/2795000
1193.35/614.48	c cleaning 10991 clauses out of 22029 with flag 2806000/2806000
1198.49/617.11	c cleaning 11001 clauses out of 22038 with flag 2817000/2817000
1203.49/619.70	c cleaning 0 clauses out of 507002 with flag 0/507002
1203.73/619.96	c cleaning 10997 clauses out of 22039 with flag 2828002/2828002
1208.74/622.59	c cleaning 11004 clauses out of 22041 with flag 2839001/2839001
1213.65/625.15	c cleaning 11007 clauses out of 22038 with flag 2850002/2850002
1218.66/627.74	c cleaning 10993 clauses out of 22029 with flag 2861000/2861000
1223.70/630.31	c cleaning 10997 clauses out of 22036 with flag 2872000/2872000
1228.71/632.96	c cleaning 10997 clauses out of 22039 with flag 2883000/2883000
1233.82/635.62	c cleaning 11005 clauses out of 22046 with flag 2894004/2894004
1238.62/638.12	c cleaning 11007 clauses out of 22037 with flag 2905000/2905000
1243.43/640.64	c cleaning 10999 clauses out of 22030 with flag 2916000/2916000
1245.44/641.71	c cleaning 0 clauses out of 518002 with flag 0/518002
1248.57/643.48	c cleaning 10998 clauses out of 22031 with flag 2927000/2927000
1253.57/646.08	c cleaning 11009 clauses out of 22035 with flag 2938002/2938002
1258.38/648.58	c cleaning 11001 clauses out of 22026 with flag 2949002/2949002
1263.61/651.24	c cleaning 10999 clauses out of 22024 with flag 2960001/2960001
1268.71/653.96	c cleaning 11001 clauses out of 22024 with flag 2971000/2971000
1273.72/656.53	c cleaning 10999 clauses out of 22024 with flag 2982001/2982001
1278.15/658.87	c cleaning 11001 clauses out of 22025 with flag 2993001/2993001
1282.75/661.22	c cleaning 10999 clauses out of 22023 with flag 3004000/3004000
1287.47/663.76	c cleaning 11004 clauses out of 22025 with flag 3015001/3015001
1290.68/665.45	c cleaning 0 clauses out of 529000 with flag 0/529000
1292.48/666.48	c cleaning 10994 clauses out of 22021 with flag 3026001/3026001
1297.29/668.93	c cleaning 10996 clauses out of 22026 with flag 3037000/3037000
1301.99/671.49	c cleaning 11004 clauses out of 22030 with flag 3048000/3048000
1306.79/673.96	c cleaning 10998 clauses out of 22028 with flag 3059002/3059002
1311.61/676.49	c cleaning 10996 clauses out of 22029 with flag 3070001/3070001
1316.20/678.82	c cleaning 11012 clauses out of 22034 with flag 3081002/3081002
1321.10/681.42	c cleaning 10992 clauses out of 22022 with flag 3092002/3092002
1325.90/683.93	c cleaning 11002 clauses out of 22028 with flag 3103000/3103000
1330.51/686.38	c cleaning 11001 clauses out of 22026 with flag 3114000/3114000
1333.11/687.76	c cleaning 0 clauses out of 540001 with flag 0/540001
1335.42/689.08	c cleaning 10998 clauses out of 22025 with flag 3125000/3125000
1340.42/691.61	c cleaning 10991 clauses out of 22028 with flag 3136001/3136001
1345.03/694.08	c cleaning 11002 clauses out of 22038 with flag 3147002/3147002
1350.03/696.62	c cleaning 11004 clauses out of 22035 with flag 3158001/3158001
1354.91/699.21	c cleaning 11005 clauses out of 22031 with flag 3169001/3169001
1359.51/701.68	c cleaning 10991 clauses out of 22025 with flag 3180000/3180000
1364.33/704.12	c cleaning 11003 clauses out of 22034 with flag 3191000/3191000
1369.14/706.65	c cleaning 11000 clauses out of 22034 with flag 3202003/3202003
1373.84/709.12	c cleaning 11004 clauses out of 22032 with flag 3213001/3213001
1377.05/710.89	c cleaning 0 clauses out of 551001 with flag 0/551001
1378.85/711.84	c cleaning 10994 clauses out of 22027 with flag 3224000/3224000
1383.85/714.42	c cleaning 10991 clauses out of 22033 with flag 3235000/3235000
1388.74/717.07	c cleaning 11009 clauses out of 22042 with flag 3246000/3246000
1393.74/719.64	c cleaning 10999 clauses out of 22033 with flag 3257000/3257000
1398.54/722.15	c cleaning 11000 clauses out of 22037 with flag 3268003/3268003
1403.34/724.65	c cleaning 11007 clauses out of 22034 with flag 3279000/3279000
1408.23/727.20	c cleaning 11002 clauses out of 22028 with flag 3290001/3290001
1413.23/729.82	c cleaning 10999 clauses out of 22025 with flag 3301000/3301000
1418.24/732.40	c cleaning 10993 clauses out of 22026 with flag 3312000/3312000
1421.83/734.31	c cleaning 0 clauses out of 562001 with flag 0/562001
1423.33/735.25	c cleaning 11004 clauses out of 22034 with flag 3323001/3323001
1428.13/737.74	c cleaning 11002 clauses out of 22029 with flag 3334000/3334000
1432.94/740.29	c cleaning 10998 clauses out of 22027 with flag 3345000/3345000
1437.73/742.80	c cleaning 11003 clauses out of 22029 with flag 3356000/3356000
1442.83/745.44	c cleaning 10995 clauses out of 22027 with flag 3367001/3367001
1447.84/748.06	c cleaning 11001 clauses out of 22031 with flag 3378000/3378000
1452.62/750.57	c cleaning 10998 clauses out of 22031 with flag 3389001/3389001
1457.62/753.15	c cleaning 10997 clauses out of 22032 with flag 3400000/3400000
1462.71/755.89	c cleaning 11004 clauses out of 22037 with flag 3411002/3411002
1467.70/758.43	c cleaning 11004 clauses out of 22031 with flag 3422000/3422000
1469.09/759.23	c cleaning 0 clauses out of 573002 with flag 0/573002
1472.69/761.15	c cleaning 11001 clauses out of 22027 with flag 3433000/3433000
1477.76/763.89	c cleaning 10993 clauses out of 22026 with flag 3444000/3444000
1482.76/766.45	c cleaning 11001 clauses out of 22033 with flag 3455000/3455000
1487.56/768.93	c cleaning 11006 clauses out of 22032 with flag 3466000/3466000
1492.33/771.47	c cleaning 10998 clauses out of 22027 with flag 3477001/3477001
1497.41/774.15	c cleaning 10996 clauses out of 22028 with flag 3488000/3488000
1502.39/776.71	c cleaning 11003 clauses out of 22032 with flag 3499000/3499000
1507.19/779.28	c cleaning 10995 clauses out of 22030 with flag 3510001/3510001
1512.38/781.94	c cleaning 11007 clauses out of 22037 with flag 3521003/3521003
1517.08/784.46	c cleaning 0 clauses out of 584001 with flag 0/584001
1517.66/784.90	c cleaning 11000 clauses out of 22028 with flag 3532001/3532001
1522.65/787.42	c cleaning 10998 clauses out of 22028 with flag 3543001/3543001
1527.43/789.96	c cleaning 10995 clauses out of 22029 with flag 3554000/3554000
1532.71/792.71	c cleaning 11002 clauses out of 22038 with flag 3565004/3565004
1537.50/795.29	c cleaning 11006 clauses out of 22033 with flag 3576001/3576001
1542.48/797.82	c cleaning 11002 clauses out of 22030 with flag 3587004/3587004
1547.48/800.44	c cleaning 10990 clauses out of 22024 with flag 3598000/3598000
1552.74/803.22	c cleaning 11005 clauses out of 22037 with flag 3609003/3609003
1557.75/805.89	c cleaning 11002 clauses out of 22029 with flag 3620000/3620000
1562.95/808.52	c cleaning 11001 clauses out of 22027 with flag 3631000/3631000
1567.92/811.11	c cleaning 11001 clauses out of 22027 with flag 3642001/3642001
1572.99/813.85	c cleaning 10994 clauses out of 22025 with flag 3653000/3653000
1574.77/814.85	c cleaning 0 clauses out of 595002 with flag 0/595002
1578.37/816.73	c cleaning 11002 clauses out of 22032 with flag 3664001/3664001
1583.36/819.34	c cleaning 11007 clauses out of 22030 with flag 3675001/3675001
1588.44/822.05	c cleaning 10992 clauses out of 22022 with flag 3686000/3686000
1593.23/824.58	c cleaning 11004 clauses out of 22031 with flag 3697001/3697001
1598.44/827.25	c cleaning 10999 clauses out of 22026 with flag 3708000/3708000
1603.22/829.79	c cleaning 10999 clauses out of 22027 with flag 3719000/3719000
1608.29/832.49	c cleaning 10999 clauses out of 22028 with flag 3730000/3730000
1613.47/835.15	c cleaning 11005 clauses out of 22029 with flag 3741000/3741000
1618.65/837.80	c cleaning 11006 clauses out of 22025 with flag 3752001/3752001
1623.45/840.38	c cleaning 10990 clauses out of 22018 with flag 3763000/3763000
1628.51/843.05	c cleaning 10999 clauses out of 22030 with flag 3774002/3774002
1630.51/844.11	c cleaning 0 clauses out of 606000 with flag 0/606000
1634.09/846.00	c cleaning 11009 clauses out of 22029 with flag 3785000/3785000
1639.08/848.69	c cleaning 10999 clauses out of 22021 with flag 3796001/3796001
1644.16/851.32	c cleaning 10996 clauses out of 22021 with flag 3807000/3807000
1649.14/853.95	c cleaning 10998 clauses out of 22026 with flag 3818001/3818001
1654.33/856.60	c cleaning 11006 clauses out of 22027 with flag 3829000/3829000
1659.12/859.17	c cleaning 10998 clauses out of 22022 with flag 3840001/3840001
1664.18/861.81	c cleaning 11001 clauses out of 22024 with flag 3851001/3851001
1668.97/864.39	c cleaning 10986 clauses out of 22022 with flag 3862000/3862000
1674.15/867.06	c cleaning 11003 clauses out of 22038 with flag 3873002/3873002
1679.13/869.68	c cleaning 10998 clauses out of 22033 with flag 3884000/3884000
1682.80/871.69	c cleaning 0 clauses out of 617000 with flag 0/617000
1684.57/872.69	c cleaning 10991 clauses out of 22036 with flag 3895001/3895001
1689.75/875.40	c cleaning 11008 clauses out of 22046 with flag 3906002/3906002
1694.73/877.98	c cleaning 11004 clauses out of 22036 with flag 3917000/3917000
1699.97/880.74	c cleaning 11008 clauses out of 22036 with flag 3928004/3928004
1705.16/883.43	c cleaning 11002 clauses out of 22027 with flag 3939003/3939003
1710.13/886.08	c cleaning 11001 clauses out of 22023 with flag 3950001/3950001
1715.12/888.67	c cleaning 10984 clauses out of 22021 with flag 3961000/3961000
1720.37/891.44	c cleaning 11005 clauses out of 22037 with flag 3972000/3972000
1725.34/894.08	c cleaning 11003 clauses out of 22032 with flag 3983000/3983000
1730.14/896.58	c cleaning 10995 clauses out of 22029 with flag 3994000/3994000
1735.11/899.14	c cleaning 0 clauses out of 628000 with flag 0/628000
1735.60/899.57	c cleaning 11000 clauses out of 22036 with flag 4005002/4005002
1740.75/902.28	c cleaning 11009 clauses out of 22034 with flag 4016000/4016000
1745.92/904.93	c cleaning 10994 clauses out of 22025 with flag 4027000/4027000
1750.91/907.57	c cleaning 11003 clauses out of 22034 with flag 4038003/4038003
1755.95/910.29	c cleaning 11001 clauses out of 22031 with flag 4049003/4049003
1760.91/912.90	c cleaning 11002 clauses out of 22027 with flag 4060000/4060000
1766.09/915.51	c cleaning 11002 clauses out of 22027 with flag 4071002/4071002
1770.86/918.06	c cleaning 11005 clauses out of 22024 with flag 4082001/4082001
1775.92/920.74	c cleaning 10991 clauses out of 22018 with flag 4093000/4093000
1780.90/923.35	c cleaning 10992 clauses out of 22027 with flag 4104000/4104000
1783.07/924.50	c cleaning 0 clauses out of 639000 with flag 0/639000
1786.25/926.24	c cleaning 11007 clauses out of 22037 with flag 4115002/4115002
1791.28/928.95	c cleaning 10999 clauses out of 22028 with flag 4126000/4126000
1796.47/931.60	c cleaning 11003 clauses out of 22031 with flag 4137002/4137002
1800.05/933.51	c starts		: 253
1800.05/933.51	c conflicts		: 4145039
1800.05/933.51	c decisions		: 5405079
1800.05/933.51	c propagations		: 1587520949
1800.05/933.51	c inspects		: 6046624137
1800.05/933.51	c learnt literals	: 0
1800.05/933.51	c learnt binary clauses	: 0
1800.05/933.51	c learnt ternary clauses	: 81
1800.05/933.51	c learnt clauses	: 4145039
1800.05/933.51	c ignored clauses	: 0
1800.05/933.51	c root simplifications	: 0
1800.05/933.51	c removed literals (reason simplification)	: 55007100
1800.05/933.51	c reason swapping (by a shorter reason)	: 0
1800.05/933.51	c Calls to reduceDB	: 378
1800.05/933.51	c number of reductions to clauses (during analyze)	: 0
1800.05/933.51	c number of learned constraints concerned by reduction	: 0
1800.05/933.51	c number of learning phase by resolution	: 0
1800.05/933.51	c number of learning phase by cutting planes	: 0
1800.05/933.51	c speed (assignments/second)	: 1701350.0050905857
1800.05/933.51	c non guided choices	0
1800.05/933.52	c learnt constraints type 
1800.05/933.52	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19110
1800.05/933.52	c constraints type 
1800.05/933.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
1800.05/933.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
1800.05/933.52	c constraints type 
1800.05/933.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
1800.05/933.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
1800.05/933.52	s UNKNOWN
1800.05/933.52	c Total wall clock time (in seconds): 933.424

Verifier Data 

ERROR: no interpretation found !

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-3741503-1338764459/watcher-3741503-1338764459 -o /tmp/evaluation-result-3741503-1338764459/solver-3741503-1338764459 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741503-1338764459.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.80 3.87 3.87 4/198 8511
/proc/meminfo: memFree=27489860/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/8511/stat : 8511 (java) R 8509 8511 3937 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 342571880 23793664 714 33554432000 1073741824 1073778376 140733495692688 140733495681752 226075129192 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 5809 714 529 9 0 128 0

[startup+0.0214511 s]
/proc/loadavg: 3.80 3.87 3.87 4/198 8511
/proc/meminfo: memFree=27489860/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2158136 CPUtime=0 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 3517 0 1 0 0 0 0 0 20 0 10 0 342571880 2209931264 3704 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 539534 3704 1539 9 0 530235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2158136

[startup+0.100192 s]
/proc/loadavg: 3.80 3.87 3.87 4/198 8511
/proc/meminfo: memFree=27489860/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 4925 0 1 0 10 1 0 0 20 0 18 0 342571880 2764726272 6089 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 674982 6089 2142 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928

[startup+0.300178 s]
/proc/loadavg: 3.80 3.87 3.87 4/198 8511
/proc/meminfo: memFree=27489860/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2699928 CPUtime=0.51 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 6020 0 1 0 50 1 0 0 20 0 18 0 342571880 2764726272 9259 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 674982 9259 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2699928

[startup+0.700186 s]
/proc/loadavg: 3.80 3.87 3.87 4/198 8511
/proc/meminfo: memFree=27489860/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=1.95 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 12444 0 1 0 192 3 0 0 20 0 22 0 342571880 3037372416 20071 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 20071 2260 9 0 732240 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 2966184

[startup+1.50072 s]
/proc/loadavg: 3.80 3.87 3.87 5/220 8533
/proc/meminfo: memFree=27360720/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 17956 0 1 0 387 6 0 0 20 0 22 0 342571880 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 65005 2285 9 0 732240 0
[pid=8511/tid=8513] ppid=8509 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8511/task/8513/stat : 8513 (java) S 8509 8511 3937 0 -1 4202560 2863 0 1 0 38 2 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140425030124696 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8514] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8514/stat : 8514 (java) S 8509 8511 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424964073640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8515] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8515/stat : 8515 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424895260968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8516] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8516/stat : 8516 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424894208424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8517] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8517/stat : 8517 (java) S 8509 8511 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424893155880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8518] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8518/stat : 8518 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424892103336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8519] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8519/stat : 8519 (java) S 8509 8511 3937 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424891050792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8520] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8520/stat : 8520 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424889998248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8521] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8521/stat : 8521 (java) S 8509 8511 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424888945704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8522] ppid=8509 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8511/task/8522/stat : 8522 (java) S 8509 8511 3937 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 342571882 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424876746856 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8523] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8523/stat : 8523 (java) S 8509 8511 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424875693176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8524] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8524/stat : 8524 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424874640520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8525] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8525/stat : 8525 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424873589264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8526] ppid=8509 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/8511/task/8526/stat : 8526 (java) S 8509 8511 3937 0 -1 4202560 3514 0 0 0 68 0 0 0 20 0 22 0 342571885 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424872536632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8527] ppid=8509 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/8511/task/8527/stat : 8527 (java) R 8509 8511 3937 0 -1 4202560 10135 0 0 0 66 2 0 0 20 0 22 0 342571885 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424871462200 140425033029824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8528] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8528/stat : 8528 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424870431736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8529] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8529/stat : 8529 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424869379400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8530] ppid=8509 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/8511/task/8530/stat : 8530 (java) R 8509 8511 3937 0 -1 4202560 34 0 0 0 103 0 0 0 20 0 22 0 342571922 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424868294656 140424970636884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8531] ppid=8509 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/8511/task/8531/stat : 8531 (java) R 8509 8511 3937 0 -1 4202560 145 0 0 0 101 3 0 0 20 0 22 0 342571922 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424867242712 140424970735709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8532] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8532/stat : 8532 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424866190376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8533] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8533/stat : 8533 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 65005 33554432000 1073741824 1073778376 140733495692688 140424865137832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 2966184

[startup+3.10073 s]
/proc/loadavg: 3.81 3.87 3.87 7/220 8555
/proc/meminfo: memFree=27241644/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=7.4 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 21742 0 1 0 732 8 0 0 20 0 22 0 342571880 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 70097 2285 9 0 732240 0
[pid=8511/tid=8513] ppid=8509 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8511/task/8513/stat : 8513 (java) S 8509 8511 3937 0 -1 4202560 2863 0 1 0 38 2 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140425030124696 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8514] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8514/stat : 8514 (java) S 8509 8511 3937 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424964073640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8515] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8515/stat : 8515 (java) S 8509 8511 3937 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424895260968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8516] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8516/stat : 8516 (java) S 8509 8511 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424894208424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8517] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8517/stat : 8517 (java) S 8509 8511 3937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424893155880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8518] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8518/stat : 8518 (java) S 8509 8511 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424892103336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8519] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8519/stat : 8519 (java) S 8509 8511 3937 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424891050792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8520] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8520/stat : 8520 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424889998248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8521] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8521/stat : 8521 (java) S 8509 8511 3937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424888945704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8522] ppid=8509 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/8511/task/8522/stat : 8522 (java) S 8509 8511 3937 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 22 0 342571882 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424876746856 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8523] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8523/stat : 8523 (java) S 8509 8511 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424875693176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8524] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8524/stat : 8524 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424874640520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8525] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8525/stat : 8525 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424873589264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8526] ppid=8509 vsize=2966184 CPUtime=0.87 cores=1,3,5,7
/proc/8511/task/8526/stat : 8526 (java) R 8509 8511 3937 0 -1 4202560 7241 0 0 0 85 2 0 0 20 0 22 0 342571885 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424872525768 140425033029720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8527] ppid=8509 vsize=2966184 CPUtime=0.81 cores=1,3,5,7
/proc/8511/task/8527/stat : 8527 (java) S 8509 8511 3937 0 -1 4202560 10172 0 0 0 79 2 0 0 20 0 22 0 342571885 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424871484088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8528] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8528/stat : 8528 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424870431736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8529] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8529/stat : 8529 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424869379400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8530] ppid=8509 vsize=2966184 CPUtime=2.57 cores=1,3,5,7
/proc/8511/task/8530/stat : 8530 (java) R 8509 8511 3937 0 -1 4202560 34 0 0 0 257 0 0 0 20 0 22 0 342571922 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424868293192 140424970596459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8531] ppid=8509 vsize=2966184 CPUtime=2.59 cores=1,3,5,7
/proc/8511/task/8531/stat : 8531 (java) R 8509 8511 3937 0 -1 4202560 151 0 0 0 256 3 0 0 20 0 22 0 342571922 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424867242136 140424970822851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8532] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8532/stat : 8532 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424866190376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8533] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8533/stat : 8533 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 70097 33554432000 1073741824 1073778376 140733495692688 140424865137832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 2966184

[startup+6.30075 s]
/proc/loadavg: 3.81 3.87 3.87 5/220 8555
/proc/meminfo: memFree=27130824/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=14.36 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 26166 0 1 0 1424 12 0 0 20 0 22 0 342571880 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 92116 2285 9 0 732240 0
[pid=8511/tid=8513] ppid=8509 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8511/task/8513/stat : 8513 (java) S 8509 8511 3937 0 -1 4202560 2863 0 1 0 38 2 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140425030124696 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8514] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8514/stat : 8514 (java) S 8509 8511 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424964073640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8515] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8515/stat : 8515 (java) S 8509 8511 3937 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424895260968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8516] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8516/stat : 8516 (java) S 8509 8511 3937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424894208424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8517] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8517/stat : 8517 (java) S 8509 8511 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424893155880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8518] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8518/stat : 8518 (java) S 8509 8511 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424892103336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8519] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8519/stat : 8519 (java) S 8509 8511 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424891050792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8520] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8520/stat : 8520 (java) S 8509 8511 3937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424889998248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8521] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8521/stat : 8521 (java) S 8509 8511 3937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342571881 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424888945704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8522] ppid=8509 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/8511/task/8522/stat : 8522 (java) S 8509 8511 3937 0 -1 4202560 50 0 0 0 16 0 0 0 20 0 22 0 342571882 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424876746856 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8523] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8523/stat : 8523 (java) S 8509 8511 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424875693176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8524] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8524/stat : 8524 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424874640520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8525] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8525/stat : 8525 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424873589264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8526] ppid=8509 vsize=2966184 CPUtime=1.18 cores=1,3,5,7
/proc/8511/task/8526/stat : 8526 (java) S 8509 8511 3937 0 -1 4202560 8554 0 0 0 116 2 0 0 20 0 22 0 342571885 3037372416 92116 33554432000 1073741824 1073778376 140733495692688 140424872536632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=8511/tid=8531] ppid=8509 vsize=2966184 CPUtime=755.13 cores=1,3,5,7
/proc/8511/task/8531/stat : 8531 (java) S 8509 8511 3937 0 -1 4202560 323 0 0 0 75494 19 0 0 20 0 22 0 342571922 3037372416 199203 33554432000 1073741824 1073778376 140733495692688 140424867240568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8532] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8532/stat : 8532 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 199203 33554432000 1073741824 1073778376 140733495692688 140424866190376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8533] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8533/stat : 8533 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 199203 33554432000 1073741824 1073778376 140733495692688 140424865137832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1588.83
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.85 3.86 3.82 5/219 8626
/proc/meminfo: memFree=26637288/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=1702.96 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 27409 0 1 0 170234 62 0 0 20 0 22 0 342571880 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 202810 2286 9 0 732240 0
[pid=8511/tid=8513] ppid=8509 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8511/task/8513/stat : 8513 (java) S 8509 8511 3937 0 -1 4202560 2945 0 1 0 39 3 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140425030124696 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8514] ppid=8509 vsize=2966184 CPUtime=1.71 cores=1,3,5,7
/proc/8511/task/8514/stat : 8514 (java) S 8509 8511 3937 0 -1 4202560 64 0 0 0 169 2 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424964073640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8515] ppid=8509 vsize=2966184 CPUtime=1.73 cores=1,3,5,7
/proc/8511/task/8515/stat : 8515 (java) S 8509 8511 3937 0 -1 4202560 72 0 0 0 171 2 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424895260968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8516] ppid=8509 vsize=2966184 CPUtime=1.76 cores=1,3,5,7
/proc/8511/task/8516/stat : 8516 (java) S 8509 8511 3937 0 -1 4202560 82 0 0 0 174 2 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424894208424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8517] ppid=8509 vsize=2966184 CPUtime=1.69 cores=1,3,5,7
/proc/8511/task/8517/stat : 8517 (java) S 8509 8511 3937 0 -1 4202560 65 0 0 0 166 3 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424893155880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8518] ppid=8509 vsize=2966184 CPUtime=1.59 cores=1,3,5,7
/proc/8511/task/8518/stat : 8518 (java) S 8509 8511 3937 0 -1 4202560 58 0 0 0 156 3 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424892103336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8519] ppid=8509 vsize=2966184 CPUtime=1.76 cores=1,3,5,7
/proc/8511/task/8519/stat : 8519 (java) S 8509 8511 3937 0 -1 4202560 73 0 0 0 174 2 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424891050792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8520] ppid=8509 vsize=2966184 CPUtime=1.71 cores=1,3,5,7
/proc/8511/task/8520/stat : 8520 (java) S 8509 8511 3937 0 -1 4202560 58 0 0 0 169 2 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424889998248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8521] ppid=8509 vsize=2966184 CPUtime=1.72 cores=1,3,5,7
/proc/8511/task/8521/stat : 8521 (java) S 8509 8511 3937 0 -1 4202560 55 0 0 0 169 3 0 0 20 0 22 0 342571881 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424888945704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8522] ppid=8509 vsize=2966184 CPUtime=69.27 cores=1,3,5,7
/proc/8511/task/8522/stat : 8522 (java) S 8509 8511 3937 0 -1 4202560 258 0 0 0 6915 12 0 0 20 0 22 0 342571882 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424876746856 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8523] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8523/stat : 8523 (java) S 8509 8511 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424875693176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8524] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8524/stat : 8524 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424874640520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8525] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8525/stat : 8525 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424873589264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8526] ppid=8509 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/8511/task/8526/stat : 8526 (java) S 8509 8511 3937 0 -1 4202560 8605 0 0 0 124 2 0 0 20 0 22 0 342571885 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424872536632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8527] ppid=8509 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/8511/task/8527/stat : 8527 (java) S 8509 8511 3937 0 -1 4202560 13216 0 0 0 114 2 0 0 20 0 22 0 342571885 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424871484088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8528] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8528/stat : 8528 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424870431736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8529] ppid=8509 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/8511/task/8529/stat : 8529 (java) S 8509 8511 3937 0 -1 4202560 50 0 0 0 15 21 0 0 20 0 22 0 342571885 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424869379400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8530] ppid=8509 vsize=2966184 CPUtime=808.47 cores=1,3,5,7
/proc/8511/task/8530/stat : 8530 (java) R 8509 8511 3937 0 -1 4202560 293 0 0 0 80833 14 0 0 20 0 22 0 342571922 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424868294720 140424970705072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8531] ppid=8509 vsize=2966184 CPUtime=808.45 cores=1,3,5,7
/proc/8511/task/8531/stat : 8531 (java) R 8509 8511 3937 0 -1 4202560 325 0 0 0 80825 20 0 0 20 0 22 0 342571922 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424867240448 140424970735661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8532] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8532/stat : 8532 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424866190376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8533] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8533/stat : 8533 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 202810 33554432000 1073741824 1073778376 140733495692688 140424865137832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1702.96
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+933.501 s]
/proc/loadavg: 3.78 3.84 3.81 5/219 8626
/proc/meminfo: memFree=26627176/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=1800.05 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 27462 0 1 0 179940 65 0 0 20 0 22 0 342571880 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 204882 2286 9 0 732240 0
[pid=8511/tid=8513] ppid=8509 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8511/task/8513/stat : 8513 (java) S 8509 8511 3937 0 -1 4202560 2951 0 1 0 39 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140425030124696 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8514] ppid=8509 vsize=2966184 CPUtime=1.85 cores=1,3,5,7
/proc/8511/task/8514/stat : 8514 (java) S 8509 8511 3937 0 -1 4202560 70 0 0 0 183 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424964073640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8515] ppid=8509 vsize=2966184 CPUtime=1.84 cores=1,3,5,7
/proc/8511/task/8515/stat : 8515 (java) S 8509 8511 3937 0 -1 4202560 78 0 0 0 182 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424895260968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8516] ppid=8509 vsize=2966184 CPUtime=1.88 cores=1,3,5,7
/proc/8511/task/8516/stat : 8516 (java) S 8509 8511 3937 0 -1 4202560 87 0 0 0 186 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424894208424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8517] ppid=8509 vsize=2966184 CPUtime=1.77 cores=1,3,5,7
/proc/8511/task/8517/stat : 8517 (java) S 8509 8511 3937 0 -1 4202560 65 0 0 0 174 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424893155880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8518] ppid=8509 vsize=2966184 CPUtime=1.67 cores=1,3,5,7
/proc/8511/task/8518/stat : 8518 (java) S 8509 8511 3937 0 -1 4202560 60 0 0 0 164 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424892103336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8519] ppid=8509 vsize=2966184 CPUtime=1.87 cores=1,3,5,7
/proc/8511/task/8519/stat : 8519 (java) S 8509 8511 3937 0 -1 4202560 74 0 0 0 185 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424891050792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8520] ppid=8509 vsize=2966184 CPUtime=1.8 cores=1,3,5,7
/proc/8511/task/8520/stat : 8520 (java) S 8509 8511 3937 0 -1 4202560 58 0 0 0 178 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424889998248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8521] ppid=8509 vsize=2966184 CPUtime=1.87 cores=1,3,5,7
/proc/8511/task/8521/stat : 8521 (java) S 8509 8511 3937 0 -1 4202560 59 0 0 0 184 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424888945704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8522] ppid=8509 vsize=2966184 CPUtime=74.99 cores=1,3,5,7
/proc/8511/task/8522/stat : 8522 (java) S 8509 8511 3937 0 -1 4202560 264 0 0 0 7486 13 0 0 20 0 22 0 342571882 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424876746856 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8523] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8523/stat : 8523 (java) S 8509 8511 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424875693176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8524] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8524/stat : 8524 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424874640520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8525] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8525/stat : 8525 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424873589264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8526] ppid=8509 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/8511/task/8526/stat : 8526 (java) S 8509 8511 3937 0 -1 4202560 8605 0 0 0 124 2 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424872536632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8527] ppid=8509 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/8511/task/8527/stat : 8527 (java) S 8509 8511 3937 0 -1 4202560 13216 0 0 0 114 2 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424871484088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8528] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8528/stat : 8528 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424870431736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8529] ppid=8509 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/8511/task/8529/stat : 8529 (java) S 8509 8511 3937 0 -1 4202560 52 0 0 0 16 22 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424869379400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8530] ppid=8509 vsize=2966184 CPUtime=853.7 cores=1,3,5,7
/proc/8511/task/8530/stat : 8530 (java) R 8509 8511 3937 0 -1 4202560 305 0 0 0 85356 14 0 0 20 0 22 0 342571922 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424868294720 140424970390384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8531] ppid=8509 vsize=2966184 CPUtime=853.68 cores=1,3,5,7
/proc/8511/task/8531/stat : 8531 (java) R 8509 8511 3937 0 -1 4202560 328 0 0 0 85348 20 0 0 20 0 22 0 342571922 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424867240448 140424970705418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8532] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8532/stat : 8532 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424866190376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8533] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8533/stat : 8533 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424865137832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184

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

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

[startup+933.501 s]
/proc/loadavg: 3.78 3.84 3.81 5/219 8626
/proc/meminfo: memFree=26627176/32873648 swapFree=6864/6864
[pid=8511] ppid=8509 vsize=2966184 CPUtime=1800.05 cores=1,3,5,7
/proc/8511/stat : 8511 (java) S 8509 8511 3937 0 -1 4202496 27462 0 1 0 179940 65 0 0 20 0 22 0 342571880 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140733495683824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8511/statm: 741546 204882 2286 9 0 732240 0
[pid=8511/tid=8513] ppid=8509 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8511/task/8513/stat : 8513 (java) S 8509 8511 3937 0 -1 4202560 2951 0 1 0 39 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140425030124696 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8514] ppid=8509 vsize=2966184 CPUtime=1.85 cores=1,3,5,7
/proc/8511/task/8514/stat : 8514 (java) S 8509 8511 3937 0 -1 4202560 70 0 0 0 183 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424964073640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8515] ppid=8509 vsize=2966184 CPUtime=1.84 cores=1,3,5,7
/proc/8511/task/8515/stat : 8515 (java) S 8509 8511 3937 0 -1 4202560 78 0 0 0 182 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424895260968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8516] ppid=8509 vsize=2966184 CPUtime=1.88 cores=1,3,5,7
/proc/8511/task/8516/stat : 8516 (java) S 8509 8511 3937 0 -1 4202560 87 0 0 0 186 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424894208424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8517] ppid=8509 vsize=2966184 CPUtime=1.77 cores=1,3,5,7
/proc/8511/task/8517/stat : 8517 (java) S 8509 8511 3937 0 -1 4202560 65 0 0 0 174 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424893155880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8518] ppid=8509 vsize=2966184 CPUtime=1.67 cores=1,3,5,7
/proc/8511/task/8518/stat : 8518 (java) S 8509 8511 3937 0 -1 4202560 60 0 0 0 164 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424892103336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8519] ppid=8509 vsize=2966184 CPUtime=1.87 cores=1,3,5,7
/proc/8511/task/8519/stat : 8519 (java) S 8509 8511 3937 0 -1 4202560 74 0 0 0 185 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424891050792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8520] ppid=8509 vsize=2966184 CPUtime=1.8 cores=1,3,5,7
/proc/8511/task/8520/stat : 8520 (java) S 8509 8511 3937 0 -1 4202560 58 0 0 0 178 2 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424889998248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8521] ppid=8509 vsize=2966184 CPUtime=1.87 cores=1,3,5,7
/proc/8511/task/8521/stat : 8521 (java) S 8509 8511 3937 0 -1 4202560 59 0 0 0 184 3 0 0 20 0 22 0 342571881 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424888945704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8522] ppid=8509 vsize=2966184 CPUtime=74.99 cores=1,3,5,7
/proc/8511/task/8522/stat : 8522 (java) S 8509 8511 3937 0 -1 4202560 264 0 0 0 7486 13 0 0 20 0 22 0 342571882 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424876746856 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8523] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8523/stat : 8523 (java) S 8509 8511 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424875693176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8524] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8524/stat : 8524 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571883 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424874640520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8525] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8525/stat : 8525 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424873589264 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8511/tid=8526] ppid=8509 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/8511/task/8526/stat : 8526 (java) S 8509 8511 3937 0 -1 4202560 8605 0 0 0 124 2 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424872536632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8527] ppid=8509 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/8511/task/8527/stat : 8527 (java) S 8509 8511 3937 0 -1 4202560 13216 0 0 0 114 2 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424871484088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8528] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8528/stat : 8528 (java) S 8509 8511 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424870431736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8511/tid=8529] ppid=8509 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/8511/task/8529/stat : 8529 (java) S 8509 8511 3937 0 -1 4202560 52 0 0 0 16 22 0 0 20 0 22 0 342571885 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424869379400 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8530] ppid=8509 vsize=2966184 CPUtime=853.7 cores=1,3,5,7
/proc/8511/task/8530/stat : 8530 (java) R 8509 8511 3937 0 -1 4202560 305 0 0 0 85356 14 0 0 20 0 22 0 342571922 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424868294720 140424970390384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8511/tid=8531] ppid=8509 vsize=2966184 CPUtime=853.68 cores=1,3,5,7
/proc/8511/task/8531/stat : 8531 (java) R 8509 8511 3937 0 -1 4202560 328 0 0 0 85348 20 0 0 20 0 22 0 342571922 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424867240448 140424970705418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8532] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8532/stat : 8532 (java) S 8509 8511 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424866190376 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8511/tid=8533] ppid=8509 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8511/task/8533/stat : 8533 (java) S 8509 8511 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342571932 3037372416 204882 33554432000 1073741824 1073778376 140733495692688 140424865137832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2966184

Child status: 143
Real time (s): 933.54
CPU time (s): 1800.5
CPU user time (s): 1799.39
CPU system time (s): 1.11083
CPU usage (%): 192.868
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 1.11083
maximum resident set size= 819648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27494
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33909
involuntary context switches= 42624

runsolver used 3.80942 second user time and 8.12476 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-04 01:00:59
IDJOB=3741503
IDBENCH=89869
IDSOLVER=2324
FILE ID=node120/3741503-1338764459
RUNJOBID= node120-1338747803-3954
PBS_JOBID= 14636782
Free space on /tmp= 70776 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741503-1338764459/watcher-3741503-1338764459 -o /tmp/evaluation-result-3741503-1338764459/solver-3741503-1338764459 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741503-1338764459.opb

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=1376777409

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27489752 kB
Buffers:          579528 kB
Cached:          3142696 kB
SwapCached:         1580 kB
Active:          2448284 kB
Inactive:        2002552 kB
Active(anon):     720840 kB
Inactive(anon):     9224 kB
Active(file):    1727444 kB
Inactive(file):  1993328 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:               672 kB
Writeback:             0 kB
AnonPages:        732744 kB
Mapped:            18996 kB
Shmem:                32 kB
Slab:             796016 kB
SReclaimable:     239780 kB
SUnreclaim:       556236 kB
KernelStack:        1648 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1573888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 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= 70776 MiB
End job on node120 at 2012-06-04 01:16:35