Trace number 3479255

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Res//CP 2.3.0? (TO) 1800.26 934.671

General information on the benchmark

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

Solver Data 

0.05/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.13	c See www.sat4j.org for details.
0.05/0.14	c version 2.3.1.v20110525
0.05/0.14	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.14	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.14	c java.vm.version	19.1-b02
0.05/0.14	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.14	c sun.arch.data.model	64
0.05/0.14	c java.version		1.6.0_24
0.05/0.14	c os.name		Linux
0.05/0.14	c os.version		2.6.18-164.el5
0.05/0.14	c os.arch		amd64
0.05/0.14	c Free memory 		9996466904
0.05/0.14	c Max memory 		10048897024
0.05/0.14	c Total memory 		10048897024
0.05/0.14	c Number of processors 	8
0.05/0.16	c Pseudo Boolean Optimization
0.05/0.16	c ManyCore solver with 2 solvers running in parallel
0.05/0.16	c --- Begin Solver configuration ---
0.05/0.16	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.05/0.16	c Learn all clauses as in MiniSAT
0.05/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.16	c Expensive reason simplification
0.05/0.16	c Armin Biere (Picosat) restarts strategy
0.05/0.16	c Glucose learned constraints deletion strategy
0.05/0.16	c timeout=2147483s
0.05/0.16	c DB Simplification allowed=false
0.05/0.16	c --- End Solver configuration ---
0.05/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.05/0.16	c --- Begin Solver configuration ---
0.05/0.16	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.05/0.16	c Learn all clauses as in MiniSAT
0.05/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.05/0.16	c No reason simplification
0.05/0.16	c Armin Biere (Picosat) restarts strategy
0.05/0.16	c Glucose learned constraints deletion strategy
0.05/0.16	c timeout=2147483s
0.05/0.16	c DB Simplification allowed=false
0.05/0.16	c --- End Solver configuration ---
0.05/0.16	c solving HOME/instance-3479255-1307444787.opb
0.05/0.16	c reading problem ... 
0.60/0.48	c ... done. Wall clock time 0.318s.
0.60/0.48	c #vars     4000
0.60/0.48	c #constraints  10500
0.60/0.48	c constraints type 
0.60/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
0.60/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
0.60/0.48	c constraints type 
0.60/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
0.60/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
4.03/1.61	c cleaning 2496 clauses out of 5000 with flag 5000/5000
5.70/2.49	c cleaning 4249 clauses out of 8505 with flag 11001/11001
7.27/3.24	c cleaning 0 clauses out of 5002 with flag 0/5002
8.41/3.63	c cleaning 5623 clauses out of 11258 with flag 18003/18003
11.00/4.91	c cleaning 6811 clauses out of 13632 with flag 26000/26000
14.55/6.30	c cleaning 0 clauses out of 11001 with flag 0/11001
14.71/6.48	c cleaning 7909 clauses out of 15821 with flag 35000/35000
18.29/8.28	c cleaning 8950 clauses out of 17912 with flag 45000/45000
22.25/10.21	c cleaning 0 clauses out of 18000 with flag 0/18000
22.25/10.28	c cleaning 9975 clauses out of 19962 with flag 56000/56000
26.39/12.33	c cleaning 10490 clauses out of 20989 with flag 67002/67002
30.59/14.42	c cleaning 10739 clauses out of 21498 with flag 78001/78001
31.31/14.86	c cleaning 0 clauses out of 26002 with flag 0/26002
34.70/16.57	c cleaning 10875 clauses out of 21760 with flag 89002/89002
39.07/18.74	c cleaning 10939 clauses out of 21883 with flag 100000/100000
42.01/20.24	c cleaning 0 clauses out of 35000 with flag 0/35000
43.38/20.99	c cleaning 10966 clauses out of 21946 with flag 111002/111002
47.52/23.01	c cleaning 10980 clauses out of 21978 with flag 122000/122000
51.48/25.06	c cleaning 10991 clauses out of 21998 with flag 133000/133000
54.48/26.55	c cleaning 0 clauses out of 45000 with flag 0/45000
55.99/27.31	c cleaning 11000 clauses out of 22007 with flag 144000/144000
60.35/29.53	c cleaning 10996 clauses out of 22007 with flag 155000/155000
64.90/31.82	c cleaning 10997 clauses out of 22011 with flag 166000/166000
69.05/33.95	c cleaning 11007 clauses out of 22015 with flag 177001/177001
69.41/34.16	c cleaning 0 clauses out of 56000 with flag 0/56000
73.35/36.16	c cleaning 10992 clauses out of 22007 with flag 188000/188000
77.71/38.36	c cleaning 10999 clauses out of 22015 with flag 199000/199000
82.26/40.67	c cleaning 10998 clauses out of 22016 with flag 210000/210000
85.20/42.14	c cleaning 0 clauses out of 67000 with flag 0/67000
86.76/43.00	c cleaning 10996 clauses out of 22019 with flag 221001/221001
91.34/45.23	c cleaning 11003 clauses out of 22024 with flag 232002/232002
95.68/47.49	c cleaning 10997 clauses out of 22020 with flag 243001/243001
100.17/49.78	c cleaning 11000 clauses out of 22026 with flag 254004/254004
102.52/50.91	c cleaning 0 clauses out of 78000 with flag 0/78000
104.46/51.95	c cleaning 11004 clauses out of 22022 with flag 265000/265000
108.64/54.09	c cleaning 11004 clauses out of 22018 with flag 276000/276000
113.13/56.35	c cleaning 10991 clauses out of 22014 with flag 287000/287000
117.87/58.79	c cleaning 11011 clauses out of 22025 with flag 298002/298002
120.22/59.92	c cleaning 0 clauses out of 89000 with flag 0/89000
122.56/61.11	c cleaning 11001 clauses out of 22013 with flag 309001/309001
127.08/63.41	c cleaning 10996 clauses out of 22012 with flag 320001/320001
131.62/65.73	c cleaning 10991 clauses out of 22015 with flag 331000/331000
136.16/68.00	c cleaning 11000 clauses out of 22025 with flag 342001/342001
138.30/69.18	c cleaning 0 clauses out of 100001 with flag 0/100001
140.61/70.41	c cleaning 11005 clauses out of 22025 with flag 353001/353001
145.16/72.70	c cleaning 11001 clauses out of 22019 with flag 364000/364000
149.71/74.93	c cleaning 10986 clauses out of 22018 with flag 375000/375000
154.21/77.23	c cleaning 11000 clauses out of 22032 with flag 386000/386000
158.35/79.37	c cleaning 11009 clauses out of 22033 with flag 397001/397001
158.65/79.60	c cleaning 0 clauses out of 111000 with flag 0/111000
162.78/81.63	c cleaning 11008 clauses out of 22024 with flag 408001/408001
167.32/83.91	c cleaning 11001 clauses out of 22017 with flag 419002/419002
171.82/86.27	c cleaning 10995 clauses out of 22015 with flag 430001/430001
176.56/88.65	c cleaning 10999 clauses out of 22020 with flag 441001/441001
180.29/90.51	c cleaning 0 clauses out of 122001 with flag 0/122001
181.01/90.99	c cleaning 10999 clauses out of 22022 with flag 452002/452002
185.71/93.38	c cleaning 10995 clauses out of 22021 with flag 463000/463000
190.46/95.72	c cleaning 11001 clauses out of 22026 with flag 474000/474000
195.03/98.06	c cleaning 11000 clauses out of 22028 with flag 485003/485003
199.92/100.52	c cleaning 11010 clauses out of 22026 with flag 496001/496001
201.62/101.48	c cleaning 0 clauses out of 133000 with flag 0/133000
204.75/103.03	c cleaning 10994 clauses out of 22016 with flag 507001/507001
209.47/105.43	c cleaning 11000 clauses out of 22021 with flag 518000/518000
213.99/107.75	c cleaning 10997 clauses out of 22023 with flag 529002/529002
218.88/110.22	c cleaning 10999 clauses out of 22026 with flag 540002/540002
223.04/112.36	c cleaning 0 clauses out of 144000 with flag 0/144000
223.72/112.76	c cleaning 11001 clauses out of 22025 with flag 551000/551000
228.44/115.17	c cleaning 11003 clauses out of 22024 with flag 562000/562000
233.33/117.66	c cleaning 11008 clauses out of 22022 with flag 573001/573001
238.25/120.14	c cleaning 10987 clauses out of 22015 with flag 584002/584002
242.57/122.34	c cleaning 11009 clauses out of 22026 with flag 595000/595000
245.88/124.03	c cleaning 0 clauses out of 155000 with flag 0/155000
246.96/124.70	c cleaning 10996 clauses out of 22018 with flag 606001/606001
251.68/127.01	c cleaning 11002 clauses out of 22021 with flag 617000/617000
256.19/129.40	c cleaning 10997 clauses out of 22020 with flag 628001/628001
261.11/131.84	c cleaning 10995 clauses out of 22022 with flag 639000/639000
265.80/134.27	c cleaning 11010 clauses out of 22027 with flag 650000/650000
269.30/136.07	c cleaning 0 clauses out of 166000 with flag 0/166000
270.81/136.87	c cleaning 11003 clauses out of 22021 with flag 661004/661004
275.52/139.30	c cleaning 10994 clauses out of 22014 with flag 672000/672000
280.20/141.69	c cleaning 10998 clauses out of 22020 with flag 683000/683000
285.13/144.14	c cleaning 11001 clauses out of 22023 with flag 694001/694001
289.82/146.54	c cleaning 11004 clauses out of 22022 with flag 705001/705001
294.53/148.95	c cleaning 10998 clauses out of 22020 with flag 716003/716003
295.60/149.52	c cleaning 0 clauses out of 177000 with flag 0/177000
299.30/151.47	c cleaning 11003 clauses out of 22020 with flag 727001/727001
304.21/153.97	c cleaning 10984 clauses out of 22018 with flag 738002/738002
309.13/156.43	c cleaning 11010 clauses out of 22035 with flag 749003/749003
314.00/158.94	c cleaning 10996 clauses out of 22022 with flag 760000/760000
318.70/161.34	c cleaning 10999 clauses out of 22027 with flag 771001/771001
322.81/163.41	c cleaning 0 clauses out of 188002 with flag 0/188002
323.50/163.91	c cleaning 10994 clauses out of 22028 with flag 782001/782001
328.36/166.32	c cleaning 11000 clauses out of 22033 with flag 793000/793000
333.07/168.76	c cleaning 11006 clauses out of 22034 with flag 804001/804001
337.77/171.17	c cleaning 11007 clauses out of 22027 with flag 815000/815000
342.47/173.57	c cleaning 11002 clauses out of 22021 with flag 826001/826001
347.35/176.08	c cleaning 10997 clauses out of 22023 with flag 837005/837005
349.23/177.07	c cleaning 0 clauses out of 199001 with flag 0/199001
352.12/178.56	c cleaning 11001 clauses out of 22023 with flag 848002/848002
357.02/181.04	c cleaning 11002 clauses out of 22022 with flag 859002/859002
361.88/183.52	c cleaning 10999 clauses out of 22019 with flag 870001/870001
366.60/185.96	c cleaning 10990 clauses out of 22019 with flag 881000/881000
370.89/188.17	c cleaning 11007 clauses out of 22030 with flag 892001/892001
375.41/190.44	c cleaning 11003 clauses out of 22024 with flag 903002/903002
377.02/191.32	c cleaning 0 clauses out of 210003 with flag 0/210003
380.12/192.93	c cleaning 11003 clauses out of 22021 with flag 914002/914002
384.41/195.17	c cleaning 10997 clauses out of 22016 with flag 925000/925000
389.31/197.61	c cleaning 10996 clauses out of 22020 with flag 936001/936001
393.76/199.95	c cleaning 11002 clauses out of 22025 with flag 947002/947002
398.67/202.42	c cleaning 11001 clauses out of 22021 with flag 958000/958000
403.35/204.89	c cleaning 10995 clauses out of 22020 with flag 969000/969000
405.27/205.85	c cleaning 0 clauses out of 221001 with flag 0/221001
408.28/207.46	c cleaning 11003 clauses out of 22026 with flag 980001/980001
412.97/209.88	c cleaning 10991 clauses out of 22022 with flag 991000/991000
417.66/212.31	c cleaning 11003 clauses out of 22031 with flag 1002000/1002000
422.74/214.80	c cleaning 11002 clauses out of 22029 with flag 1013001/1013001
427.59/217.37	c cleaning 11002 clauses out of 22027 with flag 1024001/1024001
432.47/219.86	c cleaning 11001 clauses out of 22025 with flag 1035001/1035001
435.36/221.38	c cleaning 0 clauses out of 232001 with flag 0/232001
437.44/222.45	c cleaning 11001 clauses out of 22023 with flag 1046000/1046000
442.08/224.89	c cleaning 10999 clauses out of 22023 with flag 1057001/1057001
446.96/227.39	c cleaning 11005 clauses out of 22025 with flag 1068002/1068002
451.86/229.88	c cleaning 10992 clauses out of 22019 with flag 1079001/1079001
456.58/232.27	c cleaning 11011 clauses out of 22032 with flag 1090006/1090006
461.38/234.70	c cleaning 10996 clauses out of 22016 with flag 1101001/1101001
464.46/236.35	c cleaning 0 clauses out of 243001 with flag 0/243001
466.14/237.25	c cleaning 10995 clauses out of 22021 with flag 1112002/1112002
471.02/239.72	c cleaning 11002 clauses out of 22025 with flag 1123001/1123001
475.69/242.18	c cleaning 11001 clauses out of 22022 with flag 1134000/1134000
480.53/244.64	c cleaning 10997 clauses out of 22022 with flag 1145001/1145001
485.21/247.09	c cleaning 11001 clauses out of 22025 with flag 1156001/1156001
490.09/249.56	c cleaning 10995 clauses out of 22023 with flag 1167000/1167000
494.74/252.01	c cleaning 0 clauses out of 254001 with flag 0/254001
495.39/252.32	c cleaning 11001 clauses out of 22028 with flag 1178000/1178000
500.27/254.85	c cleaning 11005 clauses out of 22027 with flag 1189000/1189000
505.15/257.40	c cleaning 10996 clauses out of 22022 with flag 1200000/1200000
510.17/260.00	c cleaning 10996 clauses out of 22026 with flag 1211000/1211000
515.25/262.60	c cleaning 11006 clauses out of 22031 with flag 1222001/1222001
520.13/265.04	c cleaning 10993 clauses out of 22024 with flag 1233000/1233000
525.00/267.51	c cleaning 10994 clauses out of 22031 with flag 1244000/1244000
530.02/270.11	c cleaning 10996 clauses out of 22037 with flag 1255000/1255000
530.69/270.60	c cleaning 0 clauses out of 265000 with flag 0/265000
534.96/272.79	c cleaning 11006 clauses out of 22043 with flag 1266002/1266002
540.04/275.31	c cleaning 11002 clauses out of 22035 with flag 1277000/1277000
544.86/277.88	c cleaning 10998 clauses out of 22033 with flag 1288000/1288000
549.94/280.41	c cleaning 11002 clauses out of 22038 with flag 1299003/1299003
554.81/282.96	c cleaning 10998 clauses out of 22033 with flag 1310000/1310000
559.90/285.52	c cleaning 11005 clauses out of 22036 with flag 1321001/1321001
564.31/287.82	c cleaning 0 clauses out of 276001 with flag 0/276001
564.58/288.03	c cleaning 11003 clauses out of 22031 with flag 1332001/1332001
569.27/290.43	c cleaning 10996 clauses out of 22027 with flag 1343000/1343000
574.12/292.93	c cleaning 11006 clauses out of 22031 with flag 1354000/1354000
578.94/295.48	c cleaning 11006 clauses out of 22025 with flag 1365000/1365000
584.01/298.00	c cleaning 10998 clauses out of 22021 with flag 1376002/1376002
588.72/300.48	c cleaning 10999 clauses out of 22022 with flag 1387001/1387001
593.75/303.02	c cleaning 10991 clauses out of 22022 with flag 1398000/1398000
598.56/305.58	c cleaning 11000 clauses out of 22032 with flag 1409001/1409001
599.83/306.26	c cleaning 0 clauses out of 287000 with flag 0/287000
603.31/308.09	c cleaning 11011 clauses out of 22033 with flag 1420002/1420002
608.16/310.52	c cleaning 10995 clauses out of 22020 with flag 1431000/1431000
613.17/313.11	c cleaning 10999 clauses out of 22025 with flag 1442000/1442000
617.84/315.56	c cleaning 11002 clauses out of 22028 with flag 1453002/1453002
622.30/317.91	c cleaning 11004 clauses out of 22025 with flag 1464001/1464001
627.17/320.34	c cleaning 10999 clauses out of 22020 with flag 1475000/1475000
632.17/322.91	c cleaning 10997 clauses out of 22021 with flag 1486000/1486000
632.64/323.20	c cleaning 0 clauses out of 298002 with flag 0/298002
637.10/325.55	c cleaning 11001 clauses out of 22025 with flag 1497001/1497001
642.16/328.14	c cleaning 11009 clauses out of 22023 with flag 1508000/1508000
647.16/330.73	c cleaning 10993 clauses out of 22014 with flag 1519000/1519000
651.82/333.15	c cleaning 10997 clauses out of 22022 with flag 1530001/1530001
656.51/335.61	c cleaning 10996 clauses out of 22024 with flag 1541000/1541000
661.36/338.08	c cleaning 11003 clauses out of 22028 with flag 1552000/1552000
666.15/340.59	c cleaning 11005 clauses out of 22029 with flag 1563004/1563004
670.41/342.78	c cleaning 0 clauses out of 309000 with flag 0/309000
671.28/343.27	c cleaning 11002 clauses out of 22021 with flag 1574001/1574001
676.12/345.79	c cleaning 10994 clauses out of 22019 with flag 1585001/1585001
680.91/348.28	c cleaning 11001 clauses out of 22024 with flag 1596000/1596000
685.77/350.76	c cleaning 11004 clauses out of 22025 with flag 1607002/1607002
690.45/353.18	c cleaning 10996 clauses out of 22019 with flag 1618000/1618000
695.49/355.70	c cleaning 11001 clauses out of 22024 with flag 1629001/1629001
700.48/358.39	c cleaning 10997 clauses out of 22022 with flag 1640000/1640000
705.58/360.98	c cleaning 11000 clauses out of 22025 with flag 1651000/1651000
708.60/362.55	c cleaning 0 clauses out of 320000 with flag 0/320000
710.65/363.64	c cleaning 10992 clauses out of 22025 with flag 1662000/1662000
715.63/366.24	c cleaning 11005 clauses out of 22034 with flag 1673001/1673001
720.68/368.81	c cleaning 11002 clauses out of 22029 with flag 1684001/1684001
725.54/371.34	c cleaning 10996 clauses out of 22029 with flag 1695003/1695003
730.39/373.86	c cleaning 11001 clauses out of 22032 with flag 1706002/1706002
735.58/376.51	c cleaning 11004 clauses out of 22033 with flag 1717004/1717004
740.43/379.05	c cleaning 10999 clauses out of 22027 with flag 1728002/1728002
743.50/380.69	c cleaning 0 clauses out of 331001 with flag 0/331001
745.77/381.82	c cleaning 10996 clauses out of 22027 with flag 1739001/1739001
750.72/384.47	c cleaning 10999 clauses out of 22030 with flag 1750000/1750000
755.77/387.05	c cleaning 11009 clauses out of 22033 with flag 1761002/1761002
760.66/389.53	c cleaning 11007 clauses out of 22029 with flag 1772007/1772007
765.47/392.05	c cleaning 10998 clauses out of 22017 with flag 1783002/1783002
770.45/394.64	c cleaning 11000 clauses out of 22021 with flag 1794004/1794004
775.53/397.22	c cleaning 10997 clauses out of 22017 with flag 1805000/1805000
780.14/399.69	c cleaning 0 clauses out of 342000 with flag 0/342000
780.58/399.92	c cleaning 10987 clauses out of 22020 with flag 1816000/1816000
785.56/402.55	c cleaning 11008 clauses out of 22034 with flag 1827001/1827001
790.40/405.04	c cleaning 11001 clauses out of 22026 with flag 1838001/1838001
795.25/407.54	c cleaning 10991 clauses out of 22024 with flag 1849000/1849000
800.10/410.07	c cleaning 11003 clauses out of 22034 with flag 1860001/1860001
805.10/412.64	c cleaning 10998 clauses out of 22032 with flag 1871002/1871002
809.91/415.17	c cleaning 11009 clauses out of 22034 with flag 1882002/1882002
815.15/417.80	c cleaning 10999 clauses out of 22025 with flag 1893002/1893002
819.20/419.96	c cleaning 0 clauses out of 353000 with flag 0/353000
820.17/420.60	c cleaning 11002 clauses out of 22027 with flag 1904003/1904003
825.21/423.12	c cleaning 11001 clauses out of 22022 with flag 1915000/1915000
830.05/425.69	c cleaning 10999 clauses out of 22023 with flag 1926002/1926002
835.09/428.28	c cleaning 10999 clauses out of 22023 with flag 1937001/1937001
840.06/430.85	c cleaning 10999 clauses out of 22024 with flag 1948001/1948001
844.90/433.34	c cleaning 10992 clauses out of 22024 with flag 1959000/1959000
849.75/435.87	c cleaning 10998 clauses out of 22034 with flag 1970002/1970002
854.79/438.43	c cleaning 10997 clauses out of 22035 with flag 1981001/1981001
857.15/439.71	c cleaning 0 clauses out of 364000 with flag 0/364000
860.03/441.27	c cleaning 11009 clauses out of 22037 with flag 1992000/1992000
864.63/443.68	c cleaning 11011 clauses out of 22028 with flag 2003000/2003000
869.66/446.21	c cleaning 11004 clauses out of 22019 with flag 2014002/2014002
874.42/448.78	c cleaning 10999 clauses out of 22014 with flag 2025001/2025001
879.25/451.28	c cleaning 10996 clauses out of 22014 with flag 2036000/2036000
884.29/453.87	c cleaning 11001 clauses out of 22018 with flag 2047000/2047000
889.13/456.38	c cleaning 10993 clauses out of 22017 with flag 2058000/2058000
894.29/459.01	c cleaning 10993 clauses out of 22024 with flag 2069000/2069000
896.53/460.22	c cleaning 0 clauses out of 375000 with flag 0/375000
899.36/461.74	c cleaning 10999 clauses out of 22031 with flag 2080000/2080000
904.43/464.33	c cleaning 11006 clauses out of 22032 with flag 2091000/2091000
909.35/466.99	c cleaning 10995 clauses out of 22026 with flag 2102000/2102000
914.58/469.61	c cleaning 11003 clauses out of 22032 with flag 2113001/2113001
919.41/472.15	c cleaning 11003 clauses out of 22028 with flag 2124000/2124000
924.45/474.74	c cleaning 11005 clauses out of 22025 with flag 2135000/2135000
929.61/477.42	c cleaning 11004 clauses out of 22020 with flag 2146000/2146000
934.62/480.03	c cleaning 10996 clauses out of 22016 with flag 2157000/2157000
936.85/481.25	c cleaning 0 clauses out of 386003 with flag 0/386003
939.67/482.78	c cleaning 10998 clauses out of 22020 with flag 2168000/2168000
944.83/485.46	c cleaning 10998 clauses out of 22022 with flag 2179000/2179000
949.86/488.01	c cleaning 10996 clauses out of 22024 with flag 2190000/2190000
954.91/490.67	c cleaning 11007 clauses out of 22029 with flag 2201001/2201001
960.12/493.32	c cleaning 10991 clauses out of 22021 with flag 2212000/2212000
965.26/496.09	c cleaning 11001 clauses out of 22031 with flag 2223001/2223001
970.48/498.72	c cleaning 10998 clauses out of 22032 with flag 2234003/2234003
975.51/501.37	c cleaning 10991 clauses out of 22031 with flag 2245000/2245000
980.75/504.01	c cleaning 11013 clauses out of 22044 with flag 2256004/2256004
985.90/506.75	c cleaning 10990 clauses out of 22028 with flag 2267001/2267001
986.32/507.04	c cleaning 0 clauses out of 397001 with flag 0/397001
991.34/509.61	c cleaning 11008 clauses out of 22037 with flag 2278000/2278000
996.17/512.15	c cleaning 11005 clauses out of 22029 with flag 2289000/2289000
1001.11/514.81	c cleaning 11002 clauses out of 22024 with flag 2300000/2300000
1006.13/517.39	c cleaning 11002 clauses out of 22022 with flag 2311000/2311000
1011.35/520.05	c cleaning 10996 clauses out of 22020 with flag 2322000/2322000
1016.41/522.68	c cleaning 10999 clauses out of 22025 with flag 2333001/2333001
1021.71/525.42	c cleaning 10999 clauses out of 22025 with flag 2344000/2344000
1026.53/528.01	c cleaning 11003 clauses out of 22027 with flag 2355001/2355001
1031.75/530.60	c cleaning 11005 clauses out of 22025 with flag 2366002/2366002
1033.97/531.82	c cleaning 0 clauses out of 408001 with flag 0/408001
1036.91/533.48	c cleaning 10998 clauses out of 22019 with flag 2377001/2377001
1041.93/536.03	c cleaning 10993 clauses out of 22023 with flag 2388003/2388003
1047.15/538.72	c cleaning 11002 clauses out of 22027 with flag 2399000/2399000
1052.21/541.32	c cleaning 11003 clauses out of 22025 with flag 2410000/2410000
1057.31/544.06	c cleaning 10993 clauses out of 22022 with flag 2421000/2421000
1062.33/546.65	c cleaning 11001 clauses out of 22030 with flag 2432001/2432001
1067.35/549.26	c cleaning 11006 clauses out of 22031 with flag 2443003/2443003
1072.56/551.94	c cleaning 10999 clauses out of 22022 with flag 2454000/2454000
1077.70/554.64	c cleaning 10986 clauses out of 22023 with flag 2465000/2465000
1079.91/555.83	c cleaning 0 clauses out of 419003 with flag 0/419003
1082.92/557.47	c cleaning 11008 clauses out of 22039 with flag 2476002/2476002
1088.13/560.12	c cleaning 11002 clauses out of 22029 with flag 2487000/2487000
1093.46/562.90	c cleaning 11002 clauses out of 22028 with flag 2498001/2498001
1098.52/565.53	c cleaning 11001 clauses out of 22025 with flag 2509000/2509000
1103.50/568.13	c cleaning 10994 clauses out of 22026 with flag 2520002/2520002
1108.51/570.74	c cleaning 10990 clauses out of 22030 with flag 2531000/2531000
1113.64/573.44	c cleaning 11008 clauses out of 22041 with flag 2542001/2542001
1118.85/576.15	c cleaning 10996 clauses out of 22032 with flag 2553000/2553000
1124.07/578.82	c cleaning 11006 clauses out of 22044 with flag 2564008/2564008
1125.28/579.59	c cleaning 0 clauses out of 430000 with flag 0/430000
1129.40/581.77	c cleaning 11004 clauses out of 22032 with flag 2575002/2575002
1134.61/584.49	c cleaning 10998 clauses out of 22027 with flag 2586001/2586001
1139.82/587.15	c cleaning 10999 clauses out of 22029 with flag 2597001/2597001
1145.03/589.80	c cleaning 10994 clauses out of 22029 with flag 2608000/2608000
1150.14/592.59	c cleaning 11007 clauses out of 22035 with flag 2619000/2619000
1155.55/595.33	c cleaning 11001 clauses out of 22028 with flag 2630000/2630000
1160.56/597.96	c cleaning 10995 clauses out of 22027 with flag 2641000/2641000
1165.57/600.61	c cleaning 11011 clauses out of 22034 with flag 2652002/2652002
1170.12/602.96	c cleaning 0 clauses out of 441000 with flag 0/441000
1170.70/603.39	c cleaning 10997 clauses out of 22022 with flag 2663001/2663001
1175.70/605.98	c cleaning 11000 clauses out of 22024 with flag 2674000/2674000
1180.72/608.53	c cleaning 11001 clauses out of 22026 with flag 2685002/2685002
1185.64/611.17	c cleaning 10995 clauses out of 22023 with flag 2696000/2696000
1190.65/613.77	c cleaning 11007 clauses out of 22028 with flag 2707000/2707000
1195.65/616.37	c cleaning 10998 clauses out of 22021 with flag 2718000/2718000
1200.66/618.95	c cleaning 11007 clauses out of 22024 with flag 2729001/2729001
1205.81/621.69	c cleaning 10994 clauses out of 22016 with flag 2740000/2740000
1210.78/624.27	c cleaning 10997 clauses out of 22022 with flag 2751000/2751000
1215.78/626.86	c cleaning 11001 clauses out of 22025 with flag 2762000/2762000
1217.78/627.95	c cleaning 0 clauses out of 452000 with flag 0/452000
1221.09/629.74	c cleaning 10995 clauses out of 22024 with flag 2773000/2773000
1225.89/632.30	c cleaning 11008 clauses out of 22030 with flag 2784001/2784001
1230.94/634.87	c cleaning 10995 clauses out of 22021 with flag 2795000/2795000
1235.90/637.44	c cleaning 10999 clauses out of 22028 with flag 2806002/2806002
1241.01/640.14	c cleaning 10999 clauses out of 22027 with flag 2817000/2817000
1246.01/642.75	c cleaning 11010 clauses out of 22029 with flag 2828001/2828001
1251.21/645.41	c cleaning 10998 clauses out of 22019 with flag 2839001/2839001
1256.24/648.08	c cleaning 10999 clauses out of 22020 with flag 2850000/2850000
1261.31/650.73	c cleaning 11002 clauses out of 22022 with flag 2861001/2861001
1264.71/652.55	c cleaning 0 clauses out of 463000 with flag 0/463000
1266.71/653.60	c cleaning 11000 clauses out of 22022 with flag 2872003/2872003
1271.70/656.22	c cleaning 11004 clauses out of 22020 with flag 2883001/2883001
1276.83/658.93	c cleaning 10996 clauses out of 22016 with flag 2894001/2894001
1281.61/661.49	c cleaning 10987 clauses out of 22022 with flag 2905003/2905003
1287.00/664.20	c cleaning 11004 clauses out of 22033 with flag 2916001/2916001
1291.98/666.84	c cleaning 11001 clauses out of 22028 with flag 2927000/2927000
1297.09/669.56	c cleaning 11002 clauses out of 22029 with flag 2938002/2938002
1302.32/672.23	c cleaning 10999 clauses out of 22028 with flag 2949003/2949003
1307.48/674.90	c cleaning 10994 clauses out of 22027 with flag 2960001/2960001
1311.09/676.86	c cleaning 0 clauses out of 474001 with flag 0/474001
1312.99/677.93	c cleaning 11008 clauses out of 22032 with flag 2971000/2971000
1318.18/680.62	c cleaning 10997 clauses out of 22024 with flag 2982000/2982000
1322.78/683.07	c cleaning 10999 clauses out of 22027 with flag 2993000/2993000
1327.77/685.63	c cleaning 10999 clauses out of 22028 with flag 3004000/3004000
1332.67/688.28	c cleaning 11004 clauses out of 22033 with flag 3015004/3015004
1337.90/690.97	c cleaning 11002 clauses out of 22027 with flag 3026002/3026002
1342.85/693.56	c cleaning 11009 clauses out of 22027 with flag 3037004/3037004
1348.04/696.20	c cleaning 10997 clauses out of 22015 with flag 3048001/3048001
1353.14/698.97	c cleaning 10998 clauses out of 22018 with flag 3059001/3059001
1358.12/701.57	c cleaning 10991 clauses out of 22019 with flag 3070000/3070000
1359.91/702.57	c cleaning 0 clauses out of 485002 with flag 0/485002
1363.29/704.37	c cleaning 11000 clauses out of 22028 with flag 3081000/3081000
1368.59/707.11	c cleaning 11005 clauses out of 22028 with flag 3092000/3092000
1373.58/709.77	c cleaning 11006 clauses out of 22023 with flag 3103000/3103000
1378.57/712.35	c cleaning 11005 clauses out of 22021 with flag 3114004/3114004
1383.36/714.84	c cleaning 10988 clauses out of 22014 with flag 3125002/3125002
1388.44/717.51	c cleaning 10996 clauses out of 22024 with flag 3136000/3136000
1393.43/720.13	c cleaning 11003 clauses out of 22029 with flag 3147001/3147001
1398.21/722.70	c cleaning 11006 clauses out of 22026 with flag 3158001/3158001
1403.59/725.41	c cleaning 10998 clauses out of 22019 with flag 3169000/3169000
1408.90/728.22	c cleaning 11004 clauses out of 22025 with flag 3180004/3180004
1410.67/729.22	c cleaning 0 clauses out of 496001 with flag 0/496001
1413.85/730.98	c cleaning 10991 clauses out of 22018 with flag 3191001/3191001
1419.04/733.61	c cleaning 10995 clauses out of 22026 with flag 3202000/3202000
1424.13/736.38	c cleaning 11007 clauses out of 22031 with flag 3213000/3213000
1429.32/739.02	c cleaning 10997 clauses out of 22024 with flag 3224000/3224000
1434.51/741.73	c cleaning 11000 clauses out of 22027 with flag 3235000/3235000
1439.49/744.38	c cleaning 10989 clauses out of 22030 with flag 3246003/3246003
1444.77/747.16	c cleaning 10997 clauses out of 22038 with flag 3257000/3257000
1449.75/749.77	c cleaning 11008 clauses out of 22044 with flag 3268003/3268003
1454.74/752.40	c cleaning 10997 clauses out of 22033 with flag 3279000/3279000
1458.51/754.31	c cleaning 0 clauses out of 507002 with flag 0/507002
1460.19/755.30	c cleaning 11007 clauses out of 22036 with flag 3290000/3290000
1465.19/757.94	c cleaning 10991 clauses out of 22029 with flag 3301000/3301000
1470.36/760.63	c cleaning 11011 clauses out of 22039 with flag 3312001/3312001
1475.33/763.29	c cleaning 11007 clauses out of 22027 with flag 3323000/3323000
1480.62/766.03	c cleaning 10999 clauses out of 22021 with flag 3334001/3334001
1485.60/768.63	c cleaning 10999 clauses out of 22022 with flag 3345001/3345001
1490.40/771.20	c cleaning 11000 clauses out of 22022 with flag 3356000/3356000
1495.76/773.94	c cleaning 11003 clauses out of 22025 with flag 3367003/3367003
1501.08/776.74	c cleaning 10995 clauses out of 22020 with flag 3378001/3378001
1506.21/779.44	c cleaning 11007 clauses out of 22025 with flag 3389001/3389001
1510.60/781.78	c cleaning 0 clauses out of 518002 with flag 0/518002
1511.77/782.47	c cleaning 11004 clauses out of 22020 with flag 3400003/3400003
1517.04/785.22	c cleaning 10996 clauses out of 22013 with flag 3411000/3411000
1522.02/787.88	c cleaning 10997 clauses out of 22017 with flag 3422000/3422000
1526.99/790.48	c cleaning 11005 clauses out of 22025 with flag 3433005/3433005
1532.41/793.23	c cleaning 10999 clauses out of 22015 with flag 3444000/3444000
1537.64/796.01	c cleaning 10987 clauses out of 22016 with flag 3455000/3455000
1542.64/798.66	c cleaning 11005 clauses out of 22029 with flag 3466000/3466000
1547.79/801.33	c cleaning 10988 clauses out of 22024 with flag 3477000/3477000
1552.77/803.97	c cleaning 11005 clauses out of 22038 with flag 3488002/3488002
1558.23/806.80	c cleaning 11004 clauses out of 22034 with flag 3499003/3499003
1563.21/809.43	c cleaning 11006 clauses out of 22029 with flag 3510002/3510002
1567.37/811.62	c cleaning 0 clauses out of 529000 with flag 0/529000
1568.56/812.34	c cleaning 11005 clauses out of 22021 with flag 3521000/3521000
1573.62/815.09	c cleaning 11000 clauses out of 22019 with flag 3532003/3532003
1578.79/817.74	c cleaning 10991 clauses out of 22016 with flag 3543000/3543000
1583.76/820.38	c cleaning 11002 clauses out of 22025 with flag 3554000/3554000
1588.94/823.00	c cleaning 10996 clauses out of 22023 with flag 3565000/3565000
1594.01/825.74	c cleaning 10993 clauses out of 22028 with flag 3576001/3576001
1598.99/828.41	c cleaning 11000 clauses out of 22034 with flag 3587000/3587000
1604.15/831.07	c cleaning 11004 clauses out of 22035 with flag 3598001/3598001
1609.75/833.94	c cleaning 11006 clauses out of 22032 with flag 3609002/3609002
1614.98/836.74	c cleaning 11002 clauses out of 22028 with flag 3620004/3620004
1619.97/839.38	c cleaning 0 clauses out of 540001 with flag 0/540001
1620.51/839.72	c cleaning 10994 clauses out of 22022 with flag 3631000/3631000
1625.68/842.43	c cleaning 10995 clauses out of 22029 with flag 3642001/3642001
1630.94/845.22	c cleaning 11005 clauses out of 22033 with flag 3653000/3653000
1635.91/847.89	c cleaning 11000 clauses out of 22029 with flag 3664001/3664001
1641.08/850.54	c cleaning 10998 clauses out of 22030 with flag 3675002/3675002
1646.24/853.21	c cleaning 11001 clauses out of 22030 with flag 3686000/3686000
1651.35/855.97	c cleaning 10997 clauses out of 22030 with flag 3697001/3697001
1656.47/858.62	c cleaning 11002 clauses out of 22032 with flag 3708000/3708000
1661.66/861.38	c cleaning 11002 clauses out of 22032 with flag 3719002/3719002
1667.00/864.11	c cleaning 10987 clauses out of 22028 with flag 3730000/3730000
1672.08/866.83	c cleaning 11009 clauses out of 22041 with flag 3741000/3741000
1674.42/868.18	c cleaning 0 clauses out of 551001 with flag 0/551001
1677.38/869.79	c cleaning 10999 clauses out of 22034 with flag 3752002/3752002
1682.74/872.51	c cleaning 11003 clauses out of 22035 with flag 3763002/3763002
1687.80/875.27	c cleaning 10999 clauses out of 22031 with flag 3774001/3774001
1693.16/878.00	c cleaning 10992 clauses out of 22036 with flag 3785005/3785005
1698.33/880.75	c cleaning 11001 clauses out of 22040 with flag 3796001/3796001
1703.53/883.46	c cleaning 11010 clauses out of 22040 with flag 3807002/3807002
1708.75/886.24	c cleaning 11006 clauses out of 22029 with flag 3818001/3818001
1713.72/888.85	c cleaning 10992 clauses out of 22023 with flag 3829001/3829001
1718.87/891.50	c cleaning 11003 clauses out of 22031 with flag 3840001/3840001
1724.03/894.24	c cleaning 10994 clauses out of 22028 with flag 3851001/3851001
1729.47/897.10	c cleaning 11001 clauses out of 22034 with flag 3862001/3862001
1730.25/897.65	c cleaning 0 clauses out of 562001 with flag 0/562001
1734.78/900.05	c cleaning 10997 clauses out of 22032 with flag 3873000/3873000
1739.94/902.75	c cleaning 11005 clauses out of 22038 with flag 3884003/3884003
1745.19/905.53	c cleaning 10990 clauses out of 22031 with flag 3895001/3895001
1750.35/908.26	c cleaning 11001 clauses out of 22040 with flag 3906000/3906000
1755.71/911.00	c cleaning 10995 clauses out of 22039 with flag 3917000/3917000
1760.87/913.70	c cleaning 10998 clauses out of 22044 with flag 3928000/3928000
1765.95/916.44	c cleaning 10996 clauses out of 22048 with flag 3939002/3939002
1771.27/919.21	c cleaning 11012 clauses out of 22052 with flag 3950002/3950002
1776.25/921.88	c cleaning 11010 clauses out of 22038 with flag 3961000/3961000
1781.59/924.61	c cleaning 10996 clauses out of 22029 with flag 3972001/3972001
1786.87/927.42	c cleaning 10992 clauses out of 22032 with flag 3983000/3983000
1788.82/928.58	c cleaning 0 clauses out of 573002 with flag 0/573002
1792.14/930.34	c cleaning 11009 clauses out of 22041 with flag 3994001/3994001
1797.29/933.05	c cleaning 11000 clauses out of 22032 with flag 4005001/4005001
1800.15/934.62	c starts		: 253
1800.15/934.62	c conflicts		: 4011109
1800.15/934.62	c decisions		: 5226887
1800.15/934.62	c propagations		: 1533427419
1800.15/934.62	c inspects		: 5871276230
1800.15/934.62	c shortcuts		: 0
1800.15/934.62	c learnt literals	: 0
1800.15/934.62	c learnt binary clauses	: 0
1800.15/934.62	c learnt ternary clauses	: 81
1800.15/934.62	c learnt constraints	: 4011109
1800.15/934.62	c ignored constraints	: 0
1800.15/934.62	c root simplifications	: 0
1800.15/934.62	c removed literals (reason simplification)	: 51412419
1800.15/934.62	c reason swapping (by a shorter reason)	: 0
1800.15/934.62	c Calls to reduceDB	: 366
1800.15/934.62	c number of reductions to clauses (during analyze)	: 0
1800.15/934.62	c number of learned constraints concerned by reduction	: 0
1800.15/934.62	c number of learning phase by resolution	: 0
1800.15/934.62	c number of learning phase by cutting planes	: 0
1800.15/934.62	c speed (assignments/second)	: 1641536.2311083325
1800.15/934.62	c non guided choices	0
1800.15/934.63	c learnt constraints type 
1800.15/934.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17168
1800.15/934.63	c constraints type 
1800.15/934.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8500
1800.15/934.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2000
1800.15/934.63	c constraints type 
1800.15/934.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2000
1800.15/934.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8500
1800.15/934.63	s UNKNOWN
1800.15/934.63	c Total wall clock time (in seconds): 934.471

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-3479255-1307444787/watcher-3479255-1307444787 -o /tmp/evaluation-result-3479255-1307444787/solver-3479255-1307444787 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479255-1307444787.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: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/24613/stat : 24613 (java) R 24611 24613 24554 0 -1 4202496 228 0 0 0 0 0 0 0 23 0 1 0 934709417 9318400 165 33554432000 1073741824 1073778376 140736989824576 18446744073709551615 251367544832 0 2147483391 4096 0 0 0 0 17 1 0 0 0
/proc/24613/statm: 2275 165 125 9 0 67 0

