Trace number 366241

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, and are wall clock time (not CPU 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
SAT4JPseudoResolution 2007-03-23SAT (TO)196 1800.39 1787.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
MD5SUM9633aa6e9fb6df7104bc0e43c44542c0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark165
Best CPU time to get the best result obtained on this benchmark0.263959
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 165
Optimality of the best value was proved YES
Number of variables1073
Total number of constraints832
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint19
Number of terms in the objective function 1073
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1073
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1073
Number of bits of the biggest sum of numbers11
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 (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.19/0.21	--- Begin Solver configuration ---
0.19/0.21	c Stops conflict analysis at the first Unique Implication Point
0.19/0.21	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.21	c Learn all clauses as in MiniSAT
0.19/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.21	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.21	c No reason simplification
0.19/0.21	c --- End Solver configuration ---
0.19/0.21	c solving /tmp/evaluation/366241-1177058891/instance-366241-1177058891.opb
0.19/0.21	c reading problem ... 
0.77/0.64	c ... done. Wall clock time 0.431s.
0.77/0.64	c CPU time (experimental) 0.47s.
0.77/0.64	c #vars     1073
0.77/0.64	c #constraints  832
0.91/0.70	c SATISFIABLE
0.91/0.70	c OPTIMIZING...
0.91/0.70	c Got one! Elapsed wall clock time (in seconds):0.49
0.91/0.71	o 199
1.06/0.81	c Got one! Elapsed wall clock time (in seconds):0.597
1.06/0.81	o 198
1.20/0.92	c Got one! Elapsed wall clock time (in seconds):0.71
1.20/0.92	o 197
1.39/1.05	c Got one! Elapsed wall clock time (in seconds):0.836
1.39/1.05	o 196
572.86/566.95	c cleaning 810297 clauses out of 1620609 for limit 0.009204778296498057
629.86/623.90	c cleaning 405398 clauses out of 810811 for limit 0.030310515481796047
638.76/632.83	c cleaning 202952 clauses out of 405914 for limit 0.09994689869167647
645.56/639.65	c cleaning 101723 clauses out of 203462 for limit 0.32883340604150935
649.86/643.91	c cleaning 51119 clauses out of 102239 for limit 1.0791915449197171
650.76/644.83	c cleaning 25797 clauses out of 51619 for limit 3.5214936981454255
651.06/645.10	c cleaning 13153 clauses out of 26323 for limit 11.399649996092986
651.16/645.30	c cleaning 6821 clauses out of 13669 for limit 36.16692061296329
651.36/645.43	c cleaning 3664 clauses out of 7349 for limit 111.04791985898709
651.46/645.53	c cleaning 2083 clauses out of 4185 for limit 321.58745581401047
651.56/645.61	c cleaning 1289 clauses out of 2601 for limit 852.4630924645505
651.56/645.70	c cleaning 895 clauses out of 1812 for limit 2017.9650074725707
651.66/645.77	c cleaning 695 clauses out of 1417 for limit 4255.571200848563
651.76/645.85	c cleaning 606 clauses out of 1223 for limit 8139.386156423546
651.86/645.92	c cleaning 548 clauses out of 1116 for limit 14695.192884094497
651.96/646.00	c cleaning 529 clauses out of 1068 for limit 25323.52272680044
651.96/646.08	c cleaning 510 clauses out of 1040 for limit 42929.164079594004
652.06/646.15	c cleaning 508 clauses out of 1029 for limit 71481.18963779316
652.16/646.23	c cleaning 505 clauses out of 1022 for limit 118808.26382130639
652.26/646.30	c cleaning 499 clauses out of 1017 for limit 196893.99880717663
652.26/646.39	c cleaning 501 clauses out of 1017 for limit 324379.8394969114
652.36/646.46	c cleaning 502 clauses out of 1017 for limit 535481.2313202925
652.46/646.53	c cleaning 500 clauses out of 1015 for limit 884820.2453241772
652.56/646.61	c cleaning 496 clauses out of 1014 for limit 1459165.3680684555
652.56/646.69	c cleaning 504 clauses out of 1018 for limit 2396903.6543554314
652.66/646.77	c cleaning 501 clauses out of 1014 for limit 3968407.735770689
652.76/646.85	c cleaning 506 clauses out of 1013 for limit 6550895.689773055
652.85/646.93	c cleaning 499 clauses out of 1008 for limit 1.086775892877495E7
652.95/647.01	c cleaning 497 clauses out of 1009 for limit 1.7904625810722865E7
652.95/647.08	c cleaning 500 clauses out of 1011 for limit 2.9439242770880938E7
653.05/647.16	c cleaning 506 clauses out of 1013 for limit 4.855044957146553E7
653.15/647.24	c cleaning 497 clauses out of 1006 for limit 8.054268358006403E7
653.25/647.32	c cleaning 498 clauses out of 1008 for limit 1.3242955493765946E8
653.35/647.40	c cleaning 497 clauses out of 1010 for limit 2.1796158873140144E8
653.35/647.48	c cleaning 507 clauses out of 1014 for limit 3.5838826635287654E8
653.45/647.56	c cleaning 494 clauses out of 1006 for limit 5.951345066199759E8
653.55/647.63	c cleaning 506 clauses out of 1012 for limit 9.756375055225011E8
653.65/647.70	c cleaning 499 clauses out of 1007 for limit 1.6185641910407994E9
653.65/647.77	c cleaning 498 clauses out of 1008 for limit 2.666580834147434E9
653.76/647.85	c cleaning 504 clauses out of 1009 for limit 4.388797010498481E9
653.86/647.92	c cleaning 495 clauses out of 1006 for limit 7.266563595016153E9
653.86/648.00	c cleaning 505 clauses out of 1010 for limit 1.1924139849320045E10
653.95/648.06	c cleaning 502 clauses out of 1005 for limit 1.9762335136679653E10
654.05/648.14	c cleaning 501 clauses out of 1003 for limit 3.265572090754933E10
654.15/648.21	c cleaning 495 clauses out of 1002 for limit 5.390739854079514E10
654.15/648.27	c cleaning 497 clauses out of 1008 for limit 8.845980188533815E10
654.25/648.35	c cleaning 496 clauses out of 1011 for limit 1.4544916283629794E11
654.35/648.42	c cleaning 501 clauses out of 1015 for limit 2.389198460678641E11
654.35/648.49	c cleaning 507 clauses out of 1014 for limit 3.9439935908822046E11
654.45/648.57	c cleaning 503 clauses out of 1006 for limit 6.549340199410769E11
654.55/648.64	c cleaning 493 clauses out of 1003 for limit 1.0833043442421256E12
654.65/648.71	c cleaning 492 clauses out of 1010 for limit 1.7741320068061738E12
654.65/648.78	c cleaning 509 clauses out of 1019 for limit 2.9028428119391865E12
654.75/648.85	c cleaning 497 clauses out of 1009 for limit 4.829786269856802E12
654.86/648.92	c cleaning 497 clauses out of 1012 for limit 7.94135212384163E12
654.86/648.99	c cleaning 498 clauses out of 1016 for limit 1.3057849435678662E13
654.96/649.07	c cleaning 508 clauses out of 1017 for limit 2.1491453421376008E13
655.05/649.14	c cleaning 505 clauses out of 1010 for limit 3.572364498864259E13
655.15/649.22	c cleaning 487 clauses out of 1004 for limit 5.92058746073625E13
655.15/649.29	c cleaning 500 clauses out of 1018 for limit 9.639203179440225E13
655.25/649.37	c cleaning 500 clauses out of 1018 for limit 1.5896335552428034E14
655.35/649.45	c cleaning 509 clauses out of 1018 for limit 2.621518389967812E14
655.45/649.52	c cleaning 504 clauses out of 1009 for limit 4.3617965777721325E14
655.45/649.60	c cleaning 492 clauses out of 1005 for limit 7.22181566374136E14
655.55/649.67	c cleaning 497 clauses out of 1012 for limit 1.1815533160682432E15
655.65/649.75	c cleaning 508 clauses out of 1016 for limit 1.9428108791607632E15
655.75/649.82	c cleaning 503 clauses out of 1007 for limit 3.229357603485412E15
847.26/840.11	c cleaning 247992 clauses out of 496005 for limit 1.3112276329666981E8
888.04/880.92	c cleaning 124249 clauses out of 248513 for limit 4.315895517170343E8
895.24/888.16	c cleaning 62374 clauses out of 124764 for limit 1.4177074823167653E9
896.74/889.68	c cleaning 31434 clauses out of 62890 for limit 4.63820792666491E9
897.44/890.37	c cleaning 15966 clauses out of 31956 for limit 1.505342360915927E10
897.84/890.71	c cleaning 8235 clauses out of 16489 for limit 4.806342913180414E10
897.94/890.85	c cleaning 4367 clauses out of 8754 for limit 1.4929952137734265E11
898.07/890.94	c cleaning 2433 clauses out of 4887 for limit 4.410405344318941E11
898.17/891.02	c cleaning 1469 clauses out of 2954 for limit 1.2032787325355151E12
898.17/891.09	c cleaning 993 clauses out of 1986 for limit 2.954526477848345E12
1074.93/1066.20	c cleaning 269484 clauses out of 538992 for limit 6364.799408787771
1102.72/1094.01	c cleaning 135002 clauses out of 270008 for limit 20953.003974444917
1107.32/1098.66	c cleaning 67750 clauses out of 135507 for limit 68921.00403687038
1108.32/1099.64	c cleaning 34117 clauses out of 68257 for limit 225643.07870211735
1108.82/1100.19	c cleaning 17309 clauses out of 34639 for limit 732529.7083461931
1109.22/1100.55	c cleaning 8905 clauses out of 17831 for limit 2349120.4583282066
1109.42/1100.70	c cleaning 4703 clauses out of 9425 for limit 7321852.968574521
1109.42/1100.79	c cleaning 2600 clauses out of 5222 for limit 2.1793218939198915E7
1109.52/1100.87	c cleaning 1552 clauses out of 3122 for limit 6.011477662030353E7
1109.62/1100.94	c cleaning 1035 clauses out of 2070 for limit 1.4952013412063366E8
1109.72/1101.01	c cleaning 767 clauses out of 1535 for limit 3.3251981529248285E8
1109.72/1101.09	c cleaning 634 clauses out of 1268 for limit 6.638386646315507E8
1109.82/1101.16	c cleaning 567 clauses out of 1135 for limit 1.224267539496773E9
1109.92/1101.22	c cleaning 534 clauses out of 1068 for limit 2.1456398696254933E9
1109.92/1101.29	c cleaning 506 clauses out of 1033 for limit 3.6546781514716063E9
1110.02/1101.36	c cleaning 502 clauses out of 1027 for limit 6.062264791632486E9
1110.12/1101.43	c cleaning 499 clauses out of 1025 for limit 1.0016992925723677E10
1110.22/1101.53	c cleaning 513 clauses out of 1026 for limit 1.650326064176799E10
1110.32/1101.63	c cleaning 506 clauses out of 1013 for limit 2.756535317243351E10
1110.42/1101.72	c cleaning 503 clauses out of 1007 for limit 4.572981273428404E10
1110.52/1101.82	c cleaning 493 clauses out of 1004 for limit 7.563992119073653E10
1110.62/1101.91	c cleaning 506 clauses out of 1012 for limit 1.2387813739335315E11
1110.72/1102.00	c cleaning 494 clauses out of 1006 for limit 2.055100597719295E11
1110.72/1102.06	c cleaning 498 clauses out of 1012 for limit 3.369042121493007E11
1110.82/1102.13	c cleaning 507 clauses out of 1014 for limit 5.54504257856252E11
1110.82/1102.20	c cleaning 503 clauses out of 1007 for limit 9.208083667108656E11
1110.92/1102.29	c cleaning 502 clauses out of 1004 for limit 1.5230736389515862E12
1111.02/1102.37	c cleaning 489 clauses out of 1001 for limit 2.516760632687202E12
1111.12/1102.47	c cleaning 506 clauses out of 1012 for limit 4.1053611111507817E12
1111.22/1102.56	c cleaning 495 clauses out of 1006 for limit 6.810669138969657E12
1111.32/1102.62	c cleaning 496 clauses out of 1011 for limit 1.1176157025053375E13
1111.32/1102.69	c cleaning 507 clauses out of 1015 for limit 1.8358343657579754E13
1111.41/1102.77	c cleaning 495 clauses out of 1008 for limit 3.0485610214309992E13
1111.51/1102.86	c cleaning 506 clauses out of 1013 for limit 5.002670121584507E13
1111.61/1102.94	c cleaning 503 clauses out of 1007 for limit 8.29922861500787E13
1111.71/1103.01	c cleaning 502 clauses out of 1004 for limit 1.3727434267677838E14
1111.71/1103.08	c cleaning 494 clauses out of 1002 for limit 2.268356190900696E14
1111.81/1103.15	c cleaning 496 clauses out of 1008 for limit 3.7185560115928044E14
1111.92/1103.22	c cleaning 496 clauses out of 1012 for limit 6.10815760199701E14
1111.92/1103.29	c cleaning 508 clauses out of 1017 for limit 1.003367876100556E15
1112.02/1103.36	c cleaning 496 clauses out of 1009 for limit 1.6678072838376285E15
1112.12/1103.43	c cleaning 506 clauses out of 1013 for limit 2.7395767643157195E15
1112.12/1103.49	c cleaning 503 clauses out of 1007 for limit 4.544847715887025E15
1112.22/1103.56	c cleaning 490 clauses out of 1003 for limit 7.517427505691442E15
1112.32/1103.65	c cleaning 506 clauses out of 1013 for limit 1.227486214334244E16
1112.42/1103.74	c cleaning 503 clauses out of 1007 for limit 2.036350282337586E16
1112.52/1103.84	c cleaning 502 clauses out of 1004 for limit 3.3682485377262812E16
1112.62/1103.93	c cleaning 501 clauses out of 1002 for limit 5.565779645387512E16
1112.62/1104.00	c cleaning 500 clauses out of 1001 for limit 9.1878847575902176E16
1112.72/1104.07	c cleaning 489 clauses out of 1001 for limit 0.0015152051098499078
1112.82/1104.14	c cleaning 493 clauses out of 1012 for limit 0.002471615318757201
1112.92/1104.23	c cleaning 497 clauses out of 1019 for limit 0.004048024140433179
1113.03/1104.32	c cleaning 498 clauses out of 1022 for limit 0.006656137256422628
1113.13/1104.42	c cleaning 500 clauses out of 1024 for limit 0.010955421596745497
1113.22/1104.53	c cleaning 508 clauses out of 1024 for limit 0.018066955803114085
1113.32/1104.62	c cleaning 502 clauses out of 1017 for limit 0.030029934480403732
1113.42/1104.71	c cleaning 499 clauses out of 1014 for limit 0.049620228266424864
1113.42/1104.79	c cleaning 501 clauses out of 1015 for limit 0.08174977340840031
1113.52/1104.86	c cleaning 500 clauses out of 1014 for limit 0.13494926758291204
1113.62/1104.93	c cleaning 499 clauses out of 1014 for limit 0.2225493954342547
1113.62/1105.00	c cleaning 495 clauses out of 1015 for limit 0.3666521353195217
1113.72/1105.09	c cleaning 502 clauses out of 1021 for limit 0.6017067972005531
1113.82/1105.18	c cleaning 499 clauses out of 1018 for limit 0.9942240327636893
1113.92/1105.28	c cleaning 498 clauses out of 1019 for limit 1.6379993982019412
1114.02/1105.35	c cleaning 503 clauses out of 1021 for limit 2.695988695244221
1114.13/1105.44	c cleaning 503 clauses out of 1018 for limit 4.4591483180959575
1114.23/1105.52	c cleaning 500 clauses out of 1015 for limit 7.375467279530008
1114.23/1105.59	c cleaning 497 clauses out of 1015 for limit 12.163132216305359
1114.32/1105.66	c cleaning 498 clauses out of 1018 for limit 19.999520296753957
1114.42/1105.73	c cleaning 502 clauses out of 1020 for limit 32.91721409562522
1114.52/1105.80	c cleaning 502 clauses out of 1018 for limit 54.391539707662474
1114.52/1105.87	c cleaning 498 clauses out of 1016 for limit 89.87549803563081
1114.62/1105.94	c cleaning 499 clauses out of 1018 for limit 147.92552760629937
1114.72/1106.02	c cleaning 501 clauses out of 1020 for limit 243.71436717153873
1114.72/1106.09	c cleaning 501 clauses out of 1019 for limit 402.3120185381937
1114.82/1106.16	c cleaning 501 clauses out of 1018 for limit 664.1180740154193
1114.92/1106.23	c cleaning 498 clauses out of 1017 for limit 1096.2964602213226
1115.02/1106.30	c cleaning 497 clauses out of 1019 for limit 1804.3910644843247
1800.10/1787.31	c starts		: 29
1800.10/1787.31	c conflicts		: 4113108
1800.10/1787.31	c decisions		: 6624449
1800.10/1787.31	c propagations		: 209742058
1800.10/1787.31	c inspects		: 877622902
1800.10/1787.31	c learnt literals	: 0
1800.10/1787.31	c learnt binary clauses	: 0
1800.10/1787.31	c learnt ternary clauses	: 0
1800.10/1787.31	c learnt clauses	: 4113108
1800.10/1787.31	c root simplifications	: 0
1800.10/1787.31	c removed literals (reason simplification)	: 0
1800.10/1787.31	c reason swapping (by a shorter reason)	: 0
1800.10/1787.31	c Calls to reduceDB	: 156
1800.10/1787.31	c speed (decisions/second)	: 3708.639076575631
1800.10/1787.31	c non guided choices	4118
1800.10/1787.31	s SATISFIABLE
1800.10/1787.32	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
1800.10/1787.32	v -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
1800.10/1787.32	v -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
1800.10/1787.32	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 -x109
1800.10/1787.32	v x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131
1800.10/1787.32	v -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152
1800.10/1787.32	v -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
1800.10/1787.32	v -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194
1800.10/1787.32	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216
1800.10/1787.32	v x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238
1800.10/1787.32	v x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 x259 -x260
1800.10/1787.32	v -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282
1800.10/1787.32	v -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
1800.10/1787.32	v -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
1800.10/1787.32	v -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347
1800.10/1787.32	v x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369
1800.10/1787.32	v x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 x390 x391
1800.10/1787.32	v x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412
1800.10/1787.32	v -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433
1800.10/1787.32	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 -x454
1800.10/1787.32	v -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475
1800.10/1787.32	v -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496
1800.10/1787.32	v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 -x518
1800.10/1787.32	v x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1800.10/1787.32	v -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 x561 -x562
1800.10/1787.32	v x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584
1800.10/1787.32	v x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605
1800.10/1787.32	v -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627
1800.10/1787.32	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648
1800.10/1787.32	v -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.10/1787.32	v -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690
1800.10/1787.32	v x691 -x692 -x693 x694 x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712
1800.10/1787.32	v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733
1800.10/1787.32	v -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754
1800.10/1787.32	v -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
1800.10/1787.32	v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 x791 -x792 x793 x794 -x795 -x796
1800.10/1787.32	v x797 -x798 x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817
1800.10/1787.32	v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838
1800.10/1787.32	v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
1800.10/1787.32	v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 x879 x880 -x881
1800.10/1787.32	v -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902
1800.10/1787.32	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923
1800.10/1787.32	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944
1800.10/1787.32	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.10/1787.32	v -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.10/1787.32	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.10/1787.32	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.10/1787.32	v -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.10/1787.32	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.10/1787.32	v x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073
1800.10/1787.32	c objective function=196
1800.10/1787.32	c Total wall clock time (ms): 1787.11

Verifier Data (download as text)

OK	196

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node21/watcher-366241-1177058891 -o ROOT/results/node21/solver-366241-1177058891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366241-1177058891/sat4jPseudoResolution.jar /tmp/evaluation/366241-1177058891/instance-366241-1177058891.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 10139
/proc/meminfo: memFree=1845952/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=200 CPUtime=0
/proc/10139/stat : 10139 (java) R 10137 10139 9704 0 -1 0 48 0 0 0 0 0 0 0 18 0 1 0 153806456 204800 33 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 1 0 0
/proc/10139/statm: 68 34 26 9 0 4 0

[startup+0.013489 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 10139
/proc/meminfo: memFree=1845952/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=12336 CPUtime=0
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 714 0 0 0 0 0 0 0 18 0 2 0 153806456 12632064 513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 3083 521 217 9 0 1229 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12336

[startup+0.101464 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 10139
/proc/meminfo: memFree=1845952/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1780108 CPUtime=0.08
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 3964 0 1 0 6 2 0 0 18 0 12 0 153806456 1822830592 3706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 445027 3706 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.30153 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 10139
/proc/meminfo: memFree=1845952/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1782436 CPUtime=0.31
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 5083 0 1 0 27 4 0 0 18 0 12 0 153806456 1825214464 4822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 445609 4822 1264 9 0 443221 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782436

[startup+0.701531 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 10139
/proc/meminfo: memFree=1845952/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1784488 CPUtime=0.91
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 7146 0 1 0 86 5 0 0 18 0 13 0 153806456 1827315712 6387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 446122 6387 1307 9 0 443734 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1784488

[startup+1.50262 s]
/proc/loadavg: 0.91 0.97 0.98 4/90 10155
/proc/meminfo: memFree=1820248/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1786176 CPUtime=2.24
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 10499 0 1 0 217 7 0 0 18 0 13 0 153806456 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 446544 8194 1317 9 0 444156 0
[pid=10139/tid=10141] ppid=10137 vsize=1786176 CPUtime=1.1
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 6356 0 1 0 106 4 0 0 19 0 13 0 153806457 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109595092 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153806459 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153806459 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153806461 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153806461 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153806461 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1786176 CPUtime=0.52
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1612 0 0 0 52 0 0 0 16 0 13 0 153806465 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1786176 CPUtime=0.58
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1806 0 0 0 57 1 0 0 16 0 13 0 153806465 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1829044224 8194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 1786176

[startup+3.10279 s]
/proc/loadavg: 0.91 0.97 0.98 2/90 10156
/proc/meminfo: memFree=1814032/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1786176 CPUtime=3.87
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 12632 0 1 0 379 8 0 0 18 0 13 0 153806456 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 446544 10326 1317 9 0 444156 0
[pid=10139/tid=10141] ppid=10137 vsize=1786176 CPUtime=2.67
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 8483 0 1 0 262 5 0 0 25 0 13 0 153806457 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109619140 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153806459 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153806459 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 153806461 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153806461 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153806461 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1786176 CPUtime=0.56
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1614 0 0 0 56 0 0 0 16 0 13 0 153806465 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1786176 CPUtime=0.6
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1810 0 0 0 59 1 0 0 16 0 13 0 153806465 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1786176 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1829044224 10326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 1786176

[startup+6.30214 s]
/proc/loadavg: 0.92 0.97 0.98 2/90 10156
/proc/meminfo: memFree=1796624/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1785944 CPUtime=7.06
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 16869 0 1 0 696 10 0 0 18 0 13 0 153806456 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 446486 14516 1317 9 0 444098 0
[pid=10139/tid=10141] ppid=10137 vsize=1785944 CPUtime=5.86
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 12720 0 1 0 579 7 0 0 25 0 13 0 153806457 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109744671 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153806459 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153806459 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153806461 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153806461 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153806461 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1785944 CPUtime=0.56
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1614 0 0 0 56 0 0 0 16 0 13 0 153806465 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1785944 CPUtime=0.6
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1810 0 0 0 59 1 0 0 16 0 13 0 153806465 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1828806656 14516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 1785944

[startup+12.7028 s]
/proc/loadavg: 1.01 0.98 0.99 2/90 10156
/proc/meminfo: memFree=1764368/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1785944 CPUtime=13.47
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 24716 0 1 0 1333 14 0 0 18 0 13 0 153806456 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 446486 22363 1317 9 0 444098 0
[pid=10139/tid=10141] ppid=10137 vsize=1785944 CPUtime=12.26
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 20567 0 1 0 1215 11 0 0 25 0 13 0 153806457 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109744671 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153806459 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153806459 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153806461 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153806461 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153806461 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1785944 CPUtime=0.56
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1614 0 0 0 56 0 0 0 16 0 13 0 153806465 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1785944 CPUtime=0.62
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1810 0 0 0 61 1 0 0 17 0 13 0 153806465 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1828806656 22363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.47
Current children cumulated vsize (KiB) 1785944

[startup+25.5012 s]
/proc/loadavg: 1.00 0.98 0.99 3/90 10156
/proc/meminfo: memFree=1702992/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1785944 CPUtime=26.27
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 39363 0 1 0 2607 20 0 0 18 0 13 0 153806456 1828806656 37010 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 446486 37010 1317 9 0 444098 0
[pid=10139/tid=10141] ppid=10137 vsize=1785944 CPUtime=25.04
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 35214 0 1 0 2487 17 0 0 25 0 13 0 153806457 1828806656 37010 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109744671 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153806459 1828806656 37010 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153806459 1828806656 37010 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1785944 CPUtime=0
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153806461 1828806656 37010 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1622 0 0 0 64 0 0 0 17 0 13 0 153806465 1834057728 358790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1791072 CPUtime=0.73
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1823 0 0 0 72 1 0 0 17 0 13 0 153806465 1834057728 358790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1834057728 358790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1834057728 358790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1834057728 358790 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1614.94
Current children cumulated vsize (KiB) 1791072

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 10354
/proc/meminfo: memFree=340624/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1791072 CPUtime=1675.16
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 802110 0 1 0 167105 411 0 0 18 0 13 0 153806456 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 447768 376103 1332 9 0 445380 0
[pid=10139/tid=10141] ppid=10137 vsize=1791072 CPUtime=1637.39
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 37785 0 1 0 163707 32 0 0 25 0 13 0 153806457 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109817390 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1791072 CPUtime=12.87
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 345426 0 0 0 1119 168 0 0 16 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1791072 CPUtime=12.98
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 387046 0 0 0 1113 185 0 0 17 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1791072 CPUtime=10.49
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 27686 0 0 0 1027 22 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1791072 CPUtime=0.64
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1622 0 0 0 64 0 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1791072 CPUtime=0.73
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1823 0 0 0 72 1 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1675.16
Current children cumulated vsize (KiB) 1791072

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 10354
/proc/meminfo: memFree=340624/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1791072 CPUtime=1735.12
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 802110 0 1 0 173101 411 0 0 18 0 13 0 153806456 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 447768 376103 1332 9 0 445380 0
[pid=10139/tid=10141] ppid=10137 vsize=1791072 CPUtime=1697.36
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 37785 0 1 0 169704 32 0 0 25 0 13 0 153806457 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109817409 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1791072 CPUtime=12.87
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 345426 0 0 0 1119 168 0 0 16 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1791072 CPUtime=12.98
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 387046 0 0 0 1113 185 0 0 17 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1791072 CPUtime=10.49
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 27686 0 0 0 1027 22 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1791072 CPUtime=0.64
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1622 0 0 0 64 0 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1791072 CPUtime=0.73
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1823 0 0 0 72 1 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1735.12
Current children cumulated vsize (KiB) 1791072

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 10354
/proc/meminfo: memFree=340432/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1791072 CPUtime=1795.09
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 802110 0 1 0 179098 411 0 0 18 0 13 0 153806456 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 447768 376103 1332 9 0 445380 0
[pid=10139/tid=10141] ppid=10137 vsize=1791072 CPUtime=1757.33
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 37785 0 1 0 175701 32 0 0 25 0 13 0 153806457 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109817386 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1791072 CPUtime=12.87
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 345426 0 0 0 1119 168 0 0 16 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1791072 CPUtime=12.98
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 387046 0 0 0 1113 185 0 0 17 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1791072 CPUtime=10.49
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 27686 0 0 0 1027 22 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1791072 CPUtime=0.64
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1622 0 0 0 64 0 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1791072 CPUtime=0.73
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1823 0 0 0 72 1 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 1791072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 10354
/proc/meminfo: memFree=340432/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=1791072 CPUtime=1800.1
/proc/10139/stat : 10139 (java) S 10137 10139 9704 0 -1 0 802110 0 1 0 179599 411 0 0 18 0 13 0 153806456 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10139/statm: 447768 376103 1332 9 0 445380 0
[pid=10139/tid=10141] ppid=10137 vsize=1791072 CPUtime=1762.33
/proc/10139/task/10141/stat : 10141 (java) R 10137 10139 9704 0 -1 64 37785 0 1 0 176201 32 0 0 25 0 13 0 153806457 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10142] ppid=10137 vsize=1791072 CPUtime=12.87
/proc/10139/task/10142/stat : 10142 (java) S 10137 10139 9704 0 -1 64 345426 0 0 0 1119 168 0 0 16 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10143] ppid=10137 vsize=1791072 CPUtime=12.98
/proc/10139/task/10143/stat : 10143 (java) S 10137 10139 9704 0 -1 64 387046 0 0 0 1113 185 0 0 17 0 13 0 153806459 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10144] ppid=10137 vsize=1791072 CPUtime=10.49
/proc/10139/task/10144/stat : 10144 (java) S 10137 10139 9704 0 -1 64 27686 0 0 0 1027 22 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10145] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10145/stat : 10145 (java) S 10137 10139 9704 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10146] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10146/stat : 10146 (java) S 10137 10139 9704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153806461 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10147] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10147/stat : 10147 (java) S 10137 10139 9704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10148] ppid=10137 vsize=1791072 CPUtime=0.64
/proc/10139/task/10148/stat : 10148 (java) S 10137 10139 9704 0 -1 64 1622 0 0 0 64 0 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10149] ppid=10137 vsize=1791072 CPUtime=0.73
/proc/10139/task/10149/stat : 10149 (java) S 10137 10139 9704 0 -1 64 1823 0 0 0 72 1 0 0 17 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10139/tid=10150] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10150/stat : 10150 (java) S 10137 10139 9704 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10151] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10151/stat : 10151 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153806465 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10139/tid=10156] ppid=10137 vsize=1791072 CPUtime=0
/proc/10139/task/10156/stat : 10156 (java) S 10137 10139 9704 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 153806565 1834057728 376103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1791072

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

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

