Trace number 328285

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.19 601.643

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
MD5SUM2d55dadc6f2d8f95e2996fe01ffdeeb0
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=47780 maxSat=0
0.36/0.34	c flip 10000 nbSat=51606 maxSat=51632
0.56/0.43	c flip 20000 nbSat=52463 maxSat=52521
0.76/0.52	c flip 30000 nbSat=52871 maxSat=52889
0.96/0.62	c flip 40000 nbSat=53167 maxSat=53185
1.16/0.71	c flip 50000 nbSat=53225 maxSat=53307
1.16/0.79	c flip 60000 nbSat=53386 maxSat=53413
1.36/0.88	c flip 70000 nbSat=53427 maxSat=53461
1.55/0.97	c flip 80000 nbSat=53510 maxSat=53533
1.76/1.06	c flip 90000 nbSat=53546 maxSat=53608
1.96/1.15	c flip 100000 nbSat=53551 maxSat=53631
2.15/1.23	c flip 110000 nbSat=53537 maxSat=53631
2.35/1.32	c flip 120000 nbSat=53622 maxSat=53676
2.55/1.41	c flip 130000 nbSat=53646 maxSat=53692
2.55/1.49	c flip 140000 nbSat=53661 maxSat=53692
2.75/1.58	c flip 150000 nbSat=53683 maxSat=53736
2.95/1.66	c flip 160000 nbSat=53686 maxSat=53736
3.15/1.74	c flip 170000 nbSat=53682 maxSat=53796
3.35/1.83	c flip 180000 nbSat=53697 maxSat=53796
3.55/1.91	c flip 190000 nbSat=53754 maxSat=53796
3.55/2.00	c flip 200000 nbSat=53761 maxSat=53796
3.75/2.08	c flip 210000 nbSat=53728 maxSat=53796
3.96/2.17	c flip 220000 nbSat=53779 maxSat=53802
4.15/2.25	c flip 230000 nbSat=53707 maxSat=53802
4.34/2.34	c flip 240000 nbSat=53797 maxSat=53810
4.54/2.42	c flip 250000 nbSat=53757 maxSat=53810
4.74/2.53	c flip 0 nbSat=48953 maxSat=53810
4.95/2.67	c flip 10000 nbSat=52870 maxSat=53810
5.35/2.81	c flip 20000 nbSat=53793 maxSat=53815
5.55/2.95	c flip 30000 nbSat=54143 maxSat=54174
5.75/3.09	c flip 40000 nbSat=54286 maxSat=54303
6.16/3.24	c flip 50000 nbSat=54403 maxSat=54434
6.35/3.38	c flip 60000 nbSat=54540 maxSat=54570
6.75/3.53	c flip 70000 nbSat=54621 maxSat=54630
6.94/3.67	c flip 80000 nbSat=54653 maxSat=54721
7.34/3.82	c flip 90000 nbSat=54751 maxSat=54766
7.54/3.96	c flip 100000 nbSat=54746 maxSat=54772
7.94/4.10	c flip 110000 nbSat=54767 maxSat=54833
8.14/4.25	c flip 120000 nbSat=54794 maxSat=54854
8.35/4.40	c flip 130000 nbSat=54779 maxSat=54854
8.74/4.54	c flip 140000 nbSat=54807 maxSat=54854
8.94/4.67	c flip 150000 nbSat=54798 maxSat=54854
9.34/4.81	c flip 160000 nbSat=54799 maxSat=54854
9.54/4.95	c flip 170000 nbSat=54822 maxSat=54867
9.74/5.09	c flip 180000 nbSat=54869 maxSat=54890
10.14/5.23	c flip 190000 nbSat=54837 maxSat=54909
10.34/5.37	c flip 200000 nbSat=54904 maxSat=54947
10.74/5.52	c flip 210000 nbSat=54902 maxSat=54947
10.93/5.66	c flip 220000 nbSat=54899 maxSat=54950
11.33/5.81	c flip 230000 nbSat=54860 maxSat=54950
11.53/5.95	c flip 240000 nbSat=54929 maxSat=54957
11.73/6.09	c flip 250000 nbSat=54856 maxSat=54957
12.13/6.27	c flip 0 nbSat=50787 maxSat=54957
12.53/6.49	c flip 10000 nbSat=54685 maxSat=54957
13.13/6.73	c flip 20000 nbSat=55582 maxSat=55583
13.52/6.98	c flip 30000 nbSat=55888 maxSat=55934
14.12/7.25	c flip 40000 nbSat=56098 maxSat=56123
14.72/7.52	c flip 50000 nbSat=56277 maxSat=56298
15.13/7.79	c flip 60000 nbSat=56326 maxSat=56362
15.72/8.06	c flip 70000 nbSat=56355 maxSat=56383
16.32/8.33	c flip 80000 nbSat=56413 maxSat=56433
16.92/8.61	c flip 90000 nbSat=56469 maxSat=56476
17.51/8.90	c flip 100000 nbSat=56447 maxSat=56500
17.91/9.18	c flip 110000 nbSat=56457 maxSat=56520
18.52/9.46	c flip 120000 nbSat=56506 maxSat=56562
19.12/9.75	c flip 130000 nbSat=56535 maxSat=56562
19.72/10.03	c flip 140000 nbSat=56558 maxSat=56586
20.32/10.30	c flip 150000 nbSat=56516 maxSat=56626
20.72/10.56	c flip 160000 nbSat=56551 maxSat=56626
21.31/10.83	c flip 170000 nbSat=56548 maxSat=56627
21.72/11.09	c flip 180000 nbSat=56612 maxSat=56628
22.31/11.33	c flip 190000 nbSat=56633 maxSat=56654
22.71/11.58	c flip 200000 nbSat=56627 maxSat=56677
23.31/11.83	c flip 210000 nbSat=56658 maxSat=56678
23.71/12.09	c flip 220000 nbSat=56626 maxSat=56704
24.10/12.29	c nbDecision=10000 #clauses=59746
24.30/12.36	c flip 230000 nbSat=56690 maxSat=56760
24.90/12.62	c flip 240000 nbSat=56691 maxSat=56760
25.50/12.90	c flip 250000 nbSat=56723 maxSat=56760
26.11/13.25	c flip 0 nbSat=53259 maxSat=56768
26.70/13.59	c flip 10000 nbSat=57360 maxSat=57363
27.50/13.97	c flip 20000 nbSat=58169 maxSat=58172
28.29/14.39	c flip 30000 nbSat=58538 maxSat=58580
29.29/14.83	c flip 40000 nbSat=58732 maxSat=58741
30.09/15.27	c flip 50000 nbSat=58844 maxSat=58889
31.08/15.73	c flip 60000 nbSat=58948 maxSat=58992
31.88/16.18	c flip 70000 nbSat=58985 maxSat=59030
32.88/16.62	c flip 80000 nbSat=58992 maxSat=59062
33.68/17.07	c flip 90000 nbSat=59055 maxSat=59107
34.68/17.53	c flip 100000 nbSat=59022 maxSat=59142
35.67/18.00	c flip 110000 nbSat=59055 maxSat=59168
36.47/18.47	c flip 120000 nbSat=59125 maxSat=59187
37.47/18.92	c flip 130000 nbSat=59187 maxSat=59234
38.27/19.39	c flip 140000 nbSat=59214 maxSat=59247
39.27/19.87	c flip 150000 nbSat=59217 maxSat=59258
40.26/20.34	c flip 160000 nbSat=59228 maxSat=59280
41.26/20.81	c flip 170000 nbSat=59257 maxSat=59306
42.05/21.25	c flip 180000 nbSat=59298 maxSat=59306
42.85/21.69	c flip 190000 nbSat=59290 maxSat=59322
43.85/22.18	c flip 200000 nbSat=59308 maxSat=59335
44.85/22.64	c flip 210000 nbSat=59323 maxSat=59346
45.85/23.11	c flip 220000 nbSat=59312 maxSat=59356
46.64/23.55	c flip 230000 nbSat=59301 maxSat=59356
47.44/23.99	c flip 240000 nbSat=59370 maxSat=59372
48.44/24.46	c flip 250000 nbSat=59332 maxSat=59372
49.64/25.01	c flip 0 nbSat=57583 maxSat=59418
50.84/25.65	c flip 10000 nbSat=61542 maxSat=61549
52.43/26.42	c flip 20000 nbSat=62493 maxSat=62535
53.81/27.19	c flip 30000 nbSat=62803 maxSat=62859
55.41/27.98	c flip 40000 nbSat=63140 maxSat=63168
57.00/28.76	c flip 50000 nbSat=63213 maxSat=63278
57.20/28.88	c nbDecision=20000 #clauses=65549
58.60/29.58	c flip 60000 nbSat=63344 maxSat=63374
60.39/30.42	c flip 70000 nbSat=63408 maxSat=63444
61.99/31.23	c flip 80000 nbSat=63403 maxSat=63452
63.59/32.05	c flip 90000 nbSat=63451 maxSat=63484
65.40/32.96	c flip 100000 nbSat=63531 maxSat=63564
67.19/33.80	c flip 110000 nbSat=63604 maxSat=63638
68.78/34.66	c flip 120000 nbSat=63632 maxSat=63674
70.58/35.55	c flip 130000 nbSat=63574 maxSat=63674
72.37/36.45	c flip 140000 nbSat=63639 maxSat=63674
74.17/37.31	c flip 150000 nbSat=63573 maxSat=63678
75.77/38.14	c flip 160000 nbSat=63652 maxSat=63678
77.36/38.98	c flip 170000 nbSat=63649 maxSat=63678
79.14/39.86	c flip 180000 nbSat=63571 maxSat=63693
80.95/40.78	c flip 190000 nbSat=63589 maxSat=63693
82.94/41.71	c flip 200000 nbSat=63586 maxSat=63700
84.74/42.63	c flip 210000 nbSat=63585 maxSat=63700
86.54/43.54	c flip 220000 nbSat=63526 maxSat=63700
88.33/44.40	c flip 230000 nbSat=63537 maxSat=63700
90.13/45.33	c flip 240000 nbSat=63617 maxSat=63700
92.12/46.33	c flip 250000 nbSat=63585 maxSat=63700
94.12/47.37	c flip 0 nbSat=62639 maxSat=63700
96.31/48.48	c flip 10000 nbSat=66587 maxSat=66588
99.11/49.82	c flip 20000 nbSat=67396 maxSat=67452
101.70/51.17	c flip 30000 nbSat=67905 maxSat=67906
104.70/52.64	c flip 40000 nbSat=68123 maxSat=68126
107.89/54.20	c flip 50000 nbSat=68234 maxSat=68270
110.88/55.74	c flip 60000 nbSat=68366 maxSat=68413
113.88/57.25	c flip 70000 nbSat=68339 maxSat=68413
116.46/58.50	c nbDecision=30000 #clauses=71594
117.06/58.82	c flip 80000 nbSat=68448 maxSat=68468
120.25/60.42	c flip 90000 nbSat=68397 maxSat=68472
123.44/62.00	c flip 100000 nbSat=68431 maxSat=68472
126.63/63.64	c flip 110000 nbSat=68488 maxSat=68548
130.02/65.33	c flip 120000 nbSat=68554 maxSat=68595
133.22/66.97	c flip 130000 nbSat=68563 maxSat=68638
136.61/68.65	c flip 140000 nbSat=68516 maxSat=68638
139.80/70.26	c flip 150000 nbSat=68513 maxSat=68638
142.79/71.78	c flip 160000 nbSat=68554 maxSat=68638
145.99/73.33	c flip 170000 nbSat=68557 maxSat=68638
149.18/74.95	c flip 180000 nbSat=68578 maxSat=68638
152.57/76.60	c flip 190000 nbSat=68638 maxSat=68659
155.38/78.07	c flip 200000 nbSat=68649 maxSat=68691
158.37/79.53	c flip 210000 nbSat=68661 maxSat=68724
161.36/81.08	c flip 220000 nbSat=68671 maxSat=68745
164.55/82.64	c flip 230000 nbSat=68682 maxSat=68745
167.54/84.19	c flip 240000 nbSat=68664 maxSat=68745
170.73/85.76	c flip 250000 nbSat=68647 maxSat=68745
174.32/87.53	c flip 0 nbSat=68994 maxSat=68745
177.91/89.37	c flip 10000 nbSat=72778 maxSat=72785
182.51/91.67	c flip 20000 nbSat=73692 maxSat=73705
187.49/94.18	c flip 30000 nbSat=74125 maxSat=74155
192.89/96.81	c flip 40000 nbSat=74348 maxSat=74380
198.27/99.52	c flip 50000 nbSat=74449 maxSat=74452
202.86/101.83	c nbDecision=40000 #clauses=77670
203.26/102.07	c flip 60000 nbSat=74483 maxSat=74518
209.04/104.92	c flip 70000 nbSat=74549 maxSat=74602
215.02/107.92	c flip 80000 nbSat=74572 maxSat=74610
220.62/110.77	c flip 90000 nbSat=74624 maxSat=74652
226.21/113.54	c flip 100000 nbSat=74777 maxSat=74814
231.80/116.33	c flip 110000 nbSat=74720 maxSat=74814
237.18/119.00	c flip 120000 nbSat=74830 maxSat=74853
242.17/121.54	c flip 130000 nbSat=74824 maxSat=74867
247.56/124.25	c flip 140000 nbSat=74845 maxSat=74888
252.95/126.99	c flip 150000 nbSat=74881 maxSat=74925
258.93/129.94	c flip 160000 nbSat=74867 maxSat=74943
264.71/132.83	c flip 170000 nbSat=74878 maxSat=74943
270.90/135.94	c flip 180000 nbSat=74951 maxSat=74988
277.09/139.06	c flip 190000 nbSat=74864 maxSat=74988
282.27/141.70	c flip 200000 nbSat=74862 maxSat=74988
282.47/141.79	c nbDecision=50000 #clauses=83597
287.86/144.40	c flip 210000 nbSat=74880 maxSat=74988
293.45/147.24	c flip 220000 nbSat=74853 maxSat=74988
299.62/150.34	c flip 230000 nbSat=74836 maxSat=74988
305.82/153.42	c flip 240000 nbSat=74903 maxSat=74988
312.00/156.50	c flip 250000 nbSat=74902 maxSat=74988
318.18/159.64	c flip 0 nbSat=79045 maxSat=74988
325.37/163.23	c flip 10000 nbSat=83020 maxSat=83021
333.75/167.45	c flip 20000 nbSat=83941 maxSat=83941
342.54/171.89	c flip 30000 nbSat=84222 maxSat=84230
351.92/176.58	c flip 40000 nbSat=84450 maxSat=84468
362.28/181.75	c flip 50000 nbSat=84557 maxSat=84558
372.47/186.80	c flip 60000 nbSat=84661 maxSat=84695
383.44/192.35	c nbDecision=60000 #clauses=89553
383.65/192.50	c flip 70000 nbSat=84770 maxSat=84803
394.62/198.00	c flip 80000 nbSat=84787 maxSat=84852
405.19/203.23	c flip 90000 nbSat=84815 maxSat=84853
415.96/208.64	c flip 100000 nbSat=84849 maxSat=84913
426.14/213.74	c flip 110000 nbSat=84869 maxSat=84977
436.53/218.97	c flip 120000 nbSat=84922 maxSat=84977
447.49/224.45	c flip 130000 nbSat=84932 maxSat=84977
458.67/230.00	c flip 140000 nbSat=84952 maxSat=85008
468.85/235.17	c flip 150000 nbSat=84969 maxSat=85008
478.82/240.15	c flip 160000 nbSat=85012 maxSat=85022
489.20/245.32	c flip 170000 nbSat=84931 maxSat=85022
499.57/250.58	c flip 180000 nbSat=85037 maxSat=85065
509.15/255.35	c nbDecision=70000 #clauses=95630
509.54/255.53	c flip 190000 nbSat=85046 maxSat=85087
520.52/261.05	c flip 200000 nbSat=85042 maxSat=85112
532.90/267.28	c flip 210000 nbSat=85044 maxSat=85112
544.66/273.17	c flip 220000 nbSat=84998 maxSat=85112
555.64/278.64	c flip 230000 nbSat=84996 maxSat=85112
566.22/284.00	c flip 240000 nbSat=85032 maxSat=85112
577.58/289.61	c flip 250000 nbSat=85009 maxSat=85112
589.35/295.59	c flip 0 nbSat=93754 maxSat=85112
600.73/301.27	c flip 10000 nbSat=97661 maxSat=97673
604.92/303.35	c nbDecision=80000 #clauses=101438
614.90/308.36	c flip 20000 nbSat=98491 maxSat=98505
630.66/316.26	c flip 30000 nbSat=98888 maxSat=98906
648.02/324.93	c flip 40000 nbSat=99086 maxSat=99112
665.58/333.75	c flip 50000 nbSat=99208 maxSat=99242
684.73/343.34	c flip 60000 nbSat=99315 maxSat=99345
704.49/353.20	c flip 70000 nbSat=99419 maxSat=99466
711.28/356.67	c nbDecision=90000 #clauses=107134
722.84/362.45	c flip 80000 nbSat=99517 maxSat=99548
740.81/371.50	c flip 90000 nbSat=99525 maxSat=99607
757.97/380.09	c flip 100000 nbSat=99569 maxSat=99607
776.33/389.25	c flip 110000 nbSat=99593 maxSat=99653
796.09/399.15	c flip 120000 nbSat=99571 maxSat=99672
815.83/409.06	c flip 130000 nbSat=99602 maxSat=99672
835.39/418.80	c flip 140000 nbSat=99584 maxSat=99672
852.95/427.68	c nbDecision=100000 #clauses=113133
855.15/428.74	c flip 150000 nbSat=99620 maxSat=99675
874.10/438.21	c flip 160000 nbSat=99611 maxSat=99675
892.27/447.33	c flip 170000 nbSat=99594 maxSat=99675
909.42/455.93	c flip 180000 nbSat=99620 maxSat=99698
927.97/465.28	c flip 190000 nbSat=99712 maxSat=99737
946.72/474.68	c flip 200000 nbSat=99745 maxSat=99774
967.09/484.80	c flip 210000 nbSat=99640 maxSat=99779
985.65/494.13	c flip 220000 nbSat=99717 maxSat=99779
1004.80/503.76	c flip 230000 nbSat=99680 maxSat=99779
1017.56/510.15	c nbDecision=110000 #clauses=119114
1024.15/513.44	c flip 240000 nbSat=99660 maxSat=99779
1043.70/523.20	c flip 250000 nbSat=99646 maxSat=99779
1063.86/533.31	c flip 0 nbSat=113698 maxSat=99779
1081.83/542.30	c flip 10000 nbSat=117722 maxSat=117722
1104.36/553.66	c flip 20000 nbSat=118592 maxSat=118597
1127.92/565.40	c flip 30000 nbSat=118969 maxSat=118991
1154.45/578.73	c flip 40000 nbSat=119191 maxSat=119216
1182.19/592.67	c flip 50000 nbSat=119290 maxSat=119325

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/node1/watcher-328285-1173109805 -o ROOT/results/node1/solver-328285-1173109805 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328285-1173109805/ornithorynque /tmp/evaluation/328285-1173109805/instance-328285-1173109805.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.83 1.94 1.90 3/77 13344
/proc/meminfo: memFree=1163184/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=23220 CPUtime=0
/proc/13344/stat : 13344 (ornithorynque) R 13342 13344 12835 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330935614 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259350631536 0 0 4096 0 0 0 0 17 1 0 0
/proc/13344/statm: 5805 266 219 42 0 45 0

