Trace number 3733448

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0OPT0 1126.5 573.28

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 benchmark78.661
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.05/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.13	c See www.sat4j.org for details.
0.05/0.13	c version 2.3.1.v20110525
0.05/0.13	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.13	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.13	c java.vm.version	19.1-b02
0.05/0.13	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.13	c sun.arch.data.model	64
0.05/0.13	c java.version		1.6.0_24
0.05/0.13	c os.name		Linux
0.05/0.13	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.13	c os.arch		amd64
0.05/0.13	c Free memory 		9996466904
0.05/0.13	c Max memory 		10048897024
0.05/0.13	c Total memory 		10048897024
0.05/0.13	c Number of processors 	8
0.05/0.16	c Pseudo Boolean Optimization
0.05/0.16	c ManyCore solver with 2 solvers running in parallel
0.05/0.16	c --- Begin Solver configuration ---
0.05/0.16	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.05/0.16	c Learn all clauses as in MiniSAT
0.05/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.16	c Expensive reason simplification
0.05/0.16	c Armin Biere (Picosat) restarts strategy
0.05/0.16	c Glucose learned constraints deletion strategy
0.05/0.16	c timeout=2147483s
0.05/0.16	c DB Simplification allowed=false
0.05/0.16	c --- End Solver configuration ---
0.05/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.05/0.16	c --- Begin Solver configuration ---
0.05/0.16	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.05/0.16	c Learn all clauses as in MiniSAT
0.05/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.05/0.16	c No reason simplification
0.05/0.16	c Armin Biere (Picosat) restarts strategy
0.05/0.16	c Glucose learned constraints deletion strategy
0.05/0.16	c timeout=2147483s
0.05/0.16	c DB Simplification allowed=false
0.05/0.16	c --- End Solver configuration ---
0.05/0.16	c solving HOME/instance-3733448-1338689673.opb
0.05/0.16	c reading problem ... 
0.78/0.44	c ... done. Wall clock time 0.286s.
0.78/0.44	c #vars     2490
0.78/0.44	c #constraints  661
0.78/0.44	c constraints type 
0.78/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 114
0.78/0.44	c constraints type 
0.78/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 114
2.29/0.88	c  And the winner is Resolution
2.57/0.95	c SATISFIABLE
2.57/0.95	c OPTIMIZING...
2.57/0.95	c Got one! Elapsed wall clock time (in seconds):0.792
2.57/0.95	o 0
4.19/1.65	c cleaning 2665 clauses out of 5343 with flag 4001/5359
9.62/4.28	c cleaning 4334 clauses out of 8677 with flag 10000/11358
14.08/6.42	c cleaning 5671 clauses out of 11343 with flag 17000/18358
18.85/8.87	c cleaning 6836 clauses out of 13672 with flag 25000/26358
24.63/11.74	c cleaning 7916 clauses out of 15836 with flag 34000/35358
31.82/15.37	c cleaning 8958 clauses out of 17920 with flag 44000/45358
38.18/18.59	c cleaning 9480 clauses out of 18963 with flag 54001/55359
44.34/21.68	c cleaning 9739 clauses out of 19482 with flag 64000/65358
50.66/24.84	c cleaning 9869 clauses out of 19744 with flag 74001/75359
58.22/28.60	c cleaning 9938 clauses out of 19875 with flag 84001/85359
63.75/31.45	c cleaning 9967 clauses out of 19936 with flag 94000/95358
69.69/34.44	c cleaning 9983 clauses out of 19970 with flag 104001/105359
75.82/37.56	c cleaning 9993 clauses out of 19986 with flag 114000/115358
82.54/40.97	c cleaning 9993 clauses out of 19993 with flag 124000/125358
88.68/44.09	c cleaning 9997 clauses out of 20000 with flag 134000/135358
95.81/47.66	c cleaning 10001 clauses out of 20003 with flag 144000/145358
103.72/51.69	c cleaning 10002 clauses out of 20003 with flag 154001/155359
110.07/54.87	c cleaning 10000 clauses out of 20000 with flag 164000/165358
117.02/58.37	c cleaning 10001 clauses out of 20001 with flag 174001/175359
123.93/61.86	c cleaning 9994 clauses out of 19999 with flag 184000/185358
130.43/65.16	c cleaning 9997 clauses out of 20005 with flag 194000/195358
136.78/68.36	c cleaning 9998 clauses out of 20010 with flag 204002/205360
142.50/71.25	c cleaning 9999 clauses out of 20011 with flag 214001/215359
148.63/74.33	c cleaning 9999 clauses out of 20011 with flag 224000/225358
154.93/77.53	c cleaning 10000 clauses out of 20012 with flag 234000/235358
161.07/80.70	c cleaning 10001 clauses out of 20012 with flag 244000/245358
167.23/83.74	c cleaning 9999 clauses out of 20012 with flag 254001/255359
173.77/87.03	c cleaning 10000 clauses out of 20013 with flag 264001/265359
179.65/90.02	c cleaning 10002 clauses out of 20012 with flag 274000/275358
185.79/93.12	c cleaning 10001 clauses out of 20012 with flag 284002/285360
190.94/95.77	c cleaning 10001 clauses out of 20009 with flag 294000/295358
196.07/98.32	c cleaning 10004 clauses out of 20009 with flag 304001/305359
201.98/101.35	c cleaning 9996 clauses out of 20005 with flag 314001/315359
207.30/104.04	c cleaning 9999 clauses out of 20009 with flag 324001/325359
213.04/106.98	c cleaning 10002 clauses out of 20009 with flag 334000/335358
218.77/109.88	c cleaning 10002 clauses out of 20011 with flag 344004/345362
224.27/112.67	c cleaning 9998 clauses out of 20005 with flag 354000/355358
230.03/115.60	c cleaning 9997 clauses out of 20008 with flag 364001/365359
235.75/118.50	c cleaning 10002 clauses out of 20011 with flag 374001/375359
242.30/121.76	c cleaning 10002 clauses out of 20008 with flag 384000/385358
248.41/124.87	c cleaning 9998 clauses out of 20006 with flag 394000/395358
254.74/128.01	c cleaning 9994 clauses out of 20008 with flag 404000/405358
261.07/131.27	c cleaning 10000 clauses out of 20014 with flag 414000/415358
267.41/134.48	c cleaning 9998 clauses out of 20015 with flag 424001/425359
273.91/137.70	c cleaning 10005 clauses out of 20016 with flag 434000/435358
280.45/141.01	c cleaning 10004 clauses out of 20011 with flag 444000/445358
286.60/144.14	c cleaning 10000 clauses out of 20008 with flag 454001/455359
292.13/146.93	c cleaning 9997 clauses out of 20007 with flag 464000/465358
297.23/149.53	c cleaning 9999 clauses out of 20010 with flag 474000/475358
303.57/152.70	c cleaning 10000 clauses out of 20012 with flag 484001/485359
309.71/155.81	c cleaning 9998 clauses out of 20011 with flag 494000/495358
316.44/159.22	c cleaning 10001 clauses out of 20014 with flag 504001/505359
322.75/162.43	c cleaning 10000 clauses out of 20012 with flag 514000/515358
328.48/165.35	c cleaning 10001 clauses out of 20012 with flag 524000/525358
334.43/168.35	c cleaning 10002 clauses out of 20012 with flag 534001/535359
340.55/171.40	c cleaning 10000 clauses out of 20009 with flag 544000/545358
345.84/174.13	c cleaning 9998 clauses out of 20009 with flag 554000/555358
351.60/177.04	c cleaning 9999 clauses out of 20012 with flag 564001/565359
357.33/179.96	c cleaning 10000 clauses out of 20012 with flag 574000/575358
363.47/183.02	c cleaning 9999 clauses out of 20012 with flag 584000/585358
369.97/186.31	c cleaning 10004 clauses out of 20015 with flag 594002/595360
376.50/189.60	c cleaning 10001 clauses out of 20010 with flag 604001/605359
383.04/192.98	c cleaning 10001 clauses out of 20010 with flag 614002/615360
389.78/196.35	c cleaning 10001 clauses out of 20007 with flag 624000/625358
395.88/199.45	c cleaning 9998 clauses out of 20008 with flag 634002/635360
402.41/202.76	c cleaning 10000 clauses out of 20009 with flag 644001/645359
408.37/205.70	c cleaning 9998 clauses out of 20008 with flag 654000/655358
414.29/208.74	c cleaning 9999 clauses out of 20010 with flag 664000/665358
419.99/211.62	c cleaning 9998 clauses out of 20012 with flag 674001/675359
424.92/214.10	c cleaning 10000 clauses out of 20014 with flag 684001/685359
429.06/216.20	c cleaning 10000 clauses out of 20014 with flag 694001/695359
433.01/218.29	c cleaning 10003 clauses out of 20014 with flag 704001/705359
437.11/220.37	c cleaning 10004 clauses out of 20011 with flag 714001/715359
441.44/222.52	c cleaning 10002 clauses out of 20006 with flag 724000/725358
445.39/224.58	c cleaning 10000 clauses out of 20004 with flag 734000/735358
449.91/226.82	c cleaning 9999 clauses out of 20005 with flag 744001/745359
454.43/229.17	c cleaning 10000 clauses out of 20005 with flag 754000/755358
458.96/231.45	c cleaning 10000 clauses out of 20005 with flag 764000/765358
463.49/233.76	c cleaning 10001 clauses out of 20006 with flag 774001/775359
468.03/236.07	c cleaning 9997 clauses out of 20005 with flag 784001/785359
472.91/238.52	c cleaning 10001 clauses out of 20007 with flag 794000/795358
477.65/240.96	c cleaning 10002 clauses out of 20008 with flag 804002/805360
482.57/243.47	c cleaning 10002 clauses out of 20004 with flag 814000/815358
487.50/245.98	c cleaning 9998 clauses out of 20003 with flag 824001/825359
492.40/248.49	c cleaning 10002 clauses out of 20004 with flag 834000/835358
497.74/251.11	c cleaning 9996 clauses out of 20003 with flag 844001/845359
502.87/253.73	c cleaning 10002 clauses out of 20006 with flag 854000/855358
507.80/256.23	c cleaning 10003 clauses out of 20005 with flag 864001/865359
512.67/258.78	c cleaning 9998 clauses out of 20002 with flag 874001/875359
517.80/261.37	c cleaning 9995 clauses out of 20003 with flag 884000/885358
523.34/264.18	c cleaning 10000 clauses out of 20008 with flag 894000/895358
529.89/267.46	c cleaning 9998 clauses out of 20009 with flag 904001/905359
535.35/270.27	c cleaning 10001 clauses out of 20012 with flag 914002/915360
540.28/272.71	c cleaning 9995 clauses out of 20009 with flag 924000/925358
544.83/275.06	c cleaning 10001 clauses out of 20015 with flag 934001/935359
549.95/277.62	c cleaning 10001 clauses out of 20014 with flag 944001/945359
555.03/280.27	c cleaning 9999 clauses out of 20013 with flag 954001/955359
560.35/282.97	c cleaning 10000 clauses out of 20013 with flag 964000/965358
565.89/285.77	c cleaning 10002 clauses out of 20013 with flag 974000/975358
571.63/288.66	c cleaning 10003 clauses out of 20011 with flag 984000/985358
576.36/291.03	c cleaning 9999 clauses out of 20009 with flag 994001/995359
581.91/293.80	c cleaning 10002 clauses out of 20009 with flag 1004000/1005358
587.22/296.53	c cleaning 9998 clauses out of 20008 with flag 1014001/1015359
592.36/299.18	c cleaning 9997 clauses out of 20009 with flag 1024000/1025358
597.47/301.78	c cleaning 9997 clauses out of 20012 with flag 1034000/1035358
602.61/304.35	c cleaning 10004 clauses out of 20015 with flag 1044000/1045358
607.76/306.98	c cleaning 9998 clauses out of 20011 with flag 1054000/1055358
612.88/309.55	c cleaning 9999 clauses out of 20014 with flag 1064001/1065359
618.16/312.29	c cleaning 10003 clauses out of 20015 with flag 1074001/1075359
623.50/314.91	c cleaning 10001 clauses out of 20012 with flag 1084001/1085359
629.03/317.74	c cleaning 9998 clauses out of 20011 with flag 1094001/1095359
634.37/320.47	c cleaning 9996 clauses out of 20012 with flag 1104000/1105358
638.85/322.74	c cleaning 10005 clauses out of 20019 with flag 1114003/1115361
642.19/324.48	c cleaning 10003 clauses out of 20013 with flag 1124002/1125360
645.92/326.30	c cleaning 9998 clauses out of 20009 with flag 1134001/1135359
650.46/328.69	c cleaning 10000 clauses out of 20010 with flag 1144000/1145358
654.94/330.90	c cleaning 10002 clauses out of 20011 with flag 1154001/1155359
658.27/332.69	c cleaning 9999 clauses out of 20010 with flag 1164002/1165360
661.82/334.48	c cleaning 10005 clauses out of 20010 with flag 1174001/1175359
665.34/336.28	c cleaning 9994 clauses out of 20005 with flag 1184001/1185359
669.82/338.53	c cleaning 9997 clauses out of 20010 with flag 1194000/1195358
674.15/340.74	c cleaning 9999 clauses out of 20014 with flag 1204001/1205359
678.09/342.77	c cleaning 10000 clauses out of 20015 with flag 1214001/1215359
682.62/345.04	c cleaning 9999 clauses out of 20014 with flag 1224000/1225358
686.92/347.20	c cleaning 10000 clauses out of 20016 with flag 1234001/1235359
690.86/349.29	c cleaning 9998 clauses out of 20016 with flag 1244001/1245359
695.00/351.35	c cleaning 10000 clauses out of 20017 with flag 1254000/1255358
699.33/353.54	c cleaning 10001 clauses out of 20018 with flag 1264001/1265359
704.21/356.02	c cleaning 10000 clauses out of 20017 with flag 1274001/1275359
708.74/358.35	c cleaning 9998 clauses out of 20017 with flag 1284001/1285359
713.27/360.61	c cleaning 9998 clauses out of 20019 with flag 1294001/1295359
717.41/362.72	c cleaning 10005 clauses out of 20021 with flag 1304001/1305359
721.92/365.01	c cleaning 10000 clauses out of 20015 with flag 1314000/1315358
726.05/367.10	c cleaning 9996 clauses out of 20015 with flag 1324000/1325358
730.39/369.35	c cleaning 10005 clauses out of 20020 with flag 1334001/1335359
733.51/370.99	c cleaning 10004 clauses out of 20015 with flag 1344001/1345359
736.79/372.62	c cleaning 9992 clauses out of 20010 with flag 1354000/1355358
739.74/374.18	c cleaning 10003 clauses out of 20019 with flag 1364001/1365359
743.06/375.87	c cleaning 9997 clauses out of 20015 with flag 1374000/1375358
746.59/377.64	c cleaning 10005 clauses out of 20019 with flag 1384001/1385359
750.86/379.89	c cleaning 9998 clauses out of 20013 with flag 1394000/1395358
754.82/381.87	c cleaning 9997 clauses out of 20015 with flag 1404000/1405358
758.73/383.85	c cleaning 10003 clauses out of 20018 with flag 1414000/1415358
762.64/385.87	c cleaning 10001 clauses out of 20016 with flag 1424001/1425359
767.11/388.15	c cleaning 10000 clauses out of 20015 with flag 1434001/1435359
771.85/390.53	c cleaning 9997 clauses out of 20015 with flag 1444001/1445359
776.76/393.00	c cleaning 10005 clauses out of 20018 with flag 1454001/1455359
780.88/395.14	c cleaning 9999 clauses out of 20012 with flag 1464000/1465358
785.15/397.33	c cleaning 10001 clauses out of 20014 with flag 1474001/1475359
789.47/399.51	c cleaning 9999 clauses out of 20012 with flag 1484000/1485358
793.61/401.69	c cleaning 10000 clauses out of 20014 with flag 1494001/1495359
798.11/403.94	c cleaning 10001 clauses out of 20013 with flag 1504000/1505358
802.19/406.07	c cleaning 9995 clauses out of 20012 with flag 1514000/1515358
806.51/408.25	c cleaning 10000 clauses out of 20017 with flag 1524000/1525358
810.82/410.47	c cleaning 10004 clauses out of 20019 with flag 1534002/1535360
815.33/412.70	c cleaning 9998 clauses out of 20014 with flag 1544001/1545359
819.79/415.01	c cleaning 10000 clauses out of 20015 with flag 1554000/1555358
824.91/417.60	c cleaning 10000 clauses out of 20015 with flag 1564000/1565358
829.24/419.83	c cleaning 9997 clauses out of 20016 with flag 1574001/1575359
833.76/422.14	c cleaning 10002 clauses out of 20019 with flag 1584001/1585359
838.43/424.53	c cleaning 10001 clauses out of 20016 with flag 1594000/1595358
842.96/426.85	c cleaning 9998 clauses out of 20015 with flag 1604000/1605358
847.27/429.07	c cleaning 9997 clauses out of 20017 with flag 1614000/1615358
852.18/431.54	c cleaning 10000 clauses out of 20020 with flag 1624000/1625358
856.85/433.98	c cleaning 10004 clauses out of 20021 with flag 1634001/1635359
861.76/436.44	c cleaning 9999 clauses out of 20016 with flag 1644000/1645358
866.69/439.00	c cleaning 10000 clauses out of 20018 with flag 1654001/1655359
871.60/441.49	c cleaning 10001 clauses out of 20018 with flag 1664001/1665359
876.27/443.88	c cleaning 9999 clauses out of 20017 with flag 1674001/1675359
881.18/446.38	c cleaning 10001 clauses out of 20017 with flag 1684000/1685358
886.10/448.88	c cleaning 10001 clauses out of 20017 with flag 1694001/1695359
891.00/451.31	c cleaning 10001 clauses out of 20015 with flag 1704000/1705358
895.49/453.68	c cleaning 10001 clauses out of 20015 with flag 1714001/1715359
900.21/456.04	c cleaning 9996 clauses out of 20014 with flag 1724001/1725359
904.71/458.31	c cleaning 9998 clauses out of 20017 with flag 1734000/1735358
909.22/460.69	c cleaning 9996 clauses out of 20020 with flag 1744001/1745359
914.13/463.16	c cleaning 10000 clauses out of 20024 with flag 1754001/1755359
919.02/465.65	c cleaning 10001 clauses out of 20024 with flag 1764001/1765359
924.32/468.30	c cleaning 10004 clauses out of 20023 with flag 1774001/1775359
929.25/470.86	c cleaning 10000 clauses out of 20018 with flag 1784000/1785358
934.54/473.50	c cleaning 9999 clauses out of 20018 with flag 1794000/1795358
939.24/475.99	c cleaning 9999 clauses out of 20020 with flag 1804001/1805359
944.36/478.52	c cleaning 10003 clauses out of 20021 with flag 1814001/1815359
949.45/481.13	c cleaning 9999 clauses out of 20019 with flag 1824002/1825360
954.14/483.57	c cleaning 10003 clauses out of 20019 with flag 1834001/1835359
958.64/485.87	c cleaning 9999 clauses out of 20017 with flag 1844002/1845360
963.16/488.19	c cleaning 10001 clauses out of 20019 with flag 1854003/1855361
967.66/490.41	c cleaning 10001 clauses out of 20016 with flag 1864001/1865359
971.91/492.68	c cleaning 9997 clauses out of 20015 with flag 1874001/1875359
976.63/495.07	c cleaning 9999 clauses out of 20017 with flag 1884000/1885358
981.32/497.45	c cleaning 10000 clauses out of 20018 with flag 1894000/1895358
986.02/499.82	c cleaning 10003 clauses out of 20019 with flag 1904001/1905359
990.52/502.16	c cleaning 9997 clauses out of 20015 with flag 1914000/1915358
995.41/504.60	c cleaning 10002 clauses out of 20019 with flag 1924001/1925359
999.91/506.95	c cleaning 9997 clauses out of 20016 with flag 1934000/1935358
1004.41/509.24	c cleaning 10004 clauses out of 20021 with flag 1944002/1945360
1008.87/511.60	c cleaning 10001 clauses out of 20015 with flag 1954000/1955358
1013.36/513.80	c cleaning 9999 clauses out of 20014 with flag 1964000/1965358
1017.84/516.18	c cleaning 10000 clauses out of 20016 with flag 1974001/1975359
1022.34/518.41	c cleaning 10001 clauses out of 20017 with flag 1984002/1985360
1026.77/520.79	c cleaning 10001 clauses out of 20014 with flag 1994000/1995358
1029.27/522.09	c cleaning 10004 clauses out of 20013 with flag 2004000/2005358
1031.57/523.22	c cleaning 9999 clauses out of 20010 with flag 2014001/2015359
1034.49/524.71	c cleaning 9997 clauses out of 20010 with flag 2024000/2025358
1036.90/526.02	c cleaning 9998 clauses out of 20013 with flag 2034000/2035358
1039.19/527.26	c cleaning 10004 clauses out of 20015 with flag 2044000/2045358
1041.69/528.51	c cleaning 9996 clauses out of 20011 with flag 2054000/2055358
1044.59/530.01	c cleaning 10002 clauses out of 20015 with flag 2064000/2065358
1047.21/531.44	c cleaning 10000 clauses out of 20013 with flag 2074000/2075358
1049.50/532.68	c cleaning 10001 clauses out of 20014 with flag 2084001/2085359
1051.99/533.93	c cleaning 9997 clauses out of 20012 with flag 2094000/2095358
1054.29/535.14	c cleaning 10000 clauses out of 20015 with flag 2104000/2105358
1056.51/536.37	c cleaning 10002 clauses out of 20016 with flag 2114001/2115359
1058.80/537.55	c cleaning 10001 clauses out of 20013 with flag 2124000/2125358
1061.09/538.75	c cleaning 9998 clauses out of 20012 with flag 2134000/2135358
1063.58/540.04	c cleaning 10000 clauses out of 20014 with flag 2144000/2145358
1066.20/541.44	c cleaning 10005 clauses out of 20015 with flag 2154001/2155359
1068.29/542.54	c cleaning 10000 clauses out of 20010 with flag 2164001/2165359
1070.38/543.70	c cleaning 10000 clauses out of 20009 with flag 2174000/2175358
1072.88/544.95	c cleaning 10003 clauses out of 20009 with flag 2184000/2185358
1075.69/546.43	c cleaning 9997 clauses out of 20006 with flag 2194001/2195359
1078.40/547.85	c cleaning 9997 clauses out of 20009 with flag 2204001/2205359
1080.87/549.19	c cleaning 10001 clauses out of 20011 with flag 2214000/2215358
1083.76/550.69	c cleaning 10000 clauses out of 20011 with flag 2224001/2225359
1086.80/552.21	c cleaning 10001 clauses out of 20010 with flag 2234000/2235358
1089.09/553.44	c cleaning 10001 clauses out of 20009 with flag 2244000/2245358
1091.57/554.75	c cleaning 9998 clauses out of 20008 with flag 2254000/2255358
1094.26/556.13	c cleaning 10002 clauses out of 20010 with flag 2264000/2265358
1097.06/557.64	c cleaning 10002 clauses out of 20009 with flag 2274001/2275359
1099.95/559.10	c cleaning 10001 clauses out of 20006 with flag 2284000/2285358
1102.43/560.45	c cleaning 10003 clauses out of 20005 with flag 2294000/2295358
1104.73/561.68	c cleaning 9999 clauses out of 20002 with flag 2304000/2305358
1107.96/563.34	c cleaning 10000 clauses out of 20003 with flag 2314001/2315359
1110.82/564.88	c cleaning 9998 clauses out of 20003 with flag 2324001/2325359
1113.90/566.41	c cleaning 10002 clauses out of 20005 with flag 2334001/2335359
1116.21/567.67	c cleaning 0 clauses out of 5024 with flag 0/5024
1117.50/568.22	c cleaning 9996 clauses out of 20002 with flag 2344001/2345359
1120.51/569.80	c cleaning 9997 clauses out of 20004 with flag 2354000/2355358
1123.80/571.48	c cleaning 10000 clauses out of 20006 with flag 2364000/2365358
1126.29/572.77	c  And the winner is Resolution
1123.98/573.24	c starts		: 229
1123.98/573.24	c conflicts		: 2372954
1123.98/573.24	c decisions		: 2394150
1123.98/573.24	c propagations		: 30662309
1123.98/573.24	c inspects		: 1799226231
1123.98/573.24	c shortcuts		: 0
1123.98/573.24	c learnt literals	: 27
1123.98/573.24	c learnt binary clauses	: 129
1123.98/573.24	c learnt ternary clauses	: 613
1123.98/573.24	c learnt constraints	: 2372926
1123.98/573.24	c ignored constraints	: 0
1123.98/573.24	c root simplifications	: 0
1123.98/573.24	c removed literals (reason simplification)	: 92606654
1123.98/573.24	c reason swapping (by a shorter reason)	: 0
1123.98/573.24	c Calls to reduceDB	: 238
1123.98/573.24	c number of reductions to clauses (during analyze)	: 0
1123.98/573.24	c number of learned constraints concerned by reduction	: 0
1123.98/573.24	c number of learning phase by resolution	: 0
1123.98/573.24	c number of learning phase by cutting planes	: 0
1123.98/573.24	c speed (assignments/second)	: 53578.271505705154
1123.98/573.24	c non guided choices	124
1123.98/573.24	c learnt constraints type 
1123.98/573.24	c constraints type 
1123.98/573.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 114
1123.98/573.24	c constraints type 
1123.98/573.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 114
1123.98/573.24	s OPTIMUM FOUND
1123.98/573.25	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 
1123.98/573.25	c objective function=0
1123.98/573.25	c Total wall clock time (in seconds): 573.094

