Trace number 3455037

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)7901 1800.23 953.294

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark1.15382
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3455037-1307187865.opb
0.00/0.11	c reading problem ... 
0.59/0.31	c ... done. Wall clock time 0.203s.
0.59/0.31	c #vars     2655
0.59/0.31	c #constraints  291
0.59/0.31	c constraints type 
0.59/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144
0.59/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 146
0.59/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.59/0.31	c constraints type 
0.59/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144
0.59/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 146
0.59/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
4.20/1.57	c cleaning 2496 clauses out of 4998 with flag 5001/5001
7.12/2.75	c cleaning 4239 clauses out of 8498 with flag 11000/11000
10.95/4.66	c cleaning 5615 clauses out of 11259 with flag 18000/18000
14.93/6.70	c cleaning 6804 clauses out of 13644 with flag 26001/26001
19.11/8.75	c cleaning 7899 clauses out of 15840 with flag 35001/35001
24.68/11.53	c cleaning 8949 clauses out of 17940 with flag 45001/45001
28.83/13.64	c cleaning 9461 clauses out of 18990 with flag 55001/55001
35.20/16.83	c cleaning 9739 clauses out of 19533 with flag 65005/65005
43.13/20.90	c cleaning 9870 clauses out of 19790 with flag 75001/75001
45.28/21.96	c  And the winner is CuttingPlanes
45.28/21.98	c SATISFIABLE
45.28/21.98	c OPTIMIZING...
45.28/21.98	c Got one! Elapsed wall clock time (in seconds):21.873
45.28/21.98	o 8474
45.84/22.19	c cleaning 7653 clauses out of 15325 with flag 1004/80407
48.34/23.50	c cleaning 6806 clauses out of 13669 with flag 7001/86404
51.89/25.27	c cleaning 6898 clauses out of 13861 with flag 14000/93403
55.59/27.16	c cleaning 7455 clauses out of 14962 with flag 22000/101403
60.33/29.56	c cleaning 8214 clauses out of 16507 with flag 31000/110403
63.65/31.21	c  And the winner is CuttingPlanes
63.68/31.53	c Got one! Elapsed wall clock time (in seconds):31.424
63.68/31.53	o 8050
65.81/32.69	c cleaning 10045 clauses out of 20150 with flag 5001/122260
68.74/34.18	c cleaning 7991 clauses out of 16106 with flag 11002/128261
72.19/35.96	c cleaning 7530 clauses out of 15113 with flag 18000/135259
76.50/38.17	c cleaning 7778 clauses out of 15583 with flag 26000/143259
82.00/40.92	c cleaning 8367 clauses out of 16805 with flag 35000/152259
85.91/42.99	c cleaning 9203 clauses out of 18441 with flag 45003/162262
90.54/45.32	c cleaning 9589 clauses out of 19233 with flag 55000/172259
94.45/47.32	c cleaning 9812 clauses out of 19646 with flag 65002/182261
98.74/49.59	c cleaning 9894 clauses out of 19832 with flag 75000/192259
103.63/52.08	c cleaning 9944 clauses out of 19939 with flag 85001/202260
109.86/55.21	c cleaning 9987 clauses out of 19995 with flag 95001/212260
115.15/57.99	c cleaning 9981 clauses out of 20008 with flag 105001/222260
120.29/60.55	c cleaning 9956 clauses out of 20026 with flag 115000/232259
125.16/63.09	c cleaning 10005 clauses out of 20070 with flag 125000/242259
130.39/65.70	c cleaning 9998 clauses out of 20066 with flag 135001/252260
134.87/68.02	c cleaning 10019 clauses out of 20068 with flag 145001/262260
139.78/70.58	c cleaning 9988 clauses out of 20048 with flag 155000/272259
145.43/73.43	c cleaning 10003 clauses out of 20061 with flag 165001/282260
150.27/75.95	c cleaning 10005 clauses out of 20057 with flag 175000/292259
155.53/78.61	c cleaning 9998 clauses out of 20053 with flag 185001/302260
159.81/80.89	c cleaning 10008 clauses out of 20054 with flag 195000/312259
164.29/83.11	c cleaning 9959 clauses out of 20046 with flag 205000/322259
168.90/85.53	c cleaning 10005 clauses out of 20088 with flag 215001/332260
173.57/87.93	c cleaning 9996 clauses out of 20083 with flag 225001/342260
179.25/90.85	c cleaning 9984 clauses out of 20087 with flag 235001/352260
184.54/93.56	c cleaning 10001 clauses out of 20103 with flag 245001/362260
189.33/96.07	c cleaning 10030 clauses out of 20101 with flag 255000/372259
195.60/99.21	c cleaning 10013 clauses out of 20072 with flag 265001/382260
201.07/102.03	c cleaning 9989 clauses out of 20058 with flag 275000/392259
212.57/107.82	c cleaning 10020 clauses out of 20070 with flag 285001/402260
216.99/110.13	c cleaning 9993 clauses out of 20049 with flag 295000/412259
222.43/112.90	c cleaning 10007 clauses out of 20056 with flag 305000/422259
226.30/114.92	c cleaning 10000 clauses out of 20049 with flag 315000/432259
230.57/117.15	c cleaning 9979 clauses out of 20049 with flag 325000/442259
238.57/121.27	c cleaning 9948 clauses out of 20073 with flag 335003/452262
243.64/123.81	c cleaning 9986 clauses out of 20123 with flag 345001/462260
247.50/125.84	c cleaning 10039 clauses out of 20136 with flag 355000/472259
251.19/127.74	c cleaning 10018 clauses out of 20097 with flag 365000/482259
255.20/129.86	c cleaning 10010 clauses out of 20083 with flag 375004/492263
259.05/131.85	c cleaning 10003 clauses out of 20070 with flag 385001/502260
263.35/134.04	c cleaning 10003 clauses out of 20068 with flag 395002/512261
269.00/136.93	c cleaning 9997 clauses out of 20064 with flag 405001/522260
274.80/139.94	c cleaning 9989 clauses out of 20066 with flag 415000/532259
287.49/146.39	c cleaning 10018 clauses out of 20077 with flag 425000/542259
296.74/151.04	c cleaning 9977 clauses out of 20059 with flag 435000/552259
303.18/154.32	c cleaning 9971 clauses out of 20083 with flag 445001/562260
312.75/159.22	c cleaning 10011 clauses out of 20111 with flag 455000/572259
318.59/162.24	c cleaning 10002 clauses out of 20100 with flag 465000/582259
325.83/165.92	c cleaning 9992 clauses out of 20099 with flag 475001/592260
330.70/168.48	c cleaning 10017 clauses out of 20110 with flag 485004/602263
334.85/170.62	c cleaning 10006 clauses out of 20089 with flag 495000/612259
338.26/172.45	c cleaning 10010 clauses out of 20084 with flag 505001/622260
341.89/174.38	c cleaning 9997 clauses out of 20073 with flag 515000/632259
345.52/176.29	c cleaning 9975 clauses out of 20076 with flag 525000/642259
349.28/178.28	c cleaning 9998 clauses out of 20102 with flag 535001/652260
352.90/180.17	c cleaning 10000 clauses out of 20104 with flag 545001/662260
356.53/182.08	c cleaning 9999 clauses out of 20104 with flag 555001/672260
360.17/183.96	c cleaning 10000 clauses out of 20104 with flag 565000/682259
363.93/185.95	c cleaning 9999 clauses out of 20104 with flag 575000/692259
367.54/187.88	c cleaning 10002 clauses out of 20106 with flag 585001/702260
372.39/190.38	c cleaning 10027 clauses out of 20103 with flag 595001/712260
377.40/192.96	c cleaning 10011 clauses out of 20077 with flag 605002/722261
382.95/195.86	c cleaning 10007 clauses out of 20066 with flag 615002/732261
388.76/198.89	c cleaning 9977 clauses out of 20057 with flag 625000/742259
394.58/201.89	c cleaning 9978 clauses out of 20080 with flag 635000/752259
399.60/204.46	c cleaning 9994 clauses out of 20103 with flag 645001/762260
406.56/208.02	c cleaning 10050 clauses out of 20108 with flag 655000/772259
412.77/211.30	c cleaning 10003 clauses out of 20059 with flag 665001/782260
420.97/215.42	c cleaning 9999 clauses out of 20055 with flag 675000/792259
429.38/219.74	c cleaning 9966 clauses out of 20056 with flag 685000/802259
436.32/223.33	c cleaning 9992 clauses out of 20093 with flag 695003/812262
446.72/228.63	c cleaning 10001 clauses out of 20098 with flag 705000/822259
454.33/232.50	c cleaning 9983 clauses out of 20100 with flag 715003/832262
459.15/235.09	c cleaning 10019 clauses out of 20116 with flag 725002/842261
464.87/238.01	c cleaning 10019 clauses out of 20096 with flag 735001/852260
469.87/240.63	c cleaning 9999 clauses out of 20077 with flag 745001/862260
473.89/242.73	c cleaning 10004 clauses out of 20078 with flag 755001/872260
477.30/244.59	c cleaning 10004 clauses out of 20073 with flag 765000/882259
481.41/246.77	c cleaning 10001 clauses out of 20069 with flag 775000/892259
484.62/248.49	c cleaning 10022 clauses out of 20068 with flag 785000/902259
489.24/250.91	c cleaning 9998 clauses out of 20046 with flag 795000/912259
495.86/254.26	c cleaning 9993 clauses out of 20049 with flag 805001/922260
500.14/256.59	c cleaning 10007 clauses out of 20055 with flag 815000/932259
503.95/258.61	c cleaning 10004 clauses out of 20048 with flag 825000/942259
507.93/260.64	c cleaning 10006 clauses out of 20045 with flag 835001/952260
512.12/262.81	c cleaning 10004 clauses out of 20038 with flag 845000/962259
516.21/265.04	c cleaning 10002 clauses out of 20035 with flag 855001/972260
517.40/265.70	c  And the winner is CuttingPlanes
517.40/265.77	c Got one! Elapsed wall clock time (in seconds):265.665
517.40/265.77	o 7989
518.87/266.54	c cleaning 7602 clauses out of 15267 with flag 3001/977494
521.86/268.17	c cleaning 6802 clauses out of 13665 with flag 9001/983494
525.65/270.15	c cleaning 6923 clauses out of 13861 with flag 16000/990493
529.73/272.32	c cleaning 7446 clauses out of 14938 with flag 24000/998493
534.72/274.99	c cleaning 8233 clauses out of 16493 with flag 33001/1007494
540.50/277.96	c cleaning 9094 clauses out of 18260 with flag 43001/1017494
545.29/280.51	c cleaning 9565 clauses out of 19165 with flag 53000/1027493
552.14/284.07	c cleaning 9776 clauses out of 19601 with flag 63001/1037494
559.51/287.88	c cleaning 9888 clauses out of 19826 with flag 73002/1047495
565.49/290.99	c cleaning 9946 clauses out of 19936 with flag 83000/1057493
570.46/293.57	c cleaning 9961 clauses out of 19990 with flag 93000/1067493
579.10/298.07	c cleaning 9992 clauses out of 20030 with flag 103001/1077494
583.68/300.47	c cleaning 9990 clauses out of 20037 with flag 113000/1087493
588.61/303.02	c cleaning 9985 clauses out of 20047 with flag 123000/1097493
592.36/305.10	c cleaning 10019 clauses out of 20061 with flag 133001/1107494
596.80/307.45	c cleaning 9992 clauses out of 20041 with flag 143000/1117493
602.38/310.39	c cleaning 10006 clauses out of 20049 with flag 153000/1127493
607.10/312.85	c cleaning 10001 clauses out of 20044 with flag 163001/1137494
612.88/315.82	c cleaning 10008 clauses out of 20037 with flag 173003/1147496
617.87/318.56	c cleaning 9985 clauses out of 20028 with flag 183002/1157495
622.43/320.96	c cleaning 9985 clauses out of 20044 with flag 193003/1167496
629.39/324.61	c cleaning 9982 clauses out of 20057 with flag 203001/1177494
639.52/329.76	c cleaning 10011 clauses out of 20075 with flag 213001/1187494
644.17/332.30	c cleaning 10001 clauses out of 20063 with flag 223000/1197493
650.09/335.36	c cleaning 9945 clauses out of 20062 with flag 233000/1207493
655.83/338.33	c cleaning 10002 clauses out of 20117 with flag 243000/1217493
660.58/340.84	c cleaning 9974 clauses out of 20115 with flag 253000/1227493
664.79/343.17	c cleaning 10052 clauses out of 20141 with flag 263000/1237493
670.33/346.05	c cleaning 10020 clauses out of 20089 with flag 273000/1247493
676.47/349.23	c cleaning 9997 clauses out of 20069 with flag 283000/1257493
681.21/351.71	c cleaning 9984 clauses out of 20073 with flag 293001/1267494
685.83/354.23	c cleaning 10003 clauses out of 20089 with flag 303001/1277494
690.94/356.93	c cleaning 10011 clauses out of 20086 with flag 313001/1287494
696.08/359.64	c cleaning 10022 clauses out of 20075 with flag 323001/1297494
699.81/361.60	c cleaning 10010 clauses out of 20053 with flag 333001/1307494
703.60/363.72	c cleaning 10006 clauses out of 20043 with flag 343001/1317494
708.13/366.13	c cleaning 9981 clauses out of 20037 with flag 353001/1327494
713.45/368.97	c cleaning 9988 clauses out of 20056 with flag 363001/1337494
718.78/371.71	c cleaning 9998 clauses out of 20067 with flag 373000/1347493
723.58/374.35	c cleaning 9994 clauses out of 20070 with flag 383001/1357494
728.31/376.81	c cleaning 10016 clauses out of 20078 with flag 393003/1367496
733.84/379.73	c cleaning 9991 clauses out of 20061 with flag 403002/1377495
738.16/382.07	c cleaning 10005 clauses out of 20068 with flag 413001/1387494
743.16/384.73	c cleaning 10000 clauses out of 20062 with flag 423000/1397493
748.12/387.37	c cleaning 10007 clauses out of 20064 with flag 433002/1407495
752.40/389.64	c cleaning 9989 clauses out of 20055 with flag 443000/1417493
756.92/392.08	c cleaning 9996 clauses out of 20067 with flag 453001/1427494
761.90/394.70	c cleaning 9999 clauses out of 20071 with flag 463001/1437494
766.64/397.29	c cleaning 9996 clauses out of 20071 with flag 473000/1447493
771.93/400.00	c cleaning 9982 clauses out of 20075 with flag 483000/1457493
776.86/402.69	c cleaning 9992 clauses out of 20093 with flag 493000/1467493
781.42/405.18	c cleaning 9994 clauses out of 20102 with flag 503001/1477494
786.33/407.74	c cleaning 9996 clauses out of 20108 with flag 513001/1487494
790.64/410.00	c cleaning 10015 clauses out of 20112 with flag 523001/1497494
795.75/412.70	c cleaning 10006 clauses out of 20097 with flag 533001/1507494
800.91/415.55	c cleaning 10002 clauses out of 20091 with flag 543001/1517494
805.84/418.13	c cleaning 10002 clauses out of 20089 with flag 553001/1527494
810.51/420.64	c cleaning 10029 clauses out of 20088 with flag 563002/1537495
816.02/423.60	c cleaning 9988 clauses out of 20058 with flag 573001/1547494
822.38/426.92	c cleaning 9993 clauses out of 20072 with flag 583003/1557496
828.04/429.91	c cleaning 9994 clauses out of 20077 with flag 593001/1567494
833.93/433.03	c cleaning 10013 clauses out of 20082 with flag 603000/1577493
840.22/436.37	c cleaning 10014 clauses out of 20069 with flag 613000/1587493
844.76/438.91	c cleaning 10010 clauses out of 20055 with flag 623000/1597493
849.64/441.48	c cleaning 9973 clauses out of 20046 with flag 633001/1607494
855.56/444.52	c cleaning 10002 clauses out of 20073 with flag 643001/1617494
862.22/448.06	c cleaning 10004 clauses out of 20071 with flag 653001/1627494
867.98/451.15	c cleaning 10000 clauses out of 20066 with flag 663000/1637493
873.84/454.20	c cleaning 10008 clauses out of 20068 with flag 673002/1647495
879.93/457.40	c cleaning 9986 clauses out of 20058 with flag 683000/1657493
885.42/460.37	c cleaning 9991 clauses out of 20074 with flag 693002/1667495
891.94/463.86	c cleaning 9985 clauses out of 20081 with flag 703000/1677493
898.82/467.44	c cleaning 9982 clauses out of 20096 with flag 713000/1687493
904.90/470.61	c cleaning 10011 clauses out of 20115 with flag 723001/1697494
910.98/473.88	c cleaning 10018 clauses out of 20103 with flag 733000/1707493
916.69/476.98	c cleaning 10010 clauses out of 20086 with flag 743001/1717494
921.79/479.61	c cleaning 9996 clauses out of 20075 with flag 753000/1727493
926.44/482.17	c cleaning 10007 clauses out of 20080 with flag 763001/1737494
931.72/484.98	c cleaning 9999 clauses out of 20073 with flag 773001/1747494
937.04/487.81	c cleaning 9997 clauses out of 20073 with flag 783000/1757493
942.91/490.93	c cleaning 10019 clauses out of 20076 with flag 793000/1767493
947.58/493.46	c cleaning 10008 clauses out of 20057 with flag 803000/1777493
953.85/496.74	c cleaning 10008 clauses out of 20050 with flag 813001/1787494
959.36/499.78	c cleaning 9998 clauses out of 20042 with flag 823001/1797494
964.42/502.48	c cleaning 10003 clauses out of 20044 with flag 833001/1807494
969.49/505.17	c cleaning 10001 clauses out of 20041 with flag 843001/1817494
975.15/508.17	c cleaning 9995 clauses out of 20039 with flag 853000/1827493
980.27/510.98	c cleaning 9998 clauses out of 20044 with flag 863000/1837493
984.73/513.32	c cleaning 10003 clauses out of 20047 with flag 873001/1847494
990.00/516.11	c cleaning 10010 clauses out of 20044 with flag 883001/1857494
995.27/518.98	c cleaning 9991 clauses out of 20032 with flag 893000/1867493
1002.20/522.69	c cleaning 9942 clauses out of 20041 with flag 903000/1877493
1010.25/526.85	c cleaning 9961 clauses out of 20099 with flag 913000/1887493
1014.09/528.93	c cleaning 10050 clauses out of 20138 with flag 923001/1897494
1021.55/532.81	c cleaning 10038 clauses out of 20087 with flag 933000/1907493
1030.43/537.54	c cleaning 10021 clauses out of 20050 with flag 943001/1917494
1036.08/540.53	c cleaning 9969 clauses out of 20028 with flag 953000/1927493
1039.93/542.66	c cleaning 9990 clauses out of 20059 with flag 963000/1937493
1043.98/544.88	c cleaning 9996 clauses out of 20069 with flag 973000/1947493
1050.66/548.40	c cleaning 10017 clauses out of 20072 with flag 983000/1957493
1059.31/552.98	c cleaning 10003 clauses out of 20055 with flag 993000/1967493
1066.37/556.70	c cleaning 9999 clauses out of 20055 with flag 1003003/1977496
1072.83/560.02	c cleaning 9998 clauses out of 20054 with flag 1013001/1987494
1079.08/563.45	c cleaning 9976 clauses out of 20056 with flag 1023001/1997494
1084.13/566.18	c cleaning 9993 clauses out of 20079 with flag 1033000/2007493
1089.57/569.08	c cleaning 9990 clauses out of 20087 with flag 1043001/2017494
1095.01/571.97	c cleaning 10003 clauses out of 20097 with flag 1053001/2027494
1104.47/576.92	c cleaning 9996 clauses out of 20093 with flag 1063000/2037493
1110.32/580.04	c cleaning 9998 clauses out of 20099 with flag 1073002/2047495
1115.36/582.71	c cleaning 9998 clauses out of 20100 with flag 1083001/2057494
1121.40/585.93	c cleaning 10016 clauses out of 20105 with flag 1093004/2067497
1129.26/590.12	c cleaning 9983 clauses out of 20085 with flag 1103000/2077493
1137.51/594.41	c cleaning 9937 clauses out of 20103 with flag 1113001/2087494
1145.94/598.88	c cleaning 9876 clauses out of 20166 with flag 1123001/2097494
1151.60/601.82	c cleaning 10027 clauses out of 20291 with flag 1133002/2107495
1157.83/605.23	c cleaning 10046 clauses out of 20263 with flag 1143001/2117494
1163.46/608.29	c cleaning 10023 clauses out of 20216 with flag 1153000/2127493
1169.10/611.26	c cleaning 10008 clauses out of 20194 with flag 1163001/2137494
1174.52/614.12	c cleaning 10001 clauses out of 20185 with flag 1173000/2147493
1179.99/617.18	c cleaning 10086 clauses out of 20184 with flag 1183000/2157493
1187.40/621.04	c cleaning 10017 clauses out of 20099 with flag 1193001/2167494
1193.64/624.33	c cleaning 10003 clauses out of 20082 with flag 1203001/2177494
1199.46/627.48	c cleaning 10004 clauses out of 20078 with flag 1213000/2187493
1204.71/630.32	c cleaning 9998 clauses out of 20075 with flag 1223001/2197494
1209.71/633.09	c cleaning 10001 clauses out of 20076 with flag 1233000/2207493
1215.33/636.06	c cleaning 9998 clauses out of 20076 with flag 1243001/2217494
1220.35/638.75	c cleaning 10001 clauses out of 20078 with flag 1253001/2227494
1226.19/641.96	c cleaning 9999 clauses out of 20077 with flag 1263001/2237494
1232.60/645.39	c cleaning 9999 clauses out of 20079 with flag 1273002/2247495
1238.03/648.23	c cleaning 9993 clauses out of 20079 with flag 1283001/2257494
1243.67/651.29	c cleaning 9998 clauses out of 20085 with flag 1293000/2267493
1251.28/655.32	c cleaning 10003 clauses out of 20088 with flag 1303001/2277494
1257.70/658.79	c cleaning 9998 clauses out of 20084 with flag 1313000/2287493
1265.51/662.82	c cleaning 9991 clauses out of 20086 with flag 1323000/2297493
1271.92/666.24	c cleaning 10006 clauses out of 20096 with flag 1333001/2307494
1278.55/669.87	c cleaning 10032 clauses out of 20089 with flag 1343000/2317493
1284.16/672.84	c cleaning 9997 clauses out of 20057 with flag 1353000/2327493
1290.78/676.33	c cleaning 9944 clauses out of 20060 with flag 1363000/2337493
1296.78/679.57	c cleaning 9958 clauses out of 20116 with flag 1373000/2347493
1302.60/682.72	c cleaning 9978 clauses out of 20158 with flag 1383000/2357493
1308.81/686.04	c cleaning 10058 clauses out of 20180 with flag 1393000/2367493
1314.41/689.03	c cleaning 10032 clauses out of 20121 with flag 1403000/2377493
1318.22/691.15	c cleaning 10016 clauses out of 20089 with flag 1413000/2387493
1322.63/693.69	c cleaning 10008 clauses out of 20074 with flag 1423001/2397494
1329.24/697.12	c cleaning 9999 clauses out of 20066 with flag 1433001/2407494
1337.85/701.61	c cleaning 9992 clauses out of 20067 with flag 1443001/2417494
1345.85/705.88	c cleaning 9988 clauses out of 20074 with flag 1453000/2427493
1355.09/710.77	c cleaning 9988 clauses out of 20086 with flag 1463000/2437493
1362.65/714.77	c cleaning 10000 clauses out of 20098 with flag 1473000/2447493
1367.84/717.55	c cleaning 9971 clauses out of 20098 with flag 1483000/2457493
1372.64/720.16	c cleaning 10030 clauses out of 20128 with flag 1493001/2467494
1378.44/723.38	c cleaning 9986 clauses out of 20097 with flag 1503001/2477494
1384.83/726.72	c cleaning 10011 clauses out of 20110 with flag 1513000/2487493
1389.03/729.09	c cleaning 10021 clauses out of 20099 with flag 1523001/2497494
1394.22/731.80	c cleaning 10005 clauses out of 20078 with flag 1533001/2507494
1399.84/734.91	c cleaning 10012 clauses out of 20072 with flag 1543001/2517494
1404.80/737.65	c cleaning 10009 clauses out of 20060 with flag 1553001/2527494
1411.60/741.23	c cleaning 10010 clauses out of 20052 with flag 1563002/2537495
1417.19/744.22	c cleaning 9980 clauses out of 20040 with flag 1573000/2547493
1423.77/747.88	c cleaning 10005 clauses out of 20062 with flag 1583002/2557495
1429.76/751.06	c cleaning 9999 clauses out of 20055 with flag 1593000/2567493
1436.15/754.41	c cleaning 9996 clauses out of 20056 with flag 1603000/2577493
1442.96/758.05	c cleaning 10021 clauses out of 20061 with flag 1613001/2587494
1450.94/762.39	c cleaning 9999 clauses out of 20039 with flag 1623000/2597493
1456.30/765.25	c cleaning 10003 clauses out of 20041 with flag 1633001/2607494
1463.52/769.02	c cleaning 9998 clauses out of 20037 with flag 1643000/2617493
1470.87/772.90	c cleaning 9993 clauses out of 20039 with flag 1653000/2627493
1477.67/776.63	c cleaning 9965 clauses out of 20047 with flag 1663001/2637494
1483.44/779.74	c cleaning 10006 clauses out of 20082 with flag 1673001/2647494
1489.42/782.97	c cleaning 9974 clauses out of 20076 with flag 1683001/2657494
1496.02/786.49	c cleaning 9988 clauses out of 20101 with flag 1693000/2667493
1503.20/790.30	c cleaning 10034 clauses out of 20114 with flag 1703001/2677494
1507.38/792.64	c cleaning 10006 clauses out of 20079 with flag 1713000/2687493
1512.15/795.28	c cleaning 10005 clauses out of 20073 with flag 1723000/2697493
1516.92/797.89	c cleaning 10002 clauses out of 20068 with flag 1733000/2707493
1523.09/801.26	c cleaning 10012 clauses out of 20068 with flag 1743002/2717495
1527.84/803.89	c cleaning 9994 clauses out of 20054 with flag 1753000/2727493
1533.16/806.76	c cleaning 10000 clauses out of 20061 with flag 1763001/2737494
1538.72/809.75	c cleaning 9999 clauses out of 20061 with flag 1773001/2747494
1540.22/810.82	c  And the winner is CuttingPlanes
1540.23/810.99	c Got one! Elapsed wall clock time (in seconds):810.88
1540.23/810.99	o 7901
1542.26/812.07	c cleaning 7729 clauses out of 15566 with flag 4003/2752999
1545.80/814.05	c cleaning 6901 clauses out of 13836 with flag 10002/2758998
1549.55/816.16	c cleaning 6943 clauses out of 13933 with flag 17000/2765996
1553.73/818.44	c cleaning 7451 clauses out of 14990 with flag 25000/2773996
1558.65/821.25	c cleaning 8255 clauses out of 16541 with flag 34002/2782998
1564.19/824.28	c cleaning 9137 clauses out of 18283 with flag 44000/2792996
1569.33/827.03	c cleaning 9560 clauses out of 19145 with flag 54000/2802996
1574.85/830.07	c cleaning 9768 clauses out of 19586 with flag 64001/2812997
1580.98/833.42	c cleaning 9870 clauses out of 19817 with flag 74000/2822996
1587.71/837.00	c cleaning 9945 clauses out of 19947 with flag 84000/2832996
1593.64/840.28	c cleaning 9977 clauses out of 20003 with flag 94001/2842997
1597.57/842.44	c cleaning 9965 clauses out of 20026 with flag 104001/2852997
1602.87/845.43	c cleaning 9979 clauses out of 20060 with flag 114000/2862996
1607.59/848.09	c cleaning 10004 clauses out of 20081 with flag 124000/2872996
1613.12/851.03	c cleaning 10021 clauses out of 20077 with flag 134000/2882996
1620.26/854.88	c cleaning 9987 clauses out of 20057 with flag 144001/2892997
1627.73/858.91	c cleaning 10027 clauses out of 20070 with flag 154001/2902997
1632.46/861.56	c cleaning 9993 clauses out of 20042 with flag 164000/2912996
1637.59/864.31	c cleaning 10004 clauses out of 20049 with flag 174000/2922996
1644.11/867.82	c cleaning 10015 clauses out of 20047 with flag 184002/2932998
1650.60/871.43	c cleaning 9969 clauses out of 20030 with flag 194000/2942996
1659.33/876.03	c cleaning 9993 clauses out of 20063 with flag 204002/2952998
1663.65/878.40	c cleaning 10008 clauses out of 20068 with flag 214000/2962996
1667.17/880.47	c cleaning 10002 clauses out of 20060 with flag 224000/2972996
1671.86/883.11	c cleaning 9987 clauses out of 20058 with flag 234000/2982996
1677.78/886.39	c cleaning 9988 clauses out of 20071 with flag 244000/2992996
1685.29/890.39	c cleaning 9997 clauses out of 20083 with flag 254000/3002996
1692.82/894.32	c cleaning 10022 clauses out of 20086 with flag 264000/3012996
1700.30/898.49	c cleaning 9970 clauses out of 20065 with flag 274001/3022997
1704.84/900.96	c cleaning 10023 clauses out of 20095 with flag 284001/3032997
1708.76/903.20	c cleaning 10020 clauses out of 20071 with flag 294000/3042996
1714.26/906.18	c cleaning 10005 clauses out of 20051 with flag 304000/3052996
1722.34/910.53	c cleaning 9988 clauses out of 20047 with flag 314001/3062997
1727.26/913.21	c cleaning 10013 clauses out of 20058 with flag 324000/3072996
1731.97/915.83	c cleaning 10004 clauses out of 20046 with flag 334001/3082997
1736.92/918.57	c cleaning 10005 clauses out of 20041 with flag 344000/3092996
1742.59/921.75	c cleaning 9992 clauses out of 20036 with flag 354000/3102996
1747.51/924.41	c cleaning 10000 clauses out of 20045 with flag 364001/3112997
1752.62/927.29	c cleaning 10005 clauses out of 20046 with flag 374002/3122998
1758.34/930.39	c cleaning 10000 clauses out of 20039 with flag 384000/3132996
1764.00/933.57	c cleaning 9992 clauses out of 20040 with flag 394001/3142997
1769.90/936.77	c cleaning 9983 clauses out of 20047 with flag 404000/3152996
1776.60/940.30	c cleaning 10021 clauses out of 20064 with flag 414000/3162996
1783.33/943.93	c cleaning 9935 clauses out of 20044 with flag 424001/3172997
1791.56/948.45	c cleaning 9981 clauses out of 20108 with flag 434000/3182996
1799.47/952.61	c cleaning 9983 clauses out of 20127 with flag 444000/3192996
1800.01/953.15	c starts		: 17
1800.01/953.15	c conflicts		: 2189
1800.01/953.15	c decisions		: 41989
1800.01/953.15	c propagations		: 240126
1800.01/953.15	c inspects		: 36841433
1800.01/953.15	c shortcuts		: 0
1800.01/953.15	c learnt literals	: 0
1800.01/953.15	c learnt binary clauses	: 0
1800.01/953.15	c learnt ternary clauses	: 0
1800.01/953.15	c learnt constraints	: 2188
1800.01/953.15	c ignored constraints	: 0
1800.01/953.15	c root simplifications	: 0
1800.01/953.15	c removed literals (reason simplification)	: 0
1800.01/953.15	c reason swapping (by a shorter reason)	: 0
1800.01/953.15	c Calls to reduceDB	: 0
1800.01/953.15	c number of reductions to clauses (during analyze)	: 0
1800.01/953.15	c number of learned constraints concerned by reduction	: 0
1800.01/953.15	c number of learning phase by resolution	: 0
1800.01/953.15	c number of learning phase by cutting planes	: 0
1800.01/953.15	c speed (assignments/second)	: 1689.1843410361928
1800.01/953.15	c non guided choices	0
1800.01/953.15	c learnt constraints type 
1800.01/953.15	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.01/953.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 165
1800.01/953.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2021
1800.01/953.15	c constraints type 
1800.01/953.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144
1800.01/953.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 146
1800.01/953.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.01/953.15	c constraints type 
1800.01/953.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144
1800.01/953.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 146
1800.01/953.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1800.01/953.15	s SATISFIABLE
1800.01/953.16	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 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 
1800.01/953.16	c objective function=7901
1800.01/953.16	c Total wall clock time (in seconds): 953.056

