Trace number 352002

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)490 1800.33 1784.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
MD5SUM97ebaccbda37d5c570b4e2ec3cd7f8f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark425
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 425
Optimality of the best value was proved NO
Number of variables1372
Total number of constraints4944
Number of constraints which are clauses4944
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 constraint1
Maximum length of a constraint19
Number of terms in the objective function 1372
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 1372
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 1372
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

Solver Data (download as text)

0.09/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.13	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.14	c no version file found!!!
0.09/0.14	c sun.arch.data.model	32
0.09/0.14	c java.version	1.6.0
0.09/0.14	c os.name	Linux
0.09/0.14	c os.version	2.6.9-22.EL.rootsmp
0.09/0.14	c os.arch	i386
0.09/0.14	c Free memory 1651659224
0.09/0.14	c Max memory 1654456320
0.09/0.14	c Total memory 1654456320
0.09/0.14	c Number of processors 2
0.21/0.20	--- Begin Solver configuration ---
0.21/0.20	c Stops conflict analysis at the first Unique Implication Point
0.21/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.21/0.20	c Learn all clauses as in MiniSAT
0.21/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.21/0.20	c No reason simplification
0.21/0.20	c --- End Solver configuration ---
0.21/0.20	c solving /tmp/evaluation/352002-1176619781/instance-352002-1176619781.opb
0.21/0.20	c reading problem ... 
1.42/1.08	c ... done. Wall clock time 0.886s.
1.42/1.08	c CPU time (experimental) 0.74s.
1.42/1.08	c #vars     1372
1.42/1.08	c #constraints  4827
1.52/1.16	c SATISFIABLE
1.52/1.16	c OPTIMIZING...
1.52/1.16	c Got one! Elapsed wall clock time (in seconds):0.965
1.52/1.17	o 490
355.74/350.87	c cleaning 455991 clauses out of 912000 for limit 2.064158611923252E10
370.95/366.09	c cleaning 228250 clauses out of 456509 for limit 6.800556406566653E10
375.15/370.21	c cleaning 114375 clauses out of 228759 for limit 2.2380587810787735E11
376.94/372.00	c cleaning 57430 clauses out of 114885 for limit 7.356593318769535E11
377.54/372.61	c cleaning 28967 clauses out of 57954 for limit 2.402580986023575E12
378.14/373.25	c cleaning 14735 clauses out of 29487 for limit 7.787297194397396E12
378.44/373.52	c cleaning 7621 clauses out of 15252 for limit 2.4828268288327766E13
378.54/373.68	c cleaning 4059 clauses out of 8131 for limit 7.680423224038838E13
378.74/373.82	c cleaning 2279 clauses out of 4572 for limit 2.252572503574796E14
378.85/373.94	c cleaning 1389 clauses out of 2793 for limit 6.080929264104565E14
378.95/374.06	c cleaning 946 clauses out of 1904 for limit 1.4710581153014325E15
379.04/374.18	c cleaning 729 clauses out of 1458 for limit 3.1680726868054455E15
379.14/374.27	c cleaning 614 clauses out of 1229 for limit 6.198072691717938E15
379.24/374.38	c cleaning 557 clauses out of 1115 for limit 1.1266514186811788E16
379.34/374.48	c cleaning 529 clauses out of 1058 for limit 1.9580990404547652E16
379.44/374.59	c cleaning 515 clauses out of 1030 for limit 3.3202707260938852E16
768.65/759.72	c cleaning 445748 clauses out of 891514 for limit 5.413008281598088
823.13/814.21	c cleaning 223130 clauses out of 446266 for limit 17.833186272687463
831.23/822.38	c cleaning 111813 clauses out of 223637 for limit 58.74480778989018
833.33/824.46	c cleaning 56155 clauses out of 112324 for limit 192.8841187006148
834.03/825.13	c cleaning 28325 clauses out of 56668 for limit 629.8723176571316
834.33/825.47	c cleaning 14409 clauses out of 28843 for limit 2040.8254626954536
834.63/825.74	c cleaning 7458 clauses out of 14935 for limit 6506.260773465044
834.73/825.90	c cleaning 3976 clauses out of 7976 for limit 20071.18079101235
834.93/826.02	c cleaning 2243 clauses out of 4500 for limit 58668.021355219505
835.03/826.13	c cleaning 1373 clauses out of 2758 for limit 158019.28490131738
835.13/826.22	c cleaning 928 clauses out of 1884 for limit 381105.1615434057
835.23/826.33	c cleaning 717 clauses out of 1456 for limit 813242.8266862837
835.33/826.42	c cleaning 610 clauses out of 1239 for limit 1576036.2299209335
835.43/826.52	c cleaning 565 clauses out of 1130 for limit 2852656.361203305
835.53/826.61	c cleaning 520 clauses out of 1064 for limit 4991230.761842182
835.63/826.70	c cleaning 508 clauses out of 1044 for limit 8388893.20365796
835.63/826.80	c cleaning 518 clauses out of 1036 for limit 1.3941236537642865E7
835.73/826.89	c cleaning 502 clauses out of 1018 for limit 2.339748406931276E7
835.83/826.98	c cleaning 497 clauses out of 1017 for limit 3.866218406502024E7
835.93/827.07	c cleaning 509 clauses out of 1019 for limit 6.3570339127831094E7
836.03/827.16	c cleaning 495 clauses out of 1011 for limit 1.0577132759495099E8
836.13/827.26	c cleaning 496 clauses out of 1016 for limit 1.73572648423779E8
836.23/827.36	c cleaning 510 clauses out of 1020 for limit 2.851219898651387E8
836.33/827.45	c cleaning 505 clauses out of 1010 for limit 4.74859792385657E8
836.43/827.55	c cleaning 500 clauses out of 1004 for limit 7.869994602454956E8
836.53/827.65	c cleaning 491 clauses out of 1004 for limit 1.297867392849026E9
836.63/827.74	c cleaning 496 clauses out of 1014 for limit 2.1213702699022307E9
836.73/827.83	c cleaning 497 clauses out of 1017 for limit 3.4846154304315524E9
836.83/827.91	c cleaning 498 clauses out of 1021 for limit 5.729813219129919E9
836.93/828.00	c cleaning 502 clauses out of 1022 for limit 9.430542715876783E9
836.93/828.09	c cleaning 510 clauses out of 1020 for limit 1.5582721095745708E10
837.03/828.19	c cleaning 505 clauses out of 1010 for limit 2.5952427267463272E10
837.13/828.28	c cleaning 502 clauses out of 1006 for limit 4.301221167671594E10
837.23/828.38	c cleaning 492 clauses out of 1004 for limit 7.107419170556966E10
837.33/828.48	c cleaning 506 clauses out of 1012 for limit 1.1628428227151593E11
837.43/828.56	c cleaning 502 clauses out of 1005 for limit 1.929109335257048E11
837.53/828.66	c cleaning 490 clauses out of 1003 for limit 3.187703053136583E11
837.63/828.75	c cleaning 500 clauses out of 1013 for limit 5.205053923238911E11
837.73/828.84	c cleaning 506 clauses out of 1013 for limit 8.583830239077158E11
837.83/828.93	c cleaning 497 clauses out of 1008 for limit 1.4240342411413218E12
837.93/829.02	c cleaning 498 clauses out of 1012 for limit 2.341482145460528E12
838.03/829.11	c cleaning 506 clauses out of 1013 for limit 3.853747827233359E12
838.13/829.20	c cleaning 493 clauses out of 1006 for limit 6.393168231930039E12
838.13/829.29	c cleaning 506 clauses out of 1013 for limit 1.0470334467187197E13
838.23/829.39	c cleaning 503 clauses out of 1007 for limit 1.7369863954023879E13
838.33/829.47	c cleaning 502 clauses out of 1004 for limit 2.873082267383028E13
838.43/829.57	c cleaning 501 clauses out of 1003 for limit 4.747568506727972E13
838.53/829.66	c cleaning 492 clauses out of 1001 for limit 7.837173675316364E13
838.63/829.76	c cleaning 495 clauses out of 1009 for limit 1.2822073713342528E14
838.73/829.86	c cleaning 497 clauses out of 1014 for limit 2.1041048021076775E14
838.83/829.95	c cleaning 508 clauses out of 1017 for limit 3.459714459184849E14
838.93/830.05	c cleaning 504 clauses out of 1009 for limit 5.750769097224516E14
839.03/830.13	c cleaning 497 clauses out of 1005 for limit 9.521533983620256E14
839.13/830.23	c cleaning 495 clauses out of 1009 for limit 1.565569010393209E15
839.23/830.31	c cleaning 505 clauses out of 1013 for limit 2.569066299712436E15
839.23/830.40	c cleaning 492 clauses out of 1008 for limit 4.257749557459926E15
839.33/830.49	c cleaning 501 clauses out of 1017 for limit 6.966426997982437E15
839.43/830.59	c cleaning 497 clauses out of 1017 for limit 1.1500070141745284E16
839.52/830.68	c cleaning 501 clauses out of 1018 for limit 1.8908650196123084E16
839.62/830.78	c cleaning 508 clauses out of 1017 for limit 3.1213555373124324E16
839.74/830.88	c cleaning 504 clauses out of 1009 for limit 5.1883457947729672E16
839.85/830.97	c cleaning 498 clauses out of 1005 for limit 8.590331131108412E-4
839.96/831.06	c cleaning 496 clauses out of 1007 for limit 0.0014138468972474934
840.06/831.15	c cleaning 494 clauses out of 1011 for limit 0.0023223976590875084
840.16/831.24	c cleaning 499 clauses out of 1017 for limit 0.0038073488823075277
840.26/831.34	c cleaning 500 clauses out of 1019 for limit 0.006272776913233403
840.35/831.44	c cleaning 497 clauses out of 1019 for limit 0.010344648287004229
840.46/831.53	c cleaning 498 clauses out of 1021 for limit 0.01700926496907539
840.56/831.62	c cleaning 497 clauses out of 1023 for limit 0.027995713601184097
840.65/831.72	c cleaning 503 clauses out of 1027 for limit 0.04603489224107833
840.75/831.81	c cleaning 501 clauses out of 1024 for limit 0.07614011086749103
840.85/831.91	c cleaning 502 clauses out of 1023 for limit 0.1256879708212978
840.85/832.00	c cleaning 501 clauses out of 1020 for limit 0.20767802831812385
840.95/832.09	c cleaning 500 clauses out of 1020 for limit 0.3428316830492118
841.05/832.19	c cleaning 499 clauses out of 1020 for limit 0.5653753085501827
841.15/832.29	c cleaning 498 clauses out of 1020 for limit 0.9314471388365184
841.25/832.39	c cleaning 499 clauses out of 1022 for limit 1.5330749094760776
841.35/832.49	c cleaning 502 clauses out of 1024 for limit 2.5258334705684393
841.45/832.59	c cleaning 503 clauses out of 1021 for limit 4.173498903198814
1143.57/1131.78	c cleaning 325249 clauses out of 650518 for limit 1.773862036474236
1176.06/1164.25	c cleaning 162877 clauses out of 325769 for limit 5.841512220933951
1186.36/1174.52	c cleaning 81692 clauses out of 163393 for limit 19.22613539254188
1190.36/1178.59	c cleaning 41092 clauses out of 82200 for limit 62.96149052735576
1191.46/1179.63	c cleaning 20794 clauses out of 41608 for limit 205.12843402584636
1191.76/1179.90	c cleaning 10646 clauses out of 21314 for limit 660.3795727079249
1191.96/1180.13	c cleaning 5574 clauses out of 11168 for limit 2078.44757205633
1192.06/1180.27	c cleaning 3039 clauses out of 6094 for limit 6281.565844572833
1192.16/1180.39	c cleaning 1769 clauses out of 3556 for limit 17770.474031360372
1192.36/1180.50	c cleaning 1134 clauses out of 2286 for limit 45541.35145813325
1192.46/1180.60	c cleaning 822 clauses out of 1652 for limit 103926.90271889755
1192.56/1180.70	c cleaning 660 clauses out of 1330 for limit 212883.6331551685
1192.56/1180.80	c cleaning 579 clauses out of 1171 for limit 399141.98988110415
1192.66/1180.89	c cleaning 538 clauses out of 1091 for limit 705798.8360877292
1192.76/1180.98	c cleaning 516 clauses out of 1053 for limit 1205960.836238743
1192.86/1181.08	c cleaning 510 clauses out of 1037 for limit 2019476.0455507978
1192.96/1181.16	c cleaning 503 clauses out of 1027 for limit 3362814.4573489116
1193.06/1181.25	c cleaning 512 clauses out of 1024 for limit 5561978.167961729
1193.16/1181.33	c cleaning 502 clauses out of 1012 for limit 9281210.249710074
1193.26/1181.42	c cleaning 505 clauses out of 1012 for limit 1.5336615213677807E7
1193.36/1181.50	c cleaning 492 clauses out of 1005 for limit 2.5417383153605293E7
1193.36/1181.59	c cleaning 496 clauses out of 1013 for limit 4.158563516531585E7
1193.46/1181.68	c cleaning 508 clauses out of 1017 for limit 6.831054001704483E7
1193.56/1181.77	c cleaning 505 clauses out of 1010 for limit 1.1354753132350633E8
1193.66/1181.85	c cleaning 494 clauses out of 1004 for limit 1.881857493447937E8
1193.76/1181.93	c cleaning 497 clauses out of 1010 for limit 3.084998511005427E8
1193.86/1182.02	c cleaning 498 clauses out of 1013 for limit 5.0725083917560136E8
1193.96/1182.11	c cleaning 495 clauses out of 1015 for limit 8.348761684804335E8
1194.06/1182.20	c cleaning 510 clauses out of 1020 for limit 1.3700733597090974E9
1194.06/1182.29	c cleaning 505 clauses out of 1011 for limit 2.281829743097365E9
1194.16/1182.38	c cleaning 499 clauses out of 1006 for limit 3.7817454986424317E9
1194.26/1182.47	c cleaning 495 clauses out of 1007 for limit 6.230410988643265E9
1194.36/1182.55	c cleaning 497 clauses out of 1012 for limit 1.0224016480445948E10
1194.46/1182.65	c cleaning 498 clauses out of 1015 for limit 1.6810936129811554E10
1194.56/1182.74	c cleaning 508 clauses out of 1016 for limit 2.7668499516819653E10
1194.66/1182.83	c cleaning 497 clauses out of 1008 for limit 4.599119250291849E10
1194.76/1182.92	c cleaning 496 clauses out of 1012 for limit 7.562146539939474E10
1194.86/1183.02	c cleaning 508 clauses out of 1016 for limit 1.2421892899318846E11
1194.96/1183.11	c cleaning 492 clauses out of 1008 for limit 2.0647945409396652E11
1195.06/1183.20	c cleaning 498 clauses out of 1016 for limit 3.3783104337122156E11
1660.68/1645.54	c cleaning 364998 clauses out of 730017 for limit 444800.147801887
1730.46/1715.39	c cleaning 182752 clauses out of 365519 for limit 1465020.921352949
1755.06/1739.91	c cleaning 91631 clauses out of 183268 for limit 4823447.345342694
1760.86/1745.71	c cleaning 46055 clauses out of 92136 for limit 1.5806517765798476E7
1761.75/1746.62	c cleaning 23286 clauses out of 46581 for limit 5.155996773449561E7
1762.35/1747.28	c cleaning 11886 clauses out of 23795 for limit 1.6645299831583163E8
1762.65/1747.52	c cleaning 6200 clauses out of 12411 for limit 5.2734576979094636E8
1762.75/1747.65	c cleaning 3349 clauses out of 6710 for limit 1.6069453130175457E9
1762.85/1747.75	c cleaning 1919 clauses out of 3860 for limit 4.602117343510825E9
1762.96/1747.85	c cleaning 1208 clauses out of 2441 for limit 1.2001432870305141E10
1763.06/1747.94	c cleaning 860 clauses out of 1734 for limit 2.788959356357898E10
1763.15/1748.02	c cleaning 687 clauses out of 1374 for limit 5.804441422769387E10
1763.25/1748.10	c cleaning 593 clauses out of 1187 for limit 1.1080320778372469E11
1763.25/1748.19	c cleaning 545 clauses out of 1093 for limit 1.982459235039158E11
1763.35/1748.28	c cleaning 511 clauses out of 1048 for limit 3.409722473801303E11
1763.45/1748.36	c cleaning 509 clauses out of 1037 for limit 5.682735537119607E11
1763.55/1748.44	c cleaning 514 clauses out of 1028 for limit 9.453638127468716E11
1763.65/1748.53	c cleaning 505 clauses out of 1015 for limit 1.5805798653907378E12
1763.75/1748.61	c cleaning 505 clauses out of 1010 for limit 2.619491543449611E12
1763.75/1748.70	c cleaning 492 clauses out of 1004 for limit 4.3413623639421636E12
1763.85/1748.78	c cleaning 499 clauses out of 1013 for limit 7.102981821375171E12
1763.95/1748.86	c cleaning 498 clauses out of 1014 for limit 1.1702215204654082E13
1764.06/1748.94	c cleaning 501 clauses out of 1015 for limit 1.9260225543180613E13
1764.16/1749.03	c cleaning 500 clauses out of 1014 for limit 3.1794012657982934E13
1764.25/1749.11	c cleaning 507 clauses out of 1015 for limit 5.243335584129084E13
1764.25/1749.19	c cleaning 503 clauses out of 1007 for limit 8.706940993201917E13
1800.05/1784.31	c starts		: 26
1800.05/1784.31	c conflicts		: 3402190
1800.05/1784.31	c decisions		: 5146921
1800.05/1784.31	c propagations		: 117428487
1800.05/1784.31	c inspects		: 647396079
1800.05/1784.31	c learnt literals	: 0
1800.05/1784.31	c learnt binary clauses	: 0
1800.05/1784.31	c learnt ternary clauses	: 0
1800.05/1784.31	c learnt clauses	: 3402192
1800.05/1784.31	c root simplifications	: 0
1800.05/1784.31	c removed literals (reason simplification)	: 0
1800.05/1784.31	c reason swapping (by a shorter reason)	: 0
1800.05/1784.31	c Calls to reduceDB	: 161
1800.05/1784.31	c speed (decisions/second)	: 2886.5059576086114
1800.05/1784.31	c non guided choices	2755
1800.05/1784.31	s SATISFIABLE
1800.05/1784.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 -x31
1800.05/1784.32	v -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
1800.05/1784.32	v -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
1800.05/1784.32	v -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
1800.05/1784.32	v -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133
1800.05/1784.32	v -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 x151 -x152 -x153 -x154
1800.05/1784.32	v x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175
1800.05/1784.32	v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 x186 -x187 -x188 x189 x190 x191 -x192 -x193 -x194 -x195 -x196 x197
1800.05/1784.32	v -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219
1800.05/1784.32	v -x220 x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 -x237 -x238 x239 x240 -x241
1800.05/1784.32	v -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 x258 x259 -x260 -x261 -x262 x263
1800.05/1784.32	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284
1800.05/1784.32	v -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305
1800.05/1784.32	v -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326
1800.05/1784.32	v x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 x347 -x348
1800.05/1784.32	v -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370
1800.05/1784.32	v -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 x392
1800.05/1784.32	v x393 x394 x395 -x396 -x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 x406 x407 x408 x409 x410 -x411 -x412 -x413 -x414 -x415
1800.05/1784.32	v -x416 -x417 -x418 -x419 -x420 x421 x422 x423 -x424 x425 -x426 -x427 x428 x429 -x430 x431 -x432 x433 x434 -x435 x436 -x437 x438
1800.05/1784.32	v -x439 x440 x441 -x442 -x443 x444 x445 x446 x447 x448 -x449 x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 x460 x461
1800.05/1784.32	v x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 -x473 -x474 x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483
1800.05/1784.32	v -x484 x485 -x486 -x487 x488 x489 x490 x491 x492 -x493 -x494 -x495 x496 x497 -x498 x499 x500 -x501 -x502 x503 -x504 -x505 -x506
1800.05/1784.32	v x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 x518 x519 -x520 x521 -x522 -x523 x524 x525 -x526 -x527 x528
1800.05/1784.32	v -x529 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 x548 x549 x550 -x551
1800.05/1784.32	v x552 x553 x554 -x555 -x556 -x557 x558 -x559 x560 -x561 -x562 x563 x564 x565 x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574
1800.05/1784.32	v -x575 x576 -x577 -x578 -x579 x580 -x581 x582 -x583 x584 x585 x586 -x587 x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 x596
1800.05/1784.32	v -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 x606 -x607 -x608 x609 x610 x611 -x612 -x613 x614 x615 -x616 x617 -x618
1800.05/1784.32	v x619 x620 -x621 x622 -x623 -x624 x625 x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 x634 -x635 x636 x637 -x638 x639 x640 x641
1800.05/1784.32	v x642 x643 -x644 -x645 x646 x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 x656 x657 -x658 -x659 x660 x661 x662 x663 x664
1800.05/1784.32	v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 x678 x679 x680 x681 x682 -x683 x684 x685 -x686
1800.05/1784.32	v -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 x706 x707 x708
1800.05/1784.32	v x709 -x710 -x711 x712 x713 x714 -x715 -x716 -x717 -x718 x719 x720 -x721 -x722 x723 x724 -x725 x726 x727 -x728 -x729 x730 x731
1800.05/1784.32	v -x732 -x733 -x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 -x746 -x747 x748 x749 x750 x751 -x752 -x753 x754 -x755
1800.05/1784.32	v x756 -x757 x758 -x759 x760 -x761 -x762 x763 -x764 x765 x766 x767 x768 -x769 -x770 -x771 x772 x773 x774 -x775 x776 x777 x778
1800.05/1784.32	v -x779 x780 x781 x782 x783 -x784 x785 x786 -x787 x788 x789 -x790 -x791 x792 x793 -x794 x795 -x796 x797 x798 -x799 x800 x801 -x802
1800.05/1784.32	v x803 x804 -x805 -x806 -x807 x808 -x809 x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 x818 x819 x820 x821 x822 -x823 x824 -x825
1800.05/1784.32	v -x826 -x827 -x828 -x829 x830 -x831 x832 x833 x834 -x835 -x836 x837 x838 x839 x840 x841 -x842 -x843 x844 -x845 -x846 -x847 x848
1800.05/1784.32	v -x849 -x850 -x851 x852 x853 -x854 -x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 x867 -x868 -x869 -x870
1800.05/1784.32	v x871 x872 -x873 x874 x875 x876 -x877 -x878 -x879 -x880 x881 x882 -x883 -x884 x885 -x886 -x887 x888 x889 x890 x891 x892 x893
1800.05/1784.32	v x894 x895 x896 -x897 x898 -x899 -x900 x901 -x902 -x903 x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915
1800.05/1784.32	v x916 -x917 x918 -x919 x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937
1800.05/1784.32	v -x938 -x939 x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 x948 -x949 x950 -x951 x952 -x953 -x954 -x955 x956 x957 -x958 -x959
1800.05/1784.32	v -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 x974 x975 x976 -x977 x978 -x979 -x980 x981
1800.05/1784.32	v x982 -x983 x984 -x985 x986 -x987 x988 -x989 -x990 -x991 x992 x993 -x994 -x995 x996 -x997 -x998 -x999 x1000 -x1001 x1002 -x1003
1800.05/1784.32	v -x1004 x1005 -x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021
1800.05/1784.32	v -x1022 x1023 x1024 -x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039
1800.05/1784.32	v x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 x1053 -x1054 x1055 x1056 -x1057
1800.05/1784.32	v x1058 -x1059 x1060 -x1061 x1062 x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076
1800.05/1784.32	v -x1077 -x1078 -x1079 x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094
1800.05/1784.32	v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1800.05/1784.32	v -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 x1130
1800.05/1784.32	v -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
1800.05/1784.32	v -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 x1163 x1164 -x1165 -x1166
1800.05/1784.32	v x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 x1181 -x1182 -x1183 -x1184
1800.05/1784.32	v x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202
1800.05/1784.32	v -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 x1218 -x1219 -x1220
1800.05/1784.32	v -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238
1800.05/1784.32	v x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256
1800.05/1784.32	v -x1257 -x1258 x1259 x1260 -x1261 x1262 x1263 -x1264 x1265 -x1266 -x1267 x1268 -x1269 -x1270 x1271 -x1272 -x1273 x1274 x1275
1800.05/1784.32	v -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293
1800.05/1784.32	v -x1294 -x1295 -x1296 x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 x1304 -x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311
1800.05/1784.32	v -x1312 -x1313 x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 x1329
1800.05/1784.32	v -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347
1800.05/1784.32	v x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 -x1365
1800.05/1784.32	v -x1366 -x1367 -x1368 x1369 -x1370 -x1371 x1372
1800.05/1784.32	c objective function=490
1800.05/1784.32	c Total wall clock time (ms): 1784.126