Verifier Data

OK	0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.76 3.85 3.81 4/199 30596
/proc/meminfo: memFree=24674508/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/30596/stat : 30596 (java) R 30594 30596 27163 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 335092635 278528 34 33554432000 1073741824 1073778376 140737487317920 140737487315096 273579863850 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30596/statm: 625 42 34 9 0 25 0

[startup+0.102667 s]
/proc/loadavg: 3.76 3.85 3.81 4/199 30596
/proc/meminfo: memFree=24674508/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11253516 CPUtime=0.05 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 4315 0 1 0 4 1 0 0 20 0 13 0 335092635 11523600384 12678 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2813379 12678 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516

[startup+0.200273 s]
/proc/loadavg: 3.76 3.85 3.81 4/199 30596
/proc/meminfo: memFree=24674508/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11586392 CPUtime=0.21 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 5679 0 1 0 20 1 0 0 20 0 18 0 335092635 11864465408 14460 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2896598 14460 2186 9 0 2887285 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11586392

[startup+0.300279 s]
/proc/loadavg: 3.76 3.85 3.81 4/199 30596
/proc/meminfo: memFree=24674508/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11586392 CPUtime=0.49 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 12693 0 1 0 46 3 0 0 20 0 18 0 335092635 11864465408 20037 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2896598 20037 2214 9 0 2887285 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11586392

