Trace number 328283

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

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
MD5SUM812435d2caa9f07edd6d7a2f7421f82b
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.13	c ...done
0.09/0.13	c nbVar=13000 nbClause=54600
0.09/0.17	c nbVar=13000 nbClause=54600
0.19/0.22	c complete search running
0.19/0.22	c local search running
0.19/0.23	c flip 0 nbSat=47704 maxSat=0
0.37/0.33	c flip 10000 nbSat=51603 maxSat=51604
0.57/0.42	c flip 20000 nbSat=52645 maxSat=52645
0.77/0.51	c flip 30000 nbSat=53098 maxSat=53102
0.97/0.60	c flip 40000 nbSat=53193 maxSat=53269
0.97/0.69	c flip 50000 nbSat=53414 maxSat=53426
1.17/0.78	c flip 60000 nbSat=53469 maxSat=53499
1.37/0.87	c flip 70000 nbSat=53523 maxSat=53592
1.57/0.95	c flip 80000 nbSat=53592 maxSat=53609
1.77/1.05	c flip 90000 nbSat=53640 maxSat=53687
1.97/1.13	c flip 100000 nbSat=53648 maxSat=53687
2.17/1.22	c flip 110000 nbSat=53649 maxSat=53699
2.37/1.30	c flip 120000 nbSat=53644 maxSat=53712
2.56/1.40	c flip 130000 nbSat=53750 maxSat=53767
2.56/1.48	c flip 140000 nbSat=53732 maxSat=53784
2.76/1.57	c flip 150000 nbSat=53756 maxSat=53791
2.96/1.65	c flip 160000 nbSat=53694 maxSat=53791
3.15/1.73	c flip 170000 nbSat=53743 maxSat=53791
3.35/1.82	c flip 180000 nbSat=53794 maxSat=53822
3.55/1.90	c flip 190000 nbSat=53780 maxSat=53837
3.55/1.98	c flip 200000 nbSat=53769 maxSat=53837
3.75/2.07	c flip 210000 nbSat=53749 maxSat=53837
3.96/2.15	c flip 220000 nbSat=53773 maxSat=53837
4.16/2.24	c flip 230000 nbSat=53783 maxSat=53837
4.35/2.32	c flip 240000 nbSat=53775 maxSat=53837
4.55/2.41	c flip 250000 nbSat=53694 maxSat=53837
4.76/2.52	c flip 0 nbSat=48862 maxSat=53837
4.96/2.66	c flip 10000 nbSat=52758 maxSat=53837
5.35/2.81	c flip 20000 nbSat=53630 maxSat=53837
5.55/2.97	c flip 30000 nbSat=54014 maxSat=54035
5.95/3.13	c flip 40000 nbSat=54263 maxSat=54305
6.16/3.29	c flip 50000 nbSat=54432 maxSat=54448
6.55/3.45	c flip 60000 nbSat=54445 maxSat=54470
6.95/3.62	c flip 70000 nbSat=54511 maxSat=54558
7.15/3.78	c flip 80000 nbSat=54656 maxSat=54660
7.55/3.95	c flip 90000 nbSat=54632 maxSat=54692
7.95/4.12	c flip 100000 nbSat=54654 maxSat=54734
8.15/4.29	c flip 110000 nbSat=54727 maxSat=54753
8.55/4.46	c flip 120000 nbSat=54702 maxSat=54766
8.94/4.62	c flip 130000 nbSat=54718 maxSat=54773
9.14/4.79	c flip 140000 nbSat=54740 maxSat=54790
9.54/4.95	c flip 150000 nbSat=54809 maxSat=54844
9.94/5.11	c flip 160000 nbSat=54860 maxSat=54900
10.14/5.27	c flip 170000 nbSat=54815 maxSat=54920
10.54/5.43	c flip 180000 nbSat=54793 maxSat=54920
10.74/5.58	c flip 190000 nbSat=54805 maxSat=54920
11.13/5.73	c flip 200000 nbSat=54795 maxSat=54920
11.33/5.88	c flip 210000 nbSat=54833 maxSat=54920
11.73/6.04	c flip 220000 nbSat=54845 maxSat=54920
11.93/6.19	c flip 230000 nbSat=54907 maxSat=54920
12.33/6.34	c flip 240000 nbSat=54899 maxSat=54934
12.74/6.50	c flip 250000 nbSat=54854 maxSat=54972
13.13/6.70	c flip 0 nbSat=50849 maxSat=54972
13.53/6.92	c flip 10000 nbSat=54795 maxSat=54972
13.93/7.16	c flip 20000 nbSat=55616 maxSat=55618
14.33/7.40	c flip 30000 nbSat=55986 maxSat=56002
14.93/7.66	c flip 40000 nbSat=56217 maxSat=56248
15.53/7.92	c flip 50000 nbSat=56349 maxSat=56349
15.93/8.19	c flip 60000 nbSat=56464 maxSat=56517
16.53/8.46	c flip 70000 nbSat=56538 maxSat=56542
17.13/8.74	c flip 80000 nbSat=56592 maxSat=56615
17.72/9.02	c flip 90000 nbSat=56593 maxSat=56659
18.32/9.31	c flip 100000 nbSat=56642 maxSat=56661
18.72/9.58	c flip 110000 nbSat=56652 maxSat=56691
19.33/9.84	c flip 120000 nbSat=56700 maxSat=56704
19.92/10.12	c flip 130000 nbSat=56656 maxSat=56744
20.32/10.40	c flip 140000 nbSat=56787 maxSat=56794
20.92/10.68	c flip 150000 nbSat=56739 maxSat=56796
21.52/10.95	c flip 160000 nbSat=56804 maxSat=56846
22.12/11.23	c flip 170000 nbSat=56768 maxSat=56846
22.72/11.50	c flip 180000 nbSat=56796 maxSat=56872
23.12/11.77	c flip 190000 nbSat=56833 maxSat=56872
23.52/11.98	c nbDecision=10000 #clauses=59552
23.72/12.03	c flip 200000 nbSat=56915 maxSat=56938
24.11/12.28	c flip 210000 nbSat=56863 maxSat=56938
24.71/12.54	c flip 220000 nbSat=56846 maxSat=56938
25.11/12.79	c flip 230000 nbSat=56802 maxSat=56938
25.71/13.03	c flip 240000 nbSat=56823 maxSat=56938
26.11/13.29	c flip 250000 nbSat=56845 maxSat=56938
26.90/13.60	c flip 0 nbSat=53291 maxSat=56948
27.50/13.93	c flip 10000 nbSat=57136 maxSat=57137
28.31/14.34	c flip 20000 nbSat=58078 maxSat=58084
29.10/14.75	c flip 30000 nbSat=58490 maxSat=58544
29.90/15.14	c flip 40000 nbSat=58773 maxSat=58788
30.69/15.58	c flip 50000 nbSat=58850 maxSat=58926
31.69/16.01	c flip 60000 nbSat=58944 maxSat=58968
32.50/16.42	c flip 70000 nbSat=59057 maxSat=59065
33.29/16.85	c flip 80000 nbSat=59026 maxSat=59090
34.09/17.28	c flip 90000 nbSat=59045 maxSat=59090
35.08/17.73	c flip 100000 nbSat=59109 maxSat=59189
35.88/18.18	c flip 110000 nbSat=59118 maxSat=59189
36.89/18.61	c flip 120000 nbSat=59211 maxSat=59220
37.68/19.07	c flip 130000 nbSat=59158 maxSat=59240
38.68/19.51	c flip 140000 nbSat=59162 maxSat=59240
39.47/19.96	c flip 150000 nbSat=59185 maxSat=59240
40.47/20.41	c flip 160000 nbSat=59257 maxSat=59263
41.27/20.88	c flip 170000 nbSat=59269 maxSat=59299
42.27/21.35	c flip 180000 nbSat=59314 maxSat=59328
43.27/21.81	c flip 190000 nbSat=59302 maxSat=59372
44.07/22.26	c flip 200000 nbSat=59282 maxSat=59372
45.07/22.71	c flip 210000 nbSat=59315 maxSat=59372
45.87/23.14	c flip 220000 nbSat=59258 maxSat=59372
46.86/23.60	c flip 230000 nbSat=59320 maxSat=59372
47.66/24.06	c flip 240000 nbSat=59309 maxSat=59372
48.66/24.55	c flip 250000 nbSat=59290 maxSat=59372
49.85/25.14	c flip 0 nbSat=56846 maxSat=59372
51.04/25.76	c flip 10000 nbSat=60660 maxSat=60664
52.44/26.46	c flip 20000 nbSat=61581 maxSat=61608
54.04/27.22	c flip 30000 nbSat=61929 maxSat=61974
55.43/27.97	c flip 40000 nbSat=62170 maxSat=62215
56.83/28.69	c flip 50000 nbSat=62335 maxSat=62336
58.22/29.39	c flip 60000 nbSat=62451 maxSat=62458
59.83/30.13	c flip 70000 nbSat=62508 maxSat=62532
61.42/30.91	c flip 80000 nbSat=62599 maxSat=62611
63.02/31.71	c flip 90000 nbSat=62589 maxSat=62611
64.62/32.54	c flip 100000 nbSat=62606 maxSat=62643
66.21/33.37	c flip 110000 nbSat=62653 maxSat=62696
67.61/34.02	c nbDecision=20000 #clauses=65649
67.81/34.16	c flip 120000 nbSat=62695 maxSat=62757
69.41/34.95	c flip 130000 nbSat=62693 maxSat=62757
71.00/35.78	c flip 140000 nbSat=62711 maxSat=62757
72.60/36.55	c flip 150000 nbSat=62673 maxSat=62769
74.20/37.35	c flip 160000 nbSat=62724 maxSat=62769
75.79/38.17	c flip 170000 nbSat=62752 maxSat=62806
77.59/39.00	c flip 180000 nbSat=62784 maxSat=62806
78.98/39.78	c flip 190000 nbSat=62766 maxSat=62824
80.58/40.56	c flip 200000 nbSat=62844 maxSat=62874
82.17/41.32	c flip 210000 nbSat=62862 maxSat=62913
83.57/42.09	c flip 220000 nbSat=62843 maxSat=62913
85.18/42.87	c flip 230000 nbSat=62837 maxSat=62913
86.77/43.64	c flip 240000 nbSat=62832 maxSat=62913
88.36/44.43	c flip 250000 nbSat=62819 maxSat=62913
90.36/45.40	c flip 0 nbSat=61782 maxSat=62913
92.34/46.42	c flip 10000 nbSat=65725 maxSat=65725
94.54/47.51	c flip 20000 nbSat=66533 maxSat=66538
96.93/48.72	c flip 30000 nbSat=67041 maxSat=67068
99.53/50.02	c flip 40000 nbSat=67213 maxSat=67269
101.93/51.30	c flip 50000 nbSat=67431 maxSat=67439
104.52/52.52	c flip 60000 nbSat=67579 maxSat=67579
107.12/53.86	c flip 70000 nbSat=67618 maxSat=67638
109.91/55.23	c flip 80000 nbSat=67626 maxSat=67657
112.90/56.73	c flip 90000 nbSat=67632 maxSat=67676
115.50/58.06	c nbDecision=30000 #clauses=71574
115.70/58.20	c flip 100000 nbSat=67642 maxSat=67691
118.89/59.70	c flip 110000 nbSat=67711 maxSat=67713
121.68/61.15	c flip 120000 nbSat=67725 maxSat=67748
124.88/62.71	c flip 130000 nbSat=67745 maxSat=67791
127.87/64.24	c flip 140000 nbSat=67786 maxSat=67819
131.06/65.83	c flip 150000 nbSat=67789 maxSat=67832
134.45/67.52	c flip 160000 nbSat=67723 maxSat=67855
137.64/69.20	c flip 170000 nbSat=67758 maxSat=67855
141.24/70.90	c flip 180000 nbSat=67834 maxSat=67866
144.43/72.52	c flip 190000 nbSat=67823 maxSat=67877
147.62/74.12	c flip 200000 nbSat=67831 maxSat=67905
150.81/75.72	c flip 210000 nbSat=67772 maxSat=67905
153.21/76.98	c nbDecision=40000 #clauses=77354
153.60/77.14	c flip 220000 nbSat=67731 maxSat=67905
156.60/78.65	c flip 230000 nbSat=67816 maxSat=67905
159.40/80.02	c flip 240000 nbSat=67788 maxSat=67905
161.99/81.34	c flip 250000 nbSat=67834 maxSat=67905
164.97/82.82	c flip 0 nbSat=72147 maxSat=67905
168.57/84.66	c flip 10000 nbSat=76039 maxSat=76044
173.17/86.99	c flip 20000 nbSat=76885 maxSat=76918
178.55/89.68	c flip 30000 nbSat=77309 maxSat=77314
184.13/92.48	c flip 40000 nbSat=77464 maxSat=77519
190.11/95.48	c flip 50000 nbSat=77626 maxSat=77640
196.10/98.49	c flip 60000 nbSat=77679 maxSat=77738
202.49/101.64	c flip 70000 nbSat=77794 maxSat=77797
203.49/102.19	c nbDecision=50000 #clauses=83452
208.29/104.60	c flip 80000 nbSat=77826 maxSat=77882
214.27/107.56	c flip 90000 nbSat=77870 maxSat=77889
220.05/110.40	c flip 100000 nbSat=77915 maxSat=77957
225.85/113.34	c flip 110000 nbSat=77891 maxSat=77961
231.83/116.38	c flip 120000 nbSat=77953 maxSat=77995
237.40/119.18	c flip 130000 nbSat=78023 maxSat=78030
243.79/122.37	c flip 140000 nbSat=78027 maxSat=78077
249.99/125.49	c flip 150000 nbSat=78051 maxSat=78103
256.17/128.51	c flip 160000 nbSat=78028 maxSat=78103
262.35/131.69	c flip 170000 nbSat=78080 maxSat=78118
268.74/134.82	c flip 180000 nbSat=78146 maxSat=78169
269.54/135.28	c nbDecision=60000 #clauses=89267
275.32/138.17	c flip 190000 nbSat=78085 maxSat=78169
281.91/141.46	c flip 200000 nbSat=78077 maxSat=78169
288.29/144.66	c flip 210000 nbSat=78070 maxSat=78169
294.28/147.67	c flip 220000 nbSat=78072 maxSat=78169
300.27/150.70	c flip 230000 nbSat=78068 maxSat=78169
306.85/153.93	c flip 240000 nbSat=78098 maxSat=78169
313.44/157.27	c flip 250000 nbSat=78073 maxSat=78169
320.83/160.94	c flip 0 nbSat=85822 maxSat=78169
329.20/165.14	c flip 10000 nbSat=89799 maxSat=89800
339.58/170.33	c flip 20000 nbSat=90654 maxSat=90654
350.55/175.84	c flip 30000 nbSat=91078 maxSat=91125
358.93/180.06	c nbDecision=70000 #clauses=95222
362.12/181.70	c flip 40000 nbSat=91271 maxSat=91361
374.49/187.81	c flip 50000 nbSat=91460 maxSat=91485
387.67/194.42	c flip 60000 nbSat=91581 maxSat=91632
402.63/201.90	c flip 70000 nbSat=91632 maxSat=91673
417.00/209.12	c flip 80000 nbSat=91734 maxSat=91759
430.56/215.96	c flip 90000 nbSat=91816 maxSat=91827
445.53/223.45	c flip 100000 nbSat=91768 maxSat=91864
459.49/230.40	c flip 110000 nbSat=91794 maxSat=91864
472.26/236.87	c flip 120000 nbSat=91811 maxSat=91864
485.44/243.44	c flip 130000 nbSat=91780 maxSat=91864
490.23/245.87	c nbDecision=80000 #clauses=101399
499.41/250.40	c flip 140000 nbSat=91823 maxSat=91867
512.97/257.25	c flip 150000 nbSat=91864 maxSat=91869
526.14/263.85	c flip 160000 nbSat=91875 maxSat=91894
539.91/270.77	c flip 170000 nbSat=91885 maxSat=91927
553.27/277.41	c flip 180000 nbSat=91930 maxSat=91971
566.85/284.28	c flip 190000 nbSat=91966 maxSat=91979
580.02/290.82	c flip 200000 nbSat=91962 maxSat=91980
591.79/296.79	c flip 210000 nbSat=91993 maxSat=91997
603.96/302.84	c flip 220000 nbSat=91899 maxSat=91997
616.54/309.13	c flip 230000 nbSat=91943 maxSat=91997
629.71/315.77	c flip 240000 nbSat=91944 maxSat=91997
641.48/321.68	c nbDecision=90000 #clauses=107595
642.48/322.10	c flip 250000 nbSat=91860 maxSat=91997
657.24/329.59	c flip 0 nbSat=101243 maxSat=91997
672.00/336.98	c flip 10000 nbSat=105335 maxSat=105335
689.77/345.87	c flip 20000 nbSat=106160 maxSat=106171
708.92/355.48	c flip 30000 nbSat=106500 maxSat=106573
729.07/365.58	c flip 40000 nbSat=106733 maxSat=106772
751.02/376.50	c flip 50000 nbSat=106894 maxSat=106902
772.78/387.41	c flip 60000 nbSat=106900 maxSat=106957
795.32/398.73	c flip 70000 nbSat=106968 maxSat=107037
817.67/409.99	c flip 80000 nbSat=107021 maxSat=107086
824.46/413.37	c nbDecision=100000 #clauses=113784
840.82/421.53	c flip 90000 nbSat=107014 maxSat=107086
863.56/432.90	c flip 100000 nbSat=107022 maxSat=107092
886.31/444.35	c flip 110000 nbSat=107007 maxSat=107098
909.25/455.83	c flip 120000 nbSat=107073 maxSat=107112
931.81/467.11	c flip 130000 nbSat=107150 maxSat=107239
955.96/479.29	c flip 140000 nbSat=107104 maxSat=107239
978.10/490.34	c flip 150000 nbSat=107235 maxSat=107309
999.84/501.29	c flip 160000 nbSat=107194 maxSat=107309
1022.99/512.83	c nbDecision=110000 #clauses=119926
1024.00/513.32	c flip 170000 nbSat=107266 maxSat=107309
1047.34/525.02	c flip 180000 nbSat=107222 maxSat=107309
1071.48/537.12	c flip 190000 nbSat=107271 maxSat=107319
1094.63/548.76	c flip 200000 nbSat=107201 maxSat=107319
1115.98/559.46	c flip 210000 nbSat=107286 maxSat=107319
1138.54/570.75	c flip 220000 nbSat=107285 maxSat=107335
1162.28/582.66	c flip 230000 nbSat=107279 maxSat=107363
1186.21/594.63	c flip 240000 nbSat=107289 maxSat=107363

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/node76/watcher-328283-1173109660 -o ROOT/results/node76/solver-328283-1173109660 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328283-1173109660/ornithorynque /tmp/evaluation/328283-1173109660/instance-328283-1173109660.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/69 28272
/proc/meminfo: memFree=1315976/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=23232 CPUtime=0
/proc/28272/stat : 28272 (ornithorynque) R 28270 28272 27763 0 -1 4194304 287 0 0 0 0 0 0 0 20 0 1 0 330924321 23789568 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206841088725 0 0 4096 0 0 0 0 17 1 0 0
/proc/28272/statm: 5808 267 220 42 0 45 0

