Trace number 328288

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.17 601.64

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
MD5SUM319199115eec5f04169695cb4210fb35
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.18/0.23	c complete search running
0.18/0.23	c local search running
0.18/0.25	c flip 0 nbSat=47700 maxSat=0
0.36/0.34	c flip 10000 nbSat=51629 maxSat=51629
0.56/0.44	c flip 20000 nbSat=52528 maxSat=52528
0.76/0.53	c flip 30000 nbSat=52892 maxSat=52909
0.96/0.62	c flip 40000 nbSat=53157 maxSat=53186
1.16/0.71	c flip 50000 nbSat=53299 maxSat=53313
1.36/0.80	c flip 60000 nbSat=53395 maxSat=53426
1.36/0.89	c flip 70000 nbSat=53473 maxSat=53485
1.56/0.98	c flip 80000 nbSat=53525 maxSat=53543
1.76/1.07	c flip 90000 nbSat=53566 maxSat=53628
1.96/1.16	c flip 100000 nbSat=53631 maxSat=53653
2.15/1.24	c flip 110000 nbSat=53650 maxSat=53689
2.35/1.33	c flip 120000 nbSat=53716 maxSat=53744
2.55/1.41	c flip 130000 nbSat=53726 maxSat=53765
2.55/1.50	c flip 140000 nbSat=53759 maxSat=53788
2.75/1.58	c flip 150000 nbSat=53780 maxSat=53813
2.95/1.66	c flip 160000 nbSat=53734 maxSat=53818
3.15/1.75	c flip 170000 nbSat=53745 maxSat=53818
3.35/1.83	c flip 180000 nbSat=53727 maxSat=53818
3.55/1.92	c flip 190000 nbSat=53791 maxSat=53818
3.75/2.00	c flip 200000 nbSat=53815 maxSat=53841
3.75/2.09	c flip 210000 nbSat=53752 maxSat=53841
3.95/2.18	c flip 220000 nbSat=53740 maxSat=53841
4.15/2.26	c flip 230000 nbSat=53790 maxSat=53853
4.34/2.34	c flip 240000 nbSat=53705 maxSat=53853
4.54/2.43	c flip 250000 nbSat=53783 maxSat=53853
4.74/2.54	c flip 0 nbSat=48879 maxSat=53853
4.94/2.68	c flip 10000 nbSat=52770 maxSat=53853
5.34/2.82	c flip 20000 nbSat=53629 maxSat=53853
5.54/2.96	c flip 30000 nbSat=54021 maxSat=54050
5.94/3.10	c flip 40000 nbSat=54245 maxSat=54285
6.14/3.25	c flip 50000 nbSat=54402 maxSat=54442
6.34/3.39	c flip 60000 nbSat=54446 maxSat=54490
6.73/3.53	c flip 70000 nbSat=54565 maxSat=54582
6.93/3.68	c flip 80000 nbSat=54584 maxSat=54652
7.33/3.82	c flip 90000 nbSat=54670 maxSat=54713
7.53/3.96	c flip 100000 nbSat=54715 maxSat=54728
7.93/4.10	c flip 110000 nbSat=54781 maxSat=54791
8.13/4.24	c flip 120000 nbSat=54691 maxSat=54824
8.34/4.39	c flip 130000 nbSat=54763 maxSat=54835
8.73/4.53	c flip 140000 nbSat=54783 maxSat=54841
8.93/4.67	c flip 150000 nbSat=54766 maxSat=54860
9.33/4.81	c flip 160000 nbSat=54799 maxSat=54891
9.54/4.95	c flip 170000 nbSat=54858 maxSat=54909
9.74/5.09	c flip 180000 nbSat=54784 maxSat=54909
10.14/5.22	c flip 190000 nbSat=54823 maxSat=54909
10.34/5.37	c flip 200000 nbSat=54838 maxSat=54909
10.74/5.51	c flip 210000 nbSat=54945 maxSat=54945
10.93/5.65	c flip 220000 nbSat=54938 maxSat=54958
11.13/5.79	c flip 230000 nbSat=54987 maxSat=55023
11.53/5.93	c flip 240000 nbSat=54996 maxSat=55023
11.73/6.07	c flip 250000 nbSat=55012 maxSat=55034
12.13/6.25	c flip 0 nbSat=50661 maxSat=55034
12.52/6.47	c flip 10000 nbSat=54561 maxSat=55034
13.12/6.72	c flip 20000 nbSat=55449 maxSat=55449
13.52/6.97	c flip 30000 nbSat=55819 maxSat=55842
14.12/7.21	c flip 40000 nbSat=55985 maxSat=56041
14.51/7.47	c flip 50000 nbSat=56153 maxSat=56182
15.11/7.72	c flip 60000 nbSat=56270 maxSat=56309
15.51/7.99	c flip 70000 nbSat=56304 maxSat=56351
16.11/8.24	c flip 80000 nbSat=56346 maxSat=56369
16.51/8.50	c flip 90000 nbSat=56339 maxSat=56406
17.11/8.77	c flip 100000 nbSat=56358 maxSat=56419
17.70/9.04	c flip 110000 nbSat=56416 maxSat=56453
18.30/9.32	c flip 120000 nbSat=56436 maxSat=56498
18.90/9.61	c flip 130000 nbSat=56524 maxSat=56536
19.51/9.91	c flip 140000 nbSat=56494 maxSat=56553
20.10/10.21	c flip 150000 nbSat=56545 maxSat=56582
20.50/10.50	c flip 160000 nbSat=56595 maxSat=56628
21.10/10.77	c flip 170000 nbSat=56603 maxSat=56628
21.71/11.05	c flip 180000 nbSat=56586 maxSat=56630
22.30/11.32	c flip 190000 nbSat=56588 maxSat=56645
22.90/11.60	c flip 200000 nbSat=56615 maxSat=56656
22.90/11.61	c nbDecision=10000 #clauses=59575
23.30/11.88	c flip 210000 nbSat=56623 maxSat=56661
23.90/12.17	c flip 220000 nbSat=56655 maxSat=56685
24.49/12.45	c flip 230000 nbSat=56638 maxSat=56713
25.09/12.75	c flip 240000 nbSat=56672 maxSat=56713
25.69/13.04	c flip 250000 nbSat=56682 maxSat=56717
26.48/13.40	c flip 0 nbSat=53344 maxSat=56729
27.08/13.74	c flip 10000 nbSat=57166 maxSat=57166
27.88/14.15	c flip 20000 nbSat=58142 maxSat=58145
28.68/14.59	c flip 30000 nbSat=58578 maxSat=58588
29.68/15.04	c flip 40000 nbSat=58752 maxSat=58765
30.67/15.53	c flip 50000 nbSat=58791 maxSat=58853
31.47/15.99	c flip 60000 nbSat=58896 maxSat=58936
32.48/16.45	c flip 70000 nbSat=59016 maxSat=59073
33.47/16.92	c flip 80000 nbSat=59109 maxSat=59137
34.27/17.39	c flip 90000 nbSat=59074 maxSat=59139
35.27/17.88	c flip 100000 nbSat=59136 maxSat=59157
36.27/18.36	c flip 110000 nbSat=59209 maxSat=59218
37.26/18.85	c flip 120000 nbSat=59247 maxSat=59266
38.26/19.33	c flip 130000 nbSat=59244 maxSat=59292
39.27/19.82	c flip 140000 nbSat=59247 maxSat=59292
40.26/20.32	c flip 150000 nbSat=59233 maxSat=59292
41.26/20.80	c flip 160000 nbSat=59206 maxSat=59319
42.25/21.32	c flip 170000 nbSat=59232 maxSat=59319
43.25/21.82	c flip 180000 nbSat=59270 maxSat=59319
44.24/22.32	c flip 190000 nbSat=59270 maxSat=59319
45.24/22.81	c flip 200000 nbSat=59312 maxSat=59359
46.24/23.33	c flip 210000 nbSat=59311 maxSat=59368
47.24/23.81	c flip 220000 nbSat=59319 maxSat=59368
48.24/24.31	c flip 230000 nbSat=59311 maxSat=59368
49.23/24.80	c flip 240000 nbSat=59323 maxSat=59383
50.03/25.28	c flip 250000 nbSat=59329 maxSat=59383
51.22/25.83	c flip 0 nbSat=57093 maxSat=59398
52.42/26.46	c flip 10000 nbSat=61090 maxSat=61092
53.81/27.17	c flip 20000 nbSat=61937 maxSat=61960
55.40/27.93	c flip 30000 nbSat=62378 maxSat=62420
56.80/28.67	c flip 40000 nbSat=62564 maxSat=62582
58.40/29.43	c flip 50000 nbSat=62606 maxSat=62688
60.00/30.22	c flip 60000 nbSat=62714 maxSat=62764
61.59/31.02	c flip 70000 nbSat=62715 maxSat=62779
62.39/31.44	c nbDecision=20000 #clauses=65443
63.20/31.89	c flip 80000 nbSat=62813 maxSat=62878
65.19/32.84	c flip 90000 nbSat=62892 maxSat=62961
66.98/33.77	c flip 100000 nbSat=62927 maxSat=62978
68.78/34.65	c flip 110000 nbSat=62912 maxSat=63007
70.57/35.57	c flip 120000 nbSat=62945 maxSat=63020
72.37/36.47	c flip 130000 nbSat=62974 maxSat=63020
74.17/37.36	c flip 140000 nbSat=62977 maxSat=63085
75.96/38.26	c flip 150000 nbSat=62967 maxSat=63085
77.76/39.13	c flip 160000 nbSat=62992 maxSat=63085
79.35/39.99	c flip 170000 nbSat=62974 maxSat=63098
81.15/40.84	c flip 180000 nbSat=63050 maxSat=63098
82.95/41.71	c flip 190000 nbSat=63074 maxSat=63107
84.55/42.52	c flip 200000 nbSat=63015 maxSat=63114
86.33/43.43	c flip 210000 nbSat=63055 maxSat=63114
88.13/44.30	c flip 220000 nbSat=63072 maxSat=63114
89.92/45.21	c flip 230000 nbSat=63081 maxSat=63129
91.73/46.12	c flip 240000 nbSat=63030 maxSat=63129
93.31/46.96	c flip 250000 nbSat=63091 maxSat=63129
95.31/47.91	c flip 0 nbSat=62169 maxSat=63182
97.31/48.92	c flip 10000 nbSat=66021 maxSat=66021
99.50/50.04	c flip 20000 nbSat=66959 maxSat=66963
102.10/51.32	c flip 30000 nbSat=67396 maxSat=67411
104.49/52.56	c flip 40000 nbSat=67525 maxSat=67564
107.28/53.97	c flip 50000 nbSat=67675 maxSat=67745
110.07/55.36	c flip 60000 nbSat=67753 maxSat=67851
113.26/56.90	c flip 70000 nbSat=67810 maxSat=67863
116.25/58.40	c flip 80000 nbSat=67850 maxSat=67892
119.25/59.96	c flip 90000 nbSat=67934 maxSat=67947
120.45/60.56	c nbDecision=30000 #clauses=71239
122.65/61.64	c flip 100000 nbSat=67891 maxSat=67978
125.83/63.20	c flip 110000 nbSat=67963 maxSat=67998
128.83/64.76	c flip 120000 nbSat=68022 maxSat=68038
132.02/66.36	c flip 130000 nbSat=67968 maxSat=68040
135.41/68.03	c flip 140000 nbSat=68017 maxSat=68045
138.40/69.56	c flip 150000 nbSat=68014 maxSat=68048
141.40/71.08	c flip 160000 nbSat=67978 maxSat=68048
144.60/72.62	c flip 170000 nbSat=68070 maxSat=68073
147.59/74.15	c flip 180000 nbSat=68040 maxSat=68076
150.18/75.47	c flip 190000 nbSat=68036 maxSat=68076
152.78/76.76	c flip 200000 nbSat=68102 maxSat=68110
155.76/78.22	c flip 210000 nbSat=68115 maxSat=68138
158.56/79.67	c flip 220000 nbSat=68092 maxSat=68162
161.56/81.14	c flip 230000 nbSat=68093 maxSat=68162
164.55/82.65	c flip 240000 nbSat=68164 maxSat=68181
167.34/84.05	c flip 250000 nbSat=68077 maxSat=68198
170.34/85.51	c flip 0 nbSat=68675 maxSat=68198
173.53/87.17	c flip 10000 nbSat=72529 maxSat=72532
177.71/89.27	c flip 20000 nbSat=73429 maxSat=73437
182.30/91.57	c flip 30000 nbSat=73815 maxSat=73844
186.69/93.75	c flip 40000 nbSat=73943 maxSat=73953
191.48/96.11	c flip 50000 nbSat=74130 maxSat=74149
193.28/97.09	c nbDecision=40000 #clauses=77026
196.47/98.65	c flip 60000 nbSat=74256 maxSat=74286
201.85/101.40	c flip 70000 nbSat=74286 maxSat=74329
207.24/104.06	c flip 80000 nbSat=74332 maxSat=74373
213.22/107.04	c flip 90000 nbSat=74410 maxSat=74462
219.02/109.95	c flip 100000 nbSat=74343 maxSat=74462
224.60/112.76	c flip 110000 nbSat=74431 maxSat=74498
230.00/115.44	c flip 120000 nbSat=74479 maxSat=74517
235.18/118.05	c flip 130000 nbSat=74498 maxSat=74523
240.97/120.90	c flip 140000 nbSat=74556 maxSat=74582
246.75/123.81	c flip 150000 nbSat=74493 maxSat=74582
251.95/126.44	c flip 160000 nbSat=74572 maxSat=74599
257.34/129.14	c flip 170000 nbSat=74562 maxSat=74608
262.53/131.71	c flip 180000 nbSat=74455 maxSat=74608
267.90/134.46	c flip 190000 nbSat=74490 maxSat=74608
273.49/137.24	c flip 200000 nbSat=74552 maxSat=74608
276.88/138.94	c nbDecision=50000 #clauses=82865
278.68/139.80	c flip 210000 nbSat=74552 maxSat=74608
283.66/142.38	c flip 220000 nbSat=74531 maxSat=74608
289.06/145.06	c flip 230000 nbSat=74625 maxSat=74650
294.43/147.73	c flip 240000 nbSat=74584 maxSat=74656
299.42/150.29	c flip 250000 nbSat=74565 maxSat=74656
305.21/153.15	c flip 0 nbSat=78458 maxSat=74656
311.00/156.08	c flip 10000 nbSat=82527 maxSat=82527
318.78/159.96	c flip 20000 nbSat=83390 maxSat=83401
327.36/164.24	c flip 30000 nbSat=83754 maxSat=83784
336.15/168.62	c flip 40000 nbSat=83994 maxSat=84012
345.33/173.23	c flip 50000 nbSat=84107 maxSat=84153
345.72/173.44	c nbDecision=60000 #clauses=88813
354.10/177.67	c flip 60000 nbSat=84206 maxSat=84247
362.87/182.01	c flip 70000 nbSat=84248 maxSat=84265
371.65/186.41	c flip 80000 nbSat=84349 maxSat=84399
380.23/190.73	c flip 90000 nbSat=84386 maxSat=84439
388.61/194.92	c flip 100000 nbSat=84383 maxSat=84439
397.19/199.22	c flip 110000 nbSat=84376 maxSat=84452
405.98/203.60	c flip 120000 nbSat=84509 maxSat=84529
414.76/208.04	c flip 130000 nbSat=84485 maxSat=84548
424.14/212.75	c flip 140000 nbSat=84515 maxSat=84571
430.52/215.93	c nbDecision=70000 #clauses=94500
433.11/217.21	c flip 150000 nbSat=84445 maxSat=84571
442.10/221.74	c flip 160000 nbSat=84427 maxSat=84571
451.27/226.34	c flip 170000 nbSat=84545 maxSat=84571
460.06/230.76	c flip 180000 nbSat=84519 maxSat=84571
469.03/235.27	c flip 190000 nbSat=84590 maxSat=84591
478.40/239.99	c flip 200000 nbSat=84557 maxSat=84613
487.78/244.63	c flip 210000 nbSat=84540 maxSat=84613
496.77/249.18	c flip 220000 nbSat=84558 maxSat=84613
506.14/253.87	c flip 230000 nbSat=84659 maxSat=84671
515.72/258.63	c flip 240000 nbSat=84647 maxSat=84693
525.30/263.43	c flip 250000 nbSat=84635 maxSat=84702
531.69/266.62	c nbDecision=80000 #clauses=100505
535.67/268.63	c flip 0 nbSat=93852 maxSat=84702
546.64/274.18	c flip 10000 nbSat=97775 maxSat=97796
559.42/280.59	c flip 20000 nbSat=98707 maxSat=98707
573.18/287.47	c flip 30000 nbSat=99038 maxSat=99073
587.15/294.43	c flip 40000 nbSat=99256 maxSat=99276
601.71/301.71	c flip 50000 nbSat=99339 maxSat=99359
616.89/309.34	c flip 60000 nbSat=99501 maxSat=99517
632.24/317.02	c flip 70000 nbSat=99524 maxSat=99570
647.22/324.55	c flip 80000 nbSat=99620 maxSat=99633
651.20/326.59	c nbDecision=90000 #clauses=106400
661.77/331.81	c flip 90000 nbSat=99659 maxSat=99711
677.14/339.58	c flip 100000 nbSat=99727 maxSat=99734
693.90/347.98	c flip 110000 nbSat=99705 maxSat=99770
710.27/356.13	c flip 120000 nbSat=99689 maxSat=99770
725.22/363.63	c flip 130000 nbSat=99666 maxSat=99770
741.39/371.77	c flip 140000 nbSat=99833 maxSat=99843
758.75/380.45	c flip 150000 nbSat=99779 maxSat=99843
774.52/388.36	c flip 160000 nbSat=99787 maxSat=99843
788.88/395.52	c nbDecision=100000 #clauses=112409
791.07/396.68	c flip 170000 nbSat=99786 maxSat=99871
807.24/404.72	c flip 180000 nbSat=99845 maxSat=99871
823.59/412.93	c flip 190000 nbSat=99856 maxSat=99907
840.35/421.38	c flip 200000 nbSat=99866 maxSat=99950
856.72/429.51	c flip 210000 nbSat=99838 maxSat=99950
873.29/437.89	c flip 220000 nbSat=99825 maxSat=99950
890.44/446.46	c flip 230000 nbSat=99847 maxSat=99950
906.40/454.45	c flip 240000 nbSat=99765 maxSat=99950
920.78/461.61	c flip 250000 nbSat=99742 maxSat=99950
936.73/469.61	c flip 0 nbSat=111063 maxSat=99950
944.10/473.32	c nbDecision=110000 #clauses=118249
952.10/477.32	c flip 10000 nbSat=115013 maxSat=115023
972.25/487.45	c flip 20000 nbSat=115920 maxSat=115962
993.40/498.10	c flip 30000 nbSat=116354 maxSat=116358
1016.74/509.77	c flip 40000 nbSat=116544 maxSat=116582
1040.28/521.53	c flip 50000 nbSat=116670 maxSat=116700
1064.43/533.63	c flip 60000 nbSat=116809 maxSat=116830
1090.76/546.89	c flip 70000 nbSat=116786 maxSat=116844
1115.90/559.43	c flip 80000 nbSat=116892 maxSat=116934
1134.27/568.63	c nbDecision=120000 #clauses=124106
1141.65/572.32	c flip 90000 nbSat=116918 maxSat=117009
1167.98/585.55	c flip 100000 nbSat=116980 maxSat=117009
1192.92/598.07	c flip 110000 nbSat=116972 maxSat=117030

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/node13/watcher-328288-1173109815 -o ROOT/results/node13/solver-328288-1173109815 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328288-1173109815/ornithorynque /tmp/evaluation/328288-1173109815/instance-328288-1173109815.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.87 1.98 1.91 3/77 23093
/proc/meminfo: memFree=1409720/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=23220 CPUtime=0
/proc/23093/stat : 23093 (ornithorynque) R 23091 23093 22584 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 330935935 23777280 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269754600721 0 0 4096 0 0 0 0 17 1 0 0
/proc/23093/statm: 5805 267 220 42 0 45 0

