Trace number 3454446

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0OPT0 1114.55 566.03

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUMeff6ad715055e79721cc364806b971f0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark554.799
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables2490
Total number of constraints74
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 14388140441600
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 203610440670021
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 78436840243200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 789015556311444
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454446-1307191261.opb
0.10/0.11	c reading problem ... 
0.91/0.40	c ... done. Wall clock time 0.292s.
0.91/0.40	c #vars     2490
0.91/0.40	c #constraints  661
0.91/0.40	c constraints type 
0.91/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 114
0.91/0.40	c constraints type 
0.91/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPb => 114
2.31/0.81	c  And the winner is Resolution
2.36/0.91	c SATISFIABLE
2.36/0.91	c OPTIMIZING...
2.36/0.91	c Got one! Elapsed wall clock time (in seconds):0.802
2.36/0.91	o 0
4.08/1.60	c cleaning 2665 clauses out of 5343 with flag 4001/5359
9.24/4.17	c cleaning 4334 clauses out of 8677 with flag 10000/11358
13.90/6.43	c cleaning 5671 clauses out of 11343 with flag 17000/18358
18.69/8.86	c cleaning 6836 clauses out of 13672 with flag 25000/26358
24.64/11.87	c cleaning 7916 clauses out of 15836 with flag 34000/35358
32.60/15.83	c cleaning 8958 clauses out of 17920 with flag 44000/45358
39.13/19.16	c cleaning 9480 clauses out of 18963 with flag 54001/55359
45.29/22.28	c cleaning 9739 clauses out of 19482 with flag 64000/65358
51.61/25.47	c cleaning 9869 clauses out of 19744 with flag 74001/75359
59.35/29.30	c cleaning 9938 clauses out of 19875 with flag 84001/85359
64.89/32.18	c cleaning 9967 clauses out of 19936 with flag 94000/95358
71.06/35.22	c cleaning 9983 clauses out of 19970 with flag 104001/105359
77.14/38.38	c cleaning 9993 clauses out of 19986 with flag 114000/115358
84.11/41.87	c cleaning 9993 clauses out of 19993 with flag 124000/125358
90.22/44.91	c cleaning 9997 clauses out of 20000 with flag 134000/135358
97.37/48.50	c cleaning 10001 clauses out of 20003 with flag 144000/145358
105.28/52.53	c cleaning 10002 clauses out of 20003 with flag 154001/155359
111.62/55.78	c cleaning 10000 clauses out of 20000 with flag 164000/165358
118.36/59.13	c cleaning 10001 clauses out of 20001 with flag 174001/175359
125.11/62.59	c cleaning 9994 clauses out of 19999 with flag 184000/185358
131.83/66.00	c cleaning 9997 clauses out of 20005 with flag 194000/195358
138.15/69.15	c cleaning 9998 clauses out of 20010 with flag 204002/205360
143.90/72.04	c cleaning 9999 clauses out of 20011 with flag 214001/215359
150.03/75.11	c cleaning 9999 clauses out of 20011 with flag 224000/225358
156.34/78.32	c cleaning 10000 clauses out of 20012 with flag 234000/235358
162.68/81.53	c cleaning 10001 clauses out of 20012 with flag 244000/245358
168.85/84.62	c cleaning 9999 clauses out of 20012 with flag 254001/255359
175.39/87.95	c cleaning 10000 clauses out of 20013 with flag 264001/265359
181.28/90.95	c cleaning 10002 clauses out of 20012 with flag 274000/275358
187.42/94.01	c cleaning 10001 clauses out of 20012 with flag 284002/285360
192.56/96.62	c cleaning 10001 clauses out of 20009 with flag 294000/295358
197.51/99.17	c cleaning 10004 clauses out of 20009 with flag 304001/305359
203.63/102.23	c cleaning 9996 clauses out of 20005 with flag 314001/315359
208.96/104.94	c cleaning 9999 clauses out of 20009 with flag 324001/325359
214.90/107.94	c cleaning 10002 clauses out of 20009 with flag 334000/335358
220.65/110.88	c cleaning 10002 clauses out of 20011 with flag 344004/345362
226.35/113.70	c cleaning 9998 clauses out of 20005 with flag 354000/355358
232.12/116.65	c cleaning 9997 clauses out of 20008 with flag 364001/365359
237.83/119.56	c cleaning 10002 clauses out of 20011 with flag 374001/375359
244.37/122.81	c cleaning 10002 clauses out of 20008 with flag 384000/385358
250.28/125.87	c cleaning 9998 clauses out of 20006 with flag 394000/395358
256.62/129.00	c cleaning 9994 clauses out of 20008 with flag 404000/405358
263.15/132.31	c cleaning 10000 clauses out of 20014 with flag 414000/415358
269.49/135.59	c cleaning 9998 clauses out of 20015 with flag 424001/425359
276.20/138.91	c cleaning 10005 clauses out of 20016 with flag 434000/435358
282.94/142.32	c cleaning 10004 clauses out of 20011 with flag 444000/445358
289.28/145.52	c cleaning 10000 clauses out of 20008 with flag 454001/455359
294.82/148.34	c cleaning 9997 clauses out of 20007 with flag 464000/465358
299.93/150.97	c cleaning 9999 clauses out of 20010 with flag 474000/475358
306.27/154.17	c cleaning 10000 clauses out of 20012 with flag 484001/485359
312.64/157.33	c cleaning 9998 clauses out of 20011 with flag 494000/495358
319.36/160.79	c cleaning 10001 clauses out of 20014 with flag 504001/505359
325.86/164.01	c cleaning 10000 clauses out of 20012 with flag 514000/515358
331.40/166.88	c cleaning 10001 clauses out of 20012 with flag 524000/525358
337.34/169.83	c cleaning 10002 clauses out of 20012 with flag 534001/535359
343.28/172.85	c cleaning 10000 clauses out of 20009 with flag 544000/545358
348.58/175.57	c cleaning 9998 clauses out of 20009 with flag 554000/555358
354.34/178.49	c cleaning 9999 clauses out of 20012 with flag 564001/565359
360.30/181.42	c cleaning 10000 clauses out of 20012 with flag 574000/575358
366.42/184.50	c cleaning 9999 clauses out of 20012 with flag 584000/585358
372.93/187.84	c cleaning 10004 clauses out of 20015 with flag 594002/595360
379.47/191.15	c cleaning 10001 clauses out of 20010 with flag 604001/605359
386.21/194.57	c cleaning 10001 clauses out of 20010 with flag 614002/615360
392.98/197.97	c cleaning 10001 clauses out of 20007 with flag 624000/625358
399.27/201.10	c cleaning 9998 clauses out of 20008 with flag 634002/635360
405.81/204.48	c cleaning 10000 clauses out of 20009 with flag 644001/645359
411.94/207.50	c cleaning 9998 clauses out of 20008 with flag 654000/655358
418.08/210.64	c cleaning 9999 clauses out of 20010 with flag 664000/665358
423.99/213.60	c cleaning 9998 clauses out of 20012 with flag 674001/675359
428.93/216.13	c cleaning 10000 clauses out of 20014 with flag 684001/685359
433.08/218.23	c cleaning 10000 clauses out of 20014 with flag 694001/695359
437.22/220.30	c cleaning 10003 clauses out of 20014 with flag 704001/705359
441.12/222.37	c cleaning 10004 clauses out of 20011 with flag 714001/715359
445.46/224.52	c cleaning 10002 clauses out of 20006 with flag 724000/725358
449.42/226.58	c cleaning 10000 clauses out of 20004 with flag 734000/735358
453.97/228.84	c cleaning 9999 clauses out of 20005 with flag 744001/745359
458.45/231.13	c cleaning 10000 clauses out of 20005 with flag 754000/755358
462.78/233.34	c cleaning 10000 clauses out of 20005 with flag 764000/765358
467.13/235.52	c cleaning 10001 clauses out of 20006 with flag 774001/775359
471.47/237.75	c cleaning 9997 clauses out of 20005 with flag 784001/785359
476.16/240.10	c cleaning 10001 clauses out of 20007 with flag 794000/795358
480.70/242.47	c cleaning 10002 clauses out of 20008 with flag 804002/805360
485.64/244.96	c cleaning 10002 clauses out of 20004 with flag 814000/815358
490.83/247.59	c cleaning 9998 clauses out of 20003 with flag 824001/825359
495.90/250.12	c cleaning 10002 clauses out of 20004 with flag 834000/835358
501.24/252.82	c cleaning 9996 clauses out of 20003 with flag 844001/845359
506.38/255.48	c cleaning 10002 clauses out of 20006 with flag 854000/855358
511.51/258.04	c cleaning 10003 clauses out of 20005 with flag 864001/865359
516.62/260.66	c cleaning 9998 clauses out of 20002 with flag 874001/875359
521.73/263.29	c cleaning 9995 clauses out of 20003 with flag 884000/885358
527.27/266.05	c cleaning 10000 clauses out of 20008 with flag 894000/895358
533.81/269.36	c cleaning 9998 clauses out of 20009 with flag 904001/905359
539.29/272.19	c cleaning 10001 clauses out of 20012 with flag 914002/915360
544.23/274.63	c cleaning 9995 clauses out of 20009 with flag 924000/925358
548.77/276.98	c cleaning 10001 clauses out of 20015 with flag 934001/935359
553.90/279.57	c cleaning 10001 clauses out of 20014 with flag 944001/945359
559.19/282.26	c cleaning 9999 clauses out of 20013 with flag 954001/955359
564.73/285.00	c cleaning 10000 clauses out of 20013 with flag 964000/965358
570.06/287.79	c cleaning 10002 clauses out of 20013 with flag 974000/975358
575.80/290.69	c cleaning 10003 clauses out of 20011 with flag 984000/985358
580.53/293.05	c cleaning 9999 clauses out of 20009 with flag 994001/995359
586.09/295.82	c cleaning 10002 clauses out of 20009 with flag 1004000/1005358
591.40/298.54	c cleaning 9998 clauses out of 20008 with flag 1014001/1015359
596.74/301.22	c cleaning 9997 clauses out of 20009 with flag 1024000/1025358
601.86/303.84	c cleaning 9997 clauses out of 20012 with flag 1034000/1035358
607.00/306.47	c cleaning 10004 clauses out of 20015 with flag 1044000/1045358
612.36/309.15	c cleaning 9998 clauses out of 20011 with flag 1054000/1055358
617.47/311.71	c cleaning 9999 clauses out of 20014 with flag 1064001/1065359
622.76/314.45	c cleaning 10003 clauses out of 20015 with flag 1074001/1075359
627.89/317.06	c cleaning 10001 clauses out of 20012 with flag 1084001/1085359
633.44/319.88	c cleaning 9998 clauses out of 20011 with flag 1094001/1095359
638.78/322.59	c cleaning 9996 clauses out of 20012 with flag 1104000/1105358
643.26/324.85	c cleaning 10005 clauses out of 20019 with flag 1114003/1115361
646.60/326.58	c cleaning 10003 clauses out of 20013 with flag 1124002/1125360
650.33/328.40	c cleaning 9998 clauses out of 20009 with flag 1134001/1135359
655.07/330.82	c cleaning 10000 clauses out of 20010 with flag 1144000/1145358
659.35/333.08	c cleaning 10002 clauses out of 20011 with flag 1154001/1155359
662.90/334.89	c cleaning 9999 clauses out of 20010 with flag 1164002/1165360
666.63/336.70	c cleaning 10005 clauses out of 20010 with flag 1174001/1175359
670.17/338.52	c cleaning 9994 clauses out of 20005 with flag 1184001/1185359
674.65/340.80	c cleaning 9997 clauses out of 20010 with flag 1194000/1195358
678.98/343.02	c cleaning 9999 clauses out of 20014 with flag 1204001/1205359
682.92/345.06	c cleaning 10000 clauses out of 20015 with flag 1214001/1215359
687.46/347.33	c cleaning 9999 clauses out of 20014 with flag 1224000/1225358
691.56/349.49	c cleaning 10000 clauses out of 20016 with flag 1234001/1235359
695.70/351.58	c cleaning 9998 clauses out of 20016 with flag 1244001/1245359
699.83/353.63	c cleaning 10000 clauses out of 20017 with flag 1254000/1255358
704.17/355.82	c cleaning 10001 clauses out of 20018 with flag 1264001/1265359
708.87/358.29	c cleaning 10000 clauses out of 20017 with flag 1274001/1275359
713.60/360.64	c cleaning 9998 clauses out of 20017 with flag 1284001/1285359
718.16/362.93	c cleaning 9998 clauses out of 20019 with flag 1294001/1295359
722.26/365.07	c cleaning 10005 clauses out of 20021 with flag 1304001/1305359
727.00/367.42	c cleaning 10000 clauses out of 20015 with flag 1314000/1315358
731.14/369.53	c cleaning 9996 clauses out of 20015 with flag 1324000/1325358
735.69/371.84	c cleaning 10005 clauses out of 20020 with flag 1334001/1335359
738.79/373.47	c cleaning 10004 clauses out of 20015 with flag 1344001/1345359
741.90/375.10	c cleaning 9992 clauses out of 20010 with flag 1354000/1355358
745.02/376.62	c cleaning 10003 clauses out of 20019 with flag 1364001/1365359
748.16/378.25	c cleaning 9997 clauses out of 20015 with flag 1374000/1375358
751.49/379.94	c cleaning 10005 clauses out of 20019 with flag 1384001/1385359
755.59/382.07	c cleaning 9998 clauses out of 20013 with flag 1394000/1395358
759.35/383.96	c cleaning 9997 clauses out of 20015 with flag 1404000/1405358
763.06/385.83	c cleaning 10003 clauses out of 20018 with flag 1414000/1415358
766.79/387.74	c cleaning 10001 clauses out of 20016 with flag 1424001/1425359
770.88/389.85	c cleaning 10000 clauses out of 20015 with flag 1434001/1435359
775.22/392.05	c cleaning 9997 clauses out of 20015 with flag 1444001/1445359
779.75/394.35	c cleaning 10005 clauses out of 20018 with flag 1454001/1455359
783.69/396.36	c cleaning 9999 clauses out of 20012 with flag 1464000/1465358
787.62/398.36	c cleaning 10001 clauses out of 20014 with flag 1474001/1475359
791.78/400.42	c cleaning 9999 clauses out of 20012 with flag 1484000/1485358
795.69/402.48	c cleaning 10000 clauses out of 20014 with flag 1494001/1495359
800.02/404.65	c cleaning 10001 clauses out of 20013 with flag 1504000/1505358
803.91/406.69	c cleaning 9995 clauses out of 20012 with flag 1514000/1515358
808.05/408.79	c cleaning 10000 clauses out of 20017 with flag 1524000/1525358
812.38/410.90	c cleaning 10004 clauses out of 20019 with flag 1534002/1535360
816.51/413.03	c cleaning 9998 clauses out of 20014 with flag 1544001/1545359
820.78/415.22	c cleaning 10000 clauses out of 20015 with flag 1554000/1555358
825.51/417.65	c cleaning 10000 clauses out of 20015 with flag 1564000/1565358
829.64/419.73	c cleaning 9997 clauses out of 20016 with flag 1574001/1575359
833.77/421.88	c cleaning 10002 clauses out of 20019 with flag 1584001/1585359
838.08/424.06	c cleaning 10001 clauses out of 20016 with flag 1594000/1595358
842.41/426.23	c cleaning 9998 clauses out of 20015 with flag 1604000/1605358
846.54/428.35	c cleaning 9997 clauses out of 20017 with flag 1614000/1615358
851.27/430.71	c cleaning 10000 clauses out of 20020 with flag 1624000/1625358
855.75/433.06	c cleaning 10004 clauses out of 20021 with flag 1634001/1635359
860.49/435.42	c cleaning 9999 clauses out of 20016 with flag 1644000/1645358
865.24/437.82	c cleaning 10000 clauses out of 20018 with flag 1654001/1655359
869.75/440.17	c cleaning 10001 clauses out of 20018 with flag 1664001/1665359
874.23/442.45	c cleaning 9999 clauses out of 20017 with flag 1674001/1675359
878.76/444.76	c cleaning 10001 clauses out of 20017 with flag 1684000/1685358
883.29/447.08	c cleaning 10001 clauses out of 20017 with flag 1694001/1695359
887.82/449.33	c cleaning 10001 clauses out of 20015 with flag 1704000/1705358
892.14/451.52	c cleaning 10001 clauses out of 20015 with flag 1714001/1715359
896.47/453.71	c cleaning 9996 clauses out of 20014 with flag 1724001/1725359
900.60/455.85	c cleaning 9998 clauses out of 20017 with flag 1734000/1735358
904.94/458.05	c cleaning 9996 clauses out of 20020 with flag 1744001/1745359
909.45/460.34	c cleaning 10000 clauses out of 20024 with flag 1754001/1755359
913.98/462.63	c cleaning 10001 clauses out of 20024 with flag 1764001/1765359
918.71/465.09	c cleaning 10004 clauses out of 20023 with flag 1774001/1775359
923.46/467.49	c cleaning 10000 clauses out of 20018 with flag 1784000/1785358
928.36/469.94	c cleaning 9999 clauses out of 20018 with flag 1794000/1795358
932.89/472.26	c cleaning 9999 clauses out of 20020 with flag 1804001/1805359
937.62/474.60	c cleaning 10003 clauses out of 20021 with flag 1814001/1815359
942.34/477.00	c cleaning 9999 clauses out of 20019 with flag 1824002/1825360
946.68/479.24	c cleaning 10003 clauses out of 20019 with flag 1834001/1835359
950.81/481.36	c cleaning 9999 clauses out of 20017 with flag 1844002/1845360
955.14/483.57	c cleaning 10001 clauses out of 20019 with flag 1854003/1855361
959.47/485.71	c cleaning 10001 clauses out of 20016 with flag 1864001/1865359
963.74/487.91	c cleaning 9997 clauses out of 20015 with flag 1874001/1875359
968.27/490.23	c cleaning 9999 clauses out of 20017 with flag 1884000/1885358
972.79/492.54	c cleaning 10000 clauses out of 20018 with flag 1894000/1895358
977.32/494.84	c cleaning 10003 clauses out of 20019 with flag 1904001/1905359
981.81/497.15	c cleaning 9997 clauses out of 20015 with flag 1914000/1915358
986.53/499.51	c cleaning 10002 clauses out of 20019 with flag 1924001/1925359
990.85/501.79	c cleaning 9997 clauses out of 20016 with flag 1934000/1935358
995.38/504.00	c cleaning 10004 clauses out of 20021 with flag 1944002/1945360
999.65/506.29	c cleaning 10001 clauses out of 20015 with flag 1954000/1955358
1003.97/508.43	c cleaning 9999 clauses out of 20014 with flag 1964000/1965358
1008.49/510.73	c cleaning 10000 clauses out of 20016 with flag 1974001/1975359
1012.60/512.89	c cleaning 10001 clauses out of 20017 with flag 1984002/1985360
1017.06/515.18	c cleaning 10001 clauses out of 20014 with flag 1994000/1995358
1019.59/516.44	c cleaning 10004 clauses out of 20013 with flag 2004000/2005358
1021.71/517.52	c cleaning 9999 clauses out of 20010 with flag 2014001/2015359
1024.43/518.97	c cleaning 9997 clauses out of 20010 with flag 2024000/2025358
1026.91/520.25	c cleaning 9998 clauses out of 20013 with flag 2034000/2035358
1029.24/521.45	c cleaning 10004 clauses out of 20015 with flag 2044000/2045358
1031.52/522.66	c cleaning 9996 clauses out of 20011 with flag 2054000/2055358
1034.44/524.12	c cleaning 10002 clauses out of 20015 with flag 2064000/2065358
1037.10/525.50	c cleaning 10000 clauses out of 20013 with flag 2074000/2075358
1039.42/526.70	c cleaning 10001 clauses out of 20014 with flag 2084001/2085359
1041.76/527.92	c cleaning 9997 clauses out of 20012 with flag 2094000/2095358
1043.88/529.09	c cleaning 10000 clauses out of 20015 with flag 2104000/2105358
1046.13/530.28	c cleaning 10002 clauses out of 20016 with flag 2114001/2115359
1048.42/531.43	c cleaning 10001 clauses out of 20013 with flag 2124000/2125358
1050.74/532.60	c cleaning 9998 clauses out of 20012 with flag 2134000/2135358
1053.06/533.86	c cleaning 10000 clauses out of 20014 with flag 2144000/2145358
1055.71/535.22	c cleaning 10005 clauses out of 20015 with flag 2154001/2155359
1057.62/536.29	c cleaning 10000 clauses out of 20010 with flag 2164001/2165359
1059.94/537.41	c cleaning 10000 clauses out of 20009 with flag 2174000/2175358
1062.25/538.62	c cleaning 10003 clauses out of 20009 with flag 2184000/2185358
1064.92/540.06	c cleaning 9997 clauses out of 20006 with flag 2194001/2195359
1067.62/541.44	c cleaning 9997 clauses out of 20009 with flag 2204001/2205359
1070.13/542.75	c cleaning 10001 clauses out of 20011 with flag 2214000/2215358
1073.05/544.23	c cleaning 10000 clauses out of 20011 with flag 2224001/2225359
1075.89/545.70	c cleaning 10001 clauses out of 20010 with flag 2234000/2235358
1078.20/546.90	c cleaning 10001 clauses out of 20009 with flag 2244000/2245358
1080.51/548.19	c cleaning 9998 clauses out of 20008 with flag 2254000/2255358
1083.23/549.54	c cleaning 10002 clauses out of 20010 with flag 2264000/2265358
1086.09/551.01	c cleaning 10002 clauses out of 20009 with flag 2274001/2275359
1088.78/552.43	c cleaning 10001 clauses out of 20006 with flag 2284000/2285358
1091.30/553.75	c cleaning 10003 clauses out of 20005 with flag 2294000/2295358
1093.61/554.95	c cleaning 9999 clauses out of 20002 with flag 2304000/2305358
1096.67/556.55	c cleaning 10000 clauses out of 20003 with flag 2314001/2315359
1099.56/558.05	c cleaning 9998 clauses out of 20003 with flag 2324001/2325359
1102.48/559.54	c cleaning 10002 clauses out of 20005 with flag 2334001/2335359
1105.42/561.09	c cleaning 9996 clauses out of 20002 with flag 2344001/2345359
1108.64/562.70	c cleaning 9997 clauses out of 20004 with flag 2354000/2355358
1111.78/564.33	c cleaning 10000 clauses out of 20006 with flag 2364000/2365358
1114.06/565.60	c  And the winner is Resolution
1114.31/565.89	c starts		: 229
1114.31/565.89	c conflicts		: 2372954
1114.31/565.89	c decisions		: 2394150
1114.31/565.89	c propagations		: 30662309
1114.31/565.89	c inspects		: 1799226231
1114.31/565.89	c shortcuts		: 0
1114.31/565.89	c learnt literals	: 27
1114.31/565.89	c learnt binary clauses	: 129
1114.31/565.89	c learnt ternary clauses	: 613
1114.31/565.89	c learnt constraints	: 2372926
1114.31/565.89	c ignored constraints	: 0
1114.31/565.89	c root simplifications	: 0
1114.31/565.89	c removed literals (reason simplification)	: 92606654
1114.31/565.89	c reason swapping (by a shorter reason)	: 0
1114.31/565.89	c Calls to reduceDB	: 238
1114.31/565.89	c number of reductions to clauses (during analyze)	: 0
1114.31/565.89	c number of learned constraints concerned by reduction	: 0
1114.31/565.89	c number of learning phase by resolution	: 0
1114.31/565.89	c number of learning phase by cutting planes	: 0
1114.31/565.89	c speed (assignments/second)	: 54272.07092715771
1114.31/565.89	c non guided choices	124
1114.31/565.89	c learnt constraints type 
1114.31/565.89	c constraints type 
1114.31/565.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 114
1114.31/565.89	c constraints type 
1114.31/565.89	c org.sat4j.pb.constraints.pb.MaxWatchPb => 114
1114.31/565.89	s OPTIMUM FOUND
1114.31/565.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 
1114.31/565.90	c objective function=0
1114.31/565.90	c Total wall clock time (in seconds): 565.786