[startup+0.0565219 s]
/proc/loadavg: 1.83 1.94 1.90 3/69 28272
/proc/meminfo: memFree=1315976/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=25308 CPUtime=0.05
/proc/28272/stat : 28272 (ornithorynque) R 28270 28272 27763 0 -1 4194304 991 0 0 0 5 0 0 0 20 0 1 0 330924321 25915392 920 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206843581399 0 0 4096 1088 0 0 0 17 1 0 0
/proc/28272/statm: 6327 920 373 42 0 577 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25308

[startup+0.101526 s]
/proc/loadavg: 1.83 1.94 1.90 3/69 28272
/proc/meminfo: memFree=1315976/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=27016 CPUtime=0.09
/proc/28272/stat : 28272 (ornithorynque) R 28270 28272 27763 0 -1 4194304 1472 0 0 0 9 0 0 0 20 0 1 0 330924321 27664384 1336 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206843581399 0 0 4096 1088 0 0 0 17 1 0 0
/proc/28272/statm: 6754 1337 373 42 0 1004 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27016

[startup+0.301565 s]
/proc/loadavg: 1.83 1.94 1.90 3/69 28272
/proc/meminfo: memFree=1315976/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=54632 CPUtime=0.37
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 3358 0 0 0 36 1 0 0 21 0 3 0 330924321 55943168 3071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 13658 3071 384 42 0 7908 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 54632

