Trace number 3454184

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
Sat4j Res//CP 2.3.0? (TO) 1800.22 936.472

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUMfad56081e554a0467e4020315c4dfc76
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454184-1307189172.opb
0.10/0.11	c reading problem ... 
0.75/0.43	c ... done. Wall clock time 0.318s.
0.75/0.43	c #vars     4000
0.75/0.43	c #constraints  10500
0.75/0.43	c constraints type 
0.75/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
0.75/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
0.75/0.43	c constraints type 
0.75/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
0.75/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
3.97/1.54	c cleaning 2496 clauses out of 5001 with flag 5001/5001
5.68/2.37	c cleaning 4249 clauses out of 8504 with flag 11000/11000
7.26/3.12	c cleaning 0 clauses out of 5000 with flag 0/5000
8.10/3.44	c cleaning 5624 clauses out of 11255 with flag 18000/18000
10.62/4.62	c cleaning 6814 clauses out of 13631 with flag 26000/26000
13.95/6.05	c cleaning 7903 clauses out of 15818 with flag 35001/35001
14.13/6.10	c cleaning 0 clauses out of 11000 with flag 0/11000
17.33/7.74	c cleaning 8952 clauses out of 17915 with flag 45001/45001
21.06/9.62	c cleaning 9978 clauses out of 19964 with flag 56002/56002
21.06/9.67	c cleaning 0 clauses out of 18001 with flag 0/18001
25.00/11.66	c cleaning 10484 clauses out of 20984 with flag 67000/67000
28.96/13.69	c cleaning 10743 clauses out of 21500 with flag 78000/78000
29.72/14.01	c cleaning 0 clauses out of 26001 with flag 0/26001
32.88/15.67	c cleaning 10873 clauses out of 21758 with flag 89001/89001
36.89/17.69	c cleaning 10926 clauses out of 21885 with flag 100001/100001
40.82/19.71	c cleaning 0 clauses out of 35001 with flag 0/35001
41.37/19.94	c cleaning 10965 clauses out of 21958 with flag 111000/111000
45.14/21.86	c cleaning 10988 clauses out of 21993 with flag 122000/122000
49.10/23.85	c cleaning 10985 clauses out of 22006 with flag 133001/133001
53.06/25.86	c cleaning 11001 clauses out of 22020 with flag 144000/144000
53.23/25.95	c cleaning 0 clauses out of 45000 with flag 0/45000
57.36/28.01	c cleaning 11003 clauses out of 22021 with flag 155002/155002
61.72/30.23	c cleaning 11002 clauses out of 22016 with flag 166000/166000
65.68/32.21	c cleaning 11003 clauses out of 22015 with flag 177001/177001
66.82/32.82	c cleaning 0 clauses out of 56002 with flag 0/56002
69.58/34.28	c cleaning 10992 clauses out of 22012 with flag 188001/188001
73.77/36.35	c cleaning 11003 clauses out of 22021 with flag 199002/199002
77.90/38.49	c cleaning 11001 clauses out of 22017 with flag 210001/210001
81.82/40.49	c cleaning 0 clauses out of 67001 with flag 0/67001
82.18/40.71	c cleaning 10994 clauses out of 22017 with flag 221002/221002
86.53/42.86	c cleaning 11000 clauses out of 22021 with flag 232000/232000
90.66/45.00	c cleaning 11004 clauses out of 22021 with flag 243000/243000
94.99/47.20	c cleaning 10999 clauses out of 22018 with flag 254001/254001
98.14/48.78	c cleaning 0 clauses out of 78001 with flag 0/78001
99.08/49.29	c cleaning 11000 clauses out of 22018 with flag 265000/265000
103.23/51.34	c cleaning 11000 clauses out of 22019 with flag 276001/276001
107.56/53.52	c cleaning 11003 clauses out of 22018 with flag 287000/287000
111.91/55.74	c cleaning 10998 clauses out of 22015 with flag 298000/298000
115.25/57.45	c cleaning 0 clauses out of 89003 with flag 0/89003
116.19/57.96	c cleaning 10998 clauses out of 22017 with flag 309000/309000
120.51/60.13	c cleaning 11000 clauses out of 22020 with flag 320001/320001
124.86/62.37	c cleaning 11004 clauses out of 22019 with flag 331000/331000
129.40/64.60	c cleaning 11000 clauses out of 22015 with flag 342000/342000
133.34/66.63	c cleaning 0 clauses out of 100000 with flag 0/100000
133.64/66.86	c cleaning 10996 clauses out of 22015 with flag 353000/353000
138.18/69.14	c cleaning 10997 clauses out of 22019 with flag 364000/364000
142.52/71.34	c cleaning 10996 clauses out of 22022 with flag 375000/375000
146.86/73.58	c cleaning 10996 clauses out of 22027 with flag 386001/386001
150.97/75.63	c cleaning 11005 clauses out of 22032 with flag 397002/397002
152.91/76.67	c cleaning 0 clauses out of 111000 with flag 0/111000
155.24/77.85	c cleaning 11006 clauses out of 22026 with flag 408001/408001
159.38/79.98	c cleaning 11002 clauses out of 22020 with flag 419001/419001
163.68/82.19	c cleaning 11003 clauses out of 22019 with flag 430002/430002
168.22/84.43	c cleaning 10989 clauses out of 22015 with flag 441001/441001
172.35/86.58	c cleaning 11001 clauses out of 22025 with flag 452000/452000
173.28/87.10	c cleaning 0 clauses out of 122000 with flag 0/122000
176.99/88.97	c cleaning 10996 clauses out of 22025 with flag 463001/463001
181.54/91.25	c cleaning 10995 clauses out of 22028 with flag 474000/474000
185.87/93.50	c cleaning 11007 clauses out of 22034 with flag 485001/485001
190.57/95.85	c cleaning 11010 clauses out of 22027 with flag 496001/496001
194.49/97.88	c cleaning 0 clauses out of 133001 with flag 0/133001
195.40/98.30	c cleaning 10997 clauses out of 22018 with flag 507002/507002
199.92/100.63	c cleaning 10990 clauses out of 22019 with flag 518000/518000
204.24/102.85	c cleaning 11000 clauses out of 22032 with flag 529003/529003
208.74/105.15	c cleaning 11003 clauses out of 22030 with flag 540001/540001
213.26/107.43	c cleaning 11008 clauses out of 22026 with flag 551000/551000
216.59/109.12	c cleaning 0 clauses out of 144001 with flag 0/144001
217.91/109.90	c cleaning 10994 clauses out of 22019 with flag 562001/562001
222.64/112.25	c cleaning 10998 clauses out of 22027 with flag 573003/573003
227.13/114.51	c cleaning 10999 clauses out of 22028 with flag 584002/584002
231.07/116.60	c cleaning 11006 clauses out of 22030 with flag 595003/595003
235.39/118.72	c cleaning 11006 clauses out of 22022 with flag 606001/606001
239.46/120.86	c cleaning 11004 clauses out of 22017 with flag 617002/617002
240.38/121.30	c cleaning 0 clauses out of 155002 with flag 0/155002
243.93/123.12	c cleaning 11001 clauses out of 22011 with flag 628000/628000
248.25/125.33	c cleaning 10990 clauses out of 22012 with flag 639002/639002
252.53/127.55	c cleaning 11005 clauses out of 22021 with flag 650001/650001
257.06/129.82	c cleaning 10996 clauses out of 22016 with flag 661001/661001
261.38/132.03	c cleaning 10998 clauses out of 22020 with flag 672001/672001
263.86/133.33	c cleaning 0 clauses out of 166001 with flag 0/166001
265.73/134.34	c cleaning 11005 clauses out of 22025 with flag 683004/683004
270.04/136.58	c cleaning 10996 clauses out of 22016 with flag 694000/694000
274.55/138.82	c cleaning 10997 clauses out of 22020 with flag 705000/705000
278.87/141.06	c cleaning 11006 clauses out of 22025 with flag 716002/716002
283.34/143.36	c cleaning 10995 clauses out of 22017 with flag 727000/727000
287.85/145.67	c cleaning 10998 clauses out of 22023 with flag 738001/738001
290.36/146.98	c cleaning 0 clauses out of 177005 with flag 0/177005
292.67/148.12	c cleaning 11005 clauses out of 22024 with flag 749000/749000
297.34/150.51	c cleaning 10999 clauses out of 22019 with flag 760000/760000
301.87/152.85	c cleaning 11000 clauses out of 22023 with flag 771003/771003
306.40/155.16	c cleaning 10994 clauses out of 22020 with flag 782000/782000
310.87/157.43	c cleaning 10998 clauses out of 22026 with flag 793000/793000
315.33/159.75	c cleaning 11009 clauses out of 22028 with flag 804000/804000
316.44/160.33	c cleaning 0 clauses out of 188000 with flag 0/188000
319.94/162.12	c cleaning 11000 clauses out of 22024 with flag 815005/815005
324.44/164.41	c cleaning 10999 clauses out of 22019 with flag 826000/826000
328.92/166.72	c cleaning 11001 clauses out of 22021 with flag 837001/837001
333.42/169.03	c cleaning 11000 clauses out of 22020 with flag 848001/848001
337.92/171.38	c cleaning 11004 clauses out of 22021 with flag 859002/859002
342.43/173.68	c cleaning 0 clauses out of 199002 with flag 0/199002
342.74/173.86	c cleaning 10996 clauses out of 22019 with flag 870004/870004
347.18/176.15	c cleaning 11001 clauses out of 22019 with flag 881000/881000
351.32/178.22	c cleaning 11003 clauses out of 22018 with flag 892000/892000
355.41/180.40	c cleaning 11005 clauses out of 22015 with flag 903000/903000
359.88/182.65	c cleaning 10999 clauses out of 22012 with flag 914002/914002
364.18/184.88	c cleaning 10997 clauses out of 22011 with flag 925000/925000
368.84/187.23	c cleaning 10996 clauses out of 22014 with flag 936000/936000
369.53/187.60	c cleaning 0 clauses out of 210000 with flag 0/210000
373.39/189.66	c cleaning 11005 clauses out of 22018 with flag 947000/947000
378.08/192.00	c cleaning 10999 clauses out of 22013 with flag 958000/958000
382.58/194.36	c cleaning 10995 clauses out of 22015 with flag 969001/969001
387.28/196.70	c cleaning 10998 clauses out of 22019 with flag 980000/980000
391.97/199.12	c cleaning 10996 clauses out of 22023 with flag 991002/991002
395.43/200.96	c cleaning 0 clauses out of 221000 with flag 0/221000
396.72/201.63	c cleaning 11003 clauses out of 22026 with flag 1002001/1002001
401.21/203.95	c cleaning 11004 clauses out of 22023 with flag 1013001/1013001
405.86/206.33	c cleaning 11000 clauses out of 22020 with flag 1024002/1024002
410.35/208.68	c cleaning 10991 clauses out of 22018 with flag 1035000/1035000
415.03/211.04	c cleaning 11006 clauses out of 22028 with flag 1046001/1046001
419.76/213.42	c cleaning 10993 clauses out of 22021 with flag 1057000/1057000
422.76/215.06	c cleaning 0 clauses out of 232002 with flag 0/232002
424.25/215.89	c cleaning 10999 clauses out of 22030 with flag 1068002/1068002
428.94/218.22	c cleaning 11009 clauses out of 22032 with flag 1079003/1079003
433.63/220.63	c cleaning 11004 clauses out of 22022 with flag 1090002/1090002
438.26/223.05	c cleaning 10996 clauses out of 22017 with flag 1101001/1101001
442.97/225.47	c cleaning 10987 clauses out of 22020 with flag 1112000/1112000
447.64/227.89	c cleaning 10993 clauses out of 22033 with flag 1123000/1123000
450.33/229.26	c cleaning 0 clauses out of 243001 with flag 0/243001
452.76/230.55	c cleaning 11008 clauses out of 22040 with flag 1134000/1134000
457.44/232.98	c cleaning 10998 clauses out of 22032 with flag 1145000/1145000
462.36/235.45	c cleaning 10998 clauses out of 22037 with flag 1156003/1156003
467.01/237.84	c cleaning 11008 clauses out of 22036 with flag 1167000/1167000
471.84/240.31	c cleaning 11003 clauses out of 22028 with flag 1178000/1178000
476.32/242.66	c cleaning 10991 clauses out of 22026 with flag 1189001/1189001
479.61/244.33	c cleaning 0 clauses out of 254001 with flag 0/254001
481.09/245.21	c cleaning 11001 clauses out of 22034 with flag 1200000/1200000
485.92/247.65	c cleaning 11001 clauses out of 22035 with flag 1211002/1211002
490.80/250.10	c cleaning 11001 clauses out of 22033 with flag 1222001/1222001
495.48/252.59	c cleaning 11005 clauses out of 22033 with flag 1233002/1233002
500.35/255.07	c cleaning 10996 clauses out of 22026 with flag 1244000/1244000
505.18/257.55	c cleaning 11002 clauses out of 22032 with flag 1255002/1255002
510.05/260.03	c cleaning 11009 clauses out of 22029 with flag 1266001/1266001
514.53/262.35	c cleaning 0 clauses out of 265001 with flag 0/265001
515.00/262.63	c cleaning 10999 clauses out of 22020 with flag 1277001/1277001
519.64/265.07	c cleaning 10995 clauses out of 22022 with flag 1288002/1288002
524.30/267.48	c cleaning 10999 clauses out of 22025 with flag 1299000/1299000
529.17/269.91	c cleaning 10999 clauses out of 22026 with flag 1310000/1310000
533.84/272.35	c cleaning 10997 clauses out of 22027 with flag 1321000/1321000
538.06/274.59	c cleaning 10993 clauses out of 22030 with flag 1332000/1332000
542.33/276.77	c cleaning 11002 clauses out of 22038 with flag 1343001/1343001
547.00/279.12	c cleaning 11001 clauses out of 22035 with flag 1354000/1354000
548.49/279.99	c cleaning 0 clauses out of 276000 with flag 0/276000
551.73/281.68	c cleaning 11013 clauses out of 22036 with flag 1365002/1365002
556.37/284.06	c cleaning 10993 clauses out of 22021 with flag 1376000/1376000
560.84/286.33	c cleaning 11001 clauses out of 22030 with flag 1387002/1387002
565.30/288.65	c cleaning 11001 clauses out of 22027 with flag 1398000/1398000
569.92/291.08	c cleaning 11004 clauses out of 22028 with flag 1409002/1409002
574.59/293.40	c cleaning 11002 clauses out of 22023 with flag 1420001/1420001
579.28/295.83	c cleaning 10993 clauses out of 22021 with flag 1431001/1431001
583.33/297.97	c cleaning 0 clauses out of 287000 with flag 0/287000
584.14/298.49	c cleaning 11008 clauses out of 22030 with flag 1442003/1442003
589.01/300.92	c cleaning 11002 clauses out of 22020 with flag 1453001/1453001
593.47/303.22	c cleaning 10999 clauses out of 22017 with flag 1464000/1464000
598.14/305.64	c cleaning 11000 clauses out of 22019 with flag 1475001/1475001
602.95/308.12	c cleaning 10993 clauses out of 22018 with flag 1486000/1486000
607.61/310.52	c cleaning 11004 clauses out of 22025 with flag 1497000/1497000
612.27/312.97	c cleaning 11002 clauses out of 22021 with flag 1508000/1508000
616.94/315.33	c cleaning 0 clauses out of 298000 with flag 0/298000
617.19/315.59	c cleaning 10999 clauses out of 22019 with flag 1519000/1519000
621.62/317.86	c cleaning 10998 clauses out of 22020 with flag 1530000/1530000
626.26/320.24	c cleaning 10995 clauses out of 22023 with flag 1541001/1541001
630.92/322.61	c cleaning 11003 clauses out of 22027 with flag 1552000/1552000
635.53/325.05	c cleaning 10993 clauses out of 22024 with flag 1563000/1563000
640.18/327.47	c cleaning 10998 clauses out of 22032 with flag 1574001/1574001
644.84/329.91	c cleaning 11005 clauses out of 22034 with flag 1585001/1585001
648.90/331.92	c cleaning 0 clauses out of 309002 with flag 0/309002
649.70/332.46	c cleaning 10992 clauses out of 22029 with flag 1596001/1596001
654.35/334.84	c cleaning 11006 clauses out of 22037 with flag 1607001/1607001
659.01/337.20	c cleaning 11001 clauses out of 22030 with flag 1618000/1618000
663.47/339.52	c cleaning 11007 clauses out of 22031 with flag 1629002/1629002
668.08/341.99	c cleaning 10996 clauses out of 22023 with flag 1640001/1640001
672.77/344.38	c cleaning 10996 clauses out of 22026 with flag 1651000/1651000
677.39/346.80	c cleaning 11008 clauses out of 22031 with flag 1662001/1662001
682.05/349.18	c cleaning 10998 clauses out of 22023 with flag 1673001/1673001
683.65/350.03	c cleaning 0 clauses out of 320001 with flag 0/320001
686.90/351.79	c cleaning 11003 clauses out of 22024 with flag 1684000/1684000
691.57/354.18	c cleaning 10996 clauses out of 22021 with flag 1695000/1695000
696.21/356.54	c cleaning 10998 clauses out of 22026 with flag 1706001/1706001
700.99/359.04	c cleaning 11000 clauses out of 22027 with flag 1717000/1717000
705.65/361.43	c cleaning 11002 clauses out of 22027 with flag 1728000/1728000
710.10/363.79	c cleaning 11000 clauses out of 22030 with flag 1739005/1739005
714.97/366.22	c cleaning 11004 clauses out of 22027 with flag 1750002/1750002
718.93/368.38	c cleaning 0 clauses out of 331001 with flag 0/331001
719.78/368.84	c cleaning 11002 clauses out of 22021 with flag 1761000/1761000
724.43/371.20	c cleaning 11004 clauses out of 22019 with flag 1772000/1772000
729.08/373.67	c cleaning 10998 clauses out of 22015 with flag 1783000/1783000
733.88/376.19	c cleaning 10998 clauses out of 22018 with flag 1794001/1794001
738.72/378.60	c cleaning 10992 clauses out of 22021 with flag 1805002/1805002
743.57/381.10	c cleaning 11011 clauses out of 22028 with flag 1816001/1816001
748.21/383.55	c cleaning 11005 clauses out of 22018 with flag 1827002/1827002
753.01/386.07	c cleaning 10997 clauses out of 22012 with flag 1838001/1838001
756.04/387.68	c cleaning 0 clauses out of 342000 with flag 0/342000
758.08/388.79	c cleaning 11005 clauses out of 22017 with flag 1849003/1849003
762.93/391.24	c cleaning 10990 clauses out of 22010 with flag 1860001/1860001
767.73/393.81	c cleaning 10991 clauses out of 22019 with flag 1871000/1871000
772.76/396.30	c cleaning 10996 clauses out of 22028 with flag 1882000/1882000
777.60/398.89	c cleaning 10999 clauses out of 22033 with flag 1893001/1893001
782.66/401.45	c cleaning 11001 clauses out of 22033 with flag 1904000/1904000
787.62/404.01	c cleaning 11001 clauses out of 22033 with flag 1915001/1915001
792.27/406.45	c cleaning 10999 clauses out of 22032 with flag 1926001/1926001
793.72/407.23	c cleaning 0 clauses out of 353000 with flag 0/353000
797.37/409.13	c cleaning 11012 clauses out of 22035 with flag 1937003/1937003
802.33/411.73	c cleaning 11002 clauses out of 22021 with flag 1948001/1948001
807.16/414.20	c cleaning 10990 clauses out of 22018 with flag 1959000/1959000
811.80/416.67	c cleaning 11006 clauses out of 22031 with flag 1970003/1970003
816.46/419.10	c cleaning 11003 clauses out of 22022 with flag 1981000/1981000
821.21/421.51	c cleaning 10998 clauses out of 22020 with flag 1992001/1992001
825.45/423.71	c cleaning 11003 clauses out of 22022 with flag 2003001/2003001
829.89/426.04	c cleaning 0 clauses out of 364000 with flag 0/364000
830.14/426.22	c cleaning 10996 clauses out of 22018 with flag 2014000/2014000
834.68/428.60	c cleaning 10986 clauses out of 22022 with flag 2025000/2025000
838.92/430.89	c cleaning 11005 clauses out of 22037 with flag 2036001/2036001
843.55/433.27	c cleaning 11004 clauses out of 22033 with flag 2047002/2047002
848.39/435.75	c cleaning 11006 clauses out of 22029 with flag 2058002/2058002
853.36/438.35	c cleaning 11001 clauses out of 22022 with flag 2069001/2069001
857.99/440.74	c cleaning 10999 clauses out of 22020 with flag 2080000/2080000
862.85/443.25	c cleaning 10999 clauses out of 22022 with flag 2091001/2091001
867.46/445.68	c cleaning 11000 clauses out of 22022 with flag 2102000/2102000
869.82/446.97	c cleaning 0 clauses out of 375000 with flag 0/375000
872.45/448.37	c cleaning 10998 clauses out of 22023 with flag 2113001/2113001
877.09/450.77	c cleaning 11007 clauses out of 22029 with flag 2124005/2124005
881.96/453.26	c cleaning 11005 clauses out of 22019 with flag 2135002/2135002
886.89/455.85	c cleaning 10992 clauses out of 22013 with flag 2146001/2146001
891.52/458.27	c cleaning 10997 clauses out of 22020 with flag 2157000/2157000
896.15/460.70	c cleaning 10995 clauses out of 22023 with flag 2168000/2168000
901.01/463.15	c cleaning 11006 clauses out of 22029 with flag 2179001/2179001
905.53/465.59	c cleaning 11006 clauses out of 22024 with flag 2190002/2190002
910.57/468.13	c cleaning 11002 clauses out of 22017 with flag 2201001/2201001
911.60/468.79	c cleaning 0 clauses out of 386000 with flag 0/386000
915.44/470.81	c cleaning 10996 clauses out of 22015 with flag 2212001/2212001
920.58/473.41	c cleaning 11000 clauses out of 22019 with flag 2223001/2223001
925.21/475.88	c cleaning 11002 clauses out of 22020 with flag 2234002/2234002
930.04/478.35	c cleaning 10997 clauses out of 22016 with flag 2245000/2245000
934.86/480.81	c cleaning 10998 clauses out of 22020 with flag 2256001/2256001
939.61/483.37	c cleaning 11001 clauses out of 22021 with flag 2267000/2267000
944.64/485.92	c cleaning 10996 clauses out of 22020 with flag 2278000/2278000
949.28/488.34	c cleaning 11002 clauses out of 22024 with flag 2289000/2289000
954.30/490.90	c cleaning 10999 clauses out of 22026 with flag 2300004/2300004
959.04/493.48	c cleaning 11010 clauses out of 22024 with flag 2311001/2311001
960.87/494.47	c cleaning 0 clauses out of 397000 with flag 0/397000
964.30/496.26	c cleaning 10997 clauses out of 22013 with flag 2322000/2322000
969.12/498.72	c cleaning 10995 clauses out of 22017 with flag 2333001/2333001
974.07/501.30	c cleaning 10995 clauses out of 22022 with flag 2344001/2344001
978.71/503.80	c cleaning 11001 clauses out of 22028 with flag 2355002/2355002
983.71/506.30	c cleaning 11003 clauses out of 22026 with flag 2366001/2366001
988.53/508.85	c cleaning 11004 clauses out of 22026 with flag 2377004/2377004
993.27/511.40	c cleaning 10992 clauses out of 22020 with flag 2388002/2388002
998.09/513.88	c cleaning 10995 clauses out of 22026 with flag 2399000/2399000
1002.91/516.36	c cleaning 10998 clauses out of 22033 with flag 2410002/2410002
1007.73/518.84	c cleaning 11002 clauses out of 22034 with flag 2421001/2421001
1008.87/519.59	c cleaning 0 clauses out of 408000 with flag 0/408000
1012.89/521.61	c cleaning 11010 clauses out of 22032 with flag 2432001/2432001
1017.32/523.97	c cleaning 10999 clauses out of 22023 with flag 2443002/2443002
1022.13/526.45	c cleaning 11003 clauses out of 22024 with flag 2454002/2454002
1027.09/529.05	c cleaning 10999 clauses out of 22019 with flag 2465000/2465000
1031.69/531.49	c cleaning 11000 clauses out of 22021 with flag 2476001/2476001
1036.50/533.97	c cleaning 10992 clauses out of 22020 with flag 2487000/2487000
1041.32/536.44	c cleaning 10992 clauses out of 22028 with flag 2498000/2498000
1046.07/539.02	c cleaning 10994 clauses out of 22036 with flag 2509000/2509000
1051.07/541.51	c cleaning 11009 clauses out of 22043 with flag 2520001/2520001
1053.29/542.77	c cleaning 0 clauses out of 419003 with flag 0/419003
1056.10/544.23	c cleaning 10998 clauses out of 22034 with flag 2531001/2531001
1061.03/546.82	c cleaning 11010 clauses out of 22037 with flag 2542002/2542002
1065.66/549.29	c cleaning 10994 clauses out of 22026 with flag 2553001/2553001
1070.48/551.75	c cleaning 10996 clauses out of 22032 with flag 2564001/2564001
1075.09/554.20	c cleaning 11009 clauses out of 22037 with flag 2575002/2575002
1080.02/556.73	c cleaning 11002 clauses out of 22027 with flag 2586001/2586001
1084.83/559.21	c cleaning 11000 clauses out of 22024 with flag 2597000/2597000
1089.44/561.62	c cleaning 10991 clauses out of 22027 with flag 2608003/2608003
1094.25/564.14	c cleaning 11003 clauses out of 22033 with flag 2619000/2619000
1098.97/566.67	c cleaning 0 clauses out of 430001 with flag 0/430001
1099.38/566.94	c cleaning 11001 clauses out of 22031 with flag 2630001/2630001
1104.20/569.42	c cleaning 10995 clauses out of 22029 with flag 2641000/2641000
1109.03/571.92	c cleaning 11000 clauses out of 22035 with flag 2652001/2652001
1113.53/574.34	c cleaning 10994 clauses out of 22034 with flag 2663000/2663000
1118.34/576.85	c cleaning 11007 clauses out of 22041 with flag 2674001/2674001
1123.15/579.30	c cleaning 11005 clauses out of 22034 with flag 2685001/2685001
1127.76/581.80	c cleaning 11001 clauses out of 22031 with flag 2696003/2696003
1132.69/584.37	c cleaning 11000 clauses out of 22027 with flag 2707000/2707000
1137.51/586.86	c cleaning 11000 clauses out of 22028 with flag 2718001/2718001
1142.32/589.35	c cleaning 11005 clauses out of 22031 with flag 2729004/2729004
1142.76/589.63	c cleaning 0 clauses out of 441003 with flag 0/441003
1147.45/592.16	c cleaning 11002 clauses out of 22022 with flag 2740000/2740000
1152.45/594.72	c cleaning 10990 clauses out of 22021 with flag 2751001/2751001
1157.06/597.17	c cleaning 11004 clauses out of 22030 with flag 2762000/2762000
1161.86/599.68	c cleaning 11003 clauses out of 22027 with flag 2773001/2773001
1166.98/602.32	c cleaning 10993 clauses out of 22023 with flag 2784000/2784000
1171.78/604.87	c cleaning 10998 clauses out of 22030 with flag 2795000/2795000
1176.59/607.37	c cleaning 10999 clauses out of 22032 with flag 2806000/2806000
1181.39/609.85	c cleaning 11001 clauses out of 22034 with flag 2817001/2817001
1186.31/612.47	c cleaning 11004 clauses out of 22032 with flag 2828000/2828000
1188.51/613.66	c cleaning 0 clauses out of 452000 with flag 0/452000
1191.50/615.21	c cleaning 10995 clauses out of 22029 with flag 2839001/2839001
1196.30/617.70	c cleaning 11004 clauses out of 22034 with flag 2850001/2850001
1201.24/620.33	c cleaning 10999 clauses out of 22030 with flag 2861001/2861001
1205.82/622.78	c cleaning 11002 clauses out of 22030 with flag 2872000/2872000
1210.82/625.33	c cleaning 10998 clauses out of 22028 with flag 2883000/2883000
1215.64/627.87	c cleaning 11005 clauses out of 22032 with flag 2894002/2894002
1220.75/630.55	c cleaning 10999 clauses out of 22025 with flag 2905000/2905000
1225.75/633.12	c cleaning 11008 clauses out of 22029 with flag 2916003/2916003
1230.54/635.71	c cleaning 11000 clauses out of 22019 with flag 2927001/2927001
1231.34/636.17	c cleaning 0 clauses out of 463001 with flag 0/463001
1235.85/638.59	c cleaning 10997 clauses out of 22019 with flag 2938001/2938001
1240.84/641.21	c cleaning 10994 clauses out of 22021 with flag 2949000/2949000
1246.04/643.80	c cleaning 11001 clauses out of 22027 with flag 2960000/2960000
1250.84/646.35	c cleaning 11002 clauses out of 22028 with flag 2971002/2971002
1255.76/649.00	c cleaning 10994 clauses out of 22024 with flag 2982000/2982000
1260.33/651.37	c cleaning 10997 clauses out of 22030 with flag 2993000/2993000
1264.93/653.78	c cleaning 11004 clauses out of 22037 with flag 3004004/3004004
1269.72/656.20	c cleaning 10997 clauses out of 22029 with flag 3015000/3015000
1274.64/658.85	c cleaning 10996 clauses out of 22032 with flag 3026000/3026000
1276.64/659.97	c cleaning 0 clauses out of 474001 with flag 0/474001
1279.41/661.46	c cleaning 11011 clauses out of 22037 with flag 3037001/3037001
1284.20/663.94	c cleaning 11004 clauses out of 22025 with flag 3048000/3048000
1289.12/666.53	c cleaning 10982 clauses out of 22023 with flag 3059002/3059002
1294.10/669.13	c cleaning 10992 clauses out of 22042 with flag 3070003/3070003
1298.69/671.53	c cleaning 11013 clauses out of 22048 with flag 3081001/3081001
1303.48/674.07	c cleaning 11000 clauses out of 22034 with flag 3092000/3092000
1308.57/676.72	c cleaning 11002 clauses out of 22035 with flag 3103001/3103001
1313.56/679.35	c cleaning 11004 clauses out of 22032 with flag 3114000/3114000
1318.15/681.78	c cleaning 11001 clauses out of 22030 with flag 3125002/3125002
1323.14/684.35	c cleaning 11003 clauses out of 22030 with flag 3136003/3136003
1323.83/684.85	c cleaning 0 clauses out of 485001 with flag 0/485001
1328.22/687.15	c cleaning 10997 clauses out of 22024 with flag 3147000/3147000
1333.04/689.71	c cleaning 11002 clauses out of 22027 with flag 3158000/3158000
1338.01/692.25	c cleaning 10989 clauses out of 22025 with flag 3169000/3169000
1342.90/694.87	c cleaning 11010 clauses out of 22037 with flag 3180001/3180001
1347.48/697.27	c cleaning 10999 clauses out of 22026 with flag 3191000/3191000
1352.48/699.80	c cleaning 11004 clauses out of 22029 with flag 3202002/3202002
1357.26/702.37	c cleaning 10998 clauses out of 22023 with flag 3213000/3213000
1362.38/705.03	c cleaning 10994 clauses out of 22026 with flag 3224001/3224001
1367.14/707.55	c cleaning 11002 clauses out of 22033 with flag 3235002/3235002
1370.33/709.24	c cleaning 0 clauses out of 496006 with flag 0/496006
1372.11/710.26	c cleaning 11005 clauses out of 22031 with flag 3246002/3246002
1377.04/712.88	c cleaning 10999 clauses out of 22024 with flag 3257000/3257000
1381.99/715.46	c cleaning 10996 clauses out of 22026 with flag 3268001/3268001
1386.78/717.98	c cleaning 11001 clauses out of 22032 with flag 3279003/3279003
1391.58/720.45	c cleaning 11003 clauses out of 22029 with flag 3290001/3290001
1396.45/723.07	c cleaning 11003 clauses out of 22025 with flag 3301000/3301000
1401.43/725.63	c cleaning 10991 clauses out of 22022 with flag 3312000/3312000
1406.24/728.18	c cleaning 11005 clauses out of 22032 with flag 3323001/3323001
1411.00/730.69	c cleaning 11005 clauses out of 22028 with flag 3334002/3334002
1416.08/733.35	c cleaning 10993 clauses out of 22021 with flag 3345000/3345000
1417.86/734.30	c cleaning 0 clauses out of 507003 with flag 0/507003
1421.04/736.09	c cleaning 10998 clauses out of 22031 with flag 3356003/3356003
1426.01/738.67	c cleaning 11005 clauses out of 22031 with flag 3367001/3367001
1431.11/741.39	c cleaning 11001 clauses out of 22027 with flag 3378002/3378002
1436.08/743.96	c cleaning 11001 clauses out of 22025 with flag 3389001/3389001
1441.05/746.50	c cleaning 10997 clauses out of 22024 with flag 3400001/3400001
1445.85/749.08	c cleaning 11002 clauses out of 22028 with flag 3411002/3411002
1450.92/751.73	c cleaning 10993 clauses out of 22024 with flag 3422000/3422000
1455.69/754.23	c cleaning 11007 clauses out of 22031 with flag 3433000/3433000
1460.49/756.81	c cleaning 10999 clauses out of 22024 with flag 3444000/3444000
1465.25/759.29	c cleaning 11005 clauses out of 22026 with flag 3455001/3455001
1466.55/760.09	c cleaning 0 clauses out of 518000 with flag 0/518000
1470.30/762.09	c cleaning 11001 clauses out of 22024 with flag 3466004/3466004
1475.28/764.64	c cleaning 10996 clauses out of 22020 with flag 3477001/3477001
1480.26/767.24	c cleaning 10998 clauses out of 22023 with flag 3488000/3488000
1485.13/769.88	c cleaning 11005 clauses out of 22026 with flag 3499001/3499001
1490.10/772.49	c cleaning 10999 clauses out of 22020 with flag 3510000/3510000
1495.08/775.01	c cleaning 10996 clauses out of 22023 with flag 3521002/3521002
1499.85/777.59	c cleaning 10999 clauses out of 22025 with flag 3532000/3532000
1504.92/780.26	c cleaning 11009 clauses out of 22028 with flag 3543002/3543002
1509.89/782.82	c cleaning 10986 clauses out of 22019 with flag 3554002/3554002
1514.69/785.39	c cleaning 11003 clauses out of 22032 with flag 3565001/3565001
1519.64/787.95	c cleaning 11001 clauses out of 22028 with flag 3576000/3576000
1522.71/789.69	c cleaning 0 clauses out of 529001 with flag 0/529001
1524.89/790.86	c cleaning 11010 clauses out of 22029 with flag 3587002/3587002
1529.84/793.46	c cleaning 10992 clauses out of 22017 with flag 3598000/3598000
1534.81/796.06	c cleaning 11006 clauses out of 22027 with flag 3609002/3609002
1539.88/798.71	c cleaning 10997 clauses out of 22019 with flag 3620000/3620000
1544.65/801.24	c cleaning 10992 clauses out of 22022 with flag 3631000/3631000
1549.62/803.85	c cleaning 11000 clauses out of 22032 with flag 3642002/3642002
1554.43/806.39	c cleaning 10996 clauses out of 22030 with flag 3653000/3653000
1559.46/809.09	c cleaning 11008 clauses out of 22035 with flag 3664001/3664001
1564.43/811.66	c cleaning 10996 clauses out of 22026 with flag 3675000/3675000
1569.20/814.16	c cleaning 11005 clauses out of 22030 with flag 3686000/3686000
1573.97/816.67	c cleaning 11005 clauses out of 22031 with flag 3697006/3697006
1576.43/818.08	c cleaning 0 clauses out of 540002 with flag 0/540002
1579.23/819.53	c cleaning 10986 clauses out of 22021 with flag 3708001/3708001
1583.96/822.09	c cleaning 11003 clauses out of 22035 with flag 3719001/3719001
1588.72/824.59	c cleaning 11005 clauses out of 22031 with flag 3730000/3730000
1593.82/827.26	c cleaning 11002 clauses out of 22026 with flag 3741000/3741000
1598.76/829.81	c cleaning 10996 clauses out of 22025 with flag 3752001/3752001
1603.52/832.34	c cleaning 10998 clauses out of 22028 with flag 3763000/3763000
1608.30/834.89	c cleaning 10999 clauses out of 22033 with flag 3774003/3774003
1613.34/837.59	c cleaning 11006 clauses out of 22031 with flag 3785000/3785000
1618.31/840.15	c cleaning 10999 clauses out of 22025 with flag 3796000/3796000
1623.27/842.70	c cleaning 10999 clauses out of 22028 with flag 3807002/3807002
1628.03/845.27	c cleaning 10990 clauses out of 22027 with flag 3818000/3818000
1632.50/847.64	c cleaning 0 clauses out of 551002 with flag 0/551002
1633.66/848.30	c cleaning 11010 clauses out of 22039 with flag 3829002/3829002
1638.62/850.95	c cleaning 10997 clauses out of 22027 with flag 3840000/3840000
1643.60/853.56	c cleaning 10998 clauses out of 22031 with flag 3851001/3851001
1648.63/856.23	c cleaning 10999 clauses out of 22033 with flag 3862001/3862001
1653.60/858.81	c cleaning 11012 clauses out of 22036 with flag 3873003/3873003
1658.56/861.42	c cleaning 11000 clauses out of 22021 with flag 3884000/3884000
1663.52/864.03	c cleaning 10991 clauses out of 22022 with flag 3895001/3895001
1668.59/866.75	c cleaning 10995 clauses out of 22031 with flag 3906001/3906001
1673.53/869.30	c cleaning 11011 clauses out of 22036 with flag 3917001/3917001
1678.29/871.89	c cleaning 11000 clauses out of 22024 with flag 3928000/3928000
1683.27/874.49	c cleaning 11003 clauses out of 22026 with flag 3939002/3939002
1687.90/876.93	c cleaning 0 clauses out of 562001 with flag 0/562001
1688.65/877.42	c cleaning 10996 clauses out of 22021 with flag 3950000/3950000
1693.64/880.05	c cleaning 11000 clauses out of 22026 with flag 3961001/3961001
1698.56/882.65	c cleaning 11004 clauses out of 22027 with flag 3972002/3972002
1703.61/885.39	c cleaning 11000 clauses out of 22023 with flag 3983002/3983002
1708.57/887.92	c cleaning 11006 clauses out of 22022 with flag 3994001/3994001
1713.53/890.52	c cleaning 10992 clauses out of 22015 with flag 4005000/4005000
1718.28/893.09	c cleaning 11000 clauses out of 22024 with flag 4016001/4016001
1723.52/895.83	c cleaning 11007 clauses out of 22027 with flag 4027004/4027004
1728.48/898.45	c cleaning 11001 clauses out of 22016 with flag 4038000/4038000
1733.44/901.06	c cleaning 10998 clauses out of 22018 with flag 4049003/4049003
1738.61/903.70	c cleaning 10995 clauses out of 22017 with flag 4060000/4060000
1743.69/906.44	c cleaning 11000 clauses out of 22023 with flag 4071001/4071001
1746.21/907.82	c cleaning 0 clauses out of 573000 with flag 0/573000
1748.96/909.32	c cleaning 10999 clauses out of 22022 with flag 4082000/4082000
1753.73/911.88	c cleaning 10993 clauses out of 22024 with flag 4093001/4093001
1758.96/914.64	c cleaning 11002 clauses out of 22033 with flag 4104003/4104003
1763.91/917.28	c cleaning 10993 clauses out of 22028 with flag 4115000/4115000
1768.87/919.86	c cleaning 10996 clauses out of 22035 with flag 4126000/4126000
1774.02/922.53	c cleaning 11004 clauses out of 22039 with flag 4137000/4137000
1779.06/925.27	c cleaning 11004 clauses out of 22035 with flag 4148000/4148000
1784.01/927.85	c cleaning 10999 clauses out of 22031 with flag 4159000/4159000
1788.96/930.45	c cleaning 10998 clauses out of 22032 with flag 4170000/4170000
1793.91/933.04	c cleaning 11011 clauses out of 22035 with flag 4181001/4181001
1798.94/935.77	c cleaning 10997 clauses out of 22023 with flag 4192000/4192000
1800.11/936.42	c starts		: 253
1800.11/936.42	c conflicts		: 4194201
1800.11/936.42	c decisions		: 5461772
1800.11/936.42	c propagations		: 1606665344
1800.11/936.42	c inspects		: 6149496216
1800.11/936.42	c shortcuts		: 0
1800.11/936.42	c learnt literals	: 0
1800.11/936.42	c learnt binary clauses	: 0
1800.11/936.42	c learnt ternary clauses	: 81
1800.11/936.42	c learnt constraints	: 4194201
1800.11/936.42	c ignored constraints	: 0
1800.11/936.42	c root simplifications	: 0
1800.11/936.42	c removed literals (reason simplification)	: 55829547
1800.11/936.42	c reason swapping (by a shorter reason)	: 0
1800.11/936.42	c Calls to reduceDB	: 383
1800.11/936.42	c number of reductions to clauses (during analyze)	: 0
1800.11/936.42	c number of learned constraints concerned by reduction	: 0
1800.11/936.42	c number of learning phase by resolution	: 0
1800.11/936.42	c number of learning phase by cutting planes	: 0
1800.11/936.42	c speed (assignments/second)	: 1716530.3665827631
1800.11/936.42	c non guided choices	0
1800.11/936.43	c learnt constraints type 
1800.11/936.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13257
1800.11/936.43	c constraints type 
1800.11/936.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
1800.11/936.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
1800.11/936.43	c constraints type 
1800.11/936.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
1800.11/936.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
1800.11/936.43	s UNKNOWN
1800.11/936.43	c Total wall clock time (in seconds): 936.324

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454184-1307189172/watcher-3454184-1307189172 -o /tmp/evaluation-result-3454184-1307189172/solver-3454184-1307189172 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454184-1307189172.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.20 3.31 2.92 1/503 12538
/proc/meminfo: memFree=30326784/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 2599 0 1 0 0 0 0 0 22 0 2 0 830519813 10681323520 2302 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2607745 2314 906 9 0 2598901 0
[pid=12538/tid=12539] ppid=12536 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) R 12536 12538 9506 0 -1 4202560 6928 0 1 0 0 0 0 0 24 0 2 0 830519813 10694979584 7744 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0939471 s]
/proc/loadavg: 3.20 3.31 2.92 1/503 12538
/proc/meminfo: memFree=30326784/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10539980 CPUtime=0.09 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 12972 0 1 0 8 1 0 0 22 0 18 0 830519813 10792939520 12664 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2634995 12664 2092 9 0 2625729 0
[pid=12538/tid=12539] ppid=12536 vsize=10539980 CPUtime=0.08 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) R 12536 12538 9506 0 -1 4202560 11060 0 1 0 7 1 0 0 25 0 18 0 830519813 10792939520 12665 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 47576821230419 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539980