Verifier Data 

OK	0

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-3454446-1307191261/watcher-3454446-1307191261 -o /tmp/evaluation-result-3454446-1307191261/solver-3454446-1307191261 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454446-1307191261.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.72 3.80 3.64 3/394 22062
/proc/meminfo: memFree=19974968/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 1665 0 1 0 0 0 0 0 25 0 2 0 830726517 10681323520 1368 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2607745 1382 906 9 0 2598901 0
[pid=22062/tid=22063] ppid=22060 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) R 22060 22062 19222 0 -1 4202560 2264 0 1 0 0 0 0 0 25 0 2 0 830726518 10694979584 3080 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0398439 s]
/proc/loadavg: 3.72 3.80 3.64 3/394 22062
/proc/meminfo: memFree=19974968/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 11143 0 1 0 2 1 0 0 25 0 13 0 830726517 10718699520 10841 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2616870 10841 1653 9 0 2607618 0
[pid=22062/tid=22063] ppid=22060 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) R 22060 22062 19222 0 -1 4202560 9996 0 1 0 1 1 0 0 25 0 13 0 830726518 10718699520 10841 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 47035286130693 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.1008 s]
/proc/loadavg: 3.72 3.80 3.64 3/394 22062
/proc/meminfo: memFree=19974968/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10540004 CPUtime=0.1 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 13035 0 1 0 9 1 0 0 25 0 18 0 830726517 10792964096 12733 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2635001 12736 2093 9 0 2625735 0
[pid=22062/tid=22063] ppid=22060 vsize=10540004 CPUtime=0.08 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) R 22060 22062 19222 0 -1 4202560 11144 0 1 0 7 1 0 0 18 0 18 0 830726518 10792964096 12738 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540004