Verifier Data 

OK	7901

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.20 3.38 3.01 1/418 12008
/proc/meminfo: memFree=29750548/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 2508 0 1 0 0 0 0 0 25 0 2 0 830386259 10681323520 2209 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2607745 2221 906 9 0 2598901 0
[pid=12008/tid=12009] ppid=12006 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) R 12006 12008 8078 0 -1 4202560 4750 0 1 0 0 0 0 0 25 0 2 0 830386259 10694979584 5566 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.115535 s]
/proc/loadavg: 3.20 3.38 3.01 1/418 12008
/proc/meminfo: memFree=29750548/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10539676 CPUtime=0.13 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 13379 0 1 0 11 2 0 0 25 0 18 0 830386259 10792628224 13018 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2634919 13019 2134 9 0 2625653 0
[pid=12008/tid=12009] ppid=12006 vsize=10539676 CPUtime=0.1 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) R 12006 12008 8078 0 -1 4202560 11354 0 1 0 9 1 0 0 18 0 18 0 830386259 10792628224 13019 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539676

[startup+0.204476 s]
/proc/loadavg: 3.20 3.38 3.01 1/418 12008
/proc/meminfo: memFree=29750548/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10605508 CPUtime=0.31 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 14658 0 1 0 29 2 0 0 25 0 18 0 830386259 10860040192 14101 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2651377 14110 2196 9 0 2642111 0
[pid=12008/tid=12009] ppid=12006 vsize=10605508 CPUtime=0.18 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) R 12006 12008 8078 0 -1 4202560 12188 0 1 0 17 1 0 0 18 0 18 0 830386259 10860040192 14110 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10605508