[startup+0.700229 s]
/proc/loadavg: 3.76 3.85 3.81 4/199 30596
/proc/meminfo: memFree=24674508/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=1.93 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 17881 0 1 0 188 5 0 0 20 0 22 0 335092635 12137111552 28023 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 28023 2249 9 0 2953849 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 11852648

[startup+1.5008 s]
/proc/loadavg: 3.76 3.85 3.81 6/221 30621
/proc/meminfo: memFree=24422576/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=3.99 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 18881 0 1 0 386 13 0 0 20 0 22 0 335092635 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 106368 2255 9 0 2953849 0
[pid=30596/tid=30598] ppid=30594 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/30596/task/30598/stat : 30598 (java) S 30594 30596 27163 0 -1 4202560 3388 0 1 0 38 2 0 0 20 0 22 0 335092637 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751759824024 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30599] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30599/stat : 30599 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751728233000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30600] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30600/stat : 30600 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751595149736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30601] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30601/stat : 30601 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751594096936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30602] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30602/stat : 30602 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751390701736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30603] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30603/stat : 30603 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751389649960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30604] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30604/stat : 30604 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751388597160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30605] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30605/stat : 30605 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751387544360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30606] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30606/stat : 30606 (java) S 30594 30596 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751386491560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30607] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30607/stat : 30607 (java) S 30594 30596 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335092642 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751374293480 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30608] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30608/stat : 30608 (java) S 30594 30596 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751373239544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30609] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30609/stat : 30609 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751372186632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30610] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30610/stat : 30610 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751371135120 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 6824 0 0 0 81 2 0 0 20 0 22 0 335092646 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30612] ppid=30594 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/30596/task/30612/stat : 30612 (java) S 30594 30596 27163 0 -1 4202560 7198 0 0 0 73 2 0 0 20 0 22 0 335092646 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751369030456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30613] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30613/stat : 30613 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751367977848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30614] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30614/stat : 30614 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751366925256 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30617] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30617/stat : 30617 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335092686 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751363707816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30619] ppid=30594 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/30596/task/30619/stat : 30619 (java) R 30594 30596 27163 0 -1 4202560 4 0 0 0 52 0 0 0 20 0 22 0 335092731 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751364760680 139751609608704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30620] ppid=30594 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/30596/task/30620/stat : 30620 (java) R 30594 30596 27163 0 -1 4202560 114 0 0 0 48 5 0 0 20 0 22 0 335092731 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751365813128 139751609623124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30621] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30621/stat : 30621 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092731 12137111552 106368 33554432000 1073741824 1073778376 140733323007936 139751362655656 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 11852648