[startup+0.105115 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10467616 CPUtime=0.05 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 11498 0 1 0 4 1 0 0 23 0 13 0 934709417 10718838784 11195 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2616904 11195 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10467616

[startup+0.201091 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10539688 CPUtime=0.17 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 13531 0 1 0 16 1 0 0 23 0 18 0 934709417 10792640512 13186 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2634922 13186 2158 9 0 2625656 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10539688

[startup+0.301067 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10539688 CPUtime=0.38 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 15466 0 1 0 37 1 0 0 23 0 18 0 934709417 10792640512 14722 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2634922 14722 2195 9 0 2625656 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10539688

[startup+0.700939 s]
/proc/loadavg: 0.00 0.00 0.00 8/519 24613
/proc/meminfo: memFree=26270004/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10553284 CPUtime=1.68 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 31805 0 1 0 165 3 0 0 23 0 22 0 934709417 10806562816 27049 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638321 27049 2237 9 0 2629055 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10553284

[startup+1.50084 s]
/proc/loadavg: 0.00 0.00 0.00 7/541 24635
/proc/meminfo: memFree=25903160/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10553284 CPUtime=3.82 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 64093 0 1 0 375 7 0 0 23 0 22 0 934709417 10806562816 59337 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638321 59341 2243 9 0 2629055 0
[pid=24613/tid=24615] ppid=24611 vsize=10553284 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18588 0 1 0 40 2 0 0 15 0 22 0 934709420 10806562816 59341 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59341 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709423 10806562816 59342 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 934709424 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 934709425 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709425 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 59343 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553284 CPUtime=0.66 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 5634 0 0 0 66 0 0 0 15 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553284 CPUtime=0.7 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 5952 0 0 0 70 0 0 0 23 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709428 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10553284 CPUtime=1.01 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 543 0 0 0 101 0 0 0 25 0 22 0 934709466 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505793457 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10553284 CPUtime=1 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 32215 0 0 0 97 3 0 0 20 0 22 0 934709466 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505988949 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10806562816 59344 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10806562816 59352 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10553284

[startup+3.10155 s]
/proc/loadavg: 0.00 0.00 0.00 4/541 24635
/proc/meminfo: memFree=25561788/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10553284 CPUtime=7.07 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 79114 0 1 0 698 9 0 0 23 0 22 0 934709417 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638321 74348 2267 9 0 2629055 0
[pid=24613/tid=24615] ppid=24611 vsize=10553284 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18588 0 1 0 40 2 0 0 15 0 22 0 934709420 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 482 0 0 0 0 0 0 0 18 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 534 0 0 0 0 0 0 0 18 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 381 0 0 0 0 0 0 0 16 0 22 0 934709423 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553284 CPUtime=0.04 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 1676 0 0 0 4 0 0 0 16 0 22 0 934709424 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553284 CPUtime=0.71 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 5646 0 0 0 71 0 0 0 15 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553284 CPUtime=0.74 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 5962 0 0 0 74 0 0 0 15 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709428 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10553284 CPUtime=2.55 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 604 0 0 0 255 0 0 0 25 0 22 0 934709466 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876032 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10553284 CPUtime=2.54 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 43447 0 0 0 250 4 0 0 24 0 22 0 934709466 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505930096 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10553284 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10806562816 74348 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 10553284

[startup+6.30095 s]
/proc/loadavg: 0.48 0.10 0.03 5/541 24635
/proc/meminfo: memFree=25269776/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=14.55 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 121256 0 1 0 1441 14 0 0 23 0 22 0 934709417 10808373248 110406 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 110409 2267 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18589 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 110410 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.01 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 485 0 0 0 1 0 0 0 15 0 22 0 934709423 10808373248 110411 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 541 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110413 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.01 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 411 0 0 0 1 0 0 0 15 0 22 0 934709423 10808373248 110414 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110415 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110416 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 934709423 10808373248 110418 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110419 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 22 0 934709423 10808373248 110420 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=0.12 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 2286 0 0 0 12 0 0 0 15 0 22 0 934709424 10808373248 110422 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 110423 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 110424 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 110424 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 110425 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0

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

[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=758.64 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106623 0 0 0 75852 12 0 0 25 0 22 0 934709466 10808373248 204718 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 204718 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 204718 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1587.54
Current children cumulated vsize (KiB) 10555052

[startup+882.32 s]
/proc/loadavg: 4.04 3.70 2.38 5/541 24659
/proc/meminfo: memFree=23962420/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=1701.33 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 218901 0 1 0 170097 36 0 0 23 0 22 0 934709417 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 207545 2268 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18628 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 654 0 0 0 80 0 0 0 16 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0.84 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 587 0 0 0 84 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.83 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 471 0 0 0 83 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 42 0 0 0 80 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0.85 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 46 0 0 0 85 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0.78 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 139 0 0 0 78 0 0 0 16 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0.79 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 293 0 0 0 79 0 0 0 15 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0.74 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 526 0 0 0 74 0 0 0 16 0 22 0 934709423 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=67.62 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 70514 0 0 0 6750 12 0 0 15 0 22 0 934709424 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10555052 CPUtime=1.35 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 8605 0 0 0 134 1 0 0 15 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 934709428 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10555052 CPUtime=812.05 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 919 0 0 0 81203 2 0 0 25 0 22 0 934709466 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876356 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=812.05 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106624 0 0 0 81193 12 0 0 25 0 22 0 934709466 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 207545 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1701.33
Current children cumulated vsize (KiB) 10555052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+934.601 s]
/proc/loadavg: 3.91 3.72 2.46 5/541 24719
/proc/meminfo: memFree=24237492/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=1800.15 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 221606 0 1 0 179978 37 0 0 23 0 22 0 934709417 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 210225 2268 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18634 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 654 0 0 0 87 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 587 0 0 0 90 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.88 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 472 0 0 0 88 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0.82 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 42 0 0 0 82 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0.92 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 49 0 0 0 92 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0.84 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 139 0 0 0 84 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 293 0 0 0 87 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 528 0 0 0 80 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=73.55 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 73190 0 0 0 7343 12 0 0 15 0 22 0 934709424 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10555052 CPUtime=1.35 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 8605 0 0 0 134 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 934 0 0 0 85825 2 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876817 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106624 0 0 0 85815 12 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10555052

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

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

[startup+934.601 s]
/proc/loadavg: 3.91 3.72 2.46 5/541 24719
/proc/meminfo: memFree=24237492/32950928 swapFree=34421304/67111528
[pid=24613] ppid=24611 vsize=10555052 CPUtime=1800.15 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 24554 0 -1 4202496 221606 0 1 0 179978 37 0 0 23 0 22 0 934709417 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24613/statm: 2638763 210225 2268 9 0 2629497 0
[pid=24613/tid=24615] ppid=24611 vsize=10555052 CPUtime=0.42 cores=1,3,5,7
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24554 0 -1 4202560 18634 0 1 0 40 2 0 0 15 0 22 0 934709420 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24554 0 -1 4202560 654 0 0 0 87 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10555052 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24554 0 -1 4202560 587 0 0 0 90 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10555052 CPUtime=0.88 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24554 0 -1 4202560 472 0 0 0 88 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10555052 CPUtime=0.82 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24554 0 -1 4202560 42 0 0 0 82 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10555052 CPUtime=0.92 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24554 0 -1 4202560 49 0 0 0 92 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10555052 CPUtime=0.84 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24554 0 -1 4202560 139 0 0 0 84 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10555052 CPUtime=0.87 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 24554 0 -1 4202560 293 0 0 0 87 0 0 0 15 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10555052 CPUtime=0.8 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 24554 0 -1 4202560 528 0 0 0 80 0 0 0 16 0 22 0 934709423 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10555052 CPUtime=73.55 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 24554 0 -1 4202560 73190 0 0 0 7343 12 0 0 15 0 22 0 934709424 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 0 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 24554 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 934709425 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379370417 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10555052 CPUtime=1.27 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 24554 0 -1 4202560 9642 0 0 0 126 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10555052 CPUtime=1.35 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 24554 0 -1 4202560 8605 0 0 0 134 1 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379362713 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 24554 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 934709428 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 5 0 0 0
[pid=24613/tid=24632] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24632/stat : 24632 (java) R 24611 24613 24554 0 -1 4202560 934 0 0 0 85825 2 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505876817 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24613/tid=24633] ppid=24611 vsize=10555052 CPUtime=858.27 cores=1,3,5,7
/proc/24613/task/24633/stat : 24633 (java) R 24611 24613 24554 0 -1 4202560 106624 0 0 0 85815 12 0 0 25 0 22 0 934709466 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 46912505792667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 3 0 0 0
[pid=24613/tid=24635] ppid=24611 vsize=10555052 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24635/stat : 24635 (java) S 24611 24613 24554 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 934709472 10808373248 210225 33554432000 1073741824 1073778376 140736557986736 18446744073709551615 251379363328 0 4 0 16800975 18446604446363562368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10555052

Child status: 143
Real time (s): 934.671
CPU time (s): 1800.26
CPU user time (s): 1799.85
CPU system time (s): 0.409937
CPU usage (%): 192.609
Max. virtual memory (cumulated for all children) (KiB): 10564248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221635
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= 34117
involuntary context switches= 28725

runsolver used 4.78927 second user time and 11.4143 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-07 13:06:27
IDJOB=3479255
IDBENCH=89869
IDSOLVER=1950
FILE ID=node113/3479255-1307444787
RUNJOBID= node113-1307444787-24573
PBS_JOBID= 13520323
Free space on /tmp= 73852 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/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-3479255-1307444787/watcher-3479255-1307444787 -o /tmp/evaluation-result-3479255-1307444787/solver-3479255-1307444787 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479255-1307444787.opb

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=276032317

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26270648 kB
Buffers:        323776 kB
Cached:         948620 kB
SwapCached:      13476 kB
Active:        5555484 kB
Inactive:       796084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26270648 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:            1436 kB
Writeback:           0 kB
AnonPages:     5077764 kB
Mapped:          28508 kB
Slab:           139320 kB
PageTables:     116948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165119768 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= 73848 MiB
End job on node113 at 2011-06-07 13:22:04