[startup+0.100992 s]
/proc/loadavg: 3.20 3.31 2.92 1/503 12538
/proc/meminfo: memFree=30326784/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10540112 CPUtime=0.1 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 13086 0 1 0 9 1 0 0 22 0 18 0 830519813 10793074688 12778 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2635028 12779 2092 9 0 2625762 0
[pid=12538/tid=12539] ppid=12536 vsize=10540112 CPUtime=0.08 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) R 12536 12538 9506 0 -1 4202560 11174 0 1 0 7 1 0 0 25 0 18 0 830519813 10793074688 12779 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 47576819795480 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540112

[startup+0.304998 s]
/proc/loadavg: 3.20 3.31 2.92 1/503 12538
/proc/meminfo: memFree=30326784/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10541456 CPUtime=0.5 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 16817 0 1 0 48 2 0 0 22 0 18 0 830519813 10794450944 15895 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2635364 15897 2202 9 0 2626098 0
[pid=12538/tid=12539] ppid=12536 vsize=10541456 CPUtime=0.29 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) R 12536 12538 9506 0 -1 4202560 13568 0 1 0 27 2 0 0 25 0 18 0 830519813 10794450944 15897 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505621702 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541456

[startup+0.70087 s]
/proc/loadavg: 3.20 3.31 2.92 1/503 12538
/proc/meminfo: memFree=30326784/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10556188 CPUtime=1.89 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 32679 0 1 0 184 5 0 0 22 0 22 0 830519813 10809536512 26614 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2639047 26614 2239 9 0 2629781 0
[pid=12538/tid=12539] ppid=12536 vsize=10556188 CPUtime=0.41 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18601 0 1 0 39 2 0 0 25 0 22 0 830519813 10809536512 26614 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 10556188

