Trace number 354709

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)88 1800.28 1786.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
MD5SUMa983c7d791d0da9cc5e2ec69578db721
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables1226
Total number of constraints4208
Number of constraints which are clauses4208
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 constraint105
Number of terms in the objective function 1226
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 1226
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 1226
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.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.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/354709-1176722838/instance-354709-1176722838.opb
0.20/0.20	c reading problem ... 
1.57/1.14	c ... done. Wall clock time 0.942s.
1.57/1.14	c CPU time (experimental) 0.76s.
1.57/1.14	c #vars     1226
1.57/1.14	c #constraints  4208
1.69/1.26	c SATISFIABLE
1.69/1.26	c OPTIMIZING...
1.69/1.26	c Got one! Elapsed wall clock time (in seconds):1.06
1.69/1.27	o 88
1086.73/1077.56	c cleaning 1510239 clauses out of 3020505 for limit 922372.65759762
1230.87/1221.78	c cleaning 755377 clauses out of 1510766 for limit 3041197.774632798
1251.35/1242.28	c cleaning 377933 clauses out of 755890 for limit 1.0033990033229122E7
1262.54/1253.44	c cleaning 189213 clauses out of 378457 for limit 3.3050011108778242E7
1266.14/1257.04	c cleaning 94867 clauses out of 189745 for limit 1.0881987192994733E8
1267.34/1258.24	c cleaning 47679 clauses out of 95378 for limit 3.5701480536292017E8
1267.74/1258.65	c cleaning 24088 clauses out of 48197 for limit 1.1627900178728845E9
1268.34/1259.28	c cleaning 12293 clauses out of 24611 for limit 3.76285039340293E9
1268.54/1259.50	c cleaning 6393 clauses out of 12816 for limit 1.189270309583199E10
1268.74/1259.65	c cleaning 3446 clauses out of 6923 for limit 3.630735661254161E10
1268.84/1259.78	c cleaning 1967 clauses out of 3977 for limit 1.0422916499087987E11
1268.94/1259.88	c cleaning 1239 clauses out of 2511 for limit 2.7251382252464148E11
1269.04/1259.98	c cleaning 872 clauses out of 1771 for limit 6.36558119885645E11
1269.14/1260.08	c cleaning 698 clauses out of 1400 for limit 1.329287701296472E12
1269.24/1260.17	c cleaning 599 clauses out of 1201 for limit 2.552850545514904E12
1269.34/1260.27	c cleaning 537 clauses out of 1102 for limit 4.588203692025352E12
1269.44/1260.37	c cleaning 518 clauses out of 1065 for limit 7.829437539097066E12
1269.54/1260.47	c cleaning 508 clauses out of 1047 for limit 1.3133769101467375E13
1269.64/1260.57	c cleaning 503 clauses out of 1039 for limit 2.182611293395983E13
1269.74/1260.66	c cleaning 517 clauses out of 1037 for limit 3.609969959941297E13
1269.84/1260.76	c cleaning 507 clauses out of 1019 for limit 6.052426659876125E13
1269.94/1260.85	c cleaning 506 clauses out of 1012 for limit 1.0050301585842908E14
1270.04/1260.94	c cleaning 501 clauses out of 1006 for limit 1.667314445545837E14
1270.14/1261.03	c cleaning 491 clauses out of 1007 for limit 2.752396098849615E14
1270.24/1261.15	c cleaning 507 clauses out of 1016 for limit 4.498861084249372E14
1270.34/1261.27	c cleaning 500 clauses out of 1007 for limit 7.47056904708371E14
1270.44/1261.38	c cleaning 502 clauses out of 1009 for limit 1.2320175630453652E15
1270.54/1261.48	c cleaning 486 clauses out of 1005 for limit 2.035770734928461E15
1270.64/1261.58	c cleaning 503 clauses out of 1019 for limit 3.3111330459722766E-5
1270.74/1261.68	c cleaning 504 clauses out of 1016 for limit 5.47662487586552E-5
1270.84/1261.78	c cleaning 500 clauses out of 1012 for limit 9.06738543793639E-5
1270.94/1261.88	c cleaning 493 clauses out of 1012 for limit 1.4953331600279295E-4
1271.04/1261.99	c cleaning 505 clauses out of 1019 for limit 2.4490642552041565E-4
1271.14/1262.09	c cleaning 499 clauses out of 1014 for limit 4.0587499447091965E-4
1271.24/1262.19	c cleaning 498 clauses out of 1015 for limit 6.686827124611277E-4
1271.34/1262.29	c cleaning 493 clauses out of 1017 for limit 0.001100578619798998
1271.44/1262.38	c cleaning 501 clauses out of 1024 for limit 0.0018025941408478332
1271.54/1262.49	c cleaning 502 clauses out of 1024 for limit 0.0029756945795675225
1271.74/1262.60	c cleaning 501 clauses out of 1021 for limit 0.004916815858523255
1271.84/1262.73	c cleaning 500 clauses out of 1020 for limit 0.008116436607729831
1271.94/1262.86	c cleaning 498 clauses out of 1020 for limit 0.013385089763610159
1272.04/1262.96	c cleaning 501 clauses out of 1022 for limit 0.022030606378058166
1272.14/1263.06	c cleaning 498 clauses out of 1022 for limit 0.036367784904115734
1272.24/1263.17	c cleaning 502 clauses out of 1024 for limit 0.059858203161285005
1272.34/1263.29	c cleaning 503 clauses out of 1021 for limit 0.0989052319371051
1272.44/1263.39	c cleaning 495 clauses out of 1018 for limit 0.16358863055369025
1272.54/1263.49	c cleaning 501 clauses out of 1024 for limit 0.26846726407219185
1272.64/1263.59	c cleaning 502 clauses out of 1025 for limit 0.44319243510587686
1272.74/1263.69	c cleaning 501 clauses out of 1020 for limit 0.7322651810621295
1272.83/1263.80	c cleaning 499 clauses out of 1019 for limit 1.2087883308536636
1273.04/1263.91	c cleaning 496 clauses out of 1021 for limit 1.9915403023482552
1273.13/1264.00	c cleaning 499 clauses out of 1024 for limit 3.271419667055407
1273.23/1264.10	c cleaning 497 clauses out of 1026 for limit 5.389881969528703
1273.33/1264.21	c cleaning 501 clauses out of 1028 for limit 8.862472002964504
1273.43/1264.33	c cleaning 498 clauses out of 1028 for limit 14.63003196514693
1273.54/1264.43	c cleaning 497 clauses out of 1029 for limit 24.07932952900272
1273.64/1264.54	c cleaning 501 clauses out of 1032 for limit 39.59459951820015
1273.74/1264.65	c cleaning 507 clauses out of 1031 for limit 65.36012493066109
1273.84/1264.77	c cleaning 491 clauses out of 1025 for limit 108.52706854505807
1273.94/1264.86	c cleaning 507 clauses out of 1033 for limit 177.41199984458459
1274.04/1264.99	c cleaning 502 clauses out of 1027 for limit 294.58000698442174
1274.24/1265.10	c cleaning 502 clauses out of 1026 for limit 486.76209289035256
1274.34/1265.20	c cleaning 495 clauses out of 1022 for limit 804.2666827846366
1274.44/1265.31	c cleaning 502 clauses out of 1028 for limit 1319.921971139444
1274.54/1265.41	c cleaning 503 clauses out of 1025 for limit 2180.9157185394056
1274.64/1265.51	c cleaning 501 clauses out of 1023 for limit 3607.260556739991
1274.74/1265.60	c cleaning 498 clauses out of 1024 for limit 5954.949744352628
1274.84/1265.70	c cleaning 498 clauses out of 1025 for limit 9801.116855415365
1274.94/1265.82	c cleaning 492 clauses out of 1025 for limit 16131.042322158883
1275.04/1265.92	c cleaning 501 clauses out of 1033 for limit 26396.227425470483
1275.14/1266.01	c cleaning 505 clauses out of 1032 for limit 43573.091363311774
1275.24/1266.11	c cleaning 500 clauses out of 1027 for limit 72207.70027104198
1275.34/1266.21	c cleaning 502 clauses out of 1029 for limit 119086.76364686387
1275.44/1266.31	c cleaning 504 clauses out of 1027 for limit 196772.45815324303
1275.54/1266.40	c cleaning 498 clauses out of 1022 for limit 325765.60902213946
1275.54/1266.49	c cleaning 498 clauses out of 1025 for limit 536194.8806838681
1275.74/1266.60	c cleaning 494 clauses out of 1025 for limit 882489.4591943793
1275.74/1266.69	c cleaning 501 clauses out of 1032 for limit 1446918.5803320128
1275.86/1266.79	c cleaning 500 clauses out of 1031 for limit 2388476.719698211
1275.96/1266.89	c cleaning 514 clauses out of 1030 for limit 3938799.0855331295
1276.06/1266.99	c cleaning 508 clauses out of 1017 for limit 6585223.191346246
1276.16/1267.09	c cleaning 491 clauses out of 1009 for limit 1.094601837055733E7
1276.27/1267.19	c cleaning 489 clauses out of 1017 for limit 1.789154154488946E7
1276.37/1267.28	c cleaning 512 clauses out of 1029 for limit 2.919064814916626E7
1276.46/1267.38	c cleaning 508 clauses out of 1016 for limit 4.870648401739479E7
1276.56/1267.47	c cleaning 504 clauses out of 1008 for limit 8.09609961401265E7
1276.66/1267.57	c cleaning 483 clauses out of 1004 for limit 1.3404744771970989E8
1276.76/1267.69	c cleaning 491 clauses out of 1021 for limit 2.1738141286178008E8
1276.86/1267.79	c cleaning 500 clauses out of 1030 for limit 3.553585846759912E8
1276.96/1267.89	c cleaning 515 clauses out of 1032 for limit 5.86069673923727E8
1277.06/1267.99	c cleaning 504 clauses out of 1020 for limit 9.808174803302199E8
1277.16/1268.08	c cleaning 490 clauses out of 1012 for limit 1.6237744237370744E9
1277.26/1268.18	c cleaning 486 clauses out of 1021 for limit 2.6515623401439037E9
1277.37/1268.27	c cleaning 496 clauses out of 1036 for limit 4.31378233441043E9
1277.47/1268.37	c cleaning 519 clauses out of 1039 for limit 7.086369776960061E9
1277.56/1268.47	c cleaning 510 clauses out of 1021 for limit 1.1904304165504948E10
1277.66/1268.57	c cleaning 483 clauses out of 1010 for limit 1.982575607189121E10
1277.76/1268.67	c cleaning 492 clauses out of 1028 for limit 3.2154992779543022E10
1277.86/1268.77	c cleaning 494 clauses out of 1035 for limit 5.261657277089709E10
1277.96/1268.86	c cleaning 495 clauses out of 1041 for limit 8.627164195775847E10
1278.06/1268.95	c cleaning 523 clauses out of 1046 for limit 1.4159339525144498E11
1278.16/1269.05	c cleaning 483 clauses out of 1023 for limit 2.3875635144842697E11
1278.26/1269.15	c cleaning 520 clauses out of 1040 for limit 3.8730501015281525E11
1278.36/1269.25	c cleaning 496 clauses out of 1021 for limit 6.512550606026752E11
1278.47/1269.36	c cleaning 512 clauses out of 1025 for limit 1.0698154725472559E12
1278.56/1269.46	c cleaning 504 clauses out of 1013 for limit 1.7851683636460642E12
1278.66/1269.55	c cleaning 503 clauses out of 1008 for limit 2.955625945249106E12
1278.86/1269.73	c cleaning 491 clauses out of 1005 for limit 4.888772498430898E12
1278.96/1269.89	c cleaning 507 clauses out of 1014 for limit 7.990681516260044E12
1279.06/1269.99	c cleaning 487 clauses out of 1007 for limit 1.3269305495218688E13
1279.26/1270.10	c cleaning 511 clauses out of 1022 for limit 2.160487103036893E13
1279.36/1270.20	c cleaning 505 clauses out of 1010 for limit 3.601658861983842E13
1279.46/1270.31	c cleaning 502 clauses out of 1005 for limit 5.969167619463605E13
1279.56/1270.41	c cleaning 499 clauses out of 1003 for limit 9.863584970269594E13
1279.66/1270.50	c cleaning 488 clauses out of 1003 for limit 1.6250104771621834E14
1279.76/1270.61	c cleaning 496 clauses out of 1015 for limit 2.6481765968998722E14
1279.86/1270.71	c cleaning 492 clauses out of 1019 for limit 4.350054403474154E14
1279.96/1270.81	c cleaning 502 clauses out of 1027 for limit 7.117939885655686E14
1280.06/1270.93	c cleaning 495 clauses out of 1025 for limit 1.1761339356003162E15
1280.16/1271.04	c cleaning 513 clauses out of 1030 for limit 1.9301866555267895E15
1280.26/1271.15	c cleaning 500 clauses out of 1017 for limit 3.22382506493238E-5
1280.46/1271.30	c cleaning 493 clauses out of 1017 for limit 5.31651880767485E-5
1280.56/1271.41	c cleaning 502 clauses out of 1025 for limit 8.707928228406742E-5
1280.66/1271.52	c cleaning 504 clauses out of 1023 for limit 1.4388613918671288E-4
1280.76/1271.63	c cleaning 498 clauses out of 1018 for limit 2.3821449850654506E-4
1280.86/1271.77	c cleaning 495 clauses out of 1020 for limit 3.9207728643844686E-4
1280.96/1271.89	c cleaning 497 clauses out of 1025 for limit 6.434338091980004E-4
1281.06/1272.00	c cleaning 507 clauses out of 1031 for limit 0.0010581043494078091
1281.16/1272.09	c cleaning 494 clauses out of 1021 for limit 0.0017567654209169564
1281.36/1272.20	c cleaning 501 clauses out of 1027 for limit 0.002880215345725168
1281.46/1272.32	c cleaning 498 clauses out of 1026 for limit 0.004754489906996646
1281.56/1272.44	c cleaning 497 clauses out of 1028 for limit 0.007825535445857791
1281.66/1272.55	c cleaning 498 clauses out of 1032 for limit 0.012868202278739407
1281.76/1272.66	c cleaning 501 clauses out of 1035 for limit 0.02118105682500071
1281.86/1272.77	c cleaning 501 clauses out of 1032 for limit 0.03496190926082189
1281.96/1272.88	c cleaning 490 clauses out of 1031 for limit 0.05771278873653885
1282.06/1272.99	c cleaning 505 clauses out of 1041 for limit 0.09426183351946743
1282.16/1273.10	c cleaning 503 clauses out of 1036 for limit 0.15620061671189694
1282.36/1273.20	c cleaning 506 clauses out of 1033 for limit 0.2583438129470162
1282.46/1273.30	c cleaning 501 clauses out of 1030 for limit 0.4285688328089533
1282.56/1273.40	c cleaning 493 clauses out of 1026 for limit 0.7073963259933262
1282.66/1273.50	c cleaning 501 clauses out of 1033 for limit 1.1586859108514331
1282.66/1273.59	c cleaning 504 clauses out of 1033 for limit 1.9127408140360276
1282.76/1273.69	c cleaning 500 clauses out of 1028 for limit 3.1665380210779195
1282.86/1273.78	c cleaning 494 clauses out of 1028 for limit 5.2220448086352365
1282.96/1273.87	c cleaning 503 clauses out of 1034 for limit 8.561878429008086
1283.05/1273.97	c cleaning 497 clauses out of 1031 for limit 14.160768318349263
1283.15/1274.07	c cleaning 504 clauses out of 1034 for limit 23.285246027583884
1283.25/1274.17	c cleaning 499 clauses out of 1030 for limit 38.549613843945565
1283.35/1274.27	c cleaning 501 clauses out of 1031 for limit 63.51180835388431
1283.45/1274.36	c cleaning 502 clauses out of 1031 for limit 104.8443127460151
1800.06/1786.21	c starts		: 26
1800.06/1786.21	c conflicts		: 4853634
1800.06/1786.21	c decisions		: 10203863
1800.06/1786.21	c propagations		: 194449151
1800.06/1786.21	c inspects		: 1304823848
1800.06/1786.21	c learnt literals	: 0
1800.06/1786.21	c learnt binary clauses	: 0
1800.06/1786.21	c learnt ternary clauses	: 0
1800.06/1786.21	c learnt clauses	: 4853634
1800.06/1786.21	c root simplifications	: 0
1800.06/1786.21	c removed literals (reason simplification)	: 0
1800.06/1786.21	c reason swapping (by a shorter reason)	: 0
1800.06/1786.21	c Calls to reduceDB	: 151
1800.06/1786.21	c speed (decisions/second)	: 5716.750910131962
1800.06/1786.21	c non guided choices	357
1800.06/1786.21	s SATISFIABLE
1800.06/1786.22	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
1800.06/1786.22	v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1800.06/1786.22	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.06/1786.22	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.06/1786.22	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.06/1786.22	v -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.06/1786.22	v -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.06/1786.22	v x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.06/1786.22	v -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.06/1786.22	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.06/1786.22	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.06/1786.22	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.06/1786.22	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.06/1786.22	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.06/1786.22	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.06/1786.22	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.06/1786.22	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.06/1786.22	v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400
1800.06/1786.22	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421
1800.06/1786.22	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1800.06/1786.22	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1800.06/1786.22	v x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484
1800.06/1786.22	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1800.06/1786.22	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526
1800.06/1786.22	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 x547
1800.06/1786.22	v x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.06/1786.22	v -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1800.06/1786.22	v x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610
1800.06/1786.22	v -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631
1800.06/1786.22	v -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1800.06/1786.22	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673
1800.06/1786.22	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1800.06/1786.22	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715
1800.06/1786.22	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1800.06/1786.22	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 x757
1800.06/1786.22	v x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778
1800.06/1786.22	v -x779 x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1800.06/1786.22	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1800.06/1786.22	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841
1800.06/1786.22	v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1800.06/1786.22	v -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883
1800.06/1786.22	v -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904
1800.06/1786.22	v -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1800.06/1786.22	v -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1800.06/1786.22	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967
1800.06/1786.22	v -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1800.06/1786.22	v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1800.06/1786.22	v x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1800.06/1786.22	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042
1800.06/1786.22	v -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1800.06/1786.22	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077
1800.06/1786.22	v -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095
1800.06/1786.22	v -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1800.06/1786.22	v -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1800.06/1786.22	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.06/1786.22	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.06/1786.22	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.06/1786.22	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.06/1786.22	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.06/1786.22	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.06/1786.22	c objective function=88
1800.06/1786.22	c Total wall clock time (ms): 1786.021