[startup+0.300398 s]
/proc/loadavg: 3.20 3.38 3.01 1/418 12008
/proc/meminfo: memFree=29750548/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10607968 CPUtime=0.59 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 19461 0 1 0 56 3 0 0 25 0 18 0 830386259 10862559232 18131 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2651992 18133 2203 9 0 2642726 0
[pid=12008/tid=12009] ppid=12006 vsize=10607968 CPUtime=0.28 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) R 12006 12008 8078 0 -1 4202560 14705 0 1 0 26 2 0 0 18 0 18 0 830386259 10862559232 18133 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505569846 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10607968

[startup+0.700326 s]
/proc/loadavg: 3.20 3.38 3.01 1/418 12008
/proc/meminfo: memFree=29750548/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629096 CPUtime=2.12 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 32301 0 1 0 207 5 0 0 25 0 22 0 830386259 10884194304 27386 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657274 27386 2229 9 0 2648008 0
[pid=12008/tid=12009] ppid=12006 vsize=10629096 CPUtime=0.3 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15316 0 1 0 28 2 0 0 19 0 22 0 830386259 10884194304 27386 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10629096

[startup+1.50125 s]
/proc/loadavg: 3.20 3.38 3.01 3/440 12036
/proc/meminfo: memFree=29552664/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629932 CPUtime=4.2 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 103127 0 1 0 407 13 0 0 25 0 22 0 830386259 10885050368 95825 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657483 95833 2231 9 0 2648217 0
[pid=12008/tid=12009] ppid=12006 vsize=10629932 CPUtime=0.3 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15316 0 1 0 28 2 0 0 15 0 22 0 830386259 10885050368 95833 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12011] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12011/stat : 12011 (java) S 12006 12008 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95835 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12012] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12012/stat : 12012 (java) S 12006 12008 8078 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95841 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12013] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12013/stat : 12013 (java) S 12006 12008 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95841 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12014] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12014/stat : 12014 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95843 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12015] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12015/stat : 12015 (java) S 12006 12008 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95849 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12016] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12016/stat : 12016 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95850 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12017] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12017/stat : 12017 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95851 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12018] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12018/stat : 12018 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386261 10885050368 95857 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12019] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12019/stat : 12019 (java) S 12006 12008 8078 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830386262 10885050368 95858 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 0 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12020] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12020/stat : 12020 (java) S 12006 12008 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830386262 10885050368 95859 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12021] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12021/stat : 12021 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830386262 10885050368 95865 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12022] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12022/stat : 12022 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 95866 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290703281 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12023] ppid=12006 vsize=10629932 CPUtime=0.77 cores=0,2,4,6
/proc/12008/task/12023/stat : 12023 (java) S 12006 12008 8078 0 -1 4202560 8399 0 0 0 76 1 0 0 25 0 22 0 830386264 10885050368 95867 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12024] ppid=12006 vsize=10629932 CPUtime=0.74 cores=0,2,4,6
/proc/12008/task/12024/stat : 12024 (java) S 12006 12008 8078 0 -1 4202560 8079 0 0 0 73 1 0 0 17 0 22 0 830386264 10885050368 95873 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12025] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12025/stat : 12025 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 95874 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12026] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12026/stat : 12026 (java) S 12006 12008 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830386264 10885050368 95875 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12027] ppid=12006 vsize=10629932 CPUtime=1.18 cores=0,2,4,6
/proc/12008/task/12027/stat : 12027 (java) R 12006 12008 8078 0 -1 4202560 1255 0 0 0 118 0 0 0 24 0 22 0 830386290 10885050368 95881 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505819665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12008/tid=12028] ppid=12006 vsize=10629932 CPUtime=1.16 cores=0,2,4,6
/proc/12008/task/12028/stat : 12028 (java) R 12006 12008 8078 0 -1 4202560 68963 0 0 0 109 7 0 0 25 0 22 0 830386290 10885050368 95883 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912506000011 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12008/tid=12029] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12029/stat : 12029 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830386292 10885050368 95883 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12030] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12030/stat : 12030 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830386292 10885050368 95889 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 10629932