[startup+0.300774 s]
/proc/loadavg: 3.72 3.80 3.64 3/394 22062
/proc/meminfo: memFree=19974968/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10560956 CPUtime=0.61 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 22647 0 1 0 59 2 0 0 25 0 18 0 830726517 10814418944 19896 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2640239 19897 2200 9 0 2630973 0
[pid=22062/tid=22063] ppid=22060 vsize=10560956 CPUtime=0.28 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) R 22060 22062 19222 0 -1 4202560 13049 0 1 0 27 1 0 0 18 0 18 0 830726518 10814418944 19897 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 47035290630995 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10560956

[startup+0.700669 s]
/proc/loadavg: 3.72 3.80 3.64 3/394 22062
/proc/meminfo: memFree=19974968/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=2 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 38967 0 1 0 196 4 0 0 25 0 22 0 830726517 10818629632 34197 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 34197 2221 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.39 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) S 22060 22062 19222 0 -1 4202560 15329 0 1 0 37 2 0 0 19 0 22 0 830726518 10818629632 34197 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10565068

[startup+1.50153 s]
/proc/loadavg: 3.72 3.80 3.64 5/416 22087
/proc/meminfo: memFree=19765676/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=3.86 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 107463 0 1 0 374 12 0 0 25 0 22 0 830726517 10818629632 102692 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 102698 2232 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.4 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) S 22060 22062 19222 0 -1 4202560 15400 0 1 0 38 2 0 0 15 0 22 0 830726518 10818629632 102702 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22065] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22065/stat : 22065 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102703 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22066] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22066/stat : 22066 (java) S 22060 22062 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102708 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22067] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22067/stat : 22067 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102711 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22068] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22068/stat : 22068 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102712 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22069] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22069/stat : 22069 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102717 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102721 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22071] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22071/stat : 22071 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102722 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22072] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22072/stat : 22072 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726519 10818629632 102726 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22073] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22073/stat : 22073 (java) S 22060 22062 19222 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830726520 10818629632 102730 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 0 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22074] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22074/stat : 22074 (java) S 22060 22062 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830726521 10818629632 102731 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22075] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22075/stat : 22075 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830726521 10818629632 102736 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22076] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22076/stat : 22076 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 102739 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820989361 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22077] ppid=22060 vsize=10565068 CPUtime=0.78 cores=0,2,4,6
/proc/22062/task/22077/stat : 22077 (java) S 22060 22062 19222 0 -1 4202560 5968 0 0 0 78 0 0 0 23 0 22 0 830726523 10818629632 102741 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22078] ppid=22060 vsize=10565068 CPUtime=0.67 cores=0,2,4,6
/proc/22062/task/22078/stat : 22078 (java) S 22060 22062 19222 0 -1 4202560 6833 0 0 0 67 0 0 0 16 0 22 0 830726523 10818629632 102746 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22079] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22079/stat : 22079 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 102749 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22080] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22080/stat : 22080 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830726523 10818629632 102750 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22083] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22083/stat : 22083 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830726563 10818629632 102755 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22085] ppid=22060 vsize=10565068 CPUtime=0.58 cores=0,2,4,6
/proc/22062/task/22085/stat : 22085 (java) R 22060 22062 19222 0 -1 4202560 324 0 0 0 58 0 0 0 17 0 22 0 830726609 10818629632 102758 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505818112 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22062/tid=22086] ppid=22060 vsize=10565068 CPUtime=0.57 cores=0,2,4,6
/proc/22062/task/22086/stat : 22086 (java) R 22060 22062 19222 0 -1 4202560 55950 0 0 0 51 6 0 0 18 0 22 0 830726609 10818629632 102759 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505940413 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22062/tid=22087] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22087/stat : 22087 (java) S 22060 22062 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830726609 10818629632 102764 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10565068