[startup+3.1009 s]
/proc/loadavg: 3.76 3.85 3.81 5/221 30621
/proc/meminfo: memFree=24085712/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=7.26 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 19132 0 1 0 705 21 0 0 20 0 22 0 335092635 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 201138 2281 9 0 2953849 0
[pid=30596/tid=30598] ppid=30594 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/30596/task/30598/stat : 30598 (java) S 30594 30596 27163 0 -1 4202560 3388 0 1 0 38 2 0 0 20 0 22 0 335092637 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751759824024 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30599] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30599/stat : 30599 (java) S 30594 30596 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751728233000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30600] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30600/stat : 30600 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751595149736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30601] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30601/stat : 30601 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751594096936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30602] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30602/stat : 30602 (java) S 30594 30596 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751390701736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30603] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30603/stat : 30603 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751389649960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30604] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30604/stat : 30604 (java) S 30594 30596 27163 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751388597160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30605] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30605/stat : 30605 (java) S 30594 30596 27163 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751387544360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30606] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30606/stat : 30606 (java) S 30594 30596 27163 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751386491560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30607] ppid=30594 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/30596/task/30607/stat : 30607 (java) S 30594 30596 27163 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 22 0 335092642 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751374293480 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30608] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30608/stat : 30608 (java) S 30594 30596 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751373239544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30609] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30609/stat : 30609 (java) S 30594 30596 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751372186632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30610] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30610/stat : 30610 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751371135120 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 6829 0 0 0 83 2 0 0 20 0 22 0 335092646 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30612] ppid=30594 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/30596/task/30612/stat : 30612 (java) S 30594 30596 27163 0 -1 4202560 7202 0 0 0 80 2 0 0 20 0 22 0 335092646 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751369030456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30613] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30613/stat : 30613 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751367977848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30614] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30614/stat : 30614 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751366925256 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30617] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30617/stat : 30617 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335092686 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751363707816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30619] ppid=30594 vsize=11852648 CPUtime=2.05 cores=1,3,5,7
/proc/30596/task/30619/stat : 30619 (java) R 30594 30596 27163 0 -1 4202560 9 0 0 0 205 0 0 0 20 0 22 0 335092731 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751364760616 139751609377068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30620] ppid=30594 vsize=11852648 CPUtime=2.07 cores=1,3,5,7
/proc/30596/task/30620/stat : 30620 (java) R 30594 30596 27163 0 -1 4202560 289 0 0 0 196 11 0 0 20 0 22 0 335092731 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751365812712 139751609630650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30621] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30621/stat : 30621 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092731 12137111552 201138 33554432000 1073741824 1073778376 140733323007936 139751362655656 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 11852648