Verifier Data (download as text)

OK	490

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-352002-1176619781 -o ROOT/results/node52/solver-352002-1176619781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352002-1176619781/sat4jPseudoResolution.jar /tmp/evaluation/352002-1176619781/instance-352002-1176619781.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.92 1.01 0.99 3/64 17118
/proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1520 CPUtime=0
/proc/17118/stat : 17118 (java) R 17116 17118 15992 0 -1 0 93 0 0 0 0 0 0 0 18 0 1 0 16823223 1556480 74 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4279585 0 0 4096 0 0 0 0 17 1 0 0
/proc/17118/statm: 368 68 49 9 0 10 0

[startup+0.033438 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 17118
/proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1775952 CPUtime=0.02
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 2965 0 1 0 0 2 0 0 18 0 4 0 16823223 1818574848 2712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 443988 2712 729 9 0 441624 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1775952

[startup+0.101454 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 17118
/proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1780108 CPUtime=0.09
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 3981 0 1 0 6 3 0 0 18 0 12 0 16823223 1822830592 3722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 445027 3722 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.301456 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 17118
/proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1782068 CPUtime=0.33
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 5081 0 1 0 29 4 0 0 18 0 12 0 16823223 1824837632 4816 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 445517 4816 1264 9 0 443129 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782068

[startup+0.701483 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 17118
/proc/meminfo: memFree=1798156/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1784508 CPUtime=0.93
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 7356 0 1 0 88 5 0 0 18 0 12 0 16823223 1827336192 6573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 446127 6573 1301 9 0 443739 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 1784508

[startup+1.50254 s]
/proc/loadavg: 0.92 1.01 0.99 2/76 17130
/proc/meminfo: memFree=1765740/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1785440 CPUtime=2.17
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 13324 0 1 0 208 9 0 0 18 0 13 0 16823223 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 446360 11638 1314 9 0 443972 0
[pid=17118/tid=17120] ppid=17116 vsize=1785440 CPUtime=0.98
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 9797 0 1 0 92 6 0 0 24 0 13 0 16823224 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109709779 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1785440 CPUtime=0.62
/proc/17118/task/17127/stat : 17127 (java) R 17116 17118 15992 0 -1 64 1992 0 0 0 62 0 0 0 16 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104794128 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1785440 CPUtime=0.53
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 807 0 0 0 53 0 0 0 16 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828290560 11638 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 1785440

[startup+3.10165 s]
/proc/loadavg: 0.92 1.01 0.99 2/77 17132
/proc/meminfo: memFree=1751844/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1785440 CPUtime=3.87
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 16303 0 1 0 377 10 0 0 18 0 13 0 16823223 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 446360 14616 1316 9 0 443972 0
[pid=17118/tid=17120] ppid=17116 vsize=1785440 CPUtime=2.52
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 12761 0 1 0 244 8 0 0 23 0 13 0 16823224 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109734790 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1785440 CPUtime=0.71
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2002 0 0 0 71 0 0 0 16 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1785440 CPUtime=0.6
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 812 0 0 0 60 0 0 0 15 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1785440 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1828290560 14616 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 1785440

[startup+6.30286 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 17132
/proc/meminfo: memFree=1727860/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1785408 CPUtime=7.09
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 22179 0 1 0 696 13 0 0 18 0 13 0 16823223 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 446352 20310 1316 9 0 443964 0
[pid=17118/tid=17120] ppid=17116 vsize=1785408 CPUtime=5.69
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 18632 0 1 0 559 10 0 0 25 0 13 0 16823224 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109734782 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1785408 CPUtime=0.74
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2002 0 0 0 74 0 0 0 16 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1785408 CPUtime=0.62
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 817 0 0 0 62 0 0 0 16 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1828257792 20310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 1785408

[startup+12.7013 s]
/proc/loadavg: 0.93 1.01 0.99 2/77 17132
/proc/meminfo: memFree=1682292/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1785408 CPUtime=13.5
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 33018 0 1 0 1332 18 0 0 18 0 13 0 16823223 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 446352 31149 1316 9 0 443964 0
[pid=17118/tid=17120] ppid=17116 vsize=1785408 CPUtime=12.09
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 29470 0 1 0 1194 15 0 0 25 0 13 0 16823224 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109581359 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 16823225 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 16823225 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 16823228 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 16823228 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 16823228 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1785408 CPUtime=0.74
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2002 0 0 0 74 0 0 0 17 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1785408 CPUtime=0.63
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 818 0 0 0 63 0 0 0 16 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1828257792 31149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.5
Current children cumulated vsize (KiB) 1785408

[startup+25.5022 s]
/proc/loadavg: 0.95 1.01 0.99 2/77 17132
/proc/meminfo: memFree=1504884/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1785408 CPUtime=26.53
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 89545 0 1 0 2608 45 0 0 18 0 13 0 16823223 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 446352 74350 1323 9 0 443964 0
[pid=17118/tid=17120] ppid=17116 vsize=1785408 CPUtime=24.65
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37721 0 1 0 2446 19 0 0 25 0 13 0 16823224 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747064 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1785408 CPUtime=0.22
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 24561 0 0 0 10 12 0 0 17 0 13 0 16823225 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1785408 CPUtime=0.22
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 23713 0 0 0 12 10 0 0 16 0 13 0 16823225 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1785408 CPUtime=0
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 16823228 1828257792 74350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1617.49
Current children cumulated vsize (KiB) 1789256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17332
/proc/meminfo: memFree=309172/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1789256 CPUtime=1677.48
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1103345 0 1 0 167163 585 0 0 18 0 13 0 16823223 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 447314 372363 1331 9 0 444926 0
[pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1629.01
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37800 0 1 0 162867 34 0 0 25 0 13 0 16823224 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109863043 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=14.94
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 517263 0 0 0 1232 262 0 0 17 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=14.84
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 494669 0 0 0 1242 242 0 0 16 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.04
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1661 43 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1677.48
Current children cumulated vsize (KiB) 1789256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 17332
/proc/meminfo: memFree=309108/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1789256 CPUtime=1737.46
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1103345 0 1 0 173161 585 0 0 18 0 13 0 16823223 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 447314 372363 1331 9 0 444926 0
[pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1688.99
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37800 0 1 0 168865 34 0 0 25 0 13 0 16823224 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109862637 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=14.94
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 517263 0 0 0 1232 262 0 0 17 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=14.84
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 494669 0 0 0 1242 242 0 0 16 0 13 0 16823225 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.04
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1661 43 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 372363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1737.46
Current children cumulated vsize (KiB) 1789256

[startup+1782.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/77 17332
/proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1789256 CPUtime=1798.05
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1127921 0 1 0 179202 603 0 0 18 0 13 0 16823223 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 447314 283334 1331 9 0 444926 0
[pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1748
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37804 0 1 0 174766 34 0 0 25 0 13 0 16823224 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109757825 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=15.53
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 530188 0 0 0 1285 268 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=15.45
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 506316 0 0 0 1298 247 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.42
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1692 50 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 1789256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/77 17332
/proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=1789256 CPUtime=1800.05
/proc/17118/stat : 17118 (java) S 17116 17118 15992 0 -1 0 1127921 0 1 0 179402 603 0 0 18 0 13 0 16823223 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 447314 283334 1331 9 0 444926 0
[pid=17118/tid=17120] ppid=17116 vsize=1789256 CPUtime=1750.01
/proc/17118/task/17120/stat : 17120 (java) R 17116 17118 15992 0 -1 64 37804 0 1 0 174967 34 0 0 25 0 13 0 16823224 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109597282 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17121] ppid=17116 vsize=1789256 CPUtime=15.53
/proc/17118/task/17121/stat : 17121 (java) S 17116 17118 15992 0 -1 64 530188 0 0 0 1285 268 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17122] ppid=17116 vsize=1789256 CPUtime=15.45
/proc/17118/task/17122/stat : 17122 (java) S 17116 17118 15992 0 -1 64 506316 0 0 0 1298 247 0 0 16 0 13 0 16823225 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17123] ppid=17116 vsize=1789256 CPUtime=17.42
/proc/17118/task/17123/stat : 17123 (java) S 17116 17118 15992 0 -1 64 49982 0 0 0 1692 50 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17124] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17124/stat : 17124 (java) S 17116 17118 15992 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17125] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17125/stat : 17125 (java) S 17116 17118 15992 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 16823228 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17126] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17126/stat : 17126 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17127] ppid=17116 vsize=1789256 CPUtime=0.84
/proc/17118/task/17127/stat : 17127 (java) S 17116 17118 15992 0 -1 64 2010 0 0 0 84 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17118/tid=17128] ppid=17116 vsize=1789256 CPUtime=0.74
/proc/17118/task/17128/stat : 17128 (java) S 17116 17118 15992 0 -1 64 896 0 0 0 74 0 0 0 17 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17129] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17129/stat : 17129 (java) S 17116 17118 15992 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17130] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17130/stat : 17130 (java) S 17116 17118 15992 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 16823232 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17118/tid=17132] ppid=17116 vsize=1789256 CPUtime=0
/proc/17118/task/17132/stat : 17132 (java) S 17116 17118 15992 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 16823345 1832198144 283334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1789256

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

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