[startup+3.10129 s]
/proc/loadavg: 3.72 3.80 3.64 5/416 22087
/proc/meminfo: memFree=19419468/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=7.09 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 197443 0 1 0 687 22 0 0 25 0 22 0 830726517 10818629632 192668 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 192678 2258 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.4 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) S 22060 22062 19222 0 -1 4202560 15400 0 1 0 38 2 0 0 15 0 22 0 830726518 10818629632 192683 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22065] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22065/stat : 22065 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192689 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22066] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22066/stat : 22066 (java) S 22060 22062 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192695 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22067] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22067/stat : 22067 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192699 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22068] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22068/stat : 22068 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192699 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22069] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22069/stat : 22069 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192699 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) S 22060 22062 19222 0 -1 4202560 198 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192704 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22071] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22071/stat : 22071 (java) S 22060 22062 19222 0 -1 4202560 682 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192710 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22072] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22072/stat : 22072 (java) S 22060 22062 19222 0 -1 4202560 599 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 192716 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22073] ppid=22060 vsize=10565068 CPUtime=0.02 cores=0,2,4,6
/proc/22062/task/22073/stat : 22073 (java) S 22060 22062 19222 0 -1 4202560 1467 0 0 0 2 0 0 0 15 0 22 0 830726520 10818629632 192721 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 0 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22074] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22074/stat : 22074 (java) S 22060 22062 19222 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830726521 10818629632 192728 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22075] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22075/stat : 22075 (java) S 22060 22062 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830726521 10818629632 192732 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22076] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22076/stat : 22076 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 192732 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820989361 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22077] ppid=22060 vsize=10565068 CPUtime=0.8 cores=0,2,4,6
/proc/22062/task/22077/stat : 22077 (java) S 22060 22062 19222 0 -1 4202560 5973 0 0 0 80 0 0 0 22 0 22 0 830726523 10818629632 192732 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22078] ppid=22060 vsize=10565068 CPUtime=0.72 cores=0,2,4,6
/proc/22062/task/22078/stat : 22078 (java) S 22060 22062 19222 0 -1 4202560 6843 0 0 0 72 0 0 0 15 0 22 0 830726523 10818629632 192737 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22079] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22079/stat : 22079 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 192743 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22080] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22080/stat : 22080 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830726523 10818629632 192749 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22083] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22083/stat : 22083 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830726563 10818629632 192755 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22085] ppid=22060 vsize=10565068 CPUtime=2.14 cores=0,2,4,6
/proc/22062/task/22085/stat : 22085 (java) R 22060 22062 19222 0 -1 4202560 583 0 0 0 214 0 0 0 19 0 22 0 830726609 10818629632 192761 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912506014806 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22062/tid=22086] ppid=22060 vsize=10565068 CPUtime=2.14 cores=0,2,4,6
/proc/22062/task/22086/stat : 22086 (java) R 22060 22062 19222 0 -1 4202560 142743 0 0 0 199 15 0 0 20 0 22 0 830726609 10818629632 192766 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505548716 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22062/tid=22087] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22087/stat : 22087 (java) S 22060 22062 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830726609 10818629632 192767 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 10565068