[startup+6.30095 s]
/proc/loadavg: 3.86 3.87 3.82 5/221 30621
/proc/meminfo: memFree=23443320/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=13.88 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 19398 0 1 0 1357 31 0 0 20 0 22 0 335092635 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 309047 2281 9 0 2953849 0
[pid=30596/tid=30598] ppid=30594 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/30596/task/30598/stat : 30598 (java) S 30594 30596 27163 0 -1 4202560 3388 0 1 0 38 2 0 0 20 0 22 0 335092637 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751759824024 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30599] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30599/stat : 30599 (java) S 30594 30596 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751728233000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30600] ppid=30594 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/30596/task/30600/stat : 30600 (java) S 30594 30596 27163 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751595149736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30601] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30601/stat : 30601 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751594096936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30602] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30602/stat : 30602 (java) S 30594 30596 27163 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751390701736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30603] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30603/stat : 30603 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751389649960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30604] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30604/stat : 30604 (java) S 30594 30596 27163 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751388597160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30605] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30605/stat : 30605 (java) S 30594 30596 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751387544360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30606] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30606/stat : 30606 (java) S 30594 30596 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335092641 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751386491560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30607] ppid=30594 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/30596/task/30607/stat : 30607 (java) S 30594 30596 27163 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 22 0 335092642 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751374293480 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30608] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30608/stat : 30608 (java) S 30594 30596 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751373239544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30609] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30609/stat : 30609 (java) S 30594 30596 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751372186632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30610] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30610/stat : 30610 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751371135120 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 6829 0 0 0 86 2 0 0 20 0 22 0 335092646 12137111552 309047 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 10451 0 0 0 143 3 0 0 20 0 22 0 335092646 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30612] ppid=30594 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/30596/task/30612/stat : 30612 (java) S 30594 30596 27163 0 -1 4202560 7238 0 0 0 104 2 0 0 20 0 22 0 335092646 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751369030456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30613] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30613/stat : 30613 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751367977848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30614] ppid=30594 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/30596/task/30614/stat : 30614 (java) S 30594 30596 27163 0 -1 4202560 33 0 0 0 12 10 0 0 20 0 22 0 335092646 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751366925256 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30617] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30617/stat : 30617 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335092686 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751363707816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30619] ppid=30594 vsize=11852648 CPUtime=545.78 cores=1,3,5,7
/proc/30596/task/30619/stat : 30619 (java) R 30594 30596 27163 0 -1 4202560 130 0 0 0 54569 9 0 0 20 0 22 0 335092731 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751364760528 139751609406104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30620] ppid=30594 vsize=11852648 CPUtime=546.05 cores=1,3,5,7
/proc/30596/task/30620/stat : 30620 (java) R 30594 30596 27163 0 -1 4202560 1284 0 0 0 54552 53 0 0 20 0 22 0 335092731 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751365811184 139751609548070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30621] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30621/stat : 30621 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092731 12137111552 750674 33554432000 1073741824 1073778376 140733323007936 139751362655656 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1123.4
Current children cumulated vsize (KiB) 11852648