[startup+0.087286 s]
/proc/loadavg: 1.87 1.98 1.91 3/77 23093
/proc/meminfo: memFree=1409720/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=26096 CPUtime=0.08
/proc/23093/stat : 23093 (ornithorynque) R 23091 23093 22584 0 -1 4194304 1232 0 0 0 8 0 0 0 18 0 1 0 330935935 26722304 1160 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269757092577 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23093/statm: 6524 1160 377 42 0 776 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26096

[startup+0.102286 s]
/proc/loadavg: 1.87 1.98 1.91 3/77 23093
/proc/meminfo: memFree=1409720/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=26880 CPUtime=0.09
/proc/23093/stat : 23093 (ornithorynque) R 23091 23093 22584 0 -1 4194304 1425 0 0 0 9 0 0 0 18 0 1 0 330935935 27525120 1288 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269757092577 0 0 4096 1088 0 0 0 17 1 0 0
/proc/23093/statm: 6720 1289 377 42 0 972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26880

[startup+0.301322 s]
/proc/loadavg: 1.87 1.98 1.91 3/77 23093
/proc/meminfo: memFree=1409720/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=54632 CPUtime=0.36
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 3362 0 0 0 35 1 0 0 19 0 3 0 330935935 55943168 3074 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 13658 3074 387 42 0 7910 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54632