[startup+6.30168 s]
/proc/loadavg: 3.75 3.80 3.64 5/416 22087
/proc/meminfo: memFree=18783316/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=13.7 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 303692 0 1 0 1337 33 0 0 25 0 22 0 830726517 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 298915 2258 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.4 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) S 22060 22062 19222 0 -1 4202560 15400 0 1 0 38 2 0 0 15 0 22 0 830726518 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22065] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22065/stat : 22065 (java) S 22060 22062 19222 0 -1 4202560 911 0 0 0 0 0 0 0 16 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22066] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22066/stat : 22066 (java) S 22060 22062 19222 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22067] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22067/stat : 22067 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22068] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22068/stat : 22068 (java) S 22060 22062 19222 0 -1 4202560 638 0 0 0 0 0 0 0 16 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22069] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22069/stat : 22069 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) S 22060 22062 19222 0 -1 4202560 534 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22071] ppid=22060 vsize=10565068 CPUtime=0.01 cores=0,2,4,6
/proc/22062/task/22071/stat : 22071 (java) S 22060 22062 19222 0 -1 4202560 1421 0 0 0 1 0 0 0 18 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22072] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22072/stat : 22072 (java) S 22060 22062 19222 0 -1 4202560 599 0 0 0 0 0 0 0 18 0 22 0 830726519 10818629632 298915 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0

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