[startup+1.50073 s]
/proc/loadavg: 3.34 3.34 2.93 4/544 12604
/proc/meminfo: memFree=30145032/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10556188 CPUtime=3.97 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 69421 0 1 0 388 9 0 0 22 0 22 0 830519813 10809536512 63122 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2639047 63124 2243 9 0 2629781 0
[pid=12538/tid=12539] ppid=12536 vsize=10556188 CPUtime=0.41 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18601 0 1 0 39 2 0 0 15 0 22 0 830519813 10809536512 63125 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12541] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12541/stat : 12541 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63126 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12542] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12542/stat : 12542 (java) S 12536 12538 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63127 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12543] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12543/stat : 12543 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63128 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12544] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12544/stat : 12544 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63129 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12545] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12545/stat : 12545 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63130 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12546] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12546/stat : 12546 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63131 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12547] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12547/stat : 12547 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63132 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12548] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12548/stat : 12548 (java) S 12536 12538 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830519815 10809536512 63133 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12549] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12549/stat : 12549 (java) S 12536 12538 9506 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830519816 10809536512 63134 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 0 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12550] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12550/stat : 12550 (java) S 12536 12538 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830519816 10809536512 63135 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12551] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12551/stat : 12551 (java) S 12536 12538 9506 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830519816 10809536512 63136 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12552] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12552/stat : 12552 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10809536512 63137 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646338993 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12553] ppid=12536 vsize=10556188 CPUtime=0.69 cores=1,3,5,7
/proc/12538/task/12553/stat : 12553 (java) S 12536 12538 9506 0 -1 4202560 7273 0 0 0 68 1 0 0 16 0 22 0 830519818 10809536512 63137 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12554] ppid=12536 vsize=10556188 CPUtime=0.71 cores=1,3,5,7
/proc/12538/task/12554/stat : 12554 (java) S 12536 12538 9506 0 -1 4202560 5205 0 0 0 71 0 0 0 15 0 22 0 830519818 10809536512 63138 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12555] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12555/stat : 12555 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10809536512 63140 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12556] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12556/stat : 12556 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830519818 10809536512 63141 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12557] ppid=12536 vsize=10556188 CPUtime=1.06 cores=1,3,5,7
/proc/12538/task/12557/stat : 12557 (java) R 12536 12538 9506 0 -1 4202560 579 0 0 0 106 0 0 0 20 0 22 0 830519856 10809536512 63142 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912506023819 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12538/tid=12558] ppid=12536 vsize=10556188 CPUtime=1.06 cores=1,3,5,7
/proc/12538/task/12558/stat : 12558 (java) R 12536 12538 9506 0 -1 4202560 36615 0 0 0 102 4 0 0 20 0 22 0 830519856 10809536512 63143 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912506000130 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12538/tid=12559] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12559/stat : 12559 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10809536512 63144 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12560] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12560/stat : 12560 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10809536512 63146 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10556188