[startup+0.702376 s]
/proc/loadavg: 1.87 1.98 1.91 3/77 23093
/proc/meminfo: memFree=1409720/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=54764 CPUtime=1.16
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 3398 0 0 0 115 1 0 0 19 0 3 0 330935935 56078336 3110 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 13691 3110 387 42 0 7943 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54764

[startup+1.50148 s]
/proc/loadavg: 1.87 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1398496/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=55024 CPUtime=2.75
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 3458 0 0 0 274 1 0 0 19 0 3 0 330935935 56344576 3170 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 13756 3170 387 42 0 8008 0
[pid=23093/tid=23095] ppid=23091 vsize=55024 CPUtime=1.26
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 168 0 0 0 126 0 0 0 25 0 3 0 330935958 56344576 3170 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314341 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=55024 CPUtime=1.25
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 2 0 0 0 125 0 0 0 25 0 3 0 330935958 56344576 3170 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 55024

[startup+3.1017 s]
/proc/loadavg: 1.87 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1398048/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=57056 CPUtime=5.94
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 3861 0 0 0 593 1 0 0 19 0 3 0 330935935 58425344 3573 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 14264 3573 387 42 0 8516 0
[pid=23093/tid=23095] ppid=23091 vsize=57056 CPUtime=2.86
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 256 0 0 0 286 0 0 0 21 0 3 0 330935958 58425344 3573 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=57056 CPUtime=2.85
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 317 0 0 0 285 0 0 0 21 0 3 0 330935958 58425344 3573 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283791 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 57056

