Trace number 328284

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.2 601.641

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
MD5SUMc1e9445e504d7e0b49cff316e2ecad3a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables13000
Number of clauses54600
Sum of the clauses size163800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 354600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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 short
0.00/0.00	c parsing...
0.09/0.14	c ...done
0.09/0.14	c nbVar=13000 nbClause=54600
0.09/0.17	c nbVar=13000 nbClause=54600
0.19/0.23	c complete search running
0.19/0.23	c local search running
0.19/0.24	c flip 0 nbSat=47755 maxSat=0
0.36/0.34	c flip 10000 nbSat=51645 maxSat=51656
0.56/0.43	c flip 20000 nbSat=52641 maxSat=52645
0.76/0.52	c flip 30000 nbSat=52930 maxSat=52941
0.96/0.61	c flip 40000 nbSat=53183 maxSat=53191
1.16/0.70	c flip 50000 nbSat=53364 maxSat=53374
1.16/0.79	c flip 60000 nbSat=53421 maxSat=53485
1.36/0.88	c flip 70000 nbSat=53468 maxSat=53525
1.56/0.96	c flip 80000 nbSat=53559 maxSat=53571
1.76/1.06	c flip 90000 nbSat=53554 maxSat=53624
1.96/1.14	c flip 100000 nbSat=53594 maxSat=53648
2.16/1.23	c flip 110000 nbSat=53637 maxSat=53657
2.36/1.31	c flip 120000 nbSat=53637 maxSat=53670
2.56/1.40	c flip 130000 nbSat=53666 maxSat=53703
2.56/1.48	c flip 140000 nbSat=53702 maxSat=53762
2.76/1.57	c flip 150000 nbSat=53737 maxSat=53784
2.96/1.65	c flip 160000 nbSat=53775 maxSat=53808
3.16/1.73	c flip 170000 nbSat=53835 maxSat=53855
3.36/1.82	c flip 180000 nbSat=53792 maxSat=53858
3.56/1.90	c flip 190000 nbSat=53765 maxSat=53858
3.56/1.98	c flip 200000 nbSat=53694 maxSat=53858
3.76/2.07	c flip 210000 nbSat=53762 maxSat=53858
3.96/2.16	c flip 220000 nbSat=53795 maxSat=53858
4.16/2.24	c flip 230000 nbSat=53733 maxSat=53858
4.35/2.32	c flip 240000 nbSat=53790 maxSat=53858
4.55/2.41	c flip 250000 nbSat=53794 maxSat=53858
4.75/2.52	c flip 0 nbSat=48874 maxSat=53860
4.95/2.65	c flip 10000 nbSat=52737 maxSat=53860
5.15/2.79	c flip 20000 nbSat=53612 maxSat=53860
5.55/2.93	c flip 30000 nbSat=54003 maxSat=54056
5.75/3.07	c flip 40000 nbSat=54196 maxSat=54226
6.15/3.21	c flip 50000 nbSat=54314 maxSat=54350
6.35/3.35	c flip 60000 nbSat=54463 maxSat=54528
6.54/3.48	c flip 70000 nbSat=54540 maxSat=54572
6.94/3.62	c flip 80000 nbSat=54600 maxSat=54619
7.14/3.75	c flip 90000 nbSat=54648 maxSat=54672
7.34/3.89	c flip 100000 nbSat=54651 maxSat=54744
7.74/4.02	c flip 110000 nbSat=54691 maxSat=54760
7.94/4.16	c flip 120000 nbSat=54753 maxSat=54796
8.14/4.29	c flip 130000 nbSat=54798 maxSat=54840
8.54/4.43	c flip 140000 nbSat=54778 maxSat=54840
8.74/4.56	c flip 150000 nbSat=54811 maxSat=54863
8.94/4.69	c flip 160000 nbSat=54818 maxSat=54867
9.34/4.83	c flip 170000 nbSat=54812 maxSat=54867
9.54/4.96	c flip 180000 nbSat=54825 maxSat=54867
9.74/5.09	c flip 190000 nbSat=54809 maxSat=54872
10.14/5.23	c flip 200000 nbSat=54884 maxSat=54901
10.34/5.36	c flip 210000 nbSat=54928 maxSat=54960
10.55/5.49	c flip 220000 nbSat=54910 maxSat=54960
10.94/5.62	c flip 230000 nbSat=54876 maxSat=54960
11.14/5.75	c flip 240000 nbSat=54899 maxSat=54960
11.34/5.89	c flip 250000 nbSat=54931 maxSat=54960
11.74/6.07	c flip 0 nbSat=50461 maxSat=54960
12.13/6.27	c flip 10000 nbSat=54319 maxSat=54960
12.53/6.50	c flip 20000 nbSat=55277 maxSat=55277
13.13/6.73	c flip 30000 nbSat=55779 maxSat=55782
13.53/6.97	c flip 40000 nbSat=56044 maxSat=56065
14.13/7.22	c flip 50000 nbSat=56149 maxSat=56155
14.53/7.45	c flip 60000 nbSat=56173 maxSat=56218
14.93/7.69	c flip 70000 nbSat=56248 maxSat=56278
15.52/7.94	c flip 80000 nbSat=56258 maxSat=56355
15.92/8.18	c flip 90000 nbSat=56310 maxSat=56368
16.52/8.45	c flip 100000 nbSat=56388 maxSat=56413
17.12/8.71	c flip 110000 nbSat=56463 maxSat=56479
17.52/8.97	c flip 120000 nbSat=56423 maxSat=56479
18.12/9.22	c flip 130000 nbSat=56438 maxSat=56506
18.52/9.47	c flip 140000 nbSat=56380 maxSat=56514
19.12/9.71	c flip 150000 nbSat=56515 maxSat=56530
19.53/9.95	c flip 160000 nbSat=56473 maxSat=56548
19.92/10.19	c flip 170000 nbSat=56556 maxSat=56571
20.52/10.43	c flip 180000 nbSat=56547 maxSat=56617
20.92/10.68	c flip 190000 nbSat=56518 maxSat=56617
21.52/10.93	c flip 200000 nbSat=56466 maxSat=56617
21.91/11.16	c flip 210000 nbSat=56558 maxSat=56617
22.11/11.24	c nbDecision=10000 #clauses=59516
22.51/11.40	c flip 220000 nbSat=56488 maxSat=56617
22.91/11.63	c flip 230000 nbSat=56551 maxSat=56617
23.31/11.87	c flip 240000 nbSat=56556 maxSat=56617
23.91/12.11	c flip 250000 nbSat=56515 maxSat=56617
24.50/12.41	c flip 0 nbSat=53134 maxSat=56617
25.10/12.75	c flip 10000 nbSat=57031 maxSat=57042
25.91/13.14	c flip 20000 nbSat=57996 maxSat=58013
26.70/13.53	c flip 30000 nbSat=58352 maxSat=58384
27.50/13.93	c flip 40000 nbSat=58525 maxSat=58580
28.30/14.32	c flip 50000 nbSat=58678 maxSat=58683
29.10/14.73	c flip 60000 nbSat=58773 maxSat=58798
29.90/15.13	c flip 70000 nbSat=58793 maxSat=58881
30.69/15.54	c flip 80000 nbSat=58905 maxSat=58946
31.49/15.97	c flip 90000 nbSat=58934 maxSat=58974
32.29/16.36	c flip 100000 nbSat=58920 maxSat=58974
33.09/16.78	c flip 110000 nbSat=59014 maxSat=59040
34.07/17.24	c flip 120000 nbSat=58968 maxSat=59040
34.88/17.69	c flip 130000 nbSat=59015 maxSat=59057
35.87/18.13	c flip 140000 nbSat=58974 maxSat=59057
36.67/18.57	c flip 150000 nbSat=59042 maxSat=59102
37.66/19.02	c flip 160000 nbSat=59107 maxSat=59114
38.46/19.48	c flip 170000 nbSat=59103 maxSat=59137
39.46/19.94	c flip 180000 nbSat=59148 maxSat=59175
40.26/20.38	c flip 190000 nbSat=59171 maxSat=59193
41.26/20.81	c flip 200000 nbSat=59193 maxSat=59223
42.05/21.23	c flip 210000 nbSat=59179 maxSat=59232
42.86/21.66	c flip 220000 nbSat=59206 maxSat=59247
43.86/22.12	c flip 230000 nbSat=59205 maxSat=59247
44.65/22.55	c flip 240000 nbSat=59160 maxSat=59247
45.45/22.98	c flip 250000 nbSat=59187 maxSat=59247
46.45/23.49	c flip 0 nbSat=56599 maxSat=59247
47.65/24.08	c flip 10000 nbSat=60479 maxSat=60487
48.85/24.68	c flip 20000 nbSat=61479 maxSat=61484
50.25/25.35	c flip 30000 nbSat=61830 maxSat=61858
51.64/26.05	c flip 40000 nbSat=62037 maxSat=62068
53.24/26.83	c flip 50000 nbSat=62209 maxSat=62277
54.64/27.59	c flip 60000 nbSat=62355 maxSat=62366
56.23/28.31	c flip 70000 nbSat=62347 maxSat=62408
57.63/29.08	c flip 80000 nbSat=62457 maxSat=62487
59.22/29.83	c flip 90000 nbSat=62484 maxSat=62525
60.62/30.58	c flip 100000 nbSat=62555 maxSat=62586
62.21/31.38	c flip 110000 nbSat=62599 maxSat=62616
62.41/31.46	c nbDecision=20000 #clauses=65410
63.81/32.17	c flip 120000 nbSat=62579 maxSat=62636
65.41/32.93	c flip 130000 nbSat=62628 maxSat=62644
66.79/33.70	c flip 140000 nbSat=62649 maxSat=62679
68.39/34.47	c flip 150000 nbSat=62682 maxSat=62718
70.00/35.23	c flip 160000 nbSat=62719 maxSat=62721
71.59/36.01	c flip 170000 nbSat=62701 maxSat=62759
73.18/36.85	c flip 180000 nbSat=62689 maxSat=62759
74.98/37.70	c flip 190000 nbSat=62699 maxSat=62759
76.38/38.50	c flip 200000 nbSat=62720 maxSat=62759
77.97/39.25	c flip 210000 nbSat=62668 maxSat=62759
79.57/40.02	c flip 220000 nbSat=62699 maxSat=62759
80.77/40.70	c flip 230000 nbSat=62683 maxSat=62759
82.36/41.43	c flip 240000 nbSat=62752 maxSat=62786
83.76/42.13	c flip 250000 nbSat=62776 maxSat=62789
85.35/42.95	c flip 0 nbSat=61381 maxSat=62790
87.13/43.89	c flip 10000 nbSat=65318 maxSat=65326
89.54/45.01	c flip 20000 nbSat=66184 maxSat=66211
91.94/46.22	c flip 30000 nbSat=66626 maxSat=66642
94.52/47.50	c flip 40000 nbSat=66724 maxSat=66846
96.91/48.76	c flip 50000 nbSat=67021 maxSat=67029
99.71/50.10	c flip 60000 nbSat=67065 maxSat=67076
102.50/51.52	c flip 70000 nbSat=67110 maxSat=67158
105.10/52.84	c flip 80000 nbSat=67197 maxSat=67220
107.89/54.21	c flip 90000 nbSat=67263 maxSat=67289
110.68/55.60	c flip 100000 nbSat=67288 maxSat=67325
113.28/56.94	c flip 110000 nbSat=67277 maxSat=67348
113.68/57.19	c nbDecision=30000 #clauses=71272
116.47/58.51	c flip 120000 nbSat=67275 maxSat=67348
119.07/59.83	c flip 130000 nbSat=67288 maxSat=67348
121.66/61.16	c flip 140000 nbSat=67333 maxSat=67348
124.45/62.51	c flip 150000 nbSat=67291 maxSat=67380
127.24/63.95	c flip 160000 nbSat=67328 maxSat=67380
130.03/65.33	c flip 170000 nbSat=67345 maxSat=67380
132.83/66.75	c flip 180000 nbSat=67389 maxSat=67418
135.63/68.20	c flip 190000 nbSat=67390 maxSat=67418
138.42/69.57	c flip 200000 nbSat=67373 maxSat=67423
141.01/70.82	c flip 210000 nbSat=67342 maxSat=67423
143.61/72.12	c flip 220000 nbSat=67392 maxSat=67423
146.40/73.50	c flip 230000 nbSat=67387 maxSat=67423
149.00/74.89	c flip 240000 nbSat=67345 maxSat=67423
151.98/76.34	c flip 250000 nbSat=67413 maxSat=67433
154.98/77.87	c flip 0 nbSat=68070 maxSat=67433
158.37/79.50	c flip 10000 nbSat=71891 maxSat=71895
162.56/81.60	c flip 20000 nbSat=72842 maxSat=72846
166.75/83.76	c flip 30000 nbSat=73290 maxSat=73319
171.14/85.94	c flip 40000 nbSat=73521 maxSat=73538
175.93/88.30	c flip 50000 nbSat=73622 maxSat=73651
180.12/90.47	c flip 60000 nbSat=73714 maxSat=73748
184.91/92.86	c flip 70000 nbSat=73785 maxSat=73821
189.50/95.12	c flip 80000 nbSat=73805 maxSat=73841
191.29/96.08	c nbDecision=40000 #clauses=77494
194.29/97.55	c flip 90000 nbSat=73899 maxSat=73914
199.08/99.99	c flip 100000 nbSat=73966 maxSat=73975
203.88/102.32	c flip 110000 nbSat=73889 maxSat=73975
208.66/104.74	c flip 120000 nbSat=73847 maxSat=73975
213.64/107.22	c flip 130000 nbSat=73897 maxSat=73975
218.63/109.72	c flip 140000 nbSat=73959 maxSat=73993
223.62/112.26	c flip 150000 nbSat=73981 maxSat=74015
229.40/115.18	c flip 160000 nbSat=73993 maxSat=74037
234.99/117.96	c flip 170000 nbSat=74060 maxSat=74083
240.38/120.63	c flip 180000 nbSat=74099 maxSat=74150
245.57/123.29	c flip 190000 nbSat=74102 maxSat=74150
251.35/126.14	c flip 200000 nbSat=74085 maxSat=74150
256.73/128.84	c flip 210000 nbSat=74156 maxSat=74166
262.33/131.63	c flip 220000 nbSat=74120 maxSat=74174
267.71/134.33	c flip 230000 nbSat=74090 maxSat=74174
273.10/137.09	c flip 240000 nbSat=74085 maxSat=74174
278.49/139.74	c flip 250000 nbSat=74051 maxSat=74174
281.28/141.19	c nbDecision=50000 #clauses=83430
284.28/142.65	c flip 0 nbSat=76661 maxSat=74174
290.46/145.71	c flip 10000 nbSat=80480 maxSat=80485
297.24/149.10	c flip 20000 nbSat=81462 maxSat=81510
305.02/153.07	c flip 30000 nbSat=81960 maxSat=81964
313.20/157.18	c flip 40000 nbSat=82210 maxSat=82232
322.39/161.77	c flip 50000 nbSat=82381 maxSat=82388
331.56/166.38	c flip 60000 nbSat=82336 maxSat=82423
340.14/170.64	c flip 70000 nbSat=82508 maxSat=82538
349.11/175.19	c flip 80000 nbSat=82505 maxSat=82552
358.10/179.67	c flip 90000 nbSat=82543 maxSat=82574
367.69/184.45	c flip 100000 nbSat=82581 maxSat=82627
377.66/189.46	c flip 110000 nbSat=82639 maxSat=82736
387.64/194.47	c flip 120000 nbSat=82689 maxSat=82759
397.61/199.49	c flip 130000 nbSat=82686 maxSat=82759
401.21/201.30	c nbDecision=60000 #clauses=89715
407.59/204.43	c flip 140000 nbSat=82743 maxSat=82764
417.57/209.48	c flip 150000 nbSat=82721 maxSat=82792
427.75/214.56	c flip 160000 nbSat=82668 maxSat=82792
438.52/219.95	c flip 170000 nbSat=82703 maxSat=82792
449.09/225.27	c flip 180000 nbSat=82713 maxSat=82792
459.06/230.28	c flip 190000 nbSat=82733 maxSat=82805
468.85/235.15	c flip 200000 nbSat=82720 maxSat=82812
478.43/239.94	c flip 210000 nbSat=82750 maxSat=82829
488.20/244.82	c flip 220000 nbSat=82786 maxSat=82831
498.17/249.88	c flip 230000 nbSat=82833 maxSat=82880
508.15/254.88	c flip 240000 nbSat=82813 maxSat=82880
518.53/260.05	c flip 250000 nbSat=82817 maxSat=82880
524.13/262.86	c nbDecision=70000 #clauses=95701
529.10/265.34	c flip 0 nbSat=89002 maxSat=82880
539.08/270.38	c flip 10000 nbSat=92833 maxSat=92833
551.65/276.69	c flip 20000 nbSat=93738 maxSat=93753
564.83/283.29	c flip 30000 nbSat=94166 maxSat=94176
578.99/290.40	c flip 40000 nbSat=94397 maxSat=94408
593.36/297.56	c flip 50000 nbSat=94550 maxSat=94578
607.33/304.58	c flip 60000 nbSat=94606 maxSat=94631
621.88/311.88	c flip 70000 nbSat=94629 maxSat=94693
637.65/319.72	c flip 80000 nbSat=94733 maxSat=94749
652.42/327.11	c flip 90000 nbSat=94770 maxSat=94822
654.01/327.97	c nbDecision=80000 #clauses=101809
667.38/334.66	c flip 100000 nbSat=94797 maxSat=94828
682.36/342.11	c flip 110000 nbSat=94833 maxSat=94851
696.72/349.36	c flip 120000 nbSat=94834 maxSat=94867
712.08/357.05	c flip 130000 nbSat=94900 maxSat=94915
728.05/365.09	c flip 140000 nbSat=94894 maxSat=94950
743.61/372.86	c flip 150000 nbSat=94937 maxSat=94965
757.97/380.08	c flip 160000 nbSat=94888 maxSat=94970
774.34/388.21	c flip 170000 nbSat=94952 maxSat=95000
788.50/395.32	c flip 180000 nbSat=94976 maxSat=95000
802.87/402.57	c flip 190000 nbSat=95016 maxSat=95024
817.63/409.98	c flip 200000 nbSat=94990 maxSat=95025
833.01/417.62	c flip 210000 nbSat=94993 maxSat=95064
833.41/417.82	c nbDecision=90000 #clauses=108110
848.56/425.43	c flip 220000 nbSat=94947 maxSat=95064
863.53/432.95	c flip 230000 nbSat=94982 maxSat=95064
879.70/441.07	c flip 240000 nbSat=94964 maxSat=95064
897.04/449.74	c flip 250000 nbSat=94989 maxSat=95064
913.02/457.70	c flip 0 nbSat=103973 maxSat=95064
927.79/465.14	c flip 10000 nbSat=107887 maxSat=107898
945.94/474.27	c flip 20000 nbSat=108638 maxSat=108680
966.49/484.55	c flip 30000 nbSat=109095 maxSat=109097
988.63/495.66	c flip 40000 nbSat=109213 maxSat=109249
1010.99/506.86	c flip 50000 nbSat=109445 maxSat=109476
1028.34/515.51	c nbDecision=100000 #clauses=114363
1036.12/519.42	c flip 60000 nbSat=109565 maxSat=109604
1061.47/532.18	c flip 70000 nbSat=109640 maxSat=109665
1085.80/544.33	c flip 80000 nbSat=109669 maxSat=109698
1109.35/556.19	c flip 90000 nbSat=109686 maxSat=109752
1133.30/568.12	c flip 100000 nbSat=109816 maxSat=109846
1156.26/579.68	c flip 110000 nbSat=109857 maxSat=109883
1179.60/591.34	c flip 120000 nbSat=109898 maxSat=109906

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/node11/watcher-328284-1173109797 -o ROOT/results/node11/solver-328284-1173109797 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328284-1173109797/ornithorynque /tmp/evaluation/328284-1173109797/instance-328284-1173109797.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.84 1.95 1.90 3/77 9003
/proc/meminfo: memFree=1263024/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=23220 CPUtime=0
/proc/9003/stat : 9003 (ornithorynque) R 9001 9003 8494 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 330934218 23777280 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262907399441 0 0 4096 0 0 0 0 17 1 0 0
/proc/9003/statm: 5805 267 220 42 0 45 0

