Trace number 328497

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 NameAnswerCPU timeWall clock time
ornithorynque 0.1 alpha? (TO) 1200.15 602.742

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
MD5SUM4211c3af8594e6cbb06d7f7e8978c614
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark53.0629
Satisfiable
(Un)Satisfiability was proved
Number of variables149210
Number of clauses761906
Sum of the clauses size1988854
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2614506
Number of clauses of size 3141844
Number of clauses of size 41307
Number of clauses of size 5115
Number of clauses of size over 53858

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned int
0.00/0.00	c parsing...
1.79/1.81	c ...done
1.79/1.81	c nbVar=151768 nbClause=761906
1.99/2.05	c nbVar=151768 nbClause=761906
2.39/2.40	c complete search running
2.39/2.40	c local search running
2.58/2.55	c flip 0 nbSat=587156 maxSat=0
3.39/2.92	c flip 10000 nbSat=667274 maxSat=667274
4.38/3.47	c flip 20000 nbSat=690677 maxSat=690677
4.78/3.61	c flip 30000 nbSat=696682 maxSat=696682
5.98/4.23	c flip 40000 nbSat=702376 maxSat=702392
8.98/5.77	c flip 50000 nbSat=706278 maxSat=706950
10.78/6.65	c flip 60000 nbSat=708565 maxSat=709285
14.16/8.34	c flip 70000 nbSat=711533 maxSat=711628
15.96/9.22	c flip 80000 nbSat=713540 maxSat=713702
19.36/10.94	c flip 90000 nbSat=710891 maxSat=714263
21.35/11.95	c flip 100000 nbSat=716857 maxSat=716986
24.14/13.37	c flip 110000 nbSat=717697 maxSat=718013
25.94/14.28	c flip 120000 nbSat=718830 maxSat=719291
28.73/15.67	c flip 130000 nbSat=720395 maxSat=720691
31.33/16.91	c flip 140000 nbSat=718991 maxSat=721356
33.52/18.05	c flip 150000 nbSat=722504 maxSat=722639
36.52/19.58	c flip 160000 nbSat=723858 maxSat=723997
38.31/20.46	c flip 170000 nbSat=725015 maxSat=725037
40.91/21.74	c flip 180000 nbSat=725460 maxSat=725896
43.50/23.05	c flip 190000 nbSat=725525 maxSat=726811
45.49/24.07	c flip 200000 nbSat=727087 maxSat=727742
48.48/25.53	c flip 210000 nbSat=728072 maxSat=728473
50.88/26.78	c flip 220000 nbSat=728140 maxSat=729675
53.27/27.94	c flip 230000 nbSat=729071 maxSat=730422
56.47/29.55	c flip 240000 nbSat=731087 maxSat=731087
59.26/30.95	c flip 250000 nbSat=729757 maxSat=731759
61.46/32.05	c flip 260000 nbSat=732327 maxSat=732816
64.25/33.43	c flip 270000 nbSat=733068 maxSat=733795
67.24/34.98	c flip 280000 nbSat=733779 maxSat=734494
69.83/36.21	c flip 290000 nbSat=734928 maxSat=735240
72.42/37.50	c flip 300000 nbSat=735548 maxSat=735969
75.41/39.01	c flip 310000 nbSat=735538 maxSat=736335
78.81/40.72	c flip 320000 nbSat=736163 maxSat=737255
81.59/42.14	c flip 330000 nbSat=736799 maxSat=737788
83.99/43.35	c flip 340000 nbSat=737927 maxSat=739029
86.78/44.75	c flip 350000 nbSat=738937 maxSat=739532
89.78/46.29	c flip 360000 nbSat=738870 maxSat=740281
92.96/47.84	c flip 370000 nbSat=739261 maxSat=740911
96.36/49.53	c flip 380000 nbSat=741067 maxSat=741489
99.75/51.25	c flip 390000 nbSat=741234 maxSat=742028
102.75/52.74	c flip 400000 nbSat=741671 maxSat=742593
105.93/54.38	c flip 410000 nbSat=741131 maxSat=743206
109.53/56.11	c flip 420000 nbSat=743073 maxSat=743920
112.72/57.79	c flip 430000 nbSat=743097 maxSat=744396
116.11/59.45	c flip 440000 nbSat=743484 maxSat=744909
119.70/61.21	c flip 450000 nbSat=744841 maxSat=745370
121.10/61.93	c nbDecision=10000 #clauses=766381
123.09/62.96	c flip 460000 nbSat=745303 maxSat=746207
126.48/64.61	c flip 470000 nbSat=746487 maxSat=746807
129.88/66.38	c flip 480000 nbSat=745788 maxSat=747321
133.67/68.27	c flip 490000 nbSat=746890 maxSat=748006
137.66/70.29	c flip 500000 nbSat=746756 maxSat=748610
141.85/72.35	c flip 510000 nbSat=748316 maxSat=748801
144.84/73.87	c flip 520000 nbSat=748396 maxSat=749380
149.23/76.08	c flip 530000 nbSat=749244 maxSat=749946
154.02/78.40	c flip 540000 nbSat=749446 maxSat=750435
157.42/80.18	c flip 550000 nbSat=750067 maxSat=750697
162.59/82.78	c flip 560000 nbSat=750842 maxSat=751012
166.59/84.78	c flip 570000 nbSat=751387 maxSat=751660
171.18/87.06	c flip 580000 nbSat=750823 maxSat=751940
176.16/89.58	c flip 590000 nbSat=751234 maxSat=752343
180.75/91.83	c flip 600000 nbSat=752324 maxSat=752650
185.34/94.16	c flip 610000 nbSat=751141 maxSat=753038
190.73/96.90	c flip 620000 nbSat=752618 maxSat=753518
196.31/99.66	c flip 630000 nbSat=753299 maxSat=754127
201.51/102.27	c flip 640000 nbSat=753643 maxSat=754178
206.49/104.74	c flip 650000 nbSat=753975 maxSat=754318
211.48/107.23	c flip 660000 nbSat=753373 maxSat=754405
216.27/109.62	c flip 670000 nbSat=754028 maxSat=754826
221.65/112.31	c flip 680000 nbSat=754035 maxSat=754826
227.24/115.14	c flip 690000 nbSat=754157 maxSat=755162
232.03/117.55	c flip 700000 nbSat=753761 maxSat=755566
238.42/120.71	c flip 710000 nbSat=755194 maxSat=755566
243.41/123.26	c flip 720000 nbSat=754550 maxSat=755852
245.00/124.01	c nbDecision=20000 #clauses=772717
249.79/126.44	c flip 730000 nbSat=754790 maxSat=755852
255.17/129.15	c flip 740000 nbSat=754356 maxSat=756028
261.96/132.54	c flip 750000 nbSat=755927 maxSat=756028
267.75/135.41	c flip 760000 nbSat=755929 maxSat=756085
274.14/138.61	c flip 770000 nbSat=755023 maxSat=756301
280.52/141.90	c flip 780000 nbSat=755394 maxSat=756439
287.50/145.35	c flip 790000 nbSat=755966 maxSat=756601
294.28/148.73	c flip 800000 nbSat=756270 maxSat=756601
301.26/152.27	c flip 810000 nbSat=756072 maxSat=756651
307.85/155.53	c flip 820000 nbSat=756491 maxSat=756811
314.23/158.71	c flip 830000 nbSat=756284 maxSat=756844
320.61/161.90	c flip 840000 nbSat=756520 maxSat=756940
326.60/164.95	c flip 850000 nbSat=755945 maxSat=756976
332.79/168.06	c flip 860000 nbSat=755717 maxSat=756976
339.56/171.43	c flip 870000 nbSat=756135 maxSat=757038
346.74/175.05	c flip 880000 nbSat=756539 maxSat=757047
353.73/178.54	c flip 890000 nbSat=756666 maxSat=757120
359.91/181.66	c flip 900000 nbSat=755638 maxSat=757179
366.50/184.94	c flip 910000 nbSat=756701 maxSat=757181
371.69/187.51	c nbDecision=30000 #clauses=779215
374.28/188.82	c flip 920000 nbSat=756903 maxSat=757244
380.87/192.10	c flip 930000 nbSat=755642 maxSat=757266
387.25/195.37	c flip 940000 nbSat=756767 maxSat=757266
394.44/198.96	c flip 950000 nbSat=756816 maxSat=757330
401.02/202.24	c flip 960000 nbSat=756597 maxSat=757330
408.60/206.02	c flip 970000 nbSat=756967 maxSat=757385
415.39/209.49	c flip 980000 nbSat=756805 maxSat=757410
424.57/214.04	c flip 990000 nbSat=756799 maxSat=757415
432.54/218.09	c flip 1000000 nbSat=756963 maxSat=757433
441.32/222.45	c flip 1010000 nbSat=755991 maxSat=757449
449.71/226.66	c flip 1020000 nbSat=757236 maxSat=757449
456.09/229.82	c flip 1030000 nbSat=756886 maxSat=757479
464.06/233.83	c flip 1040000 nbSat=756572 maxSat=757498
471.25/237.42	c flip 1050000 nbSat=757191 maxSat=757500
477.63/240.66	c flip 1060000 nbSat=757194 maxSat=757500
485.21/244.41	c flip 1070000 nbSat=755869 maxSat=757500
492.80/248.22	c flip 1080000 nbSat=757276 maxSat=757526
500.00/251.87	c flip 1090000 nbSat=756780 maxSat=757526
504.59/254.16	c nbDecision=40000 #clauses=785405
507.37/255.59	c flip 1100000 nbSat=756802 maxSat=757526
514.76/259.28	c flip 1110000 nbSat=755796 maxSat=757549
522.14/262.99	c flip 1120000 nbSat=757110 maxSat=757556
529.31/266.50	c flip 1130000 nbSat=757176 maxSat=757556
535.11/269.46	c flip 1140000 nbSat=757055 maxSat=757577
541.29/272.57	c flip 1150000 nbSat=755944 maxSat=757585
548.07/275.98	c flip 1160000 nbSat=755761 maxSat=757589
554.85/279.38	c flip 1170000 nbSat=757033 maxSat=757594
561.83/282.87	c flip 1180000 nbSat=757241 maxSat=757619
568.42/286.18	c flip 1190000 nbSat=757276 maxSat=757619
575.40/289.69	c flip 1200000 nbSat=757248 maxSat=757619
581.59/292.79	c flip 1210000 nbSat=756676 maxSat=757623
588.77/296.37	c flip 1220000 nbSat=756202 maxSat=757625
596.16/300.03	c flip 1230000 nbSat=755992 maxSat=757625
602.34/303.19	c flip 1240000 nbSat=756385 maxSat=757625
608.32/306.17	c flip 1250000 nbSat=756959 maxSat=757634
614.31/309.16	c flip 1260000 nbSat=757179 maxSat=757634
620.29/312.12	c flip 1270000 nbSat=757382 maxSat=757642
626.28/315.14	c flip 1280000 nbSat=757505 maxSat=757647
632.86/318.40	c flip 1290000 nbSat=757380 maxSat=757647
639.05/321.53	c flip 1300000 nbSat=757417 maxSat=757650
645.42/324.78	c flip 1310000 nbSat=757311 maxSat=757650
651.82/327.92	c flip 1320000 nbSat=757387 maxSat=757650
658.01/331.10	c flip 1330000 nbSat=757143 maxSat=757650
664.99/334.54	c flip 1340000 nbSat=757086 maxSat=757661
670.98/337.55	c flip 1350000 nbSat=757179 maxSat=757661
677.36/340.70	c flip 1360000 nbSat=757097 maxSat=757661
683.35/343.74	c flip 1370000 nbSat=757014 maxSat=757662
689.53/346.82	c flip 1380000 nbSat=757427 maxSat=757681
695.92/350.00	c flip 1390000 nbSat=756897 maxSat=757681
702.10/353.13	c flip 1400000 nbSat=757394 maxSat=757681
708.09/356.12	c flip 1410000 nbSat=757505 maxSat=757681
714.47/359.31	c flip 1420000 nbSat=757490 maxSat=757681
720.65/362.42	c flip 1430000 nbSat=757412 maxSat=757681
723.85/364.01	c nbDecision=50000 #clauses=792042
726.44/365.32	c flip 1440000 nbSat=757297 maxSat=757681
732.42/368.33	c flip 1450000 nbSat=757129 maxSat=757681
738.80/371.55	c flip 1460000 nbSat=756800 maxSat=757681
744.79/374.57	c flip 1470000 nbSat=755687 maxSat=757705
751.37/377.87	c flip 1480000 nbSat=755649 maxSat=757705
757.16/380.75	c flip 1490000 nbSat=755823 maxSat=757705
762.55/383.46	c flip 1500000 nbSat=756035 maxSat=757705
768.13/386.28	c flip 1510000 nbSat=757034 maxSat=757705
774.13/389.21	c flip 1520000 nbSat=757313 maxSat=757705
779.91/392.11	c flip 1530000 nbSat=757123 maxSat=757705
786.10/395.25	c flip 1540000 nbSat=757252 maxSat=757705
792.47/398.40	c flip 1550000 nbSat=757043 maxSat=757705
799.06/401.78	c flip 1560000 nbSat=757359 maxSat=757705
805.44/404.90	c flip 1570000 nbSat=757549 maxSat=757705
811.23/407.83	c flip 1580000 nbSat=757551 maxSat=757705
816.42/410.47	c flip 1590000 nbSat=757405 maxSat=757705
821.81/413.17	c flip 1600000 nbSat=757219 maxSat=757705
825.99/415.27	c nbDecision=60000 #clauses=798439
827.19/415.87	c flip 1610000 nbSat=756882 maxSat=757705
832.57/418.55	c flip 1620000 nbSat=755548 maxSat=757705
837.97/421.28	c flip 1630000 nbSat=755809 maxSat=757705
843.75/424.12	c flip 1640000 nbSat=755967 maxSat=757705
849.33/426.96	c flip 1650000 nbSat=756084 maxSat=757731
855.13/429.88	c flip 1660000 nbSat=757338 maxSat=757731
861.92/433.20	c flip 1670000 nbSat=757337 maxSat=757731
868.91/436.76	c flip 1680000 nbSat=757322 maxSat=757731
876.28/440.43	c flip 1690000 nbSat=757516 maxSat=757731
883.06/443.86	c flip 1700000 nbSat=757608 maxSat=757731
888.65/446.65	c flip 1710000 nbSat=757344 maxSat=757731
894.03/449.37	c flip 1720000 nbSat=757021 maxSat=757731
899.63/452.16	c flip 1730000 nbSat=755553 maxSat=757731
904.81/454.78	c flip 1740000 nbSat=755577 maxSat=757731
910.00/457.32	c flip 1750000 nbSat=755926 maxSat=757731
914.99/459.81	c flip 1760000 nbSat=756177 maxSat=757731
919.56/462.17	c flip 1770000 nbSat=756987 maxSat=757731
924.75/464.72	c flip 1780000 nbSat=757277 maxSat=757731
929.94/467.39	c flip 1790000 nbSat=757575 maxSat=757731
935.53/470.16	c flip 1800000 nbSat=757525 maxSat=757731
941.32/473.05	c flip 1810000 nbSat=757237 maxSat=757731
947.51/476.14	c flip 1820000 nbSat=756052 maxSat=757731
953.09/478.90	c flip 1830000 nbSat=755709 maxSat=757731
958.48/481.64	c flip 1840000 nbSat=755843 maxSat=757731
963.67/484.21	c flip 1850000 nbSat=757182 maxSat=757731
969.05/486.98	c flip 1860000 nbSat=757278 maxSat=757731
974.24/489.54	c flip 1870000 nbSat=757448 maxSat=757731
979.22/492.05	c flip 1880000 nbSat=757599 maxSat=757731
983.61/494.30	c flip 1890000 nbSat=757252 maxSat=757731
988.40/496.60	c flip 1900000 nbSat=756388 maxSat=757731
993.19/499.02	c flip 1910000 nbSat=755598 maxSat=757731
998.58/501.72	c flip 1920000 nbSat=755792 maxSat=757731
1003.77/504.34	c flip 1930000 nbSat=757102 maxSat=757731
1008.95/506.95	c flip 1940000 nbSat=757275 maxSat=757731
1014.14/509.56	c flip 1950000 nbSat=757113 maxSat=757731
1019.33/512.11	c flip 1960000 nbSat=757591 maxSat=757731
1024.52/514.71	c flip 1970000 nbSat=757284 maxSat=757731
1029.30/517.11	c flip 1980000 nbSat=756338 maxSat=757731
1034.29/519.67	c flip 1990000 nbSat=755829 maxSat=757731
1039.48/522.24	c flip 2000000 nbSat=755849 maxSat=757731
1044.67/524.84	c flip 2010000 nbSat=757238 maxSat=757731
1049.66/527.31	c flip 2020000 nbSat=757355 maxSat=757731
1054.85/529.94	c flip 2030000 nbSat=757218 maxSat=757731
1059.83/532.43	c flip 2040000 nbSat=757604 maxSat=757731
1064.42/534.77	c flip 2050000 nbSat=757363 maxSat=757731
1069.21/537.10	c flip 2060000 nbSat=756692 maxSat=757731
1073.59/539.39	c flip 2070000 nbSat=755624 maxSat=757731
1078.39/541.79	c flip 2080000 nbSat=755779 maxSat=757731
1083.37/544.25	c flip 2090000 nbSat=757046 maxSat=757731
1088.76/546.90	c flip 2100000 nbSat=757214 maxSat=757731
1093.75/549.42	c flip 2110000 nbSat=757243 maxSat=757731
1098.54/551.85	c flip 2120000 nbSat=757522 maxSat=757731
1103.12/554.19	c flip 2130000 nbSat=757162 maxSat=757731
1107.92/556.56	c flip 2140000 nbSat=755412 maxSat=757731
1112.31/558.78	c flip 2150000 nbSat=755691 maxSat=757731
1116.90/561.09	c flip 2160000 nbSat=755828 maxSat=757731
1121.68/563.48	c flip 2170000 nbSat=757331 maxSat=757731
1126.67/566.00	c flip 2180000 nbSat=757311 maxSat=757731
1131.86/568.53	c flip 2190000 nbSat=757477 maxSat=757731
1136.46/570.84	c flip 2200000 nbSat=757437 maxSat=757731
1141.05/573.17	c flip 2210000 nbSat=756758 maxSat=757731
1145.63/575.45	c flip 2220000 nbSat=755484 maxSat=757731
1150.01/577.60	c flip 2230000 nbSat=755650 maxSat=757731
1154.60/579.95	c flip 2240000 nbSat=757291 maxSat=757731
1159.39/582.35	c flip 2250000 nbSat=757495 maxSat=757731
1163.78/584.58	c flip 2260000 nbSat=757572 maxSat=757731
1168.17/586.76	c flip 2270000 nbSat=757106 maxSat=757731
1172.56/588.95	c flip 2280000 nbSat=755413 maxSat=757731
1177.15/591.29	c flip 2290000 nbSat=755860 maxSat=757731
1181.74/593.56	c flip 2300000 nbSat=757214 maxSat=757731
1186.53/595.91	c flip 2310000 nbSat=757279 maxSat=757731
1190.92/598.14	c flip 2320000 nbSat=757312 maxSat=757731
1195.30/600.36	c flip 2330000 nbSat=757409 maxSat=757731
1199.49/602.44	c flip 2340000 nbSat=756292 maxSat=757731

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node35/watcher-328497-1173111964 -o ROOT/results/node35/solver-328497-1173111964 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328497-1173111964/ornithorynque /tmp/evaluation/328497-1173111964/instance-328497-1173111964.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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: 1.77 1.92 1.89 3/64 22860
/proc/meminfo: memFree=1095848/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=23220 CPUtime=0
/proc/22860/stat : 22860 (ornithorynque) R 22858 22860 21985 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 304960254 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266131772528 0 0 4096 0 0 0 0 17 1 0 0
/proc/22860/statm: 5805 263 218 42 0 45 0