[startup+3.10096 s]
/proc/loadavg: 3.20 3.38 3.01 3/440 12042
/proc/meminfo: memFree=29261124/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629932 CPUtime=7.91 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 197210 0 1 0 769 22 0 0 25 0 22 0 830386259 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657483 186951 2256 9 0 2648217 0
[pid=12008/tid=12009] ppid=12006 vsize=10629932 CPUtime=0.3 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15316 0 1 0 28 2 0 0 15 0 22 0 830386259 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12011] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12011/stat : 12011 (java) S 12006 12008 8078 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12012] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12012/stat : 12012 (java) S 12006 12008 8078 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12013] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12013/stat : 12013 (java) S 12006 12008 8078 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12014] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12014/stat : 12014 (java) S 12006 12008 8078 0 -1 4202560 263 0 0 0 0 0 0 0 18 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12015] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12015/stat : 12015 (java) S 12006 12008 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12016] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12016/stat : 12016 (java) S 12006 12008 8078 0 -1 4202560 580 0 0 0 0 0 0 0 18 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12017] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12017/stat : 12017 (java) S 12006 12008 8078 0 -1 4202560 454 0 0 0 0 0 0 0 18 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12018] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12018/stat : 12018 (java) S 12006 12008 8078 0 -1 4202560 434 0 0 0 0 0 0 0 18 0 22 0 830386261 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12019] ppid=12006 vsize=10629932 CPUtime=0.04 cores=0,2,4,6
/proc/12008/task/12019/stat : 12019 (java) S 12006 12008 8078 0 -1 4202560 1942 0 0 0 4 0 0 0 15 0 22 0 830386262 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 0 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12020] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12020/stat : 12020 (java) S 12006 12008 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830386262 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12021] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12021/stat : 12021 (java) S 12006 12008 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830386262 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12022] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12022/stat : 12022 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290703281 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12023] ppid=12006 vsize=10629932 CPUtime=1.19 cores=0,2,4,6
/proc/12008/task/12023/stat : 12023 (java) S 12006 12008 8078 0 -1 4202560 13110 0 0 0 118 1 0 0 16 0 22 0 830386264 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12024] ppid=12006 vsize=10629932 CPUtime=0.88 cores=0,2,4,6
/proc/12008/task/12024/stat : 12024 (java) S 12006 12008 8078 0 -1 4202560 8164 0 0 0 87 1 0 0 15 0 22 0 830386264 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12025] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12025/stat : 12025 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12026] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12026/stat : 12026 (java) S 12006 12008 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830386264 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12027] ppid=12006 vsize=10629932 CPUtime=2.72 cores=0,2,4,6
/proc/12008/task/12027/stat : 12027 (java) R 12006 12008 8078 0 -1 4202560 1291 0 0 0 272 0 0 0 25 0 22 0 830386290 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505881536 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12008/tid=12028] ppid=12006 vsize=10629932 CPUtime=2.71 cores=0,2,4,6
/proc/12008/task/12028/stat : 12028 (java) R 12006 12008 8078 0 -1 4202560 153693 0 0 0 256 15 0 0 18 0 22 0 830386290 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505639735 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12008/tid=12029] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12029/stat : 12029 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830386292 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12030] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12030/stat : 12030 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830386292 10885050368 186951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 10629932