[startup+0.701604 s]
/proc/loadavg: 1.83 1.94 1.90 3/69 28272
/proc/meminfo: memFree=1315976/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=54764 CPUtime=1.17
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 3398 0 0 0 116 1 0 0 21 0 3 0 330924321 56078336 3111 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 13691 3111 384 42 0 7941 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 54764

[startup+1.5027 s]
/proc/loadavg: 1.83 1.94 1.90 3/72 28275
/proc/meminfo: memFree=1304752/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=55028 CPUtime=2.76
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 3465 0 0 0 275 1 0 0 21 0 3 0 330924321 56348672 3178 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 13757 3178 384 42 0 8007 0
[pid=28272/tid=28274] ppid=28270 vsize=55028 CPUtime=1.27
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 179 0 0 0 127 0 0 0 25 0 3 0 330924343 56348672 3178 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=55028 CPUtime=1.26
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 3 0 0 0 126 0 0 0 25 0 3 0 330924343 56348672 3178 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 55028

[startup+3.10188 s]
/proc/loadavg: 1.83 1.94 1.90 3/72 28275
/proc/meminfo: memFree=1304176/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=57852 CPUtime=5.95
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 3956 0 0 0 593 2 0 0 21 0 3 0 330924321 59240448 3669 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 14463 3669 384 42 0 8713 0
[pid=28272/tid=28274] ppid=28270 vsize=57852 CPUtime=2.87
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 286 0 0 0 287 0 0 0 21 0 3 0 330924343 59240448 3669 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=57852 CPUtime=2.85
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 387 0 0 0 285 0 0 0 22 0 3 0 330924343 59240448 3669 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) 57852