[startup+0.0418401 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 22860
/proc/meminfo: memFree=1095848/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=24648 CPUtime=0.03
/proc/22860/stat : 22860 (ornithorynque) R 22858 22860 21985 0 -1 4194304 842 0 0 0 3 0 0 0 18 0 1 0 304960254 25239552 803 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143314018 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22860/statm: 6195 804 379 42 0 447 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24648

[startup+0.101851 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 22860
/proc/meminfo: memFree=1095848/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=27276 CPUtime=0.09
/proc/22860/stat : 22860 (ornithorynque) R 22858 22860 21985 0 -1 4194304 1522 0 0 0 9 0 0 0 18 0 1 0 304960254 27930624 1385 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262439 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22860/statm: 6819 1385 379 42 0 1071 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27276

[startup+0.30189 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 22860
/proc/meminfo: memFree=1095848/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=35020 CPUtime=0.29
/proc/22860/stat : 22860 (ornithorynque) R 22858 22860 21985 0 -1 4194304 3628 0 0 0 27 2 0 0 19 0 1 0 304960254 35860480 3362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262497 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22860/statm: 8755 3363 379 42 0 3007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35020

[startup+0.70197 s]
/proc/loadavg: 1.77 1.92 1.89 3/64 22860
/proc/meminfo: memFree=1095848/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=52316 CPUtime=0.69
/proc/22860/stat : 22860 (ornithorynque) R 22858 22860 21985 0 -1 4194304 8352 0 0 0 64 5 0 0 22 0 1 0 304960254 53571584 7257 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262497 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22860/statm: 13079 7257 379 42 0 7331 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52316

[startup+1.50113 s]
/proc/loadavg: 1.77 1.92 1.89 2/65 22861
/proc/meminfo: memFree=1055904/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=85656 CPUtime=1.49
/proc/22860/stat : 22860 (ornithorynque) R 22858 22860 21985 0 -1 4194304 17493 0 0 0 140 9 0 0 25 0 1 0 304960254 87711744 15023 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266134262497 0 0 4096 1088 0 0 0 17 1 0 0
/proc/22860/statm: 21414 15023 379 42 0 15666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85656

[startup+3.10145 s]
/proc/loadavg: 1.77 1.92 1.89 2/65 22861
/proc/meminfo: memFree=970464/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=191456 CPUtime=3.78
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 42670 0 0 0 358 20 0 0 25 0 3 0 304960254 196050944 36099 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 47864 36099 388 42 0 42116 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 191456

[startup+6.30209 s]
/proc/loadavg: 1.79 1.92 1.89 3/67 22863
/proc/meminfo: memFree=952976/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=196748 CPUtime=10.18
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 48457 0 0 0 995 23 0 0 25 0 3 0 304960254 201469952 35942 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 49187 35942 389 42 0 43439 0
[pid=22860/tid=22862] ppid=22858 vsize=196748 CPUtime=3.89
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 8213 0 0 0 386 3 0 0 25 0 3 0 304960495 201469952 35942 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=196748 CPUtime=3.88
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 388 0 0 0 25 0 3 0 304960495 201469952 35942 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 196748

[startup+12.7013 s]
/proc/loadavg: 1.80 1.92 1.89 3/67 22863
/proc/meminfo: memFree=952912/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=196748 CPUtime=22.94
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 49650 0 0 0 2271 23 0 0 25 0 3 0 304960254 201469952 35947 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 49187 35947 389 42 0 43439 0
[pid=22860/tid=22862] ppid=22858 vsize=196748 CPUtime=10.28
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 9406 0 0 0 1025 3 0 0 25 0 3 0 304960495 201469952 35947 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326345 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=196748 CPUtime=10.25
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 1025 0 0 0 25 0 3 0 304960495 201469952 35947 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4296984 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (KiB) 196748

[startup+25.5019 s]
/proc/loadavg: 1.85 1.93 1.90 3/67 22863
/proc/meminfo: memFree=952912/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=196840 CPUtime=48.48
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 55310 0 0 0 4823 25 0 0 25 0 3 0 304960254 201564160 35964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 49210 35964 389 42 0 43462 0
[pid=22860/tid=22862] ppid=22858 vsize=196840 CPUtime=23.08
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 15066 0 0 0 2303 5 0 0 25 0 3 0 304960495 201564160 35964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=196840 CPUtime=23
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 2300 0 0 0 25 0 3 0 304960495 201564160 35964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245010 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.48
Current children cumulated vsize (KiB) 196840

[startup+51.1029 s]
/proc/loadavg: 1.95 1.95 1.90 4/67 22863
/proc/meminfo: memFree=952592/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=197320 CPUtime=99.55
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 55549 0 0 0 9929 26 0 0 25 0 3 0 304960254 202055680 36083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 49330 36083 389 42 0 43582 0
[pid=22860/tid=22862] ppid=22858 vsize=197320 CPUtime=48.67
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 15305 0 0 0 4861 6 0 0 25 0 3 0 304960495 202055680 36083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326393 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=197320 CPUtime=48.47
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 4847 0 0 0 25 0 3 0 304960495 202055680 36083 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244327 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.55
Current children cumulated vsize (KiB) 197320

[startup+102.307 s]
/proc/loadavg: 2.04 1.97 1.91 3/67 22863
/proc/meminfo: memFree=951056/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=198788 CPUtime=201.71
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 55954 0 0 0 20145 26 0 0 25 0 3 0 304960254 203558912 36470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 49697 36470 389 42 0 43949 0
[pid=22860/tid=22862] ppid=22858 vsize=198788 CPUtime=99.86
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 15710 0 0 0 9980 6 0 0 25 0 3 0 304960495 203558912 36470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326906 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=198788 CPUtime=99.44
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 9944 0 0 0 25 0 3 0 304960495 203558912 36470 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (KiB) 198788

[startup+162.302 s]
/proc/loadavg: 2.07 1.99 1.92 3/67 22865
/proc/meminfo: memFree=948560/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=201268 CPUtime=321.41
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 57219 0 0 0 32114 27 0 0 25 0 3 0 304960254 206098432 37115 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 50317 37115 389 42 0 44569 0
[pid=22860/tid=22862] ppid=22858 vsize=201268 CPUtime=159.83
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 16975 0 0 0 15976 7 0 0 25 0 3 0 304960495 206098432 37115 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=201268 CPUtime=159.17
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 15917 0 0 0 25 0 3 0 304960495 206098432 37115 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244901 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.41
Current children cumulated vsize (KiB) 201268

[startup+222.302 s]
/proc/loadavg: 2.08 2.00 1.92 3/67 22865
/proc/meminfo: memFree=946640/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=203156 CPUtime=441.12
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 57700 0 0 0 44084 28 0 0 25 0 3 0 304960254 208031744 37596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 50789 37596 389 42 0 45041 0
[pid=22860/tid=22862] ppid=22858 vsize=203156 CPUtime=219.8
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 17456 0 0 0 21973 7 0 0 25 0 3 0 304960495 208031744 37596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326433 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=203156 CPUtime=218.9
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 21890 0 0 0 25 0 3 0 304960495 208031744 37596 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245010 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.12
Current children cumulated vsize (KiB) 203156

[startup+282.301 s]
/proc/loadavg: 2.08 2.01 1.93 3/67 22865
/proc/meminfo: memFree=945104/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=204512 CPUtime=560.83
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 58106 0 0 0 56054 29 0 0 25 0 3 0 304960254 209420288 37981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 51128 37981 389 42 0 45380 0
[pid=22860/tid=22862] ppid=22858 vsize=204512 CPUtime=279.78
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 17862 0 0 0 27970 8 0 0 25 0 3 0 304960495 209420288 37981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246322 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=204512 CPUtime=278.64
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 27864 0 0 0 25 0 3 0 304960495 209420288 37981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245111 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.83
Current children cumulated vsize (KiB) 204512

[startup+342.302 s]
/proc/loadavg: 2.07 2.02 1.93 3/67 22865
/proc/meminfo: memFree=943312/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=206236 CPUtime=680.55
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 58565 0 0 0 68025 30 0 0 25 0 3 0 304960254 211185664 38418 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 51559 38418 389 42 0 45811 0
[pid=22860/tid=22862] ppid=22858 vsize=206236 CPUtime=339.76
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 18321 0 0 0 33967 9 0 0 25 0 3 0 304960495 211185664 38418 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=206236 CPUtime=338.37
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 33837 0 0 0 25 0 3 0 304960495 211185664 38418 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245734 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.55
Current children cumulated vsize (KiB) 206236

[startup+402.302 s]
/proc/loadavg: 2.07 2.03 1.94 3/67 22865
/proc/meminfo: memFree=940240/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=209224 CPUtime=800.26
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 62929 0 0 0 79994 32 0 0 25 0 3 0 304960254 214245376 39196 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 52306 39196 389 42 0 46558 0
[pid=22860/tid=22862] ppid=22858 vsize=209224 CPUtime=399.74
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 22685 0 0 0 39963 11 0 0 25 0 3 0 304960495 214245376 39196 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326906 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=209224 CPUtime=398.1
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 39810 0 0 0 25 0 3 0 304960495 214245376 39196 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244339 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.26
Current children cumulated vsize (KiB) 209224

[startup+462.302 s]
/proc/loadavg: 2.06 2.04 1.94 3/67 22865
/proc/meminfo: memFree=936592/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=212688 CPUtime=919.96
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 64449 0 0 0 91963 33 0 0 25 0 3 0 304960254 217792512 40071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 53172 40071 389 42 0 47424 0
[pid=22860/tid=22862] ppid=22858 vsize=212688 CPUtime=459.71
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 24205 0 0 0 45959 12 0 0 25 0 3 0 304960495 217792512 40071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=212688 CPUtime=457.84
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 45783 1 0 0 25 0 3 0 304960495 217792512 40071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244562 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 919.96
Current children cumulated vsize (KiB) 212688

[startup+522.302 s]
/proc/loadavg: 2.06 2.04 1.95 3/67 22865
/proc/meminfo: memFree=936592/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=212688 CPUtime=1039.68
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 64451 0 0 0 103935 33 0 0 25 0 3 0 304960254 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 53172 40073 389 42 0 47424 0
[pid=22860/tid=22862] ppid=22858 vsize=212688 CPUtime=519.69
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 24207 0 0 0 51957 12 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246332 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=212688 CPUtime=517.58
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 51757 1 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.68
Current children cumulated vsize (KiB) 212688

[startup+582.302 s]
/proc/loadavg: 2.13 2.06 1.96 3/67 22865
/proc/meminfo: memFree=936656/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=212688 CPUtime=1159.39
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 64451 0 0 0 115906 33 0 0 25 0 3 0 304960254 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 53172 40073 389 42 0 47424 0
[pid=22860/tid=22862] ppid=22858 vsize=212688 CPUtime=579.67
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 24207 0 0 0 57955 12 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246420 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=212688 CPUtime=577.31
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 57730 1 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.39
Current children cumulated vsize (KiB) 212688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.702 s]
/proc/loadavg: 2.09 2.06 1.96 3/67 22865
/proc/meminfo: memFree=936656/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=212688 CPUtime=1200.1
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 64451 0 0 0 119977 33 0 0 25 0 3 0 304960254 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 53172 40073 389 42 0 47424 0
[pid=22860/tid=22862] ppid=22858 vsize=212688 CPUtime=600.07
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 24207 0 0 0 59995 12 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246433 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=212688 CPUtime=597.63
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 59762 1 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246182 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 212688

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

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

[startup+602.702 s]
/proc/loadavg: 2.09 2.06 1.96 3/67 22865
/proc/meminfo: memFree=936656/2055920 swapFree=4183856/4192956
[pid=22860] ppid=22858 vsize=212688 CPUtime=1200.1
/proc/22860/stat : 22860 (ornithorynque) S 22858 22860 21985 0 -1 4194304 64451 0 0 0 119977 33 0 0 25 0 3 0 304960254 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 266143297403 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 53172 40073 389 42 0 47424 0
[pid=22860/tid=22862] ppid=22858 vsize=212688 CPUtime=600.07
/proc/22860/task/22862/stat : 22862 (ornithorynque) R 22858 22860 21985 0 -1 4194368 24207 0 0 0 59995 12 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246433 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22858 vsize=212688 CPUtime=597.63
/proc/22860/task/22863/stat : 22863 (ornithorynque) R 22858 22860 21985 0 -1 4194368 2 0 0 0 59762 1 0 0 25 0 3 0 304960495 217792512 40073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246182 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 212688

Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.742
CPU time (s): 1200.15
CPU user time (s): 1199.79
CPU system time (s): 0.363944
CPU usage (%): 199.115
Max. virtual memory (cumulated for all children) (KiB): 213780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 9294

runsolver used 0.516921 second user time and 1.70474 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Mon Mar  5 16:26:05 UTC 2007

IDJOB= 328497
IDBENCH= 20419
IDSOLVER= 139
FILE ID= node35/328497-1173111964

PBS_JOBID= 4013901

Free space on /tmp= 66519 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf
COMMAND LINE= /tmp/evaluation/328497-1173111964/ornithorynque /tmp/evaluation/328497-1173111964/instance-328497-1173111964.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-328497-1173111964 -o ROOT/results/node35/solver-328497-1173111964 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328497-1173111964/ornithorynque /tmp/evaluation/328497-1173111964/instance-328497-1173111964.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  4211c3af8594e6cbb06d7f7e8978c614

RANDOM SEED= 463448047

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.263
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.263
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:       1096320 kB
Buffers:         40196 kB
Cached:         847604 kB
SwapCached:       3000 kB
Active:         256032 kB
Inactive:       642640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1096320 kB
SwapTotal:     4192956 kB
SwapFree:      4183856 kB
Dirty:           14012 kB
Writeback:           0 kB
Mapped:          16948 kB
Slab:            47012 kB
Committed_AS:   892224 kB
PageTables:       1412 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= 66519 MiB

End job on node35 on Mon Mar  5 16:36:10 UTC 2007