[startup+3.10142 s]
/proc/loadavg: 3.34 3.34 2.93 8/548 12611
/proc/meminfo: memFree=29911012/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10556188 CPUtime=7.26 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 80136 0 1 0 715 11 0 0 22 0 22 0 830519813 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2639047 73832 2267 9 0 2629781 0
[pid=12538/tid=12539] ppid=12536 vsize=10556188 CPUtime=0.41 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18601 0 1 0 39 2 0 0 15 0 22 0 830519813 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12541] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12541/stat : 12541 (java) S 12536 12538 9506 0 -1 4202560 367 0 0 0 0 0 0 0 18 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12542] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12542/stat : 12542 (java) S 12536 12538 9506 0 -1 4202560 185 0 0 0 0 0 0 0 16 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12543] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12543/stat : 12543 (java) S 12536 12538 9506 0 -1 4202560 191 0 0 0 0 0 0 0 16 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12544] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12544/stat : 12544 (java) S 12536 12538 9506 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12545] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12545/stat : 12545 (java) S 12536 12538 9506 0 -1 4202560 254 0 0 0 0 0 0 0 16 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12546] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12546/stat : 12546 (java) S 12536 12538 9506 0 -1 4202560 330 0 0 0 0 0 0 0 18 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12547] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12547/stat : 12547 (java) S 12536 12538 9506 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12548] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12548/stat : 12548 (java) S 12536 12538 9506 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 22 0 830519815 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12549] ppid=12536 vsize=10556188 CPUtime=0.04 cores=1,3,5,7
/proc/12538/task/12549/stat : 12549 (java) S 12536 12538 9506 0 -1 4202560 1648 0 0 0 4 0 0 0 16 0 22 0 830519816 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 0 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12550] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12550/stat : 12550 (java) S 12536 12538 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830519816 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12551] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12551/stat : 12551 (java) S 12536 12538 9506 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830519816 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12552] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12552/stat : 12552 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646338993 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12553] ppid=12536 vsize=10556188 CPUtime=0.74 cores=1,3,5,7
/proc/12538/task/12553/stat : 12553 (java) S 12536 12538 9506 0 -1 4202560 7283 0 0 0 73 1 0 0 16 0 22 0 830519818 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12554] ppid=12536 vsize=10556188 CPUtime=0.79 cores=1,3,5,7
/proc/12538/task/12554/stat : 12554 (java) S 12536 12538 9506 0 -1 4202560 5217 0 0 0 79 0 0 0 15 0 22 0 830519818 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12555] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12555/stat : 12555 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12556] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12556/stat : 12556 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830519818 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12557] ppid=12536 vsize=10556188 CPUtime=2.61 cores=1,3,5,7
/proc/12538/task/12557/stat : 12557 (java) R 12536 12538 9506 0 -1 4202560 604 0 0 0 261 0 0 0 25 0 22 0 830519856 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505875666 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12538/tid=12558] ppid=12536 vsize=10556188 CPUtime=2.59 cores=1,3,5,7
/proc/12538/task/12558/stat : 12558 (java) R 12536 12538 9506 0 -1 4202560 43586 0 0 0 254 5 0 0 25 0 22 0 830519856 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505932091 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12538/tid=12559] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12559/stat : 12559 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12560] ppid=12536 vsize=10556188 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12560/stat : 12560 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10809536512 73832 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 10556188