[startup+1784.41 s]
/proc/loadavg: 1.08 1.02 1.01 2/77 17332
/proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=0 CPUtime=1800.17
/proc/17118/stat : 17118 (java) Z 17116 17118 15992 0 -1 1036 1127940 0 1 0 179411 606 0 0 15 0 2 0 16823223 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1784.5 s]
/proc/loadavg: 1.08 1.02 1.01 2/77 17332
/proc/meminfo: memFree=665140/2055920 swapFree=4192224/4192956
[pid=17118] ppid=17116 vsize=0 CPUtime=1800.26
/proc/17118/stat : 17118 (java) Z 17116 17118 15992 0 -1 1036 1127940 0 1 0 179411 615 0 0 15 0 2 0 16823223 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17118/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1784.56
CPU time (s): 1800.33
CPU user time (s): 1794.11
CPU system time (s): 6.21106
CPU usage (%): 100.883
Max. virtual memory (cumulated for all children) (KiB): 1793260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.11
system time used= 6.21105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1127940
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= 37669
involuntary context switches= 39055

runsolver used 1.9977 second user time and 4.6083 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Sun Apr 15 06:49:42 UTC 2007

IDJOB= 352002
IDBENCH= 1873
IDSOLVER= 159
FILE ID= node52/352002-1176619781

PBS_JOBID= 4557056

Free space on /tmp= 66561 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352002-1176619781/sat4jPseudoResolution.jar /tmp/evaluation/352002-1176619781/instance-352002-1176619781.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-352002-1176619781 -o ROOT/results/node52/solver-352002-1176619781 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352002-1176619781/sat4jPseudoResolution.jar /tmp/evaluation/352002-1176619781/instance-352002-1176619781.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  97ebaccbda37d5c570b4e2ec3cd7f8f0

RANDOM SEED= 422918288

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1798564 kB
Buffers:         21684 kB
Cached:         141372 kB
SwapCached:        144 kB
Active:          37604 kB
Inactive:       142260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798564 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            3904 kB
Writeback:           0 kB
Mapped:          25492 kB
Slab:            63356 kB
Committed_AS:   562160 kB
PageTables:       1488 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= 66561 MiB

End job on node52 on Sun Apr 15 07:19:28 UTC 2007