[pid=22062/tid=22080] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22080/stat : 22080 (java) S 22060 22062 19222 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830726523 10818629632 810584 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22083] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22083/stat : 22083 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830726563 10818629632 810584 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22085] ppid=22060 vsize=10565068 CPUtime=542.85 cores=0,2,4,6
/proc/22062/task/22085/stat : 22085 (java) R 22060 22062 19222 0 -1 4202560 981 0 0 0 54283 2 0 0 25 0 22 0 830726609 10818629632 810584 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505817620 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22062/tid=22086] ppid=22060 vsize=10565068 CPUtime=543.16 cores=0,2,4,6
/proc/22062/task/22086/stat : 22086 (java) R 22060 22062 19222 0 -1 4202560 678560 0 0 0 54243 73 0 0 25 0 22 0 830726609 10818629632 810584 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505872430 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22062/tid=22087] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22087/stat : 22087 (java) S 22060 22062 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830726609 10818629632 810584 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1109.37
Current children cumulated vsize (KiB) 10565068

[startup+564.701 s]
/proc/loadavg: 3.70 3.76 3.68 5/416 22153
/proc/meminfo: memFree=18096252/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=1112.46 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 815895 0 1 0 111132 114 0 0 25 0 22 0 830726517 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 810612 2259 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.4 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) S 22060 22062 19222 0 -1 4202560 15437 0 1 0 38 2 0 0 15 0 22 0 830726518 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22065] ppid=22060 vsize=10565068 CPUtime=0.2 cores=0,2,4,6
/proc/22062/task/22065/stat : 22065 (java) S 22060 22062 19222 0 -1 4202560 3886 0 0 0 20 0 0 0 15 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22066] ppid=22060 vsize=10565068 CPUtime=0.17 cores=0,2,4,6
/proc/22062/task/22066/stat : 22066 (java) S 22060 22062 19222 0 -1 4202560 931 0 0 0 17 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22067] ppid=22060 vsize=10565068 CPUtime=0.15 cores=0,2,4,6
/proc/22062/task/22067/stat : 22067 (java) S 22060 22062 19222 0 -1 4202560 1322 0 0 0 15 0 0 0 15 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22068] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22068/stat : 22068 (java) S 22060 22062 19222 0 -1 4202560 3231 0 0 0 19 0 0 0 15 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22069] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22069/stat : 22069 (java) S 22060 22062 19222 0 -1 4202560 2857 0 0 0 19 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) S 22060 22062 19222 0 -1 4202560 2701 0 0 0 19 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22071] ppid=22060 vsize=10565068 CPUtime=0.22 cores=0,2,4,6
/proc/22062/task/22071/stat : 22071 (java) S 22060 22062 19222 0 -1 4202560 4116 0 0 0 22 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22072] ppid=22060 vsize=10565068 CPUtime=0.2 cores=0,2,4,6
/proc/22062/task/22072/stat : 22072 (java) S 22060 22062 19222 0 -1 4202560 2801 0 0 0 20 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22073] ppid=22060 vsize=10565068 CPUtime=18.68 cores=0,2,4,6
/proc/22062/task/22073/stat : 22073 (java) S 22060 22062 19222 0 -1 4202560 63127 0 0 0 1842 26 0 0 15 0 22 0 830726520 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 0 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22074] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22074/stat : 22074 (java) S 22060 22062 19222 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830726521 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22075] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22075/stat : 22075 (java) S 22060 22062 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830726521 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22076] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22076/stat : 22076 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820989361 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22077] ppid=22060 vsize=10565068 CPUtime=0.98 cores=0,2,4,6
/proc/22062/task/22077/stat : 22077 (java) S 22060 22062 19222 0 -1 4202560 5992 0 0 0 98 0 0 0 15 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22078] ppid=22060 vsize=10565068 CPUtime=0.91 cores=0,2,4,6
/proc/22062/task/22078/stat : 22078 (java) S 22060 22062 19222 0 -1 4202560 6875 0 0 0 91 0 0 0 15 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22079] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22079/stat : 22079 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22080] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22080/stat : 22080 (java) S 22060 22062 19222 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22083] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22083/stat : 22083 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830726563 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22085] ppid=22060 vsize=10565068 CPUtime=544.35 cores=0,2,4,6
/proc/22062/task/22085/stat : 22085 (java) R 22060 22062 19222 0 -1 4202560 981 0 0 0 54433 2 0 0 25 0 22 0 830726609 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505818128 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22062/tid=22086] ppid=22060 vsize=10565068 CPUtime=544.65 cores=0,2,4,6
/proc/22062/task/22086/stat : 22086 (java) R 22060 22062 19222 0 -1 4202560 678561 0 0 0 54392 73 0 0 25 0 22 0 830726609 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505872732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22062/tid=22087] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22087/stat : 22087 (java) S 22060 22062 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830726609 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1112.46
Current children cumulated vsize (KiB) 10565068