[startup+6.30085 s]
/proc/loadavg: 3.34 3.34 2.93 3/545 12715
/proc/meminfo: memFree=29916192/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10561764 CPUtime=14.5 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 120751 0 1 0 1433 17 0 0 22 0 22 0 830519813 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2640441 110658 2267 9 0 2631175 0
[pid=12538/tid=12539] ppid=12536 vsize=10561764 CPUtime=0.41 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18601 0 1 0 39 2 0 0 15 0 22 0 830519813 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12541] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12541/stat : 12541 (java) S 12536 12538 9506 0 -1 4202560 368 0 0 0 0 0 0 0 16 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12542] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12542/stat : 12542 (java) S 12536 12538 9506 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12543] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12543/stat : 12543 (java) S 12536 12538 9506 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12544] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12544/stat : 12544 (java) S 12536 12538 9506 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12545] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12545/stat : 12545 (java) S 12536 12538 9506 0 -1 4202560 322 0 0 0 0 0 0 0 16 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12546] ppid=12536 vsize=10561764 CPUtime=0.01 cores=1,3,5,7
/proc/12538/task/12546/stat : 12546 (java) S 12536 12538 9506 0 -1 4202560 342 0 0 0 1 0 0 0 16 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12547] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12547/stat : 12547 (java) S 12536 12538 9506 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12548] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12548/stat : 12548 (java) S 12536 12538 9506 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 22 0 830519815 10815246336 110658 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0

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

