Trace number 328279

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ornithorynque 0.1 alpha? (TO) 1200.15 601.641

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
MD5SUMf6337b9ef083936c6b3e5af26c3dff66
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=47522 maxSat=0
0.36/0.34	c flip 10000 nbSat=51812 maxSat=51816
0.56/0.43	c flip 20000 nbSat=52612 maxSat=52614
0.76/0.52	c flip 30000 nbSat=52976 maxSat=53048
0.96/0.61	c flip 40000 nbSat=53243 maxSat=53281
1.16/0.70	c flip 50000 nbSat=53369 maxSat=53424
1.16/0.79	c flip 60000 nbSat=53469 maxSat=53500
1.36/0.88	c flip 70000 nbSat=53536 maxSat=53586
1.56/0.96	c flip 80000 nbSat=53543 maxSat=53598
1.77/1.05	c flip 90000 nbSat=53539 maxSat=53601
1.96/1.14	c flip 100000 nbSat=53596 maxSat=53601
2.16/1.22	c flip 110000 nbSat=53527 maxSat=53628
2.36/1.31	c flip 120000 nbSat=53603 maxSat=53667
2.36/1.40	c flip 130000 nbSat=53637 maxSat=53687
2.56/1.48	c flip 140000 nbSat=53636 maxSat=53706
2.76/1.57	c flip 150000 nbSat=53672 maxSat=53736
2.95/1.65	c flip 160000 nbSat=53629 maxSat=53736
3.15/1.73	c flip 170000 nbSat=53639 maxSat=53736
3.35/1.82	c flip 180000 nbSat=53700 maxSat=53736
3.55/1.90	c flip 190000 nbSat=53672 maxSat=53741
3.55/1.99	c flip 200000 nbSat=53669 maxSat=53741
3.75/2.07	c flip 210000 nbSat=53711 maxSat=53774
3.96/2.16	c flip 220000 nbSat=53735 maxSat=53774
4.16/2.25	c flip 230000 nbSat=53795 maxSat=53806
4.35/2.33	c flip 240000 nbSat=53746 maxSat=53839
4.55/2.41	c flip 250000 nbSat=53772 maxSat=53846
4.75/2.53	c flip 0 nbSat=48913 maxSat=53856
4.94/2.67	c flip 10000 nbSat=52768 maxSat=53856
5.34/2.82	c flip 20000 nbSat=53634 maxSat=53856
5.54/2.96	c flip 30000 nbSat=54074 maxSat=54089
5.94/3.11	c flip 40000 nbSat=54270 maxSat=54324
6.15/3.25	c flip 50000 nbSat=54446 maxSat=54475
6.54/3.40	c flip 60000 nbSat=54476 maxSat=54499
6.73/3.56	c flip 70000 nbSat=54541 maxSat=54587
7.13/3.70	c flip 80000 nbSat=54558 maxSat=54638
7.33/3.84	c flip 90000 nbSat=54629 maxSat=54696
7.54/3.99	c flip 100000 nbSat=54707 maxSat=54744
7.94/4.13	c flip 110000 nbSat=54715 maxSat=54777
8.14/4.27	c flip 120000 nbSat=54708 maxSat=54777
8.54/4.42	c flip 130000 nbSat=54756 maxSat=54795
8.73/4.56	c flip 140000 nbSat=54791 maxSat=54830
8.93/4.70	c flip 150000 nbSat=54715 maxSat=54830
9.33/4.84	c flip 160000 nbSat=54733 maxSat=54830
9.53/4.98	c flip 170000 nbSat=54759 maxSat=54830
9.93/5.12	c flip 180000 nbSat=54823 maxSat=54830
10.13/5.26	c flip 190000 nbSat=54821 maxSat=54865
10.33/5.40	c flip 200000 nbSat=54852 maxSat=54871
10.74/5.54	c flip 210000 nbSat=54865 maxSat=54906
10.93/5.69	c flip 220000 nbSat=54852 maxSat=54913
11.33/5.83	c flip 230000 nbSat=54817 maxSat=54913
11.53/5.97	c flip 240000 nbSat=54866 maxSat=54913
11.93/6.13	c flip 250000 nbSat=54814 maxSat=54925
12.32/6.32	c flip 0 nbSat=50695 maxSat=54925
12.73/6.54	c flip 10000 nbSat=54635 maxSat=54925
13.12/6.77	c flip 20000 nbSat=55413 maxSat=55425
13.72/7.01	c flip 30000 nbSat=55908 maxSat=55912
14.12/7.25	c flip 40000 nbSat=56150 maxSat=56156
14.72/7.50	c flip 50000 nbSat=56318 maxSat=56337
15.12/7.78	c flip 60000 nbSat=56365 maxSat=56441
15.71/8.04	c flip 70000 nbSat=56433 maxSat=56456
16.11/8.29	c flip 80000 nbSat=56424 maxSat=56474
16.71/8.54	c flip 90000 nbSat=56529 maxSat=56570
17.12/8.79	c flip 100000 nbSat=56593 maxSat=56607
17.71/9.05	c flip 110000 nbSat=56640 maxSat=56652
18.31/9.30	c flip 120000 nbSat=56584 maxSat=56662
18.71/9.56	c flip 130000 nbSat=56571 maxSat=56667
19.31/9.82	c flip 140000 nbSat=56520 maxSat=56667
19.70/10.08	c flip 150000 nbSat=56556 maxSat=56667
20.30/10.33	c flip 160000 nbSat=56622 maxSat=56667
20.70/10.59	c flip 170000 nbSat=56633 maxSat=56669
21.30/10.84	c flip 180000 nbSat=56619 maxSat=56669
21.90/11.11	c flip 190000 nbSat=56633 maxSat=56673
22.30/11.37	c flip 200000 nbSat=56583 maxSat=56673
22.90/11.62	c flip 210000 nbSat=56594 maxSat=56673
23.30/11.87	c flip 220000 nbSat=56626 maxSat=56685
23.90/12.13	c flip 230000 nbSat=56647 maxSat=56701
24.29/12.38	c flip 240000 nbSat=56663 maxSat=56739
24.49/12.48	c nbDecision=10000 #clauses=59551
24.89/12.63	c flip 250000 nbSat=56667 maxSat=56739
25.49/12.95	c flip 0 nbSat=52732 maxSat=56751
26.28/13.33	c flip 10000 nbSat=56785 maxSat=56785
26.88/13.69	c flip 20000 nbSat=57692 maxSat=57736
27.88/14.10	c flip 30000 nbSat=58114 maxSat=58143
28.68/14.55	c flip 40000 nbSat=58326 maxSat=58366
29.68/15.02	c flip 50000 nbSat=58490 maxSat=58490
30.49/15.45	c flip 60000 nbSat=58511 maxSat=58540
31.28/15.89	c flip 70000 nbSat=58594 maxSat=58610
32.28/16.32	c flip 80000 nbSat=58547 maxSat=58610
33.07/16.74	c flip 90000 nbSat=58599 maxSat=58656
34.07/17.22	c flip 100000 nbSat=58656 maxSat=58695
35.06/17.71	c flip 110000 nbSat=58652 maxSat=58700
36.06/18.22	c flip 120000 nbSat=58594 maxSat=58700
37.07/18.72	c flip 130000 nbSat=58638 maxSat=58700
38.06/19.22	c flip 140000 nbSat=58665 maxSat=58723
39.07/19.70	c flip 150000 nbSat=58695 maxSat=58748
39.86/20.16	c flip 160000 nbSat=58763 maxSat=58806
40.86/20.60	c flip 170000 nbSat=58743 maxSat=58806
41.65/21.07	c flip 180000 nbSat=58786 maxSat=58806
42.65/21.55	c flip 190000 nbSat=58789 maxSat=58855
43.65/22.04	c flip 200000 nbSat=58720 maxSat=58858
44.65/22.50	c flip 210000 nbSat=58769 maxSat=58858
45.45/22.99	c flip 220000 nbSat=58811 maxSat=58860
46.44/23.47	c flip 230000 nbSat=58807 maxSat=58860
47.44/23.96	c flip 240000 nbSat=58875 maxSat=58898
48.44/24.46	c flip 250000 nbSat=58835 maxSat=58898
49.63/25.04	c flip 0 nbSat=55971 maxSat=58911
50.83/25.61	c flip 10000 nbSat=59938 maxSat=59939
52.03/26.22	c flip 20000 nbSat=60799 maxSat=60810
53.42/26.96	c flip 30000 nbSat=61293 maxSat=61321
55.02/27.73	c flip 40000 nbSat=61475 maxSat=61494
56.62/28.59	c flip 50000 nbSat=61515 maxSat=61577
58.21/29.35	c flip 60000 nbSat=61702 maxSat=61705
60.01/30.21	c flip 70000 nbSat=61648 maxSat=61714
61.61/31.08	c flip 80000 nbSat=61658 maxSat=61733
63.21/31.90	c flip 90000 nbSat=61772 maxSat=61772
65.00/32.73	c flip 100000 nbSat=61785 maxSat=61814
66.60/33.58	c flip 110000 nbSat=61846 maxSat=61892
68.39/34.41	c flip 120000 nbSat=61821 maxSat=61905
69.79/35.19	c flip 130000 nbSat=61859 maxSat=61905
71.38/35.99	c flip 140000 nbSat=61825 maxSat=61905
71.78/36.15	c nbDecision=20000 #clauses=65452
73.18/36.85	c flip 150000 nbSat=61915 maxSat=61953
74.97/37.70	c flip 160000 nbSat=61934 maxSat=61989
76.58/38.54	c flip 170000 nbSat=61997 maxSat=62008
78.37/39.40	c flip 180000 nbSat=61961 maxSat=62021
80.16/40.30	c flip 190000 nbSat=61927 maxSat=62022
81.76/41.17	c flip 200000 nbSat=61967 maxSat=62039
83.75/42.10	c flip 210000 nbSat=62007 maxSat=62042
85.54/43.04	c flip 220000 nbSat=62030 maxSat=62055
87.34/43.94	c flip 230000 nbSat=61952 maxSat=62055
88.93/44.78	c flip 240000 nbSat=61942 maxSat=62055
90.73/45.64	c flip 250000 nbSat=61942 maxSat=62055
92.53/46.57	c flip 0 nbSat=60607 maxSat=62055
94.52/47.53	c flip 10000 nbSat=64590 maxSat=64595
96.90/48.76	c flip 20000 nbSat=65371 maxSat=65388
99.51/50.10	c flip 30000 nbSat=65850 maxSat=65851
102.30/51.43	c flip 40000 nbSat=66049 maxSat=66067
104.90/52.77	c flip 50000 nbSat=66170 maxSat=66180
107.89/54.26	c flip 60000 nbSat=66247 maxSat=66272
110.68/55.63	c flip 70000 nbSat=66275 maxSat=66310
113.47/57.03	c flip 80000 nbSat=66337 maxSat=66355
116.46/58.54	c flip 90000 nbSat=66382 maxSat=66418
119.46/60.03	c flip 100000 nbSat=66407 maxSat=66456
122.46/61.55	c flip 110000 nbSat=66449 maxSat=66487
125.84/63.21	c flip 120000 nbSat=66437 maxSat=66492
128.85/64.72	c flip 130000 nbSat=66484 maxSat=66523
131.84/66.21	c flip 140000 nbSat=66497 maxSat=66562
134.63/67.68	c flip 150000 nbSat=66446 maxSat=66562
137.83/69.21	c flip 160000 nbSat=66496 maxSat=66600
138.82/69.72	c nbDecision=30000 #clauses=71419
141.02/70.85	c flip 170000 nbSat=66584 maxSat=66600
144.21/72.48	c flip 180000 nbSat=66552 maxSat=66618
147.20/73.94	c flip 190000 nbSat=66574 maxSat=66620
150.00/75.37	c flip 200000 nbSat=66595 maxSat=66620
153.19/76.91	c flip 210000 nbSat=66570 maxSat=66649
156.18/78.41	c flip 220000 nbSat=66513 maxSat=66649
159.17/79.97	c flip 230000 nbSat=66584 maxSat=66649
162.56/81.66	c flip 240000 nbSat=66648 maxSat=66689
165.96/83.34	c flip 250000 nbSat=66612 maxSat=66689
169.35/85.02	c flip 0 nbSat=67087 maxSat=66689
172.95/86.84	c flip 10000 nbSat=71003 maxSat=71039
176.93/88.86	c flip 20000 nbSat=71977 maxSat=71982
181.52/91.15	c flip 30000 nbSat=72238 maxSat=72292
186.11/93.48	c flip 40000 nbSat=72633 maxSat=72641
191.08/95.94	c flip 50000 nbSat=72698 maxSat=72702
196.08/98.43	c flip 60000 nbSat=72779 maxSat=72797
201.27/101.08	c flip 70000 nbSat=72810 maxSat=72894
206.45/103.63	c flip 80000 nbSat=72944 maxSat=72961
211.64/106.21	c flip 90000 nbSat=73048 maxSat=73053
217.22/109.00	c flip 100000 nbSat=73029 maxSat=73105
218.42/109.68	c nbDecision=40000 #clauses=77214
223.21/112.08	c flip 110000 nbSat=73058 maxSat=73144
229.00/114.92	c flip 120000 nbSat=73118 maxSat=73144
234.60/117.75	c flip 130000 nbSat=73091 maxSat=73152
240.37/120.65	c flip 140000 nbSat=73187 maxSat=73200
245.96/123.50	c flip 150000 nbSat=73103 maxSat=73200
251.75/126.34	c flip 160000 nbSat=73124 maxSat=73202
256.94/128.97	c flip 170000 nbSat=73168 maxSat=73207
262.53/131.72	c flip 180000 nbSat=73182 maxSat=73228
267.72/134.35	c flip 190000 nbSat=73163 maxSat=73228
273.30/137.11	c flip 200000 nbSat=73074 maxSat=73228
278.48/139.77	c flip 210000 nbSat=73124 maxSat=73228
283.46/142.26	c flip 220000 nbSat=73107 maxSat=73228
288.66/144.84	c flip 230000 nbSat=73154 maxSat=73228
293.65/147.34	c flip 240000 nbSat=73215 maxSat=73231
299.03/150.09	c flip 250000 nbSat=73138 maxSat=73231
305.01/153.05	c flip 0 nbSat=75185 maxSat=73231
310.80/155.96	c flip 10000 nbSat=79041 maxSat=79044
317.79/159.48	c flip 20000 nbSat=79973 maxSat=79973
325.77/163.43	c flip 30000 nbSat=80385 maxSat=80391
327.37/164.20	c nbDecision=50000 #clauses=83268
334.36/167.74	c flip 40000 nbSat=80600 maxSat=80626
342.73/171.91	c flip 50000 nbSat=80739 maxSat=80748
351.12/176.18	c flip 60000 nbSat=80825 maxSat=80873
359.50/180.40	c flip 70000 nbSat=81000 maxSat=81009
368.66/184.92	c flip 80000 nbSat=81003 maxSat=81036
377.84/189.59	c flip 90000 nbSat=80964 maxSat=81036
387.43/194.33	c flip 100000 nbSat=81024 maxSat=81056
396.40/198.88	c flip 110000 nbSat=81075 maxSat=81081
405.59/203.42	c flip 120000 nbSat=81076 maxSat=81123
414.37/207.82	c flip 130000 nbSat=81106 maxSat=81160
423.35/212.40	c flip 140000 nbSat=81060 maxSat=81160
433.53/217.45	c flip 150000 nbSat=81111 maxSat=81160
436.52/218.91	c nbDecision=60000 #clauses=89010
442.91/222.17	c flip 160000 nbSat=81140 maxSat=81170
451.88/226.61	c flip 170000 nbSat=81134 maxSat=81204
461.04/231.21	c flip 180000 nbSat=81161 maxSat=81205
470.62/236.05	c flip 190000 nbSat=81173 maxSat=81237
481.00/241.30	c flip 200000 nbSat=81226 maxSat=81237
491.18/246.34	c flip 210000 nbSat=81255 maxSat=81281
500.76/251.20	c flip 220000 nbSat=81204 maxSat=81281
511.53/256.54	c flip 230000 nbSat=81205 maxSat=81281
522.11/261.87	c flip 240000 nbSat=81139 maxSat=81281
532.48/267.06	c flip 250000 nbSat=81236 maxSat=81281
542.87/272.27	c flip 0 nbSat=87613 maxSat=81281
552.63/277.11	c flip 10000 nbSat=91637 maxSat=91642
555.61/278.68	c nbDecision=70000 #clauses=95076
565.20/283.45	c flip 20000 nbSat=92459 maxSat=92471
578.97/290.31	c flip 30000 nbSat=92892 maxSat=92892
593.13/297.48	c flip 40000 nbSat=93037 maxSat=93038
606.51/304.18	c flip 50000 nbSat=93229 maxSat=93248
621.67/311.73	c flip 60000 nbSat=93305 maxSat=93338
639.21/320.56	c flip 70000 nbSat=93379 maxSat=93397
656.18/329.05	c flip 80000 nbSat=93452 maxSat=93502
672.54/337.22	c flip 90000 nbSat=93429 maxSat=93502
688.71/345.32	c flip 100000 nbSat=93450 maxSat=93516
698.08/350.02	c nbDecision=80000 #clauses=101057
705.27/353.64	c flip 110000 nbSat=93491 maxSat=93526
723.23/362.60	c flip 120000 nbSat=93572 maxSat=93598
740.38/371.28	c flip 130000 nbSat=93672 maxSat=93673
755.74/378.96	c flip 140000 nbSat=93595 maxSat=93673
771.91/387.05	c flip 150000 nbSat=93545 maxSat=93673
788.88/395.59	c flip 160000 nbSat=93516 maxSat=93673
805.43/403.83	c flip 170000 nbSat=93610 maxSat=93673
820.79/411.55	c flip 180000 nbSat=93577 maxSat=93673
835.96/419.12	c flip 190000 nbSat=93626 maxSat=93673
851.71/427.02	c flip 200000 nbSat=93747 maxSat=93748
854.92/428.64	c nbDecision=90000 #clauses=107163
868.29/435.33	c flip 210000 nbSat=93702 maxSat=93759
885.44/443.92	c flip 220000 nbSat=93675 maxSat=93759
902.61/452.57	c flip 230000 nbSat=93646 maxSat=93759
919.95/461.29	c flip 240000 nbSat=93673 maxSat=93759
938.31/470.43	c flip 250000 nbSat=93692 maxSat=93759
957.27/479.92	c flip 0 nbSat=103461 maxSat=93768
973.04/487.85	c flip 10000 nbSat=107294 maxSat=107305
992.00/497.35	c flip 20000 nbSat=108161 maxSat=108178
1013.33/508.01	c flip 30000 nbSat=108656 maxSat=108670
1034.08/518.43	c flip 40000 nbSat=108861 maxSat=108898
1050.86/526.86	c nbDecision=100000 #clauses=113133
1056.84/529.85	c flip 50000 nbSat=109013 maxSat=109033
1079.98/541.46	c flip 60000 nbSat=109119 maxSat=109158
1103.52/553.25	c flip 70000 nbSat=109138 maxSat=109201
1127.67/565.34	c flip 80000 nbSat=109150 maxSat=109208
1151.82/577.49	c flip 90000 nbSat=109221 maxSat=109261
1176.34/589.72	c flip 100000 nbSat=109275 maxSat=109305

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/node60/watcher-328279-1173109637 -o ROOT/results/node60/solver-328279-1173109637 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328279-1173109637/ornithorynque /tmp/evaluation/328279-1173109637/instance-328279-1173109637.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.91 1.98 1.92 3/64 24946
/proc/meminfo: memFree=1657160/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=23220 CPUtime=0
/proc/24946/stat : 24946 (ornithorynque) R 24944 24946 24437 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 330920552 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271891600496 0 0 4096 0 0 0 0 17 1 0 0
/proc/24946/statm: 5805 263 218 42 0 45 0