[startup+572.001 s]
/proc/loadavg: 3.92 3.94 3.86 5/221 30626
/proc/meminfo: memFree=21599108/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=1124.9 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 27673 0 1 0 112378 112 0 0 20 0 22 0 335092635 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 750676 2282 9 0 2953849 0
[pid=30596/tid=30598] ppid=30594 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/30596/task/30598/stat : 30598 (java) S 30594 30596 27163 0 -1 4202560 3439 0 1 0 39 4 0 0 20 0 22 0 335092637 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751759824024 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30599] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30599/stat : 30599 (java) S 30594 30596 27163 0 -1 4202560 58 0 0 0 34 2 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751728233000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30600] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30600/stat : 30600 (java) S 30594 30596 27163 0 -1 4202560 54 0 0 0 34 2 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751595149736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30601] ppid=30594 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/30596/task/30601/stat : 30601 (java) S 30594 30596 27163 0 -1 4202560 68 0 0 0 33 2 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751594096936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30602] ppid=30594 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/30596/task/30602/stat : 30602 (java) S 30594 30596 27163 0 -1 4202560 67 0 0 0 32 2 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751390701736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30603] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30603/stat : 30603 (java) S 30594 30596 27163 0 -1 4202560 61 0 0 0 34 2 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751389649960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30604] ppid=30594 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/30596/task/30604/stat : 30604 (java) S 30594 30596 27163 0 -1 4202560 55 0 0 0 32 0 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751388597160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30605] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30605/stat : 30605 (java) S 30594 30596 27163 0 -1 4202560 77 0 0 0 33 3 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751387544360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30606] ppid=30594 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/30596/task/30606/stat : 30606 (java) S 30594 30596 27163 0 -1 4202560 64 0 0 0 34 3 0 0 20 0 22 0 335092641 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751386491560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30607] ppid=30594 vsize=11852648 CPUtime=21.96 cores=1,3,5,7
/proc/30596/task/30607/stat : 30607 (java) S 30594 30596 27163 0 -1 4202560 3252 0 0 0 2167 29 0 0 20 0 22 0 335092642 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751374293480 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30608] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30608/stat : 30608 (java) S 30594 30596 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751373239544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30609] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30609/stat : 30609 (java) S 30594 30596 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335092643 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751372186632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30610] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30610/stat : 30610 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751371135120 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 10451 0 0 0 143 3 0 0 20 0 22 0 335092646 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30612] ppid=30594 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/30596/task/30612/stat : 30612 (java) S 30594 30596 27163 0 -1 4202560 7238 0 0 0 104 2 0 0 20 0 22 0 335092646 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751369030456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30613] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30613/stat : 30613 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335092646 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751367977848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30614] ppid=30594 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/30596/task/30614/stat : 30614 (java) S 30594 30596 27163 0 -1 4202560 33 0 0 0 12 10 0 0 20 0 22 0 335092646 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751366925256 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30617] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30617/stat : 30617 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335092686 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751363707816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30619] ppid=30594 vsize=11852648 CPUtime=546.46 cores=1,3,5,7
/proc/30596/task/30619/stat : 30619 (java) R 30594 30596 27163 0 -1 4202560 130 0 0 0 54637 9 0 0 20 0 22 0 335092731 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751364760648 139751609406160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30620] ppid=30594 vsize=11852648 CPUtime=546.73 cores=1,3,5,7
/proc/30596/task/30620/stat : 30620 (java) R 30594 30596 27163 0 -1 4202560 1284 0 0 0 54620 53 0 0 20 0 22 0 335092731 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751365811184 139751609547566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30621] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30621/stat : 30621 (java) S 30594 30596 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335092731 12137111552 750676 33554432000 1073741824 1073778376 140733323007936 139751362655656 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1124.9
Current children cumulated vsize (KiB) 11852648