[startup+0.048239 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13344
/proc/meminfo: memFree=1163184/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=24828 CPUtime=0.04
/proc/13344/stat : 13344 (ornithorynque) R 13342 13344 12835 0 -1 4194304 857 0 0 0 4 0 0 0 18 0 1 0 330935614 25423872 818 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259353121505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13344/statm: 6207 819 377 42 0 459 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24828

[startup+0.101244 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13344
/proc/meminfo: memFree=1163184/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=26928 CPUtime=0.09
/proc/13344/stat : 13344 (ornithorynque) R 13342 13344 12835 0 -1 4194304 1414 0 0 0 9 0 0 0 18 0 1 0 330935614 27574272 1277 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259353121505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/13344/statm: 6732 1277 377 42 0 984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26928

[startup+0.301278 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13344
/proc/meminfo: memFree=1163184/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=54680 CPUtime=0.36
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 3362 0 0 0 35 1 0 0 19 0 3 0 330935614 55992320 3074 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 13670 3074 387 42 0 7922 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54680

[startup+0.701322 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 13344
/proc/meminfo: memFree=1163184/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=54812 CPUtime=1.16
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 3402 0 0 0 115 1 0 0 19 0 3 0 330935614 56127488 3114 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 13703 3114 387 42 0 7955 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54812

[startup+1.50241 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 13347
/proc/meminfo: memFree=1151960/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=55068 CPUtime=2.75
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 3464 0 0 0 274 1 0 0 19 0 3 0 330935614 56389632 3176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 13767 3176 387 42 0 8019 0
[pid=13344/tid=13346] ppid=13342 vsize=55068 CPUtime=1.26
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 174 0 0 0 126 0 0 0 25 0 3 0 330935637 56389632 3176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=55068 CPUtime=1.26
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 2 0 0 0 126 0 0 0 25 0 3 0 330935637 56389632 3176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283709 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 55068

[startup+3.1016 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 13347
/proc/meminfo: memFree=1151512/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=57516 CPUtime=5.95
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 3876 0 0 0 593 2 0 0 19 0 3 0 330935614 58896384 3588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 14379 3588 387 42 0 8631 0
[pid=13344/tid=13346] ppid=13342 vsize=57516 CPUtime=2.86
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 321 0 0 0 286 0 0 0 21 0 3 0 330935637 58896384 3588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314472 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=57516 CPUtime=2.85
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 267 0 0 0 285 0 0 0 21 0 3 0 330935637 58896384 3588 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 57516

[startup+6.30197 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 13347
/proc/meminfo: memFree=1149144/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=60732 CPUtime=12.33
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 4687 0 0 0 1231 2 0 0 19 0 3 0 330935614 62189568 4399 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 15183 4399 387 42 0 9435 0
[pid=13344/tid=13346] ppid=13342 vsize=60732 CPUtime=6.05
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 571 0 0 0 605 0 0 0 17 0 3 0 330935637 62189568 4399 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4267552 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=60732 CPUtime=6.03
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 828 0 0 0 603 0 0 0 25 0 3 0 330935637 62189568 4399 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 60732

[startup+12.7017 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 13347
/proc/meminfo: memFree=1144928/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=62780 CPUtime=25.1
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 5164 0 0 0 2507 3 0 0 19 0 3 0 330935614 64286720 4876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 15695 4876 387 42 0 9947 0
[pid=13344/tid=13346] ppid=13342 vsize=62780 CPUtime=12.45
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 1048 0 0 0 1244 1 0 0 25 0 3 0 330935637 64286720 4876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=62780 CPUtime=12.41
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 828 0 0 0 1241 0 0 0 25 0 3 0 330935637 64286720 4876 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 62780

[startup+25.5012 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 13347
/proc/meminfo: memFree=1132832/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=74868 CPUtime=50.64
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 8170 0 0 0 5058 6 0 0 19 0 3 0 330935614 76664832 7882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 18717 7882 387 42 0 12969 0
[pid=13344/tid=13346] ppid=13342 vsize=74868 CPUtime=25.25
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 1945 0 0 0 2522 3 0 0 25 0 3 0 330935637 76664832 7882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311171 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=74868 CPUtime=25.14
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 2937 0 0 0 2513 1 0 0 25 0 3 0 330935637 76664832 7882 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241565 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 74868

[startup+51.1012 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 13347
/proc/meminfo: memFree=1121568/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=87820 CPUtime=101.7
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 11223 0 0 0 10160 10 0 0 19 0 3 0 330935614 89927680 10677 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 21955 10677 387 42 0 16207 0
[pid=13344/tid=13346] ppid=13342 vsize=87820 CPUtime=50.84
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 3262 0 0 0 5079 5 0 0 25 0 3 0 330935637 89927680 10677 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=87820 CPUtime=50.61
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 4673 0 0 0 5059 2 0 0 25 0 3 0 330935637 89927680 10677 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 87820

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 13347
/proc/meminfo: memFree=1104928/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=105472 CPUtime=203.86
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 15324 0 0 0 20372 14 0 0 19 0 3 0 330935614 108003328 14778 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 26368 14778 387 42 0 20620 0
[pid=13344/tid=13346] ppid=13342 vsize=105472 CPUtime=102.03
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 5161 0 0 0 10194 9 0 0 25 0 3 0 330935637 108003328 14778 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=105472 CPUtime=101.59
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 6875 0 0 0 10156 3 0 0 25 0 3 0 330935637 108003328 14778 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) 105472

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 13347
/proc/meminfo: memFree=1085280/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=127008 CPUtime=323.58
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 20257 0 0 0 32339 19 0 0 19 0 3 0 330935614 130056192 19711 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 31752 19711 387 42 0 26004 0
[pid=13344/tid=13346] ppid=13342 vsize=127008 CPUtime=162.01
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 6972 0 0 0 16189 12 0 0 25 0 3 0 330935637 130056192 19711 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=127008 CPUtime=161.33
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 9997 0 0 0 16128 5 0 0 25 0 3 0 330935637 130056192 19711 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (KiB) 127008

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 13347
/proc/meminfo: memFree=1078368/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=134176 CPUtime=443.3
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 21957 0 0 0 44308 22 0 0 19 0 3 0 330935614 137396224 21411 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 33544 21411 387 42 0 27796 0
[pid=13344/tid=13346] ppid=13342 vsize=134176 CPUtime=221.99
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 8672 0 0 0 22184 15 0 0 25 0 3 0 330935637 137396224 21411 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311133 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=134176 CPUtime=221.07
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 9997 0 0 0 22102 5 0 0 25 0 3 0 330935637 137396224 21411 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285252 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (KiB) 134176

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13347
/proc/meminfo: memFree=1072032/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=140452 CPUtime=563.03
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 23556 0 0 0 56279 24 0 0 19 0 3 0 330935614 143822848 23010 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 35113 23010 387 42 0 29365 0
[pid=13344/tid=13346] ppid=13342 vsize=140452 CPUtime=281.97
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 10271 0 0 0 28180 17 0 0 25 0 3 0 330935637 143822848 23010 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4310848 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=140452 CPUtime=280.81
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 9997 0 0 0 28076 5 0 0 25 0 3 0 330935637 143822848 23010 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242143 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.03
Current children cumulated vsize (KiB) 140452

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13347
/proc/meminfo: memFree=1045856/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=169760 CPUtime=682.73
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 30099 0 0 0 68244 29 0 0 19 0 3 0 330935614 173834240 29553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 42440 29553 387 42 0 36692 0
[pid=13344/tid=13346] ppid=13342 vsize=169760 CPUtime=341.96
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 11691 0 0 0 34176 20 0 0 25 0 3 0 330935637 173834240 29553 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=169760 CPUtime=340.54
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 15120 0 0 0 34046 8 0 0 25 0 3 0 330935637 173834240 29553 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) 169760

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13347
/proc/meminfo: memFree=1041248/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=175308 CPUtime=802.47
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 31333 0 0 0 80214 33 0 0 19 0 3 0 330935614 179515392 30680 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 43827 30680 387 42 0 38079 0
[pid=13344/tid=13346] ppid=13342 vsize=175308 CPUtime=401.94
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 12925 0 0 0 40171 23 0 0 25 0 3 0 330935637 179515392 30680 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314334 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=175308 CPUtime=400.29
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 15120 0 0 0 40021 8 0 0 25 0 3 0 330935637 179515392 30680 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.47
Current children cumulated vsize (KiB) 175308

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 13347
/proc/meminfo: memFree=1036704/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=179404 CPUtime=922.19
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 32465 0 0 0 92184 35 0 0 19 0 3 0 330935614 183709696 31812 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 44851 31812 387 42 0 39103 0
[pid=13344/tid=13346] ppid=13342 vsize=179404 CPUtime=461.92
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 14057 0 0 0 46167 25 0 0 25 0 3 0 330935637 183709696 31812 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=179404 CPUtime=460.03
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 15120 0 0 0 45995 8 0 0 25 0 3 0 330935637 183709696 31812 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.19
Current children cumulated vsize (KiB) 179404

[startup+522.302 s]
/proc/loadavg: 2.08 2.00 1.92 3/80 13347
/proc/meminfo: memFree=1032288/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=183500 CPUtime=1041.91
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 33558 0 0 0 104154 37 0 0 19 0 3 0 330935614 187904000 32905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 45875 32905 387 42 0 40127 0
[pid=13344/tid=13346] ppid=13342 vsize=183500 CPUtime=521.9
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 15150 0 0 0 52163 27 0 0 25 0 3 0 330935637 187904000 32905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311028 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=183500 CPUtime=519.76
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 15120 0 0 0 51968 8 0 0 25 0 3 0 330935637 187904000 32905 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.91
Current children cumulated vsize (KiB) 183500

[startup+582.302 s]
/proc/loadavg: 2.03 2.00 1.92 3/80 13347
/proc/meminfo: memFree=1002784/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=220852 CPUtime=1161.63
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 41494 0 0 0 116121 42 0 0 19 0 3 0 330935614 226152448 40296 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 55213 40296 387 42 0 49465 0
[pid=13344/tid=13346] ppid=13342 vsize=220852 CPUtime=581.88
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 16082 0 0 0 58159 29 0 0 25 0 3 0 330935637 226152448 40296 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=220852 CPUtime=579.51
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 22124 0 0 0 57940 11 0 0 25 0 3 0 330935637 226152448 40296 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.63
Current children cumulated vsize (KiB) 220852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.02 2.00 1.92 3/80 13347
/proc/meminfo: memFree=1001696/2055920 swapFree=4159124/4192956
[pid=13344] ppid=13342 vsize=221876 CPUtime=1200.15
/proc/13344/stat : 13344 (ornithorynque) S 13342 13344 12835 0 -1 4194304 41741 0 0 0 119972 43 0 0 19 0 3 0 330935614 227201024 40543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259362156411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/13344/statm: 55469 40543 387 42 0 49721 0
[pid=13344/tid=13346] ppid=13342 vsize=221876 CPUtime=601.18
/proc/13344/task/13346/stat : 13346 (ornithorynque) R 13342 13344 12835 0 -1 4194368 16329 0 0 0 60089 29 0 0 25 0 3 0 330935637 227201024 40543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=13344/tid=13347] ppid=13342 vsize=221876 CPUtime=598.71
/proc/13344/task/13347/stat : 13347 (ornithorynque) R 13342 13344 12835 0 -1 4194368 22124 0 0 0 59860 11 0 0 25 0 3 0 330935637 227201024 40543 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 221876

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.643
CPU time (s): 1200.19
CPU user time (s): 1199.73
CPU system time (s): 0.45793
CPU usage (%): 199.486
Max. virtual memory (cumulated for all children) (KiB): 221876

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

runsolver used 0.541917 second user time and 1.67674 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Mar  5 15:50:05 UTC 2007

IDJOB= 328285
IDBENCH= 20193
IDSOLVER= 139
FILE ID= node1/328285-1173109805

PBS_JOBID= 4013928

Free space on /tmp= 66521 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  2d55dadc6f2d8f95e2996fe01ffdeeb0

RANDOM SEED= 674638630

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.230
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.230
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:       1163656 kB
Buffers:         45896 kB
Cached:         750636 kB
SwapCached:      13688 kB
Active:          55628 kB
Inactive:       763616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1163656 kB
SwapTotal:     4192956 kB
SwapFree:      4159124 kB
Dirty:            1276 kB
Writeback:           0 kB
Mapped:          29732 kB
Slab:            58628 kB
Committed_AS:  1090744 kB
PageTables:       1740 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= 66521 MiB

End job on node1 on Mon Mar  5 16:00:09 UTC 2007