[startup+0.0609221 s]
/proc/loadavg: 1.91 1.98 1.92 3/64 24946
/proc/meminfo: memFree=1657160/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=25356 CPUtime=0.05
/proc/24946/stat : 24946 (ornithorynque) R 24944 24946 24437 0 -1 4194304 1001 0 0 0 4 1 0 0 18 0 1 0 330920552 25964544 929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271894090465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/24946/statm: 6339 930 377 42 0 591 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25356

[startup+0.101921 s]
/proc/loadavg: 1.91 1.98 1.92 3/64 24946
/proc/meminfo: memFree=1657160/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=26800 CPUtime=0.09
/proc/24946/stat : 24946 (ornithorynque) R 24944 24946 24437 0 -1 4194304 1422 0 0 0 8 1 0 0 18 0 1 0 330920552 27443200 1285 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271894090465 0 0 4096 1088 0 0 0 17 1 0 0
/proc/24946/statm: 6700 1285 377 42 0 952 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26800

[startup+0.301968 s]
/proc/loadavg: 1.91 1.98 1.92 3/64 24946
/proc/meminfo: memFree=1657160/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=54620 CPUtime=0.36
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 3367 0 0 0 34 2 0 0 19 0 3 0 330920552 55930880 3078 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 13655 3078 387 42 0 7907 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54620