[startup+572.801 s]
/proc/loadavg: 3.92 3.94 3.86 5/221 30626
/proc/meminfo: memFree=21599108/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=1125.13 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 27673 0 1 0 112392 121 0 0 20 0 20 0 335092635 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 750671 2282 9 0 2953849 0
[pid=30596/tid=30598] ppid=30594 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/30596/task/30598/stat : 30598 (java) S 30594 30596 27163 0 -1 4202560 3439 0 1 0 39 4 0 0 20 0 20 0 335092637 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751759824024 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30599] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30599/stat : 30599 (java) S 30594 30596 27163 0 -1 4202560 58 0 0 0 34 2 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751728233000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30600] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30600/stat : 30600 (java) S 30594 30596 27163 0 -1 4202560 54 0 0 0 34 2 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751595149736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30601] ppid=30594 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/30596/task/30601/stat : 30601 (java) S 30594 30596 27163 0 -1 4202560 68 0 0 0 33 2 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751594096936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30602] ppid=30594 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/30596/task/30602/stat : 30602 (java) S 30594 30596 27163 0 -1 4202560 67 0 0 0 32 2 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751390701736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30603] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30603/stat : 30603 (java) S 30594 30596 27163 0 -1 4202560 61 0 0 0 34 2 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751389649960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30604] ppid=30594 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/30596/task/30604/stat : 30604 (java) S 30594 30596 27163 0 -1 4202560 55 0 0 0 32 0 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751388597160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30605] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30605/stat : 30605 (java) S 30594 30596 27163 0 -1 4202560 77 0 0 0 33 3 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751387544360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30606] ppid=30594 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/30596/task/30606/stat : 30606 (java) S 30594 30596 27163 0 -1 4202560 64 0 0 0 34 3 0 0 20 0 20 0 335092641 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751386491560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30607] ppid=30594 vsize=11852648 CPUtime=21.96 cores=1,3,5,7
/proc/30596/task/30607/stat : 30607 (java) S 30594 30596 27163 0 -1 4202560 3252 0 0 0 2167 29 0 0 20 0 20 0 335092642 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751374293480 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30608] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30608/stat : 30608 (java) S 30594 30596 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 335092643 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751373239544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30609] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30609/stat : 30609 (java) S 30594 30596 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 335092643 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751372186632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30610] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30610/stat : 30610 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335092646 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751371135120 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 10451 0 0 0 143 3 0 0 20 0 20 0 335092646 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30612] ppid=30594 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/30596/task/30612/stat : 30612 (java) S 30594 30596 27163 0 -1 4202560 7238 0 0 0 104 2 0 0 20 0 20 0 335092646 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751369030456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30613] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30613/stat : 30613 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335092646 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751367977848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30614] ppid=30594 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/30596/task/30614/stat : 30614 (java) S 30594 30596 27163 0 -1 4202560 33 0 0 0 12 10 0 0 20 0 20 0 335092646 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751366925256 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30617] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30617/stat : 30617 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335092686 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751363707816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30620] ppid=30594 vsize=11852648 CPUtime=547.52 cores=1,3,5,7
/proc/30596/task/30620/stat : 30620 (java) R 30594 30596 27163 0 -1 4202560 1284 0 0 0 54699 53 0 0 20 0 20 0 335092731 12137111552 750671 33554432000 1073741824 1073778376 140733323007936 139751365811184 139751609260892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1125.13
Current children cumulated vsize (KiB) 11852648