[startup+6.30125 s]
/proc/loadavg: 1.85 1.94 1.90 3/72 28275
/proc/meminfo: memFree=1301616/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=58876 CPUtime=12.33
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 4217 0 0 0 1231 2 0 0 21 0 3 0 330924321 60289024 3930 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 14719 3930 384 42 0 8969 0
[pid=28272/tid=28274] ppid=28270 vsize=58876 CPUtime=6.06
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 547 0 0 0 606 0 0 0 25 0 3 0 330924343 60289024 3930 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=58876 CPUtime=6.04
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 387 0 0 0 604 0 0 0 25 0 3 0 330924343 60289024 3930 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238075 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 58876

[startup+12.702 s]
/proc/loadavg: 1.86 1.94 1.90 3/72 28275
/proc/meminfo: memFree=1297200/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=63136 CPUtime=25.11
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 5278 0 0 0 2507 4 0 0 21 0 3 0 330924321 64651264 4991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 15784 4991 384 42 0 10034 0
[pid=28272/tid=28274] ppid=28270 vsize=63136 CPUtime=12.46
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 988 0 0 0 1245 1 0 0 25 0 3 0 330924343 64651264 4991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311145 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=63136 CPUtime=12.41
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 1007 0 0 0 1241 0 0 0 25 0 3 0 330924343 64651264 4991 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240905 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 63136