Verifier Data (download as text)

OK	88

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-354709-1176722838 -o ROOT/results/node63/solver-354709-1176722838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354709-1176722838/sat4jPseudoResolution.jar /tmp/evaluation/354709-1176722838/instance-354709-1176722838.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.99 0.97 0.98 3/64 12294
/proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=152 CPUtime=0
/proc/12294/stat : 12294 (java) R 12292 12294 11912 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 148273718 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2969899 0 0 4096 0 0 0 0 17 1 0 0
/proc/12294/statm: 38 26 19 9 0 4 0

[startup+0.0883081 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 12294
/proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1777844 CPUtime=0.07
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 3844 0 1 0 5 2 0 0 18 0 7 0 148273718 1820512256 3587 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 444461 3587 1091 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.101311 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 12294
/proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1780108 CPUtime=0.08
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 148273718 1822830592 3714 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 445027 3714 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301327 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 12294
/proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1781412 CPUtime=0.33
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 5064 0 1 0 30 3 0 0 18 0 12 0 148273718 1824165888 4803 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 445353 4803 1264 9 0 442965 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781412

[startup+0.701374 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 12294
/proc/meminfo: memFree=1785380/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1783952 CPUtime=0.92
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 7403 0 1 0 88 4 0 0 18 0 12 0 148273718 1826766848 6730 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 445988 6730 1301 9 0 443600 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 1783952

[startup+1.50246 s]
/proc/loadavg: 0.99 0.97 0.98 2/76 12306
/proc/meminfo: memFree=1754308/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1787476 CPUtime=2.26
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 14404 0 1 0 218 8 0 0 18 0 13 0 148273718 1830375424 12577 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 446869 12577 1314 9 0 444481 0
[pid=12294/tid=12296] ppid=12292 vsize=1787476 CPUtime=0.95
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 10344 0 1 0 89 6 0 0 20 0 13 0 148273719 1830375424 12579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1787476 CPUtime=0.67
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1766 0 0 0 67 0 0 0 17 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1787476 CPUtime=0.62
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1571 0 0 0 61 1 0 0 17 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830375424 12581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 1787476

[startup+3.10262 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 12308
/proc/meminfo: memFree=1738300/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1787476 CPUtime=3.98
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 15535 0 1 0 389 9 0 0 18 0 13 0 148273718 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 446869 13706 1316 9 0 444481 0
[pid=12294/tid=12296] ppid=12292 vsize=1787476 CPUtime=2.5
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 11458 0 1 0 244 6 0 0 17 0 13 0 148273719 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109736581 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1787476 CPUtime=0.76
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1775 0 0 0 76 0 0 0 16 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1787476 CPUtime=0.69
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1575 0 0 0 68 1 0 0 16 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1787476 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1830375424 13706 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 1787476

[startup+6.30196 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 12308
/proc/meminfo: memFree=1730172/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1787444 CPUtime=7.18
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 17236 0 1 0 709 9 0 0 18 0 13 0 148273718 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 446861 15374 1316 9 0 444473 0
[pid=12294/tid=12296] ppid=12292 vsize=1787444 CPUtime=5.67
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 13157 0 1 0 560 7 0 0 25 0 13 0 148273719 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614079 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1787444 CPUtime=0.77
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1775 0 0 0 77 0 0 0 16 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1787444 CPUtime=0.71
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1577 0 0 0 70 1 0 0 15 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1830342656 15374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 1787444

[startup+12.7026 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 12308
/proc/meminfo: memFree=1714436/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1787444 CPUtime=13.6
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 21066 0 1 0 1349 11 0 0 18 0 13 0 148273718 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 446861 19204 1316 9 0 444473 0
[pid=12294/tid=12296] ppid=12292 vsize=1787444 CPUtime=12.06
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 16986 0 1 0 1198 8 0 0 25 0 13 0 148273719 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109736713 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 148273724 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 148273724 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1787444 CPUtime=0.78
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1775 0 0 0 78 0 0 0 16 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1787444 CPUtime=0.72
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1578 0 0 0 71 1 0 0 17 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1787444 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1830342656 19204 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.6
Current children cumulated vsize (KiB) 1787444

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/77 12308
/proc/meminfo: memFree=1677700/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1787224 CPUtime=26.39
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 30089 0 1 0 2624 15 0 0 18 0 13 0 148273718 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 446806 28172 1316 9 0 444418 0
[pid=12294/tid=12296] ppid=12292 vsize=1787224 CPUtime=24.86
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 26008 0 1 0 2473 13 0 0 25 0 13 0 148273719 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109614040 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1787224 CPUtime=0
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 148273721 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1787224 CPUtime=0
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 148273721 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1787224 CPUtime=0
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 148273723 1830117376 28172 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=9.9
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 29753 0 0 0 966 24 0 0 16 0 13 0 148273723 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 197309 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1614.54
Current children cumulated vsize (KiB) 1797472

[startup+1662.3 s]
/proc/loadavg: 1.12 1.03 1.00 3/77 12310
/proc/meminfo: memFree=925508/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1797472 CPUtime=1675.37
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 594878 0 1 0 167249 288 0 0 18 0 13 0 148273718 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 449368 228689 1331 9 0 446980 0
[pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1637.77
/proc/12294/task/12296/stat : 12296 (java) S 12292 12294 11912 0 -1 64 37746 0 1 0 163759 18 0 0 25 0 13 0 148273719 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=12.93
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 260621 0 0 0 1171 122 0 0 16 0 13 0 148273721 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=12.99
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 262656 0 0 0 1179 120 0 0 21 0 13 0 148273721 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=9.91
/proc/12294/task/12299/stat : 12299 (java) R 12292 12294 11912 0 -1 64 29753 0 0 0 967 24 0 0 16 0 13 0 148273723 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104904115 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 228689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1675.37
Current children cumulated vsize (KiB) 1797472

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/77 12310
/proc/meminfo: memFree=809604/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1797472 CPUtime=1735.5
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 614022 0 1 0 173255 295 0 0 18 0 13 0 148273718 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 449368 244078 1331 9 0 446980 0
[pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1695.84
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 37747 0 1 0 169566 18 0 0 25 0 13 0 148273719 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109763699 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=13.1
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 260621 0 0 0 1188 122 0 0 18 0 13 0 148273721 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=13.15
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 262656 0 0 0 1195 120 0 0 16 0 13 0 148273721 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=11.64
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 48896 0 0 0 1134 30 0 0 16 0 13 0 148273723 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 244078 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1735.5
Current children cumulated vsize (KiB) 1797472

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/77 12310
/proc/meminfo: memFree=689028/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1797472 CPUtime=1796.16
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 645962 0 1 0 179308 308 0 0 18 0 13 0 148273718 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 449368 274221 1331 9 0 446980 0
[pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1755.06
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 37749 0 1 0 175488 18 0 0 21 0 13 0 148273719 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109838331 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=13.8
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 285218 0 0 0 1249 131 0 0 19 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=13.87
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 269997 0 0 0 1263 124 0 0 20 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=11.64
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 48896 0 0 0 1134 30 0 0 15 0 13 0 148273723 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 1797472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.2 s]
/proc/loadavg: 1.01 1.02 1.00 2/77 12310
/proc/meminfo: memFree=689028/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=1797472 CPUtime=1800.06
/proc/12294/stat : 12294 (java) S 12292 12294 11912 0 -1 0 645962 0 1 0 179698 308 0 0 18 0 13 0 148273718 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12294/statm: 449368 274221 1331 9 0 446980 0
[pid=12294/tid=12296] ppid=12292 vsize=1797472 CPUtime=1758.96
/proc/12294/task/12296/stat : 12296 (java) R 12292 12294 11912 0 -1 64 37749 0 1 0 175878 18 0 0 25 0 13 0 148273719 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109763635 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12297] ppid=12292 vsize=1797472 CPUtime=13.8
/proc/12294/task/12297/stat : 12297 (java) S 12292 12294 11912 0 -1 64 285218 0 0 0 1249 131 0 0 19 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12298] ppid=12292 vsize=1797472 CPUtime=13.87
/proc/12294/task/12298/stat : 12298 (java) S 12292 12294 11912 0 -1 64 269997 0 0 0 1263 124 0 0 20 0 13 0 148273721 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12299] ppid=12292 vsize=1797472 CPUtime=11.64
/proc/12294/task/12299/stat : 12299 (java) S 12292 12294 11912 0 -1 64 48896 0 0 0 1134 30 0 0 16 0 13 0 148273723 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12300] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12300/stat : 12300 (java) S 12292 12294 11912 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12301] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12301/stat : 12301 (java) S 12292 12294 11912 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148273724 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12302] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12302/stat : 12302 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12303] ppid=12292 vsize=1797472 CPUtime=0.88
/proc/12294/task/12303/stat : 12303 (java) S 12292 12294 11912 0 -1 64 1787 0 0 0 88 0 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12304] ppid=12292 vsize=1797472 CPUtime=0.84
/proc/12294/task/12304/stat : 12304 (java) S 12292 12294 11912 0 -1 64 1591 0 0 0 83 1 0 0 16 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12294/tid=12305] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12305/stat : 12305 (java) S 12292 12294 11912 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12306] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12306/stat : 12306 (java) S 12292 12294 11912 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148273728 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12294/tid=12308] ppid=12292 vsize=1797472 CPUtime=0
/proc/12294/task/12308/stat : 12308 (java) S 12292 12294 11912 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 148273849 1840611328 274221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1797472

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

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