[startup+0.701037 s]
/proc/loadavg: 1.91 1.98 1.92 3/64 24946
/proc/meminfo: memFree=1657160/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=54748 CPUtime=1.16
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 3401 0 0 0 114 2 0 0 19 0 3 0 330920552 56061952 3112 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 13687 3112 387 42 0 7939 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54748

[startup+1.50118 s]
/proc/loadavg: 1.91 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1645936/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=55012 CPUtime=2.76
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 3462 0 0 0 274 2 0 0 19 0 3 0 330920552 56332288 3173 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 13753 3173 387 42 0 8005 0
[pid=24946/tid=24948] ppid=24944 vsize=55012 CPUtime=1.26
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 173 0 0 0 126 0 0 0 25 0 3 0 330920576 56332288 3173 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=55012 CPUtime=1.26
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 2 0 0 0 126 0 0 0 25 0 3 0 330920576 56332288 3173 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 55012

[startup+3.10146 s]
/proc/loadavg: 1.91 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1645424/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=57568 CPUtime=5.94
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 3896 0 0 0 592 2 0 0 19 0 3 0 330920552 58949632 3607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 14392 3607 387 42 0 8644 0
[pid=24946/tid=24948] ppid=24944 vsize=57568 CPUtime=2.86
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 264 0 0 0 286 0 0 0 25 0 3 0 330920576 58949632 3607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=57568 CPUtime=2.85
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 345 0 0 0 285 0 0 0 21 0 3 0 330920576 58949632 3607 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 57568