[pid=12538/tid=12558] ppid=12536 vsize=10561764 CPUtime=701.93 cores=1,3,5,7
/proc/12538/task/12558/stat : 12558 (java) S 12536 12538 9506 0 -1 4202560 109128 0 0 0 70179 14 0 0 25 0 22 0 830519856 10815246336 206374 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12559] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12559/stat : 12559 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 206374 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12560] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12560/stat : 12560 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 206374 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1470.73
Current children cumulated vsize (KiB) 10561764

[startup+822.301 s]
/proc/loadavg: 4.07 3.92 3.50 5/548 12850
/proc/meminfo: memFree=28708084/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10561764 CPUtime=1584.36 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 220178 0 1 0 158398 38 0 0 22 0 22 0 830519813 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2640441 209602 2268 9 0 2631175 0
[pid=12538/tid=12539] ppid=12536 vsize=10561764 CPUtime=0.42 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18625 0 1 0 39 3 0 0 15 0 22 0 830519813 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12541] ppid=12536 vsize=10561764 CPUtime=0.8 cores=1,3,5,7
/proc/12538/task/12541/stat : 12541 (java) S 12536 12538 9506 0 -1 4202560 456 0 0 0 80 0 0 0 16 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12542] ppid=12536 vsize=10561764 CPUtime=0.83 cores=1,3,5,7
/proc/12538/task/12542/stat : 12542 (java) S 12536 12538 9506 0 -1 4202560 327 0 0 0 83 0 0 0 16 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12543] ppid=12536 vsize=10561764 CPUtime=0.75 cores=1,3,5,7
/proc/12538/task/12543/stat : 12543 (java) S 12536 12538 9506 0 -1 4202560 273 0 0 0 75 0 0 0 16 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12544] ppid=12536 vsize=10561764 CPUtime=0.79 cores=1,3,5,7
/proc/12538/task/12544/stat : 12544 (java) S 12536 12538 9506 0 -1 4202560 366 0 0 0 79 0 0 0 15 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12545] ppid=12536 vsize=10561764 CPUtime=0.75 cores=1,3,5,7
/proc/12538/task/12545/stat : 12545 (java) S 12536 12538 9506 0 -1 4202560 356 0 0 0 75 0 0 0 15 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12546] ppid=12536 vsize=10561764 CPUtime=0.78 cores=1,3,5,7
/proc/12538/task/12546/stat : 12546 (java) S 12536 12538 9506 0 -1 4202560 442 0 0 0 78 0 0 0 16 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12547] ppid=12536 vsize=10561764 CPUtime=0.71 cores=1,3,5,7
/proc/12538/task/12547/stat : 12547 (java) S 12536 12538 9506 0 -1 4202560 412 0 0 0 71 0 0 0 16 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12548] ppid=12536 vsize=10561764 CPUtime=0.76 cores=1,3,5,7
/proc/12538/task/12548/stat : 12548 (java) S 12536 12538 9506 0 -1 4202560 389 0 0 0 76 0 0 0 16 0 22 0 830519815 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12549] ppid=12536 vsize=10561764 CPUtime=64.63 cores=1,3,5,7
/proc/12538/task/12549/stat : 12549 (java) R 12536 12538 9506 0 -1 4202560 69260 0 0 0 6452 11 0 0 16 0 22 0 830519816 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 47576819974176 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=12538/tid=12550] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12550/stat : 12550 (java) S 12536 12538 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830519816 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12551] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12551/stat : 12551 (java) S 12536 12538 9506 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830519816 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12552] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12552/stat : 12552 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646338993 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12553] ppid=12536 vsize=10561764 CPUtime=0.89 cores=1,3,5,7
/proc/12538/task/12553/stat : 12553 (java) S 12536 12538 9506 0 -1 4202560 8269 0 0 0 88 1 0 0 15 0 22 0 830519818 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12554] ppid=12536 vsize=10561764 CPUtime=1.66 cores=1,3,5,7
/proc/12538/task/12554/stat : 12554 (java) S 12536 12538 9506 0 -1 4202560 9494 0 0 0 165 1 0 0 15 0 22 0 830519818 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12555] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12555/stat : 12555 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12556] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12556/stat : 12556 (java) S 12536 12538 9506 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830519818 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12557] ppid=12536 vsize=10561764 CPUtime=755.26 cores=1,3,5,7
/proc/12538/task/12557/stat : 12557 (java) S 12536 12538 9506 0 -1 4202560 1175 0 0 0 75525 1 0 0 25 0 22 0 830519856 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12558] ppid=12536 vsize=10561764 CPUtime=755.21 cores=1,3,5,7
/proc/12538/task/12558/stat : 12558 (java) S 12536 12538 9506 0 -1 4202560 109129 0 0 0 75507 14 0 0 25 0 22 0 830519856 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12559] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12559/stat : 12559 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12560] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12560/stat : 12560 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 209602 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1584.36
Current children cumulated vsize (KiB) 10561764