[startup+6.30112 s]
/proc/loadavg: 1.88 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1395808/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=60460 CPUtime=12.32
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 4722 0 0 0 1230 2 0 0 19 0 3 0 330935935 61911040 4434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 15115 4434 387 42 0 9367 0
[pid=23093/tid=23095] ppid=23091 vsize=60460 CPUtime=6.05
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 515 0 0 0 605 0 0 0 25 0 3 0 330935958 61911040 4434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=60460 CPUtime=6.03
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 919 0 0 0 603 0 0 0 17 0 3 0 330935958 61911040 4434 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 60460

[startup+12.702 s]
/proc/loadavg: 1.89 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1391528/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=62508 CPUtime=25.09
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 5138 0 0 0 2506 3 0 0 19 0 3 0 330935935 64008192 4850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 15627 4850 387 42 0 9879 0
[pid=23093/tid=23095] ppid=23091 vsize=62508 CPUtime=12.46
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 931 0 0 0 1245 1 0 0 25 0 3 0 330935958 64008192 4850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4312023 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=62508 CPUtime=12.39
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 919 0 0 0 1239 0 0 0 25 0 3 0 330935958 64008192 4850 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241016 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 62508

[startup+25.5027 s]
/proc/loadavg: 1.91 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1385640/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=68208 CPUtime=50.62
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 6596 0 0 0 5057 5 0 0 19 0 3 0 330935935 69844992 6308 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 17052 6308 387 42 0 11304 0
[pid=23093/tid=23095] ppid=23091 vsize=68208 CPUtime=25.25
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 1571 0 0 0 2523 2 0 0 25 0 3 0 330935958 69844992 6308 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=68208 CPUtime=25.13
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 1737 0 0 0 2512 1 0 0 25 0 3 0 330935958 69844992 6308 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 68208