[startup+6.30103 s]
/proc/loadavg: 1.92 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1642992/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=59780 CPUtime=12.32
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 4470 0 0 0 1229 3 0 0 19 0 3 0 330920552 61214720 4181 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 14945 4181 387 42 0 9197 0
[pid=24946/tid=24948] ppid=24944 vsize=59780 CPUtime=6.05
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 545 0 0 0 605 0 0 0 25 0 3 0 330920576 61214720 4181 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=59780 CPUtime=6.03
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 638 0 0 0 603 0 0 0 24 0 3 0 330920576 61214720 4181 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4281603 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 59780

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1638384/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=62752 CPUtime=25.09
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 5289 0 0 0 2505 4 0 0 19 0 3 0 330920552 64258048 5000 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 15688 5000 387 42 0 9940 0
[pid=24946/tid=24948] ppid=24944 vsize=62752 CPUtime=12.45
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 1125 0 0 0 1244 1 0 0 25 0 3 0 330920576 64258048 5000 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289509 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=62752 CPUtime=12.39
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 877 0 0 0 1239 0 0 0 25 0 3 0 330920576 64258048 5000 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240942 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 62752

[startup+25.5015 s]
/proc/loadavg: 1.94 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1625584/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=75520 CPUtime=50.63
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 8477 0 0 0 5055 8 0 0 19 0 3 0 330920552 77332480 8188 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 18880 8188 387 42 0 13132 0
[pid=24946/tid=24948] ppid=24944 vsize=75520 CPUtime=25.25
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 1962 0 0 0 2522 3 0 0 25 0 3 0 330920576 77332480 8188 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311537 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=75520 CPUtime=25.14
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 3228 0 0 0 2512 2 0 0 25 0 3 0 330920576 77332480 8188 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 75520