[startup+0.0579121 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 9003
/proc/meminfo: memFree=1263024/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=25212 CPUtime=0.05
/proc/9003/stat : 9003 (ornithorynque) R 9001 9003 8494 0 -1 4194304 975 0 0 0 5 0 0 0 18 0 1 0 330934218 25817088 903 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262909891297 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9003/statm: 6303 904 377 42 0 555 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25212

[startup+0.101917 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 9003
/proc/meminfo: memFree=1263024/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=26788 CPUtime=0.09
/proc/9003/stat : 9003 (ornithorynque) R 9001 9003 8494 0 -1 4194304 1422 0 0 0 9 0 0 0 18 0 1 0 330934218 27430912 1285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262909891297 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9003/statm: 6697 1285 377 42 0 949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26788

[startup+0.301949 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 9003
/proc/meminfo: memFree=1263024/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=54604 CPUtime=0.36
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 3360 0 0 0 35 1 0 0 19 0 3 0 330934218 55914496 3071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 13651 3071 387 42 0 7903 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54604

[startup+0.701997 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 9003
/proc/meminfo: memFree=1263024/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=54736 CPUtime=1.16
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 3397 0 0 0 115 1 0 0 19 0 3 0 330934218 56049664 3108 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 13684 3108 387 42 0 7936 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54736

[startup+1.50209 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 9006
/proc/meminfo: memFree=1251800/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=55000 CPUtime=2.76
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 3452 0 0 0 275 1 0 0 19 0 3 0 330934218 56320000 3163 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 13750 3163 387 42 0 8002 0
[pid=9003/tid=9005] ppid=9001 vsize=55000 CPUtime=1.26
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 164 0 0 0 126 0 0 0 25 0 3 0 330934242 56320000 3163 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262909888954 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=55000 CPUtime=1.26
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 2 0 0 0 126 0 0 0 25 0 3 0 330934242 56320000 3163 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 55000

[startup+3.10128 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 9006
/proc/meminfo: memFree=1251352/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=57032 CPUtime=5.95
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 3843 0 0 0 594 1 0 0 19 0 3 0 330934218 58400768 3554 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 14258 3554 387 42 0 8510 0
[pid=9003/tid=9005] ppid=9001 vsize=57032 CPUtime=2.86
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 274 0 0 0 286 0 0 0 21 0 3 0 330934242 58400768 3554 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262909891297 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=57032 CPUtime=2.85
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 283 0 0 0 285 0 0 0 22 0 3 0 330934242 58400768 3554 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241746 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 57032

[startup+6.30166 s]
/proc/loadavg: 1.85 1.95 1.90 3/80 9006
/proc/meminfo: memFree=1249240/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=60564 CPUtime=12.33
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 4669 0 0 0 1231 2 0 0 19 0 3 0 330934218 62017536 4380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 15141 4380 387 42 0 9393 0
[pid=9003/tid=9005] ppid=9001 vsize=60564 CPUtime=6.06
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 493 0 0 0 606 0 0 0 18 0 3 0 330934242 62017536 4380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242977 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=60564 CPUtime=6.03
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 890 0 0 0 603 0 0 0 19 0 3 0 330934242 62017536 4380 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 60564

[startup+12.7014 s]
/proc/loadavg: 1.87 1.95 1.90 3/80 9006
/proc/meminfo: memFree=1245272/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=65236 CPUtime=25.1
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 5820 0 0 0 2506 4 0 0 19 0 3 0 330934218 66801664 5531 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 16309 5531 387 42 0 10561 0
[pid=9003/tid=9005] ppid=9001 vsize=65236 CPUtime=12.45
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 812 0 0 0 1244 1 0 0 25 0 3 0 330934242 66801664 5531 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=65236 CPUtime=12.41
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 1722 0 0 0 1240 1 0 0 19 0 3 0 330934242 66801664 5531 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 65236

[startup+25.5019 s]
/proc/loadavg: 1.89 1.96 1.91 3/80 9006
/proc/meminfo: memFree=1234520/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=72532 CPUtime=50.64
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 7681 0 0 0 5058 6 0 0 19 0 3 0 330934218 74272768 7392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 18133 7392 387 42 0 12385 0
[pid=9003/tid=9005] ppid=9001 vsize=72532 CPUtime=25.25
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 1463 0 0 0 2523 2 0 0 25 0 3 0 330934242 74272768 7392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=72532 CPUtime=25.15
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 2932 0 0 0 2513 2 0 0 25 0 3 0 330934242 74272768 7392 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 72532

[startup+51.1019 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 9006
/proc/meminfo: memFree=1223896/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=85072 CPUtime=101.7
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 10599 0 0 0 10161 9 0 0 19 0 3 0 330934218 87113728 10052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 21268 10052 387 42 0 15520 0
[pid=9003/tid=9005] ppid=9001 vsize=85072 CPUtime=50.84
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 2539 0 0 0 5080 4 0 0 25 0 3 0 330934242 87113728 10052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=85072 CPUtime=50.62
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 4774 0 0 0 5059 3 0 0 25 0 3 0 330934242 87113728 10052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 85072

[startup+102.307 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 9006
/proc/meminfo: memFree=1208664/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=101516 CPUtime=203.88
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 14357 0 0 0 20375 13 0 0 19 0 3 0 330934218 103952384 13810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 25379 13810 387 42 0 19631 0
[pid=9003/tid=9005] ppid=9001 vsize=101516 CPUtime=102.03
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 3747 0 0 0 10196 7 0 0 25 0 3 0 330934242 103952384 13810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311432 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=101516 CPUtime=101.6
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 7324 0 0 0 10156 4 0 0 25 0 3 0 330934242 103952384 13810 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 101516

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1189336/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=124824 CPUtime=323.58
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 19167 0 0 0 32343 15 0 0 19 0 3 0 330934218 127819776 18620 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 31206 18620 387 42 0 25458 0
[pid=9003/tid=9005] ppid=9001 vsize=124824 CPUtime=162.01
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 4716 0 0 0 16193 8 0 0 25 0 3 0 330934242 127819776 18620 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=124824 CPUtime=161.33
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 11165 0 0 0 16127 6 0 0 25 0 3 0 330934242 127819776 18620 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (KiB) 124824

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1188824/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=125220 CPUtime=443.3
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 19292 0 0 0 44314 16 0 0 19 0 3 0 330934218 128225280 18745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 31305 18745 387 42 0 25557 0
[pid=9003/tid=9005] ppid=9001 vsize=125220 CPUtime=222
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 4841 0 0 0 22191 9 0 0 25 0 3 0 330934242 128225280 18745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=125220 CPUtime=221.07
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 11165 0 0 0 22101 6 0 0 25 0 3 0 330934242 128225280 18745 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (KiB) 125220

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1168152/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=147588 CPUtime=563.03
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 24472 0 0 0 56282 21 0 0 19 0 3 0 330934218 151130112 23925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 36897 23925 387 42 0 31149 0
[pid=9003/tid=9005] ppid=9001 vsize=147588 CPUtime=281.98
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 5672 0 0 0 28187 11 0 0 25 0 3 0 330934242 151130112 23925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=147588 CPUtime=280.82
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 15514 0 0 0 28073 9 0 0 25 0 3 0 330934242 151130112 23925 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.03
Current children cumulated vsize (KiB) 147588

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1164120/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=151684 CPUtime=682.75
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 25491 0 0 0 68251 24 0 0 19 0 3 0 330934218 155324416 24944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 37921 24944 387 42 0 32173 0
[pid=9003/tid=9005] ppid=9001 vsize=151684 CPUtime=341.95
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 6691 0 0 0 34182 13 0 0 25 0 3 0 330934242 155324416 24944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290048 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=151684 CPUtime=340.55
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 15514 0 0 0 34046 9 0 0 25 0 3 0 330934242 155324416 24944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241645 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.75
Current children cumulated vsize (KiB) 151684

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1159128/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=156804 CPUtime=802.47
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 26732 0 0 0 80220 27 0 0 19 0 3 0 330934218 160567296 26185 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 39201 26185 387 42 0 33453 0
[pid=9003/tid=9005] ppid=9001 vsize=156804 CPUtime=401.94
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 7932 0 0 0 40178 16 0 0 25 0 3 0 330934242 160567296 26185 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=156804 CPUtime=400.29
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 15514 0 0 0 40020 9 0 0 25 0 3 0 330934242 160567296 26185 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.47
Current children cumulated vsize (KiB) 156804

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1117400/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=207808 CPUtime=922.2
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 37299 0 0 0 92188 32 0 0 19 0 3 0 330934218 212795392 36598 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 51952 36598 387 42 0 46204 0
[pid=9003/tid=9005] ppid=9001 vsize=207808 CPUtime=461.92
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 8977 0 0 0 46174 18 0 0 25 0 3 0 330934242 212795392 36598 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=207808 CPUtime=460.03
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 25036 0 0 0 45991 12 0 0 25 0 3 0 330934242 212795392 36598 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.2
Current children cumulated vsize (KiB) 207808

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1117336/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=207808 CPUtime=1041.91
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 37311 0 0 0 104159 32 0 0 19 0 3 0 330934218 212795392 36610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 51952 36610 387 42 0 46204 0
[pid=9003/tid=9005] ppid=9001 vsize=207808 CPUtime=521.9
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 8989 0 0 0 52172 18 0 0 25 0 3 0 330934242 212795392 36610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=207808 CPUtime=519.77
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 25036 0 0 0 51965 12 0 0 25 0 3 0 330934242 212795392 36610 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.91
Current children cumulated vsize (KiB) 207808

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9006
/proc/meminfo: memFree=1117272/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=207808 CPUtime=1161.64
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 37323 0 0 0 116131 33 0 0 19 0 3 0 330934218 212795392 36622 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 51952 36622 387 42 0 46204 0
[pid=9003/tid=9005] ppid=9001 vsize=207808 CPUtime=581.89
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 9001 0 0 0 58170 19 0 0 25 0 3 0 330934242 212795392 36622 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=207808 CPUtime=579.51
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 25036 0 0 0 57939 12 0 0 25 0 3 0 330934242 212795392 36622 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.64
Current children cumulated vsize (KiB) 207808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 4/80 9006
/proc/meminfo: memFree=1117208/2055920 swapFree=4169972/4192956
[pid=9003] ppid=9001 vsize=207808 CPUtime=1200.16
/proc/9003/stat : 9003 (ornithorynque) S 9001 9003 8494 0 -1 4194304 37326 0 0 0 119983 33 0 0 19 0 3 0 330934218 212795392 36625 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 262918926203 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9003/statm: 51952 36625 387 42 0 46204 0
[pid=9003/tid=9005] ppid=9001 vsize=207808 CPUtime=601.19
/proc/9003/task/9005/stat : 9005 (ornithorynque) R 9001 9003 8494 0 -1 4194368 9004 0 0 0 60100 19 0 0 25 0 3 0 330934242 212795392 36625 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9003/tid=9006] ppid=9001 vsize=207808 CPUtime=598.73
/proc/9003/task/9006/stat : 9006 (ornithorynque) R 9001 9003 8494 0 -1 4194368 25036 0 0 0 59861 12 0 0 25 0 3 0 330934242 212795392 36625 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (KiB) 207808

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.641
CPU time (s): 1200.2
CPU user time (s): 1199.85
CPU system time (s): 0.357945
CPU usage (%): 199.489
Max. virtual memory (cumulated for all children) (KiB): 207808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.357945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37326
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= 135
involuntary context switches= 22633

runsolver used 0.616906 second user time and 1.59576 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Mar  5 15:49:57 UTC 2007

IDJOB= 328284
IDBENCH= 20192
IDSOLVER= 139
FILE ID= node11/328284-1173109797

PBS_JOBID= 4013927

Free space on /tmp= 66543 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
COMMAND LINE= /tmp/evaluation/328284-1173109797/ornithorynque /tmp/evaluation/328284-1173109797/instance-328284-1173109797.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-328284-1173109797 -o ROOT/results/node11/solver-328284-1173109797 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328284-1173109797/ornithorynque /tmp/evaluation/328284-1173109797/instance-328284-1173109797.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  c1e9445e504d7e0b49cff316e2ecad3a

RANDOM SEED= 785807113

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.243
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.243
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:       1263432 kB
Buffers:         48584 kB
Cached:         652564 kB
SwapCached:       2788 kB
Active:         237668 kB
Inactive:       486764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1263432 kB
SwapTotal:     4192956 kB
SwapFree:      4169972 kB
Dirty:            1284 kB
Writeback:           0 kB
Mapped:          30708 kB
Slab:            53612 kB
Committed_AS:  1088032 kB
PageTables:       1756 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= 66543 MiB

End job on node11 on Mon Mar  5 16:00:00 UTC 2007