[startup+25.5015 s]
/proc/loadavg: 1.89 1.94 1.90 3/72 28275
/proc/meminfo: memFree=1286832/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=73432 CPUtime=50.64
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 7844 0 0 0 5059 5 0 0 21 0 3 0 330924321 75194368 7557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 18358 7557 384 42 0 12608 0
[pid=28272/tid=28274] ppid=28270 vsize=73432 CPUtime=25.26
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 1562 0 0 0 2524 2 0 0 25 0 3 0 330924343 75194368 7557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311185 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=73432 CPUtime=25.15
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 2999 0 0 0 2514 1 0 0 20 0 3 0 330924343 75194368 7557 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241569 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 73432

[startup+51.1014 s]
/proc/loadavg: 1.93 1.94 1.90 3/72 28275
/proc/meminfo: memFree=1275184/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=86228 CPUtime=101.72
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 11006 0 0 0 10164 8 0 0 21 0 3 0 330924321 88297472 10461 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 21557 10461 384 42 0 15807 0
[pid=28272/tid=28274] ppid=28270 vsize=86228 CPUtime=50.86
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 2630 0 0 0 5082 4 0 0 25 0 3 0 330924343 88297472 10461 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311262 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=86228 CPUtime=50.63
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 5093 0 0 0 5061 2 0 0 25 0 3 0 330924343 88297472 10461 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 86228

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/72 28275
/proc/meminfo: memFree=1254704/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=108908 CPUtime=203.89
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 16085 0 0 0 20377 12 0 0 21 0 3 0 330924321 111521792 15540 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 27227 15540 384 42 0 21477 0
[pid=28272/tid=28274] ppid=28270 vsize=108908 CPUtime=102.04
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 4475 0 0 0 10198 6 0 0 25 0 3 0 330924343 111521792 15540 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311229 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=108908 CPUtime=101.61
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 8327 0 0 0 10158 3 0 0 25 0 3 0 330924343 111521792 15540 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 108908

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/72 28275
/proc/meminfo: memFree=1216496/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=152180 CPUtime=323.62
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 25615 0 0 0 32344 18 0 0 21 0 3 0 330924321 155832320 25070 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 38045 25070 384 42 0 32295 0
[pid=28272/tid=28274] ppid=28270 vsize=152180 CPUtime=162.03
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 6511 0 0 0 16195 8 0 0 25 0 3 0 330924343 155832320 25070 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=152180 CPUtime=161.36
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 15821 0 0 0 16128 8 0 0 25 0 3 0 330924343 155832320 25070 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 152180

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/72 28275
/proc/meminfo: memFree=1216368/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=152180 CPUtime=443.33
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 25635 0 0 0 44315 18 0 0 21 0 3 0 330924321 155832320 25090 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 38045 25090 384 42 0 32295 0
[pid=28272/tid=28274] ppid=28270 vsize=152180 CPUtime=222.01
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 6531 0 0 0 22193 8 0 0 25 0 3 0 330924343 155832320 25090 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=152180 CPUtime=221.09
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 15821 0 0 0 22101 8 0 0 25 0 3 0 330924343 155832320 25090 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.33
Current children cumulated vsize (KiB) 152180

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1216304/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=152180 CPUtime=563.06
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 25650 0 0 0 56288 18 0 0 21 0 3 0 330924321 155832320 25105 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 38045 25105 384 42 0 32295 0
[pid=28272/tid=28274] ppid=28270 vsize=152180 CPUtime=281.99
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 6546 0 0 0 28191 8 0 0 25 0 3 0 330924343 155832320 25105 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=152180 CPUtime=280.83
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 15821 0 0 0 28075 8 0 0 25 0 3 0 330924343 155832320 25105 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 152180

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1184688/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=189724 CPUtime=682.78
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 33633 0 0 0 68255 23 0 0 21 0 3 0 330924321 194277376 32981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 47431 32981 384 42 0 41681 0
[pid=28272/tid=28274] ppid=28270 vsize=189724 CPUtime=341.98
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 7170 0 0 0 34189 9 0 0 25 0 3 0 330924343 194277376 32981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289062 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=189724 CPUtime=340.58
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 23180 0 0 0 34046 12 0 0 25 0 3 0 330924343 194277376 32981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 189724

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1184368/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=189988 CPUtime=802.5
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 33731 0 0 0 80227 23 0 0 21 0 3 0 330924321 194547712 33079 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 47497 33079 384 42 0 41747 0
[pid=28272/tid=28274] ppid=28270 vsize=189988 CPUtime=401.97
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 7268 0 0 0 40187 10 0 0 25 0 3 0 330924343 194547712 33079 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311163 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=189988 CPUtime=400.32
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 23180 0 0 0 40020 12 0 0 25 0 3 0 330924343 194547712 33079 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.5
Current children cumulated vsize (KiB) 189988

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1179376/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=194872 CPUtime=922.22
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 34967 0 0 0 92197 25 0 0 21 0 3 0 330924321 199548928 34315 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 48718 34315 384 42 0 42968 0
[pid=28272/tid=28274] ppid=28270 vsize=194872 CPUtime=461.95
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 8504 0 0 0 46183 12 0 0 25 0 3 0 330924343 199548928 34315 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=194872 CPUtime=460.05
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 23180 0 0 0 45993 12 0 0 25 0 3 0 330924343 199548928 34315 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240947 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.22
Current children cumulated vsize (KiB) 194872

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1174320/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=200020 CPUtime=1041.96
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 36245 0 0 0 104169 27 0 0 21 0 3 0 330924321 204820480 35593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 50005 35593 384 42 0 44255 0
[pid=28272/tid=28274] ppid=28270 vsize=200020 CPUtime=521.93
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 9782 0 0 0 52180 13 0 0 25 0 3 0 330924343 204820480 35593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=200020 CPUtime=519.79
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 23180 0 0 0 51967 12 0 0 25 0 3 0 330924343 204820480 35593 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.96
Current children cumulated vsize (KiB) 200020

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1169136/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=205168 CPUtime=1161.68
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 37517 0 0 0 116140 28 0 0 21 0 3 0 330924321 210092032 36865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 51292 36865 384 42 0 45542 0
[pid=28272/tid=28274] ppid=28270 vsize=205168 CPUtime=581.92
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 11054 0 0 0 58178 14 0 0 25 0 3 0 330924343 210092032 36865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=205168 CPUtime=579.53
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 23180 0 0 0 57941 12 0 0 25 0 3 0 330924343 210092032 36865 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.68
Current children cumulated vsize (KiB) 205168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 1.99 1.97 1.91 3/72 28275
/proc/meminfo: memFree=1167408/2055888 swapFree=4087252/4096564
[pid=28272] ppid=28270 vsize=206752 CPUtime=1200.2
/proc/28272/stat : 28272 (ornithorynque) S 28270 28272 27763 0 -1 4194304 37943 0 0 0 119991 29 0 0 21 0 3 0 330924321 211714048 37291 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 206852616187 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/28272/statm: 51688 37291 384 42 0 45938 0
[pid=28272/tid=28274] ppid=28270 vsize=206752 CPUtime=601.22
/proc/28272/task/28274/stat : 28274 (ornithorynque) R 28270 28272 27763 0 -1 4194368 11480 0 0 0 60107 15 0 0 25 0 3 0 330924343 211714048 37291 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4256041 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=28272/tid=28275] ppid=28270 vsize=206752 CPUtime=598.75
/proc/28272/task/28275/stat : 28275 (ornithorynque) R 28270 28272 27763 0 -1 4194368 23180 0 0 0 59863 12 0 0 25 0 3 0 330924343 211714048 37291 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 206752

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.25
CPU user time (s): 1199.93
CPU system time (s): 0.314952
CPU usage (%): 199.495
Max. virtual memory (cumulated for all children) (KiB): 206752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.314952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37943
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= 68
involuntary context switches= 9304

runsolver used 0.610907 second user time and 1.60476 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Mon Mar  5 15:47:40 UTC 2007

IDJOB= 328283
IDBENCH= 20191
IDSOLVER= 139
FILE ID= node76/328283-1173109660

PBS_JOBID= 4013926

Free space on /tmp= 66648 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  812435d2caa9f07edd6d7a2f7421f82b

RANDOM SEED= 434973297

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.219
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	: 6006.18
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.219
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1316448 kB
Buffers:         31856 kB
Cached:         632320 kB
SwapCached:       2836 kB
Active:         172656 kB
Inactive:       501180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1316448 kB
SwapTotal:     4096564 kB
SwapFree:      4087252 kB
Dirty:            1256 kB
Writeback:           0 kB
Mapped:          15540 kB
Slab:            52004 kB
Committed_AS:  1143196 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66648 MiB

End job on node76 on Mon Mar  5 15:57:44 UTC 2007