[startup+565.502 s]
/proc/loadavg: 3.70 3.76 3.68 4/416 22153
/proc/meminfo: memFree=18096232/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=1114.06 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 815895 0 1 0 111292 114 0 0 25 0 22 0 830726517 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 810612 2259 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.4 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) S 22060 22062 19222 0 -1 4202560 15437 0 1 0 38 2 0 0 15 0 22 0 830726518 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22065] ppid=22060 vsize=10565068 CPUtime=0.2 cores=0,2,4,6
/proc/22062/task/22065/stat : 22065 (java) S 22060 22062 19222 0 -1 4202560 3886 0 0 0 20 0 0 0 15 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22066] ppid=22060 vsize=10565068 CPUtime=0.17 cores=0,2,4,6
/proc/22062/task/22066/stat : 22066 (java) S 22060 22062 19222 0 -1 4202560 931 0 0 0 17 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22067] ppid=22060 vsize=10565068 CPUtime=0.15 cores=0,2,4,6
/proc/22062/task/22067/stat : 22067 (java) S 22060 22062 19222 0 -1 4202560 1322 0 0 0 15 0 0 0 15 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22068] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22068/stat : 22068 (java) S 22060 22062 19222 0 -1 4202560 3231 0 0 0 19 0 0 0 15 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22069] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22069/stat : 22069 (java) S 22060 22062 19222 0 -1 4202560 2857 0 0 0 19 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) S 22060 22062 19222 0 -1 4202560 2701 0 0 0 19 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22071] ppid=22060 vsize=10565068 CPUtime=0.22 cores=0,2,4,6
/proc/22062/task/22071/stat : 22071 (java) S 22060 22062 19222 0 -1 4202560 4116 0 0 0 22 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22072] ppid=22060 vsize=10565068 CPUtime=0.2 cores=0,2,4,6
/proc/22062/task/22072/stat : 22072 (java) S 22060 22062 19222 0 -1 4202560 2801 0 0 0 20 0 0 0 16 0 22 0 830726519 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22073] ppid=22060 vsize=10565068 CPUtime=18.68 cores=0,2,4,6
/proc/22062/task/22073/stat : 22073 (java) S 22060 22062 19222 0 -1 4202560 63127 0 0 0 1842 26 0 0 15 0 22 0 830726520 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 0 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22074] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22074/stat : 22074 (java) S 22060 22062 19222 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830726521 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22075] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22075/stat : 22075 (java) S 22060 22062 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830726521 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22076] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22076/stat : 22076 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820989361 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22077] ppid=22060 vsize=10565068 CPUtime=0.98 cores=0,2,4,6
/proc/22062/task/22077/stat : 22077 (java) S 22060 22062 19222 0 -1 4202560 5992 0 0 0 98 0 0 0 15 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22078] ppid=22060 vsize=10565068 CPUtime=0.91 cores=0,2,4,6
/proc/22062/task/22078/stat : 22078 (java) S 22060 22062 19222 0 -1 4202560 6875 0 0 0 91 0 0 0 15 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22079] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22079/stat : 22079 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22080] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22080/stat : 22080 (java) S 22060 22062 19222 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830726523 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22083] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22083/stat : 22083 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830726563 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22085] ppid=22060 vsize=10565068 CPUtime=545.15 cores=0,2,4,6
/proc/22062/task/22085/stat : 22085 (java) R 22060 22062 19222 0 -1 4202560 981 0 0 0 54513 2 0 0 25 0 22 0 830726609 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505843048 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22062/tid=22086] ppid=22060 vsize=10565068 CPUtime=545.45 cores=0,2,4,6
/proc/22062/task/22086/stat : 22086 (java) R 22060 22062 19222 0 -1 4202560 678561 0 0 0 54472 73 0 0 25 0 22 0 830726609 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 46912505548824 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22062/tid=22087] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22087/stat : 22087 (java) S 22060 22062 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830726609 10818629632 810612 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1114.06
Current children cumulated vsize (KiB) 10565068