[startup+6.30145 s]
/proc/loadavg: 3.10 3.36 3.00 3/440 12063
/proc/meminfo: memFree=28691592/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629932 CPUtime=14.31 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 287995 0 1 0 1399 32 0 0 25 0 22 0 830386259 10885050368 275867 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657483 275876 2256 9 0 2648217 0
[pid=12008/tid=12009] ppid=12006 vsize=10629932 CPUtime=0.3 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15316 0 1 0 28 2 0 0 15 0 22 0 830386259 10885050368 275876 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12011] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12011/stat : 12011 (java) S 12006 12008 8078 0 -1 4202560 368 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 275879 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12012] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12012/stat : 12012 (java) S 12006 12008 8078 0 -1 4202560 653 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 275886 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12013] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12013/stat : 12013 (java) S 12006 12008 8078 0 -1 4202560 408 0 0 0 0 0 0 0 16 0 22 0 830386261 10885050368 275886 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12014] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12014/stat : 12014 (java) S 12006 12008 8078 0 -1 4202560 589 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 275890 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12015] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12015/stat : 12015 (java) S 12006 12008 8078 0 -1 4202560 300 0 0 0 0 0 0 0 16 0 22 0 830386261 10885050368 275895 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12016] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12016/stat : 12016 (java) S 12006 12008 8078 0 -1 4202560 590 0 0 0 0 0 0 0 18 0 22 0 830386261 10885050368 275895 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12017] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12017/stat : 12017 (java) S 12006 12008 8078 0 -1 4202560 517 0 0 0 0 0 0 0 16 0 22 0 830386261 10885050368 275900 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12018] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12018/stat : 12018 (java) S 12006 12008 8078 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 22 0 830386261 10885050368 275905 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0

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