[startup+1786.41 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 12313
/proc/meminfo: memFree=1180084/2055920 swapFree=4184508/4192956
[pid=12294] ppid=12292 vsize=0 CPUtime=1800.27
/proc/12294/stat : 12294 (java) Z 12292 12294 11912 0 -1 1036 645982 0 1 0 179702 325 0 0 16 0 2 0 148273718 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12294/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1786.41
CPU time (s): 1800.28
CPU user time (s): 1797.03
CPU system time (s): 3.2545
CPU usage (%): 100.777
Max. virtual memory (cumulated for all children) (KiB): 1821480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.2545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645982
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= 37211
involuntary context switches= 25928

runsolver used 2.18367 second user time and 4.39333 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Mon Apr 16 11:27:18 UTC 2007

IDJOB= 354709
IDBENCH= 2884
IDSOLVER= 159
FILE ID= node63/354709-1176722838

PBS_JOBID= 4559498

Free space on /tmp= 66550 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  a983c7d791d0da9cc5e2ec69578db721

RANDOM SEED= 602079619

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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:       1785788 kB
Buffers:         15520 kB
Cached:         184216 kB
SwapCached:       2564 kB
Active:          93688 kB
Inactive:       115936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785788 kB
SwapTotal:     4192956 kB
SwapFree:      4184508 kB
Dirty:            3928 kB
Writeback:           0 kB
Mapped:          16184 kB
Slab:            46504 kB
Committed_AS:  1921224 kB
PageTables:       1460 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= 66550 MiB

End job on node63 on Mon Apr 16 11:57:06 UTC 2007