[startup+51.102 s]
/proc/loadavg: 1.96 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1614384/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=88852 CPUtime=101.7
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 11531 0 0 0 10159 11 0 0 19 0 3 0 330920552 90984448 10984 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 22213 10984 387 42 0 16465 0
[pid=24946/tid=24948] ppid=24944 vsize=88852 CPUtime=50.84
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 3355 0 0 0 5079 5 0 0 25 0 3 0 330920576 90984448 10984 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311151 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=88852 CPUtime=50.62
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 4889 0 0 0 5059 3 0 0 25 0 3 0 330920576 90984448 10984 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 88852

[startup+102.305 s]
/proc/loadavg: 1.98 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1600048/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=104392 CPUtime=203.86
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 15065 0 0 0 20372 14 0 0 19 0 3 0 330920552 106897408 14518 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 26098 14518 387 42 0 20350 0
[pid=24946/tid=24948] ppid=24944 vsize=104392 CPUtime=102.03
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 5078 0 0 0 10195 8 0 0 25 0 3 0 330920576 106897408 14518 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=104392 CPUtime=101.59
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 6700 0 0 0 10156 3 0 0 25 0 3 0 330920576 106897408 14518 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242557 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 104392

[startup+162.303 s]
/proc/loadavg: 1.99 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1583152/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=123180 CPUtime=323.58
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 19290 0 0 0 32339 19 0 0 19 0 3 0 330920552 126136320 18743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 30795 18743 387 42 0 25047 0
[pid=24946/tid=24948] ppid=24944 vsize=123180 CPUtime=162
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 6680 0 0 0 16189 11 0 0 25 0 3 0 330920576 126136320 18743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311279 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=123180 CPUtime=161.33
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 9323 0 0 0 16129 4 0 0 25 0 3 0 330920576 126136320 18743 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (KiB) 123180

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1575728/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=130348 CPUtime=443.3
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 21107 0 0 0 44308 22 0 0 19 0 3 0 330920552 133476352 20560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 32587 20560 387 42 0 26839 0
[pid=24946/tid=24948] ppid=24944 vsize=130348 CPUtime=221.99
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 8497 0 0 0 22184 15 0 0 25 0 3 0 330920576 133476352 20560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311264 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=130348 CPUtime=221.07
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 9323 0 0 0 22103 4 0 0 25 0 3 0 330920576 133476352 20560 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (KiB) 130348

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1552112/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=156992 CPUtime=563
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 27020 0 0 0 56272 28 0 0 19 0 3 0 330920552 160759808 26473 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 39248 26473 387 42 0 33500 0
[pid=24946/tid=24948] ppid=24944 vsize=156992 CPUtime=281.96
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 9790 0 0 0 28179 17 0 0 25 0 3 0 330920576 160759808 26473 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311247 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=156992 CPUtime=280.8
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 13943 0 0 0 28072 8 0 0 25 0 3 0 330920576 160759808 26473 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563
Current children cumulated vsize (KiB) 156992

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.92 3/67 24949
/proc/meminfo: memFree=1546864/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=162112 CPUtime=682.72
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 28318 0 0 0 68242 30 0 0 19 0 3 0 330920552 166002688 27771 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 40528 27771 387 42 0 34780 0
[pid=24946/tid=24948] ppid=24944 vsize=162112 CPUtime=341.95
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 11088 0 0 0 34175 20 0 0 25 0 3 0 330920576 166002688 27771 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=162112 CPUtime=340.54
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 13943 0 0 0 34046 8 0 0 25 0 3 0 330920576 166002688 27771 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.72
Current children cumulated vsize (KiB) 162112