[startup+51.1021 s]
/proc/loadavg: 1.94 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1370600/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=85612 CPUtime=101.7
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 10604 0 0 0 10161 9 0 0 19 0 3 0 330935935 87666688 10058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 21403 10058 387 42 0 15655 0
[pid=23093/tid=23095] ppid=23091 vsize=85612 CPUtime=50.84
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 2641 0 0 0 5079 5 0 0 25 0 3 0 330935958 87666688 10058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=85612 CPUtime=50.61
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 4675 0 0 0 5059 2 0 0 25 0 3 0 330935958 87666688 10058 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284385 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 85612

[startup+102.307 s]
/proc/loadavg: 1.97 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1357480/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=99184 CPUtime=203.86
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 13840 0 0 0 20374 12 0 0 19 0 3 0 330935935 101564416 13294 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 24796 13294 387 42 0 19048 0
[pid=23093/tid=23095] ppid=23091 vsize=99184 CPUtime=102.04
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 3968 0 0 0 10196 8 0 0 25 0 3 0 330935958 101564416 13294 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=99184 CPUtime=101.59
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 6584 0 0 0 10156 3 0 0 25 0 3 0 330935958 101564416 13294 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 99184

[startup+162.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1338728/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=119648 CPUtime=323.57
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 18542 0 0 0 32340 17 0 0 19 0 3 0 330935935 122519552 17996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 29912 17996 387 42 0 24164 0
[pid=23093/tid=23095] ppid=23091 vsize=119648 CPUtime=162.01
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 5818 0 0 0 16190 11 0 0 25 0 3 0 330935958 122519552 17996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314334 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=119648 CPUtime=161.32
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 9436 0 0 0 16128 4 0 0 25 0 3 0 330935958 122519552 17996 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 119648

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1332392/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=125792 CPUtime=443.29
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 20089 0 0 0 44309 20 0 0 19 0 3 0 330935935 128811008 19543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 31448 19543 387 42 0 25700 0
[pid=23093/tid=23095] ppid=23091 vsize=125792 CPUtime=221.99
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 7365 0 0 0 22185 14 0 0 25 0 3 0 330935958 128811008 19543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=125792 CPUtime=221.06
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 9436 0 0 0 22102 4 0 0 25 0 3 0 330935958 128811008 19543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (KiB) 125792

[startup+282.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1309800/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=151324 CPUtime=563.02
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 25761 0 0 0 56276 26 0 0 19 0 3 0 330935935 154955776 25215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 37831 25215 387 42 0 32083 0
[pid=23093/tid=23095] ppid=23091 vsize=151324 CPUtime=281.98
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 8812 0 0 0 28180 18 0 0 25 0 3 0 330935958 154955776 25215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=151324 CPUtime=280.8
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 13661 0 0 0 28074 6 0 0 25 0 3 0 330935958 154955776 25215 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.02
Current children cumulated vsize (KiB) 151324

[startup+342.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1304872/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=156444 CPUtime=682.73
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 26964 0 0 0 68244 29 0 0 19 0 3 0 330935935 160198656 26418 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 39111 26418 387 42 0 33363 0
[pid=23093/tid=23095] ppid=23091 vsize=156444 CPUtime=341.96
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 10015 0 0 0 34175 21 0 0 25 0 3 0 330935958 160198656 26418 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=156444 CPUtime=340.54
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 13661 0 0 0 34047 7 0 0 25 0 3 0 330935958 160198656 26418 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 156444

[startup+402.303 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 23096
/proc/meminfo: memFree=1300456/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=160968 CPUtime=802.46
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 28177 0 0 0 80214 32 0 0 19 0 3 0 330935935 164831232 27524 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 40242 27524 387 42 0 34494 0
[pid=23093/tid=23095] ppid=23091 vsize=160968 CPUtime=401.93
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 11228 0 0 0 40170 23 0 0 25 0 3 0 330935958 164831232 27524 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=160968 CPUtime=400.28
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 13661 0 0 0 40021 7 0 0 25 0 3 0 330935958 164831232 27524 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.46
Current children cumulated vsize (KiB) 160968

[startup+462.303 s]
/proc/loadavg: 2.03 2.00 1.91 3/80 23096
/proc/meminfo: memFree=1296360/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=165064 CPUtime=922.17
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 29186 0 0 0 92183 34 0 0 19 0 3 0 330935935 169025536 28533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 41266 28533 387 42 0 35518 0
[pid=23093/tid=23095] ppid=23091 vsize=165064 CPUtime=461.91
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 12237 0 0 0 46166 25 0 0 25 0 3 0 330935958 169025536 28533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=165064 CPUtime=460.01
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 13661 0 0 0 45994 7 0 0 25 0 3 0 330935958 169025536 28533 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.17
Current children cumulated vsize (KiB) 165064

[startup+522.303 s]
/proc/loadavg: 2.01 2.00 1.91 3/80 23096
/proc/meminfo: memFree=1272296/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=192776 CPUtime=1041.88
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 35278 0 0 0 104151 37 0 0 19 0 3 0 330935935 197402624 34542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 48194 34542 387 42 0 42446 0
[pid=23093/tid=23095] ppid=23091 vsize=192776 CPUtime=521.9
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 13030 0 0 0 52163 27 0 0 25 0 3 0 330935958 197402624 34542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=192776 CPUtime=519.75
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 18960 0 0 0 51966 9 0 0 25 0 3 0 330935958 197402624 34542 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.88
Current children cumulated vsize (KiB) 192776

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 23096
/proc/meminfo: memFree=1268840/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=195848 CPUtime=1161.6
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 36126 0 0 0 116121 39 0 0 19 0 3 0 330935935 200548352 35390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 48962 35390 387 42 0 43214 0
[pid=23093/tid=23095] ppid=23091 vsize=195848 CPUtime=581.88
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 13878 0 0 0 58159 29 0 0 25 0 3 0 330935958 200548352 35390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=195848 CPUtime=579.49
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 18960 0 0 0 57940 9 0 0 25 0 3 0 330935958 200548352 35390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241604 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (KiB) 195848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 23096
/proc/meminfo: memFree=1267816/2055920 swapFree=4189164/4192956
[pid=23093] ppid=23091 vsize=196872 CPUtime=1200.12
/proc/23093/stat : 23093 (ornithorynque) S 23091 23093 22584 0 -1 4194304 36385 0 0 0 119972 40 0 0 19 0 3 0 330935935 201596928 35649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 269766127483 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/23093/statm: 49218 35649 387 42 0 43470 0
[pid=23093/tid=23095] ppid=23091 vsize=196872 CPUtime=601.18
/proc/23093/task/23095/stat : 23095 (ornithorynque) R 23091 23093 22584 0 -1 4194368 14137 0 0 0 60088 30 0 0 25 0 3 0 330935958 201596928 35649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=23093/tid=23096] ppid=23091 vsize=196872 CPUtime=598.7
/proc/23093/task/23096/stat : 23096 (ornithorynque) R 23091 23093 22584 0 -1 4194368 18960 0 0 0 59861 9 0 0 25 0 3 0 330935958 201596928 35649 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 196872

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.64
CPU time (s): 1200.17
CPU user time (s): 1199.73
CPU system time (s): 0.431934
CPU usage (%): 199.482
Max. virtual memory (cumulated for all children) (KiB): 196872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.73
system time used= 0.431934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36385
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= 59
involuntary context switches= 22946

runsolver used 0.597909 second user time and 1.61775 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Mar  5 15:50:15 UTC 2007

IDJOB= 328288
IDBENCH= 20196
IDSOLVER= 139
FILE ID= node13/328288-1173109815

PBS_JOBID= 4013931

Free space on /tmp= 66372 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  319199115eec5f04169695cb4210fb35

RANDOM SEED= 332347687

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1410128 kB
Buffers:         38992 kB
Cached:         495356 kB
SwapCached:        404 kB
Active:         352436 kB
Inactive:       233116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1410128 kB
SwapTotal:     4192956 kB
SwapFree:      4189164 kB
Dirty:            1352 kB
Writeback:           0 kB
Mapped:          61132 kB
Slab:            45804 kB
Committed_AS:  1536904 kB
PageTables:       1744 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= 66372 MiB

End job on node13 on Mon Mar  5 16:00:18 UTC 2007