[startup+882.301 s]
/proc/loadavg: 3.94 3.91 3.52 5/548 12852
/proc/meminfo: memFree=28694400/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10561764 CPUtime=1697.96 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 223719 0 1 0 169757 39 0 0 22 0 22 0 830519813 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2640441 213113 2268 9 0 2631175 0
[pid=12538/tid=12539] ppid=12536 vsize=10561764 CPUtime=0.42 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18625 0 1 0 39 3 0 0 15 0 22 0 830519813 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12541] ppid=12536 vsize=10561764 CPUtime=0.86 cores=1,3,5,7
/proc/12538/task/12541/stat : 12541 (java) S 12536 12538 9506 0 -1 4202560 456 0 0 0 86 0 0 0 15 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12542] ppid=12536 vsize=10561764 CPUtime=0.89 cores=1,3,5,7
/proc/12538/task/12542/stat : 12542 (java) S 12536 12538 9506 0 -1 4202560 329 0 0 0 89 0 0 0 16 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12543] ppid=12536 vsize=10561764 CPUtime=0.81 cores=1,3,5,7
/proc/12538/task/12543/stat : 12543 (java) S 12536 12538 9506 0 -1 4202560 278 0 0 0 81 0 0 0 15 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12544] ppid=12536 vsize=10561764 CPUtime=0.85 cores=1,3,5,7
/proc/12538/task/12544/stat : 12544 (java) S 12536 12538 9506 0 -1 4202560 367 0 0 0 85 0 0 0 16 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12545] ppid=12536 vsize=10561764 CPUtime=0.83 cores=1,3,5,7
/proc/12538/task/12545/stat : 12545 (java) S 12536 12538 9506 0 -1 4202560 356 0 0 0 83 0 0 0 16 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12546] ppid=12536 vsize=10561764 CPUtime=0.83 cores=1,3,5,7
/proc/12538/task/12546/stat : 12546 (java) S 12536 12538 9506 0 -1 4202560 443 0 0 0 83 0 0 0 15 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12547] ppid=12536 vsize=10561764 CPUtime=0.78 cores=1,3,5,7
/proc/12538/task/12547/stat : 12547 (java) S 12536 12538 9506 0 -1 4202560 422 0 0 0 78 0 0 0 15 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12548] ppid=12536 vsize=10561764 CPUtime=0.81 cores=1,3,5,7
/proc/12538/task/12548/stat : 12548 (java) S 12536 12538 9506 0 -1 4202560 391 0 0 0 81 0 0 0 16 0 22 0 830519815 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12549] ppid=12536 vsize=10561764 CPUtime=71.23 cores=1,3,5,7
/proc/12538/task/12549/stat : 12549 (java) S 12536 12538 9506 0 -1 4202560 72752 0 0 0 7111 12 0 0 15 0 22 0 830519816 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 0 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12550] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12550/stat : 12550 (java) S 12536 12538 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830519816 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12551] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12551/stat : 12551 (java) S 12536 12538 9506 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830519816 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12552] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12552/stat : 12552 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646338993 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12553] ppid=12536 vsize=10561764 CPUtime=0.89 cores=1,3,5,7
/proc/12538/task/12553/stat : 12553 (java) S 12536 12538 9506 0 -1 4202560 8269 0 0 0 88 1 0 0 15 0 22 0 830519818 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12554] ppid=12536 vsize=10561764 CPUtime=1.66 cores=1,3,5,7
/proc/12538/task/12554/stat : 12554 (java) S 12536 12538 9506 0 -1 4202560 9494 0 0 0 165 1 0 0 15 0 22 0 830519818 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12555] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12555/stat : 12555 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12556] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12556/stat : 12556 (java) S 12536 12538 9506 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830519818 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12557] ppid=12536 vsize=10561764 CPUtime=808.5 cores=1,3,5,7
/proc/12538/task/12557/stat : 12557 (java) R 12536 12538 9506 0 -1 4202560 1197 0 0 0 80849 1 0 0 25 0 22 0 830519856 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505877166 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12538/tid=12558] ppid=12536 vsize=10561764 CPUtime=808.45 cores=1,3,5,7
/proc/12538/task/12558/stat : 12558 (java) R 12536 12538 9506 0 -1 4202560 109131 0 0 0 80831 14 0 0 25 0 22 0 830519856 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505799579 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12538/tid=12559] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12559/stat : 12559 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12560] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12560/stat : 12560 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 213113 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1697.96
Current children cumulated vsize (KiB) 10561764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+936.401 s]
/proc/loadavg: 3.83 3.87 3.53 4/548 12853
/proc/meminfo: memFree=28685048/32951124 swapFree=51712236/67111528
[pid=12538] ppid=12536 vsize=10561764 CPUtime=1800.11 cores=1,3,5,7
/proc/12538/stat : 12538 (java) S 12536 12538 9506 0 -1 4202496 225594 0 1 0 179971 40 0 0 22 0 22 0 830519813 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12538/statm: 2640441 214960 2268 9 0 2631175 0
[pid=12538/tid=12539] ppid=12536 vsize=10561764 CPUtime=0.42 cores=1,3,5,7
/proc/12538/task/12539/stat : 12539 (java) S 12536 12538 9506 0 -1 4202560 18642 0 1 0 39 3 0 0 15 0 22 0 830519813 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12541] ppid=12536 vsize=10561764 CPUtime=0.92 cores=1,3,5,7
/proc/12538/task/12541/stat : 12541 (java) S 12536 12538 9506 0 -1 4202560 457 0 0 0 92 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12542] ppid=12536 vsize=10561764 CPUtime=0.95 cores=1,3,5,7
/proc/12538/task/12542/stat : 12542 (java) S 12536 12538 9506 0 -1 4202560 330 0 0 0 95 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12543] ppid=12536 vsize=10561764 CPUtime=0.87 cores=1,3,5,7
/proc/12538/task/12543/stat : 12543 (java) S 12536 12538 9506 0 -1 4202560 278 0 0 0 87 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12544] ppid=12536 vsize=10561764 CPUtime=0.92 cores=1,3,5,7
/proc/12538/task/12544/stat : 12544 (java) S 12536 12538 9506 0 -1 4202560 374 0 0 0 92 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12545] ppid=12536 vsize=10561764 CPUtime=0.91 cores=1,3,5,7
/proc/12538/task/12545/stat : 12545 (java) S 12536 12538 9506 0 -1 4202560 356 0 0 0 91 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12546] ppid=12536 vsize=10561764 CPUtime=0.9 cores=1,3,5,7
/proc/12538/task/12546/stat : 12546 (java) S 12536 12538 9506 0 -1 4202560 444 0 0 0 90 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12547] ppid=12536 vsize=10561764 CPUtime=0.82 cores=1,3,5,7
/proc/12538/task/12547/stat : 12547 (java) S 12536 12538 9506 0 -1 4202560 422 0 0 0 82 0 0 0 15 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12548] ppid=12536 vsize=10561764 CPUtime=0.87 cores=1,3,5,7
/proc/12538/task/12548/stat : 12548 (java) S 12536 12538 9506 0 -1 4202560 393 0 0 0 87 0 0 0 16 0 22 0 830519815 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12549] ppid=12536 vsize=10561764 CPUtime=77.5 cores=1,3,5,7
/proc/12538/task/12549/stat : 12549 (java) S 12536 12538 9506 0 -1 4202560 74591 0 0 0 7738 12 0 0 16 0 22 0 830519816 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 0 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12550] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12550/stat : 12550 (java) S 12536 12538 9506 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830519816 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12551] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12551/stat : 12551 (java) S 12536 12538 9506 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830519816 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12552] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12552/stat : 12552 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646338993 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12553] ppid=12536 vsize=10561764 CPUtime=0.89 cores=1,3,5,7
/proc/12538/task/12553/stat : 12553 (java) S 12536 12538 9506 0 -1 4202560 8269 0 0 0 88 1 0 0 15 0 22 0 830519818 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 1 0 0 0
[pid=12538/tid=12554] ppid=12536 vsize=10561764 CPUtime=1.66 cores=1,3,5,7
/proc/12538/task/12554/stat : 12554 (java) S 12536 12538 9506 0 -1 4202560 9494 0 0 0 165 1 0 0 15 0 22 0 830519818 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12555] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12555/stat : 12555 (java) S 12536 12538 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830519818 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331289 0 4 0 16800975 18446604456880458560 0 0 -1 5 0 0 0
[pid=12538/tid=12556] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12556/stat : 12556 (java) S 12536 12538 9506 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830519818 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 3 0 0 0
[pid=12538/tid=12557] ppid=12536 vsize=10561764 CPUtime=856.19 cores=1,3,5,7
/proc/12538/task/12557/stat : 12557 (java) R 12536 12538 9506 0 -1 4202560 1201 0 0 0 85618 1 0 0 25 0 22 0 830519856 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505896034 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12538/tid=12558] ppid=12536 vsize=10561764 CPUtime=856.15 cores=1,3,5,7
/proc/12538/task/12558/stat : 12558 (java) R 12536 12538 9506 0 -1 4202560 109132 0 0 0 85601 14 0 0 25 0 22 0 830519856 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 46912505972143 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12538/tid=12559] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12559/stat : 12559 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
[pid=12538/tid=12560] ppid=12536 vsize=10561764 CPUtime=0 cores=1,3,5,7
/proc/12538/task/12560/stat : 12560 (java) S 12536 12538 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830519862 10815246336 214960 33554432000 1073741824 1073778376 140736681194640 18446744073709551615 216646331904 0 4 0 16800975 18446604456880458560 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10561764

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

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

Child status: 143
Real time (s): 936.472
CPU time (s): 1800.22
CPU user time (s): 1799.78
CPU system time (s): 0.438933
CPU usage (%): 192.234
Max. virtual memory (cumulated for all children) (KiB): 10566016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.438933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225623
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35030
involuntary context switches= 31050

runsolver used 4.81727 second user time and 11.3903 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-04 14:06:12
IDJOB=3454184
IDBENCH=2191
IDSOLVER=1950
FILE ID=node103/3454184-1307189172
RUNJOBID= node103-1307188073-12245
PBS_JOBID= 13508861
Free space on /tmp= 73916 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454184-1307189172/watcher-3454184-1307189172 -o /tmp/evaluation-result-3454184-1307189172/solver-3454184-1307189172 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454184-1307189172.opb

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

MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76
RANDOM SEED=1176246668

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30327064 kB
Buffers:        323864 kB
Cached:         473344 kB
SwapCached:      23760 kB
Active:        1904080 kB
Inactive:       426764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30327064 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:             812 kB
Writeback:           0 kB
AnonPages:     1531308 kB
Mapped:          23184 kB
Slab:           150412 kB
PageTables:      72972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162070212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node103 at 2011-06-04 14:21:50