[startup+1787.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 10357
/proc/meminfo: memFree=750528/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=0 CPUtime=1800.22
/proc/10139/stat : 10139 (java) Z 10137 10139 9704 0 -1 1036 802129 0 1 0 179604 418 0 0 16 0 2 0 153806456 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

[startup+1787.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 10357
/proc/meminfo: memFree=750528/2055920 swapFree=4163760/4192956
[pid=10139] ppid=10137 vsize=0 CPUtime=1800.31
/proc/10139/stat : 10139 (java) Z 10137 10139 9704 0 -1 1036 802129 0 1 0 179604 427 0 0 16 0 2 0 153806456 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.58
CPU time (s): 1800.39
CPU user time (s): 1796.05
CPU system time (s): 4.34034
CPU usage (%): 100.716
Max. virtual memory (cumulated for all children) (KiB): 1799076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.34034
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 802129
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= 37237
involuntary context switches= 58550

runsolver used 2.07468 second user time and 4.90225 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Fri Apr 20 08:48:11 UTC 2007

IDJOB= 366241
IDBENCH= 2842
IDSOLVER= 159
FILE ID= node21/366241-1177058891

PBS_JOBID= 4640198

Free space on /tmp= 66387 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366241-1177058891/sat4jPseudoResolution.jar /tmp/evaluation/366241-1177058891/instance-366241-1177058891.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-366241-1177058891 -o ROOT/results/node21/solver-366241-1177058891 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366241-1177058891/sat4jPseudoResolution.jar /tmp/evaluation/366241-1177058891/instance-366241-1177058891.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  9633aa6e9fb6df7104bc0e43c44542c0

RANDOM SEED= 944570930

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1846360 kB
Buffers:         22132 kB
Cached:         101668 kB
SwapCached:       7576 kB
Active:          55180 kB
Inactive:        91968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846360 kB
SwapTotal:     4192956 kB
SwapFree:      4163760 kB
Dirty:            3728 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            47936 kB
Committed_AS:  1674724 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66387 MiB

End job on node21 on Fri Apr 20 09:18:01 UTC 2007