/proc/meminfo: memFree=25673644/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629932 CPUtime=1670.29 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 759903 0 1 0 166939 90 0 0 25 0 22 0 830386259 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657483 747343 2260 9 0 2648217 0
[pid=12008/tid=12009] ppid=12006 vsize=10629932 CPUtime=0.35 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15456 0 1 0 33 2 0 0 15 0 22 0 830386259 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12011] ppid=12006 vsize=10629932 CPUtime=0.92 cores=0,2,4,6
/proc/12008/task/12011/stat : 12011 (java) S 12006 12008 8078 0 -1 4202560 664 0 0 0 92 0 0 0 16 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12012] ppid=12006 vsize=10629932 CPUtime=0.88 cores=0,2,4,6
/proc/12008/task/12012/stat : 12012 (java) S 12006 12008 8078 0 -1 4202560 1214 0 0 0 88 0 0 0 15 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12013] ppid=12006 vsize=10629932 CPUtime=0.9 cores=0,2,4,6
/proc/12008/task/12013/stat : 12013 (java) S 12006 12008 8078 0 -1 4202560 1003 0 0 0 90 0 0 0 16 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12014] ppid=12006 vsize=10629932 CPUtime=0.94 cores=0,2,4,6
/proc/12008/task/12014/stat : 12014 (java) S 12006 12008 8078 0 -1 4202560 2035 0 0 0 94 0 0 0 16 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12015] ppid=12006 vsize=10629932 CPUtime=0.84 cores=0,2,4,6
/proc/12008/task/12015/stat : 12015 (java) S 12006 12008 8078 0 -1 4202560 1043 0 0 0 84 0 0 0 15 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12016] ppid=12006 vsize=10629932 CPUtime=0.81 cores=0,2,4,6
/proc/12008/task/12016/stat : 12016 (java) S 12006 12008 8078 0 -1 4202560 3171 0 0 0 81 0 0 0 15 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12017] ppid=12006 vsize=10629932 CPUtime=0.92 cores=0,2,4,6
/proc/12008/task/12017/stat : 12017 (java) S 12006 12008 8078 0 -1 4202560 998 0 0 0 92 0 0 0 15 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12018] ppid=12006 vsize=10629932 CPUtime=0.92 cores=0,2,4,6
/proc/12008/task/12018/stat : 12018 (java) S 12006 12008 8078 0 -1 4202560 2159 0 0 0 92 0 0 0 15 0 22 0 830386261 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12019] ppid=12006 vsize=10629932 CPUtime=97.83 cores=0,2,4,6
/proc/12008/task/12019/stat : 12019 (java) S 12006 12008 8078 0 -1 4202560 73585 0 0 0 9773 10 0 0 15 0 22 0 830386262 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 0 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12020] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12020/stat : 12020 (java) S 12006 12008 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830386262 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12021] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12021/stat : 12021 (java) S 12006 12008 8078 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830386262 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12022] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12022/stat : 12022 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290703281 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12023] ppid=12006 vsize=10629932 CPUtime=1.65 cores=0,2,4,6
/proc/12008/task/12023/stat : 12023 (java) S 12006 12008 8078 0 -1 4202560 13156 0 0 0 164 1 0 0 15 0 22 0 830386264 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12024] ppid=12006 vsize=10629932 CPUtime=1.04 cores=0,2,4,6
/proc/12008/task/12024/stat : 12024 (java) S 12006 12008 8078 0 -1 4202560 8182 0 0 0 103 1 0 0 15 0 22 0 830386264 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12025] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12025/stat : 12025 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12026] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12026/stat : 12026 (java) S 12006 12008 8078 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830386264 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12030] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12030/stat : 12030 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830386292 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12239] ppid=12006 vsize=10629932 CPUtime=58.13 cores=0,2,4,6
/proc/12008/task/12239/stat : 12239 (java) R 12006 12008 8078 0 -1 4202560 1 0 0 0 5813 0 0 0 17 0 22 0 830467359 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505819758 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12008/tid=12240] ppid=12006 vsize=10629932 CPUtime=58.14 cores=0,2,4,6
/proc/12008/task/12240/stat : 12240 (java) R 12006 12008 8078 0 -1 4202560 0 0 0 0 5814 0 0 0 17 0 22 0 830467359 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912506194724 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12008/tid=12241] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12241/stat : 12241 (java) S 12006 12008 8078 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830467359 10885050368 747343 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1670.29
Current children cumulated vsize (KiB) 10629932