[startup+573.207 s]
/proc/loadavg: 3.92 3.94 3.86 3/218 30626
/proc/meminfo: memFree=21597060/32873844 swapFree=7112/7112
[pid=30596] ppid=30594 vsize=11852648 CPUtime=1123.98 cores=1,3,5,7
/proc/30596/stat : 30596 (java) S 30594 30596 27163 0 -1 4202496 27673 0 1 0 112269 129 0 0 20 0 19 0 335092635 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 140733322999072 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/30596/statm: 2963162 750668 2282 9 0 2953849 0
[pid=30596/tid=30598] ppid=30594 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/30596/task/30598/stat : 30598 (java) R 30594 30596 27163 0 -1 4202560 3439 0 1 0 49 4 0 0 20 0 19 0 335092637 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751759823560 139751609924497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30599] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30599/stat : 30599 (java) S 30594 30596 27163 0 -1 4202560 58 0 0 0 34 2 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751728233000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30600] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30600/stat : 30600 (java) S 30594 30596 27163 0 -1 4202560 54 0 0 0 34 2 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751595149736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30601] ppid=30594 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/30596/task/30601/stat : 30601 (java) S 30594 30596 27163 0 -1 4202560 68 0 0 0 33 2 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751594096936 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30602] ppid=30594 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/30596/task/30602/stat : 30602 (java) S 30594 30596 27163 0 -1 4202560 67 0 0 0 32 2 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751390701736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30603] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30603/stat : 30603 (java) S 30594 30596 27163 0 -1 4202560 61 0 0 0 34 2 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751389649960 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30604] ppid=30594 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/30596/task/30604/stat : 30604 (java) S 30594 30596 27163 0 -1 4202560 55 0 0 0 32 0 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751388597160 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30605] ppid=30594 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/30596/task/30605/stat : 30605 (java) S 30594 30596 27163 0 -1 4202560 77 0 0 0 33 3 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751387544360 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30606] ppid=30594 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/30596/task/30606/stat : 30606 (java) S 30594 30596 27163 0 -1 4202560 64 0 0 0 34 3 0 0 20 0 19 0 335092641 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751386491560 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30607] ppid=30594 vsize=11852648 CPUtime=21.96 cores=1,3,5,7
/proc/30596/task/30607/stat : 30607 (java) S 30594 30596 27163 0 -1 4202560 3252 0 0 0 2167 29 0 0 20 0 19 0 335092642 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751374293480 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30608] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30608/stat : 30608 (java) S 30594 30596 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335092643 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751373239544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30609] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30609/stat : 30609 (java) S 30594 30596 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335092643 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751372186632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30610] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30610/stat : 30610 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335092646 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751371135120 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30596/tid=30611] ppid=30594 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/30596/task/30611/stat : 30611 (java) S 30594 30596 27163 0 -1 4202560 10451 0 0 0 144 3 0 0 20 0 19 0 335092646 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751370083256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30596/tid=30612] ppid=30594 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/30596/task/30612/stat : 30612 (java) S 30594 30596 27163 0 -1 4202560 7238 0 0 0 104 2 0 0 20 0 19 0 335092646 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751369030456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30613] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30613/stat : 30613 (java) S 30594 30596 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335092646 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751367977848 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30596/tid=30614] ppid=30594 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/30596/task/30614/stat : 30614 (java) S 30594 30596 27163 0 -1 4202560 33 0 0 0 12 10 0 0 20 0 19 0 335092646 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751366925256 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30596/tid=30617] ppid=30594 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/30596/task/30617/stat : 30617 (java) S 30594 30596 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335092686 12137111552 750668 33554432000 1073741824 1073778376 140733323007936 139751363707816 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1123.98
Current children cumulated vsize (KiB) 11852648

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.42004
#  lost CPU user time (s): 2.59009
#  lost CPU system time (s): -0.17

Real time (s): 573.28
CPU time (s): 1126.5
CPU user time (s): 1125.22
CPU system time (s): 1.27978
CPU usage (%): 196.501
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1122.63
system time used= 1.44978
maximum resident set size= 3005440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27678
page faults= 1
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20371
involuntary context switches= 14449

runsolver used 2.15267 second user time and 5.64614 second system time

The end

Launcher Data

Begin job on node132 at 2012-06-03 04:14:33
IDJOB=3733448
IDBENCH=2462
IDSOLVER=2328
FILE ID=node132/3733448-1338689673
RUNJOBID= node132-1338678626-27183
PBS_JOBID= 14636681
Free space on /tmp= 71212 MiB

SOLVER NAME= PB11: 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-3733448-1338689673/watcher-3733448-1338689673 -o /tmp/evaluation-result-3733448-1338689673/solver-3733448-1338689673 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733448-1338689673.opb

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

MD5SUM BENCH= eff6ad715055e79721cc364806b971f0
RANDOM SEED=1865182201

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24674888 kB
Buffers:          602376 kB
Cached:          3075924 kB
SwapCached:         2288 kB
Active:          5155824 kB
Inactive:        2120868 kB
Active(anon):    3591056 kB
Inactive(anon):     7108 kB
Active(file):    1564768 kB
Inactive(file):  2113760 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102712 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:       3602720 kB
Mapped:            19308 kB
Shmem:                 8 kB
Slab:             774612 kB
SReclaimable:     215992 kB
SUnreclaim:       558620 kB
KernelStack:        1648 kB
PageTables:        11440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3557376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71212 MiB
End job on node132 at 2012-06-03 04:24:06