[startup+402.302 s]
/proc/loadavg: 2.07 2.00 1.93 3/67 24949
/proc/meminfo: memFree=1542640/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=166208 CPUtime=802.44
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 29367 0 0 0 80211 33 0 0 19 0 3 0 330920552 170196992 28820 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 41552 28820 387 42 0 35804 0
[pid=24946/tid=24948] ppid=24944 vsize=166208 CPUtime=401.93
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 12137 0 0 0 40170 23 0 0 25 0 3 0 330920576 170196992 28820 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=166208 CPUtime=400.28
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 13943 0 0 0 40020 8 0 0 25 0 3 0 330920576 170196992 28820 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241402 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 166208

[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.93 3/67 24949
/proc/meminfo: memFree=1538416/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=170732 CPUtime=922.14
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 30503 0 0 0 92178 36 0 0 19 0 3 0 330920552 174829568 29849 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 42683 29849 387 42 0 36935 0
[pid=24946/tid=24948] ppid=24944 vsize=170732 CPUtime=461.91
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 13273 0 0 0 46165 26 0 0 25 0 3 0 330920576 174829568 29849 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311635 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=170732 CPUtime=460
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 13943 0 0 0 45992 8 0 0 25 0 3 0 330920576 174829568 29849 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.14
Current children cumulated vsize (KiB) 170732

[startup+522.302 s]
/proc/loadavg: 2.06 2.01 1.93 3/67 24949
/proc/meminfo: memFree=1514096/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=199228 CPUtime=1041.87
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 36668 0 0 0 104147 40 0 0 19 0 3 0 330920552 204009472 35967 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 49807 35967 387 42 0 44059 0
[pid=24946/tid=24948] ppid=24944 vsize=199228 CPUtime=521.88
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 14097 0 0 0 52161 27 0 0 25 0 3 0 330920576 204009472 35967 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=199228 CPUtime=519.74
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 19284 0 0 0 51964 10 0 0 25 0 3 0 330920576 204009472 35967 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283723 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.87
Current children cumulated vsize (KiB) 199228

[startup+582.302 s]
/proc/loadavg: 2.07 2.02 1.94 3/67 24949
/proc/meminfo: memFree=1510448/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=203324 CPUtime=1161.59
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 37548 0 0 0 116117 42 0 0 19 0 3 0 330920552 208203776 36847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 50831 36847 387 42 0 45083 0
[pid=24946/tid=24948] ppid=24944 vsize=203324 CPUtime=581.87
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 14977 0 0 0 58158 29 0 0 25 0 3 0 330920576 208203776 36847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311163 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=203324 CPUtime=579.49
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 19284 0 0 0 57938 11 0 0 25 0 3 0 330920576 208203776 36847 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.59
Current children cumulated vsize (KiB) 203324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.05 2.02 1.94 3/67 24949
/proc/meminfo: memFree=1509232/2055920 swapFree=4183500/4192956
[pid=24946] ppid=24944 vsize=204480 CPUtime=1200.1
/proc/24946/stat : 24946 (ornithorynque) S 24944 24946 24437 0 -1 4194304 37837 0 0 0 119967 43 0 0 19 0 3 0 330920552 209387520 37136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271903125371 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/24946/statm: 51120 37136 387 42 0 45372 0
[pid=24946/tid=24948] ppid=24944 vsize=204480 CPUtime=601.17
/proc/24946/task/24948/stat : 24948 (ornithorynque) R 24944 24946 24437 0 -1 4194368 15266 0 0 0 60087 30 0 0 25 0 3 0 330920576 209387520 37136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271894090407 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=24946/tid=24949] ppid=24944 vsize=204480 CPUtime=598.7
/proc/24946/task/24949/stat : 24949 (ornithorynque) R 24944 24946 24437 0 -1 4194368 19284 0 0 0 59859 11 0 0 25 0 3 0 330920576 209387520 37136 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241411 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 204480

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.641
CPU time (s): 1200.15
CPU user time (s): 1199.69
CPU system time (s): 0.45693
CPU usage (%): 199.479
Max. virtual memory (cumulated for all children) (KiB): 204480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.69
system time used= 0.45693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37837
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= 39
involuntary context switches= 9295

runsolver used 0.58891 second user time and 1.63475 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Mar  5 15:47:17 UTC 2007

IDJOB= 328279
IDBENCH= 20187
IDSOLVER= 139
FILE ID= node60/328279-1173109637

PBS_JOBID= 4013922

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  f6337b9ef083936c6b3e5af26c3dff66

RANDOM SEED= 958164446

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.283
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.283
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:       1657568 kB
Buffers:         26396 kB
Cached:         297748 kB
SwapCached:       3412 kB
Active:          52236 kB
Inactive:       281520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657568 kB
SwapTotal:     4192956 kB
SwapFree:      4183500 kB
Dirty:            1264 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            50592 kB
Committed_AS:   915784 kB
PageTables:       1464 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= 66533 MiB

End job on node60 on Mon Mar  5 15:57:21 UTC 2007