[startup+942.302 s]
/proc/loadavg: 3.66 3.64 3.42 4/443 12244
/proc/meminfo: memFree=25654108/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629932 CPUtime=1780.1 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 763386 0 1 0 177919 91 0 0 25 0 22 0 830386259 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657483 750799 2260 9 0 2648217 0
[pid=12008/tid=12009] ppid=12006 vsize=10629932 CPUtime=0.35 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15475 0 1 0 33 2 0 0 15 0 22 0 830386259 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12011] ppid=12006 vsize=10629932 CPUtime=1.02 cores=0,2,4,6
/proc/12008/task/12011/stat : 12011 (java) S 12006 12008 8078 0 -1 4202560 667 0 0 0 102 0 0 0 16 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12012] ppid=12006 vsize=10629932 CPUtime=0.97 cores=0,2,4,6
/proc/12008/task/12012/stat : 12012 (java) S 12006 12008 8078 0 -1 4202560 1215 0 0 0 97 0 0 0 15 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12013] ppid=12006 vsize=10629932 CPUtime=0.95 cores=0,2,4,6
/proc/12008/task/12013/stat : 12013 (java) S 12006 12008 8078 0 -1 4202560 1003 0 0 0 95 0 0 0 15 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12014] ppid=12006 vsize=10629932 CPUtime=1.01 cores=0,2,4,6
/proc/12008/task/12014/stat : 12014 (java) S 12006 12008 8078 0 -1 4202560 2036 0 0 0 101 0 0 0 15 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12015] ppid=12006 vsize=10629932 CPUtime=0.93 cores=0,2,4,6
/proc/12008/task/12015/stat : 12015 (java) S 12006 12008 8078 0 -1 4202560 1043 0 0 0 93 0 0 0 16 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12016] ppid=12006 vsize=10629932 CPUtime=0.94 cores=0,2,4,6
/proc/12008/task/12016/stat : 12016 (java) S 12006 12008 8078 0 -1 4202560 3176 0 0 0 94 0 0 0 16 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12017] ppid=12006 vsize=10629932 CPUtime=1.02 cores=0,2,4,6
/proc/12008/task/12017/stat : 12017 (java) S 12006 12008 8078 0 -1 4202560 1002 0 0 0 102 0 0 0 15 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12018] ppid=12006 vsize=10629932 CPUtime=0.99 cores=0,2,4,6
/proc/12008/task/12018/stat : 12018 (java) S 12006 12008 8078 0 -1 4202560 2162 0 0 0 99 0 0 0 16 0 22 0 830386261 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12019] ppid=12006 vsize=10629932 CPUtime=108.27 cores=0,2,4,6
/proc/12008/task/12019/stat : 12019 (java) S 12006 12008 8078 0 -1 4202560 77028 0 0 0 10816 11 0 0 15 0 22 0 830386262 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 0 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12020] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12020/stat : 12020 (java) S 12006 12008 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830386262 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12021] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12021/stat : 12021 (java) S 12006 12008 8078 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830386262 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12022] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12022/stat : 12022 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290703281 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12023] ppid=12006 vsize=10629932 CPUtime=1.65 cores=0,2,4,6
/proc/12008/task/12023/stat : 12023 (java) S 12006 12008 8078 0 -1 4202560 13156 0 0 0 164 1 0 0 15 0 22 0 830386264 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12024] ppid=12006 vsize=10629932 CPUtime=1.04 cores=0,2,4,6
/proc/12008/task/12024/stat : 12024 (java) S 12006 12008 8078 0 -1 4202560 8182 0 0 0 103 1 0 0 15 0 22 0 830386264 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12025] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12025/stat : 12025 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12026] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12026/stat : 12026 (java) S 12006 12008 8078 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830386264 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12030] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12030/stat : 12030 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830386292 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12239] ppid=12006 vsize=10629932 CPUtime=107.45 cores=0,2,4,6
/proc/12008/task/12239/stat : 12239 (java) R 12006 12008 8078 0 -1 4202560 1 0 0 0 10745 0 0 0 17 0 22 0 830467359 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912505817968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12008/tid=12240] ppid=12006 vsize=10629932 CPUtime=107.46 cores=0,2,4,6
/proc/12008/task/12240/stat : 12240 (java) R 12006 12008 8078 0 -1 4202560 0 0 0 0 10746 0 0 0 17 0 22 0 830467359 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 46912506000204 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12008/tid=12241] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12241/stat : 12241 (java) S 12006 12008 8078 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830467359 10885050368 750799 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1780.1
Current children cumulated vsize (KiB) 10629932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+953.102 s]
/proc/loadavg: 4.00 3.72 3.45 3/443 12245
/proc/meminfo: memFree=25652236/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=10629932 CPUtime=1800.01 cores=0,2,4,6
/proc/12008/stat : 12008 (java) S 12006 12008 8078 0 -1 4202496 763541 0 1 0 179910 91 0 0 25 0 22 0 830386259 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 2657483 750951 2260 9 0 2648217 0
[pid=12008/tid=12009] ppid=12006 vsize=10629932 CPUtime=0.35 cores=0,2,4,6
/proc/12008/task/12009/stat : 12009 (java) S 12006 12008 8078 0 -1 4202560 15478 0 1 0 33 2 0 0 15 0 22 0 830386259 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12011] ppid=12006 vsize=10629932 CPUtime=1.03 cores=0,2,4,6
/proc/12008/task/12011/stat : 12011 (java) S 12006 12008 8078 0 -1 4202560 667 0 0 0 103 0 0 0 15 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12012] ppid=12006 vsize=10629932 CPUtime=0.98 cores=0,2,4,6
/proc/12008/task/12012/stat : 12012 (java) S 12006 12008 8078 0 -1 4202560 1215 0 0 0 98 0 0 0 15 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12013] ppid=12006 vsize=10629932 CPUtime=0.97 cores=0,2,4,6
/proc/12008/task/12013/stat : 12013 (java) S 12006 12008 8078 0 -1 4202560 1003 0 0 0 97 0 0 0 16 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12014] ppid=12006 vsize=10629932 CPUtime=1.02 cores=0,2,4,6
/proc/12008/task/12014/stat : 12014 (java) S 12006 12008 8078 0 -1 4202560 2038 0 0 0 102 0 0 0 16 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12015] ppid=12006 vsize=10629932 CPUtime=0.95 cores=0,2,4,6
/proc/12008/task/12015/stat : 12015 (java) S 12006 12008 8078 0 -1 4202560 1045 0 0 0 95 0 0 0 16 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12016] ppid=12006 vsize=10629932 CPUtime=0.97 cores=0,2,4,6
/proc/12008/task/12016/stat : 12016 (java) S 12006 12008 8078 0 -1 4202560 3176 0 0 0 97 0 0 0 15 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12017] ppid=12006 vsize=10629932 CPUtime=1.05 cores=0,2,4,6
/proc/12008/task/12017/stat : 12017 (java) S 12006 12008 8078 0 -1 4202560 1003 0 0 0 105 0 0 0 16 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12018] ppid=12006 vsize=10629932 CPUtime=1 cores=0,2,4,6
/proc/12008/task/12018/stat : 12018 (java) S 12006 12008 8078 0 -1 4202560 2162 0 0 0 100 0 0 0 15 0 22 0 830386261 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12019] ppid=12006 vsize=10629932 CPUtime=110.04 cores=0,2,4,6
/proc/12008/task/12019/stat : 12019 (java) R 12006 12008 8078 0 -1 4202560 77175 0 0 0 10993 11 0 0 16 0 22 0 830386262 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 47591308935264 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=12008/tid=12020] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12020/stat : 12020 (java) S 12006 12008 8078 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830386262 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12021] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12021/stat : 12021 (java) S 12006 12008 8078 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830386262 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12022] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12022/stat : 12022 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290703281 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12023] ppid=12006 vsize=10629932 CPUtime=1.65 cores=0,2,4,6
/proc/12008/task/12023/stat : 12023 (java) S 12006 12008 8078 0 -1 4202560 13156 0 0 0 164 1 0 0 15 0 22 0 830386264 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12024] ppid=12006 vsize=10629932 CPUtime=1.04 cores=0,2,4,6
/proc/12008/task/12024/stat : 12024 (java) S 12006 12008 8078 0 -1 4202560 8182 0 0 0 103 1 0 0 15 0 22 0 830386264 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12025] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12025/stat : 12025 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830386264 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
[pid=12008/tid=12026] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12026/stat : 12026 (java) S 12006 12008 8078 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830386264 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12030] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12030/stat : 12030 (java) S 12006 12008 8078 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830386292 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 4 0 0 0
[pid=12008/tid=12239] ppid=12006 vsize=10629932 CPUtime=116.46 cores=0,2,4,6
/proc/12008/task/12239/stat : 12239 (java) S 12006 12008 8078 0 -1 4202560 1 0 0 0 11646 0 0 0 21 0 22 0 830467359 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 0 0 0 0
[pid=12008/tid=12240] ppid=12006 vsize=10629932 CPUtime=116.47 cores=0,2,4,6
/proc/12008/task/12240/stat : 12240 (java) S 12006 12008 8078 0 -1 4202560 0 0 0 0 11647 0 0 0 21 0 22 0 830467359 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290695577 0 4 0 16800975 18446604443634238592 0 0 -1 2 0 0 0
[pid=12008/tid=12241] ppid=12006 vsize=10629932 CPUtime=0 cores=0,2,4,6
/proc/12008/task/12241/stat : 12241 (java) S 12006 12008 8078 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830467359 10885050368 750951 33554432000 1073741824 1073778376 140735246382496 18446744073709551615 237290696192 0 4 0 16800975 18446604443634238592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10629932

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

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