[startup+565.901 s]
/proc/loadavg: 3.70 3.76 3.68 4/416 22153
/proc/meminfo: memFree=18096232/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=10565068 CPUtime=1114.42 cores=0,2,4,6
/proc/22062/stat : 22062 (java) S 22060 22062 19222 0 -1 4202496 815901 0 1 0 111328 114 0 0 25 0 19 0 830726517 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 2641267 810617 2260 9 0 2632001 0
[pid=22062/tid=22063] ppid=22060 vsize=10565068 CPUtime=0.47 cores=0,2,4,6
/proc/22062/task/22063/stat : 22063 (java) R 22060 22062 19222 0 -1 4202560 15440 0 1 0 45 2 0 0 16 0 19 0 830726518 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22062/tid=22065] ppid=22060 vsize=10565068 CPUtime=0.2 cores=0,2,4,6
/proc/22062/task/22065/stat : 22065 (java) S 22060 22062 19222 0 -1 4202560 3886 0 0 0 20 0 0 0 15 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22066] ppid=22060 vsize=10565068 CPUtime=0.17 cores=0,2,4,6
/proc/22062/task/22066/stat : 22066 (java) S 22060 22062 19222 0 -1 4202560 931 0 0 0 17 0 0 0 16 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22067] ppid=22060 vsize=10565068 CPUtime=0.15 cores=0,2,4,6
/proc/22062/task/22067/stat : 22067 (java) S 22060 22062 19222 0 -1 4202560 1322 0 0 0 15 0 0 0 15 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22068] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22068/stat : 22068 (java) S 22060 22062 19222 0 -1 4202560 3231 0 0 0 19 0 0 0 15 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22069] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22069/stat : 22069 (java) S 22060 22062 19222 0 -1 4202560 2857 0 0 0 19 0 0 0 16 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=10565068 CPUtime=0.19 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) S 22060 22062 19222 0 -1 4202560 2701 0 0 0 19 0 0 0 16 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22071] ppid=22060 vsize=10565068 CPUtime=0.22 cores=0,2,4,6
/proc/22062/task/22071/stat : 22071 (java) S 22060 22062 19222 0 -1 4202560 4116 0 0 0 22 0 0 0 16 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22072] ppid=22060 vsize=10565068 CPUtime=0.2 cores=0,2,4,6
/proc/22062/task/22072/stat : 22072 (java) S 22060 22062 19222 0 -1 4202560 2801 0 0 0 20 0 0 0 16 0 19 0 830726519 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22073] ppid=22060 vsize=10565068 CPUtime=18.68 cores=0,2,4,6
/proc/22062/task/22073/stat : 22073 (java) S 22060 22062 19222 0 -1 4202560 63127 0 0 0 1842 26 0 0 15 0 19 0 830726520 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 0 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22074] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22074/stat : 22074 (java) S 22060 22062 19222 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 830726521 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22075] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22075/stat : 22075 (java) S 22060 22062 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830726521 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 0 0 0 0
[pid=22062/tid=22076] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22076/stat : 22076 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830726523 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820989361 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22077] ppid=22060 vsize=10565068 CPUtime=1 cores=0,2,4,6
/proc/22062/task/22077/stat : 22077 (java) S 22060 22062 19222 0 -1 4202560 5993 0 0 0 100 0 0 0 15 0 19 0 830726523 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 6 0 0 0
[pid=22062/tid=22078] ppid=22060 vsize=10565068 CPUtime=0.92 cores=0,2,4,6
/proc/22062/task/22078/stat : 22078 (java) R 22060 22062 19222 0 -1 4202560 6876 0 0 0 92 0 0 0 15 0 19 0 830726523 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 47035286383128 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22062/tid=22079] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22079/stat : 22079 (java) S 22060 22062 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830726523 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820981657 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
[pid=22062/tid=22080] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22080/stat : 22080 (java) S 22060 22062 19222 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 830726523 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 2 0 0 0
[pid=22062/tid=22083] ppid=22060 vsize=10565068 CPUtime=0 cores=0,2,4,6
/proc/22062/task/22083/stat : 22083 (java) S 22060 22062 19222 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830726563 10818629632 810617 33554432000 1073741824 1073778376 140736415357088 18446744073709551615 230820982272 0 4 0 16800975 18446604441095931200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1114.42
Current children cumulated vsize (KiB) 10565068

[startup+566.002 s]
/proc/loadavg: 3.70 3.76 3.68 4/416 22153
/proc/meminfo: memFree=18096232/32951124 swapFree=37148216/67111528
[pid=22062] ppid=22060 vsize=0 CPUtime=1114.5 cores=0,2,4,6
/proc/22062/stat : 22062 (java) Z 22060 22062 19222 0 -1 4203548 815903 0 1 0 111328 122 0 0 18 0 2 0 830726517 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22062/statm: 0 0 0 0 0 0 0
[pid=22062/tid=22070] ppid=22060 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/22062/task/22070/stat : 22070 (java) R 22060 22062 19222 0 -1 4203588 2701 0 0 0 19 9 0 0 15 0 2 0 830726519 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1114.5
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 566.03
CPU time (s): 1114.55
CPU user time (s): 1113.29
CPU system time (s): 1.25781
CPU usage (%): 196.906
Max. virtual memory (cumulated for all children) (KiB): 10565068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1113.29
system time used= 1.25781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815903
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= 19519
involuntary context switches= 17130

runsolver used 2.23266 second user time and 4.54031 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-04 14:41:01
IDJOB=3454446
IDBENCH=2462
IDSOLVER=1950
FILE ID=node104/3454446-1307191261
RUNJOBID= node104-1307188383-21489
PBS_JOBID= 13508864
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454446-1307191261/watcher-3454446-1307191261 -o /tmp/evaluation-result-3454446-1307191261/solver-3454446-1307191261 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454446-1307191261.opb

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

MD5SUM BENCH= eff6ad715055e79721cc364806b971f0
RANDOM SEED=1679738025

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19975124 kB
Buffers:        420608 kB
Cached:        7651476 kB
SwapCached:     163904 kB
Active:        6562452 kB
Inactive:      6070548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19975124 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:             456 kB
Writeback:           0 kB
AnonPages:     4419816 kB
Mapped:          19256 kB
Slab:           182596 kB
PageTables:      94664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 98097144 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= 73952 MiB
End job on node104 at 2011-06-04 14:50:27