[startup+953.221 s]
/proc/loadavg: 4.00 3.72 3.45 3/443 12245
/proc/meminfo: memFree=25652236/32950904 swapFree=56615552/67111528
[pid=12008] ppid=12006 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/12008/stat : 12008 (java) Z 12006 12008 8078 0 -1 4203548 763814 0 1 0 179919 95 0 0 17 0 2 0 830386259 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12008/statm: 0 0 0 0 0 0 0
[pid=12008/tid=12025] ppid=12006 vsize=0 CPUtime=0.03 cores=0,2,4,6
/proc/12008/task/12025/stat : 12025 (java) R 12006 12008 8078 0 -1 4203588 1 0 0 0 0 3 0 0 18 0 2 0 830386264 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 953.294
CPU time (s): 1800.23
CPU user time (s): 1799.2
CPU system time (s): 1.02784
CPU usage (%): 188.843
Max. virtual memory (cumulated for all children) (KiB): 10629932

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

runsolver used 3.9254 second user time and 8.40672 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 13:44:25
IDJOB=3455037
IDBENCH=1851
IDSOLVER=1950
FILE ID=node121/3455037-1307187865
RUNJOBID= node121-1307186730-10241
PBS_JOBID= 13508819
Free space on /tmp= 73956 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455037-1307187865/watcher-3455037-1307187865 -o /tmp/evaluation-result-3455037-1307187865/solver-3455037-1307187865 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455037-1307187865.opb

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=1965910059

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29750704 kB
Buffers:        326824 kB
Cached:         461304 kB
SwapCached:       9896 kB
Active:        2525732 kB
Inactive:       413752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29750704 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            1168 kB
Writeback:           0 kB
AnonPages:     2148268 kB
Mapped:          21320 kB
Slab:           142404 kB
PageTables:      52740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 93891244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node121 at 2011-06-04 14:00:20