Trace number 328286

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.1 601.706

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
MD5SUM54d48c33f7a9a8497a5de749a63ebbcb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark943.856
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.18	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=47647 maxSat=0
0.36/0.34	c flip 10000 nbSat=51642 maxSat=51642
0.56/0.43	c flip 20000 nbSat=52523 maxSat=52559
0.76/0.52	c flip 30000 nbSat=52944 maxSat=52979
0.96/0.61	c flip 40000 nbSat=53159 maxSat=53196
1.16/0.70	c flip 50000 nbSat=53282 maxSat=53353
1.16/0.79	c flip 60000 nbSat=53408 maxSat=53427
1.36/0.88	c flip 70000 nbSat=53365 maxSat=53479
1.56/0.96	c flip 80000 nbSat=53487 maxSat=53522
1.76/1.05	c flip 90000 nbSat=53573 maxSat=53586
1.96/1.14	c flip 100000 nbSat=53583 maxSat=53588
2.15/1.23	c flip 110000 nbSat=53601 maxSat=53638
2.35/1.31	c flip 120000 nbSat=53549 maxSat=53638
2.35/1.40	c flip 130000 nbSat=53677 maxSat=53686
2.55/1.48	c flip 140000 nbSat=53678 maxSat=53705
2.75/1.57	c flip 150000 nbSat=53712 maxSat=53753
2.95/1.65	c flip 160000 nbSat=53707 maxSat=53753
3.15/1.73	c flip 170000 nbSat=53734 maxSat=53776
3.35/1.81	c flip 180000 nbSat=53698 maxSat=53777
3.35/1.90	c flip 190000 nbSat=53740 maxSat=53777
3.55/1.98	c flip 200000 nbSat=53761 maxSat=53801
3.75/2.06	c flip 210000 nbSat=53787 maxSat=53819
3.96/2.15	c flip 220000 nbSat=53824 maxSat=53846
4.16/2.23	c flip 230000 nbSat=53795 maxSat=53872
4.35/2.31	c flip 240000 nbSat=53839 maxSat=53872
4.35/2.39	c flip 250000 nbSat=53859 maxSat=53886
4.75/2.50	c flip 0 nbSat=48714 maxSat=53888
4.95/2.64	c flip 10000 nbSat=52746 maxSat=53888
5.15/2.78	c flip 20000 nbSat=53586 maxSat=53888
5.55/2.93	c flip 30000 nbSat=53973 maxSat=54032
5.75/3.08	c flip 40000 nbSat=54229 maxSat=54233
6.15/3.24	c flip 50000 nbSat=54379 maxSat=54398
6.35/3.39	c flip 60000 nbSat=54394 maxSat=54470
6.74/3.55	c flip 70000 nbSat=54451 maxSat=54497
6.94/3.70	c flip 80000 nbSat=54579 maxSat=54581
7.34/3.85	c flip 90000 nbSat=54603 maxSat=54630
7.54/4.00	c flip 100000 nbSat=54610 maxSat=54645
7.94/4.15	c flip 110000 nbSat=54628 maxSat=54680
8.34/4.31	c flip 120000 nbSat=54663 maxSat=54680
8.54/4.46	c flip 130000 nbSat=54605 maxSat=54693
8.92/4.63	c flip 140000 nbSat=54662 maxSat=54693
9.12/4.79	c flip 150000 nbSat=54664 maxSat=54736
9.52/4.94	c flip 160000 nbSat=54721 maxSat=54778
9.92/5.10	c flip 170000 nbSat=54734 maxSat=54778
10.12/5.25	c flip 180000 nbSat=54808 maxSat=54833
10.52/5.41	c flip 190000 nbSat=54807 maxSat=54848
10.72/5.57	c flip 200000 nbSat=54826 maxSat=54876
11.11/5.71	c flip 210000 nbSat=54801 maxSat=54876
11.31/5.86	c flip 220000 nbSat=54787 maxSat=54876
11.71/6.01	c flip 230000 nbSat=54814 maxSat=54876
11.91/6.17	c flip 240000 nbSat=54799 maxSat=54876
12.31/6.32	c flip 250000 nbSat=54854 maxSat=54880
12.72/6.53	c flip 0 nbSat=50705 maxSat=54880
13.11/6.73	c flip 10000 nbSat=54511 maxSat=54880
13.51/6.97	c flip 20000 nbSat=55509 maxSat=55534
14.11/7.21	c flip 30000 nbSat=55933 maxSat=55959
14.51/7.46	c flip 40000 nbSat=56185 maxSat=56192
14.92/7.70	c flip 50000 nbSat=56226 maxSat=56247
15.51/7.93	c flip 60000 nbSat=56296 maxSat=56326
15.91/8.18	c flip 70000 nbSat=56385 maxSat=56420
16.51/8.43	c flip 80000 nbSat=56467 maxSat=56492
16.91/8.69	c flip 90000 nbSat=56533 maxSat=56550
17.50/8.96	c flip 100000 nbSat=56519 maxSat=56583
18.10/9.23	c flip 110000 nbSat=56602 maxSat=56626
18.70/9.50	c flip 120000 nbSat=56594 maxSat=56645
19.10/9.77	c flip 130000 nbSat=56583 maxSat=56645
19.70/10.04	c flip 140000 nbSat=56622 maxSat=56683
20.30/10.32	c flip 150000 nbSat=56633 maxSat=56683
20.69/10.59	c flip 160000 nbSat=56636 maxSat=56683
21.29/10.85	c flip 170000 nbSat=56726 maxSat=56753
21.89/11.11	c flip 180000 nbSat=56751 maxSat=56784
22.29/11.36	c flip 190000 nbSat=56706 maxSat=56784
22.89/11.61	c flip 200000 nbSat=56706 maxSat=56784
23.09/11.76	c nbDecision=10000 #clauses=59633
23.29/11.86	c flip 210000 nbSat=56738 maxSat=56784
23.89/12.11	c flip 220000 nbSat=56662 maxSat=56784
24.28/12.37	c flip 230000 nbSat=56638 maxSat=56784
24.88/12.62	c flip 240000 nbSat=56677 maxSat=56784
25.28/12.88	c flip 250000 nbSat=56705 maxSat=56784
26.10/13.21	c flip 0 nbSat=53301 maxSat=56784
26.69/13.58	c flip 10000 nbSat=57141 maxSat=57141
27.49/13.97	c flip 20000 nbSat=57953 maxSat=57960
28.29/14.36	c flip 30000 nbSat=58420 maxSat=58423
29.08/14.76	c flip 40000 nbSat=58621 maxSat=58636
29.88/15.17	c flip 50000 nbSat=58754 maxSat=58807
30.87/15.60	c flip 60000 nbSat=58934 maxSat=58956
31.67/16.03	c flip 70000 nbSat=58996 maxSat=59038
32.48/16.44	c flip 80000 nbSat=59010 maxSat=59063
33.27/16.87	c flip 90000 nbSat=59117 maxSat=59126
34.27/17.30	c flip 100000 nbSat=59073 maxSat=59181
35.06/17.75	c flip 110000 nbSat=59138 maxSat=59181
36.06/18.20	c flip 120000 nbSat=59115 maxSat=59211
36.87/18.64	c flip 130000 nbSat=59131 maxSat=59211
37.66/19.08	c flip 140000 nbSat=59192 maxSat=59252
38.65/19.52	c flip 150000 nbSat=59255 maxSat=59315
39.45/19.98	c flip 160000 nbSat=59300 maxSat=59337
40.45/20.44	c flip 170000 nbSat=59282 maxSat=59337
41.44/20.93	c flip 180000 nbSat=59323 maxSat=59340
42.43/21.41	c flip 190000 nbSat=59286 maxSat=59358
43.23/21.89	c flip 200000 nbSat=59317 maxSat=59375
44.43/22.40	c flip 210000 nbSat=59339 maxSat=59381
45.23/22.88	c flip 220000 nbSat=59278 maxSat=59381
46.23/23.37	c flip 230000 nbSat=59332 maxSat=59401
47.23/23.83	c flip 240000 nbSat=59402 maxSat=59404
48.22/24.33	c flip 250000 nbSat=59400 maxSat=59440
49.43/24.94	c flip 0 nbSat=57017 maxSat=59440
50.62/25.57	c flip 10000 nbSat=60987 maxSat=60989
52.22/26.32	c flip 20000 nbSat=61710 maxSat=61723
53.81/27.12	c flip 30000 nbSat=62124 maxSat=62143
55.41/27.91	c flip 40000 nbSat=62360 maxSat=62375
57.00/28.73	c flip 50000 nbSat=62529 maxSat=62551
58.40/29.49	c flip 60000 nbSat=62615 maxSat=62625
59.99/30.24	c flip 70000 nbSat=62708 maxSat=62716
61.39/30.97	c flip 80000 nbSat=62838 maxSat=62838
62.79/31.68	c flip 90000 nbSat=62828 maxSat=62861
64.38/32.45	c nbDecision=20000 #clauses=65527
64.38/32.49	c flip 100000 nbSat=62869 maxSat=62904
66.18/33.37	c flip 110000 nbSat=62859 maxSat=62955
67.98/34.21	c flip 120000 nbSat=62822 maxSat=62955
69.57/35.03	c flip 130000 nbSat=62862 maxSat=62955
71.17/35.88	c flip 140000 nbSat=62913 maxSat=62955
72.96/36.71	c flip 150000 nbSat=62879 maxSat=62955
74.57/37.59	c flip 160000 nbSat=62942 maxSat=62979
76.37/38.42	c flip 170000 nbSat=62922 maxSat=63010
77.96/39.27	c flip 180000 nbSat=62912 maxSat=63010
79.76/40.16	c flip 190000 nbSat=62990 maxSat=63025
81.55/41.00	c flip 200000 nbSat=63018 maxSat=63073
83.15/41.83	c flip 210000 nbSat=63072 maxSat=63106
84.74/42.65	c flip 220000 nbSat=63072 maxSat=63106
86.34/43.49	c flip 230000 nbSat=63088 maxSat=63113
88.13/44.34	c flip 240000 nbSat=63088 maxSat=63131
89.93/45.20	c flip 250000 nbSat=63123 maxSat=63197
91.73/46.14	c flip 0 nbSat=61396 maxSat=63197
93.93/47.22	c flip 10000 nbSat=65391 maxSat=65400
96.12/48.37	c flip 20000 nbSat=66196 maxSat=66203
98.90/49.73	c flip 30000 nbSat=66572 maxSat=66589
101.49/51.06	c flip 40000 nbSat=66775 maxSat=66798
104.08/52.34	c flip 50000 nbSat=66945 maxSat=66970
106.68/53.67	c flip 60000 nbSat=67087 maxSat=67093
109.48/55.06	c flip 70000 nbSat=67125 maxSat=67163
112.07/56.37	c flip 80000 nbSat=67200 maxSat=67218
114.67/57.63	c flip 90000 nbSat=67261 maxSat=67296
117.26/58.98	c flip 100000 nbSat=67245 maxSat=67307
120.05/60.31	c flip 110000 nbSat=67301 maxSat=67315
122.65/61.64	c flip 120000 nbSat=67302 maxSat=67324
123.64/62.19	c nbDecision=30000 #clauses=71570
125.24/62.97	c flip 130000 nbSat=67315 maxSat=67385
127.84/64.28	c flip 140000 nbSat=67342 maxSat=67399
130.63/65.65	c flip 150000 nbSat=67399 maxSat=67435
133.42/67.05	c flip 160000 nbSat=67416 maxSat=67448
136.40/68.52	c flip 170000 nbSat=67455 maxSat=67508
139.20/69.91	c flip 180000 nbSat=67461 maxSat=67508
142.20/71.40	c flip 190000 nbSat=67486 maxSat=67511
144.99/72.82	c flip 200000 nbSat=67475 maxSat=67511
147.79/74.22	c flip 210000 nbSat=67506 maxSat=67549
150.58/75.64	c flip 220000 nbSat=67482 maxSat=67552
153.37/77.06	c flip 230000 nbSat=67488 maxSat=67552
156.36/78.56	c flip 240000 nbSat=67477 maxSat=67552
159.16/80.00	c flip 250000 nbSat=67473 maxSat=67552
162.55/81.62	c flip 0 nbSat=68741 maxSat=67580
166.14/83.44	c flip 10000 nbSat=72546 maxSat=72558
170.53/85.65	c flip 20000 nbSat=73454 maxSat=73477
175.13/87.94	c flip 30000 nbSat=73798 maxSat=73808
180.11/90.49	c flip 40000 nbSat=74075 maxSat=74079
183.50/92.13	c nbDecision=40000 #clauses=77302
185.29/93.06	c flip 50000 nbSat=74251 maxSat=74259
190.07/95.46	c flip 60000 nbSat=74278 maxSat=74335
195.07/97.99	c flip 70000 nbSat=74422 maxSat=74452
200.46/100.61	c flip 80000 nbSat=74391 maxSat=74454
206.24/103.56	c flip 90000 nbSat=74445 maxSat=74495
212.03/106.44	c flip 100000 nbSat=74449 maxSat=74510
217.61/109.28	c flip 110000 nbSat=74512 maxSat=74514
223.00/111.93	c flip 120000 nbSat=74500 maxSat=74559
227.79/114.33	c flip 130000 nbSat=74538 maxSat=74574
232.57/116.73	c flip 140000 nbSat=74544 maxSat=74594
237.56/119.24	c flip 150000 nbSat=74593 maxSat=74612
242.55/121.71	c flip 160000 nbSat=74609 maxSat=74652
247.34/124.12	c flip 170000 nbSat=74623 maxSat=74652
252.33/126.65	c flip 180000 nbSat=74581 maxSat=74676
257.52/129.25	c flip 190000 nbSat=74619 maxSat=74690
262.71/131.85	c flip 200000 nbSat=74625 maxSat=74690
268.30/134.66	c flip 210000 nbSat=74628 maxSat=74690
271.29/136.11	c nbDecision=50000 #clauses=83072
273.89/137.45	c flip 220000 nbSat=74650 maxSat=74707
279.46/140.26	c flip 230000 nbSat=74660 maxSat=74707
285.05/143.02	c flip 240000 nbSat=74608 maxSat=74726
290.84/145.90	c flip 250000 nbSat=74670 maxSat=74726
297.02/149.00	c flip 0 nbSat=77525 maxSat=74726
303.21/152.16	c flip 10000 nbSat=81494 maxSat=81494
310.80/155.94	c flip 20000 nbSat=82461 maxSat=82478
318.37/159.70	c flip 30000 nbSat=82864 maxSat=82892
325.95/163.52	c flip 40000 nbSat=83055 maxSat=83085
335.13/168.11	c flip 50000 nbSat=83274 maxSat=83298
344.90/173.07	c flip 60000 nbSat=83247 maxSat=83317
354.09/177.67	c flip 70000 nbSat=83306 maxSat=83366
363.47/182.37	c flip 80000 nbSat=83439 maxSat=83459
373.04/187.18	c flip 90000 nbSat=83482 maxSat=83553
383.01/192.12	c flip 100000 nbSat=83476 maxSat=83574
383.21/192.23	c nbDecision=60000 #clauses=89176
393.59/197.43	c flip 110000 nbSat=83520 maxSat=83574
403.57/202.49	c flip 120000 nbSat=83568 maxSat=83592
414.55/207.96	c flip 130000 nbSat=83592 maxSat=83636
425.11/213.20	c flip 140000 nbSat=83591 maxSat=83657
435.49/218.45	c flip 150000 nbSat=83605 maxSat=83657
445.86/223.64	c flip 160000 nbSat=83636 maxSat=83657
456.63/229.09	c flip 170000 nbSat=83613 maxSat=83681
467.02/234.27	c flip 180000 nbSat=83641 maxSat=83681
477.39/239.41	c flip 190000 nbSat=83632 maxSat=83681
487.76/244.62	c flip 200000 nbSat=83643 maxSat=83700
497.75/249.62	c flip 210000 nbSat=83649 maxSat=83709
507.71/254.62	c flip 220000 nbSat=83659 maxSat=83709
517.50/259.52	c flip 230000 nbSat=83636 maxSat=83709
523.08/262.37	c nbDecision=70000 #clauses=95239
526.87/264.21	c flip 240000 nbSat=83616 maxSat=83709
536.45/269.08	c flip 250000 nbSat=83637 maxSat=83709
547.02/274.37	c flip 0 nbSat=89102 maxSat=83709
557.00/279.36	c flip 10000 nbSat=92960 maxSat=92960
568.17/284.98	c flip 20000 nbSat=93996 maxSat=94007
581.53/291.61	c flip 30000 nbSat=94426 maxSat=94441
595.90/298.83	c flip 40000 nbSat=94697 maxSat=94706
611.26/306.50	c flip 50000 nbSat=94776 maxSat=94812
627.24/314.56	c flip 60000 nbSat=94856 maxSat=94882
643.38/322.65	c flip 70000 nbSat=94947 maxSat=94953
659.15/330.55	c flip 80000 nbSat=94919 maxSat=94969
675.11/338.56	c flip 90000 nbSat=94964 maxSat=94986
682.29/342.18	c nbDecision=80000 #clauses=100985
690.47/346.22	c flip 100000 nbSat=95040 maxSat=95057
706.64/354.32	c flip 110000 nbSat=95003 maxSat=95072
721.80/361.96	c flip 120000 nbSat=95077 maxSat=95126
737.36/369.75	c flip 130000 nbSat=95126 maxSat=95178
753.52/377.86	c flip 140000 nbSat=95135 maxSat=95194
770.09/386.20	c flip 150000 nbSat=95182 maxSat=95230
785.64/393.93	c flip 160000 nbSat=95188 maxSat=95230
802.00/402.18	c flip 170000 nbSat=95181 maxSat=95233
819.36/410.81	c flip 180000 nbSat=95196 maxSat=95245
835.93/419.18	c flip 190000 nbSat=95209 maxSat=95247
854.68/428.59	c flip 200000 nbSat=95206 maxSat=95287
861.26/431.84	c nbDecision=90000 #clauses=107213
873.24/437.85	c flip 210000 nbSat=95250 maxSat=95310
892.18/447.33	c flip 220000 nbSat=95225 maxSat=95310
910.94/456.75	c flip 230000 nbSat=95259 maxSat=95310
928.70/465.65	c flip 240000 nbSat=95214 maxSat=95310
945.85/474.22	c flip 250000 nbSat=95284 maxSat=95310
963.22/482.99	c flip 0 nbSat=103728 maxSat=95310
977.58/490.18	c flip 10000 nbSat=107597 maxSat=107612
996.33/499.52	c flip 20000 nbSat=108425 maxSat=108425
1017.49/510.15	c flip 30000 nbSat=108868 maxSat=108877
1038.64/520.77	c flip 40000 nbSat=109036 maxSat=109086
1055.78/529.32	c nbDecision=100000 #clauses=113085
1063.17/533.03	c flip 50000 nbSat=109227 maxSat=109246
1086.51/544.77	c flip 60000 nbSat=109318 maxSat=109339
1110.86/556.90	c flip 70000 nbSat=109411 maxSat=109429
1135.40/569.25	c flip 80000 nbSat=109427 maxSat=109474
1159.14/581.16	c flip 90000 nbSat=109464 maxSat=109495
1183.28/593.28	c flip 100000 nbSat=109520 maxSat=109551

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/node6/watcher-328286-1173109809 -o ROOT/results/node6/solver-328286-1173109809 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328286-1173109809/ornithorynque /tmp/evaluation/328286-1173109809/instance-328286-1173109809.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 9743
/proc/meminfo: memFree=1228984/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=23220 CPUtime=0
/proc/9743/stat : 9743 (ornithorynque) R 9741 9743 9234 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 330935681 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268580195601 0 0 4096 0 0 0 0 17 1 0 0
/proc/9743/statm: 5805 266 219 42 0 45 0

[startup+0.0649741 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9743
/proc/meminfo: memFree=1228984/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=25368 CPUtime=0.05
/proc/9743/stat : 9743 (ornithorynque) R 9741 9743 9234 0 -1 4194304 1032 0 0 0 5 0 0 0 18 0 1 0 330935681 25976832 960 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268582687457 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9743/statm: 6342 960 377 42 0 594 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25368

[startup+0.10198 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9743
/proc/meminfo: memFree=1228984/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=26812 CPUtime=0.09
/proc/9743/stat : 9743 (ornithorynque) R 9741 9743 9234 0 -1 4194304 1414 0 0 0 9 0 0 0 18 0 1 0 330935681 27455488 1277 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268582687457 0 0 4096 1088 0 0 0 17 1 0 0
/proc/9743/statm: 6703 1277 377 42 0 955 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26812

[startup+0.302032 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9743
/proc/meminfo: memFree=1228984/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=54624 CPUtime=0.36
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 3362 0 0 0 35 1 0 0 19 0 3 0 330935681 55934976 3073 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 13656 3073 387 42 0 7908 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54624

[startup+0.701107 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 9743
/proc/meminfo: memFree=1228984/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=54728 CPUtime=1.16
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 3396 0 0 0 115 1 0 0 19 0 3 0 330935681 56041472 3107 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 13682 3107 387 42 0 7934 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54728

[startup+1.50126 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 9746
/proc/meminfo: memFree=1217760/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=54988 CPUtime=2.75
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 3465 0 0 0 274 1 0 0 19 0 3 0 330935681 56307712 3176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 13747 3176 387 42 0 7999 0
[pid=9743/tid=9745] ppid=9741 vsize=54988 CPUtime=1.26
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 176 0 0 0 126 0 0 0 25 0 3 0 330935705 56307712 3176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289509 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=54988 CPUtime=1.25
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 2 0 0 0 125 0 0 0 25 0 3 0 330935705 56307712 3176 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241801 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 54988

[startup+3.10258 s]
/proc/loadavg: 1.83 1.94 1.90 3/80 9746
/proc/meminfo: memFree=1217248/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=58044 CPUtime=5.95
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 4018 0 0 0 594 1 0 0 19 0 3 0 330935681 59437056 3729 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 14511 3729 387 42 0 8763 0
[pid=9743/tid=9745] ppid=9741 vsize=58044 CPUtime=2.86
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 331 0 0 0 286 0 0 0 22 0 3 0 330935705 59437056 3729 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=58044 CPUtime=2.85
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 400 0 0 0 285 0 0 0 22 0 3 0 330935705 59437056 3729 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241407 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 58044

[startup+6.30122 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 9746
/proc/meminfo: memFree=1214368/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=59068 CPUtime=12.31
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 4270 0 0 0 1230 1 0 0 19 0 3 0 330935681 60485632 3981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 14767 3981 387 42 0 9019 0
[pid=9743/tid=9745] ppid=9741 vsize=59068 CPUtime=6.05
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 583 0 0 0 605 0 0 0 25 0 3 0 330935705 60485632 3981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238100 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=59068 CPUtime=6.02
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 400 0 0 0 602 0 0 0 25 0 3 0 330935705 60485632 3981 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4286006 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 59068

[startup+12.7015 s]
/proc/loadavg: 1.86 1.94 1.90 3/80 9746
/proc/meminfo: memFree=1210848/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=62436 CPUtime=25.08
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 5125 0 0 0 2506 2 0 0 19 0 3 0 330935681 63934464 4836 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 15609 4836 387 42 0 9861 0
[pid=9743/tid=9745] ppid=9741 vsize=62436 CPUtime=12.45
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 934 0 0 0 1244 1 0 0 25 0 3 0 330935705 63934464 4836 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4313836 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=62436 CPUtime=12.39
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 904 0 0 0 1239 0 0 0 25 0 3 0 330935705 63934464 4836 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 62436

[startup+25.502 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 9746
/proc/meminfo: memFree=1200736/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=72192 CPUtime=50.62
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 7610 0 0 0 5058 4 0 0 19 0 3 0 330935681 73924608 7321 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 18048 7321 387 42 0 12300 0
[pid=9743/tid=9745] ppid=9741 vsize=72192 CPUtime=25.24
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 1607 0 0 0 2523 1 0 0 25 0 3 0 330935705 73924608 7321 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=72192 CPUtime=25.13
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 2716 0 0 0 2512 1 0 0 21 0 3 0 330935705 73924608 7321 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 72192

[startup+51.101 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 9746
/proc/meminfo: memFree=1191392/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=84476 CPUtime=101.69
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 10236 0 0 0 10163 6 0 0 19 0 3 0 330935681 86503424 9689 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 21119 9689 387 42 0 15371 0
[pid=9743/tid=9745] ppid=9741 vsize=84476 CPUtime=50.83
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 2766 0 0 0 5081 2 0 0 25 0 3 0 330935705 86503424 9689 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311415 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=84476 CPUtime=50.61
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 4183 0 0 0 5059 2 0 0 25 0 3 0 330935705 86503424 9689 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 84476

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 9746
/proc/meminfo: memFree=1175328/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=101224 CPUtime=203.85
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 14177 0 0 0 20375 10 0 0 19 0 3 0 330935681 103653376 13630 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 25306 13630 387 42 0 19558 0
[pid=9743/tid=9745] ppid=9741 vsize=101224 CPUtime=102.01
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 4690 0 0 0 10196 5 0 0 25 0 3 0 330935705 103653376 13630 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=101224 CPUtime=101.59
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 6200 0 0 0 10156 3 0 0 25 0 3 0 330935705 103653376 13630 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 101224

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 9746
/proc/meminfo: memFree=1157856/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=121136 CPUtime=323.56
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 18553 0 0 0 32343 13 0 0 19 0 3 0 330935681 124043264 18006 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 30284 18006 387 42 0 24536 0
[pid=9743/tid=9745] ppid=9741 vsize=121136 CPUtime=161.99
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 6303 0 0 0 16192 7 0 0 25 0 3 0 330935705 124043264 18006 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314358 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=121136 CPUtime=161.32
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 8963 0 0 0 16128 4 0 0 25 0 3 0 330935705 124043264 18006 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.56
Current children cumulated vsize (KiB) 121136

[startup+222.303 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 9746
/proc/meminfo: memFree=1152288/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=126552 CPUtime=443.27
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 19919 0 0 0 44312 15 0 0 19 0 3 0 330935681 129589248 19372 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 31638 19372 387 42 0 25890 0
[pid=9743/tid=9745] ppid=9741 vsize=126552 CPUtime=221.97
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 7669 0 0 0 22188 9 0 0 25 0 3 0 330935705 129589248 19372 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=126552 CPUtime=221.06
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 8963 0 0 0 22102 4 0 0 25 0 3 0 330935705 129589248 19372 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.27
Current children cumulated vsize (KiB) 126552

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1133088/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=148888 CPUtime=562.98
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 24755 0 0 0 56279 19 0 0 19 0 3 0 330935681 152461312 24208 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 37222 24208 387 42 0 31474 0
[pid=9743/tid=9745] ppid=9741 vsize=148888 CPUtime=281.95
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 8633 0 0 0 28183 12 0 0 25 0 3 0 330935705 152461312 24208 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=148888 CPUtime=280.79
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 12835 0 0 0 28073 6 0 0 25 0 3 0 330935705 152461312 24208 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.98
Current children cumulated vsize (KiB) 148888

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1129632/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=152984 CPUtime=682.68
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 25599 0 0 0 68246 22 0 0 19 0 3 0 330935681 156655616 25052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 38246 25052 387 42 0 32498 0
[pid=9743/tid=9745] ppid=9741 vsize=152984 CPUtime=341.92
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 9477 0 0 0 34178 14 0 0 25 0 3 0 330935705 156655616 25052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=152984 CPUtime=340.51
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 12835 0 0 0 34045 6 0 0 25 0 3 0 330935705 156655616 25052 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.68
Current children cumulated vsize (KiB) 152984

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1125152/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=157080 CPUtime=802.4
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 26726 0 0 0 80215 25 0 0 19 0 3 0 330935681 160849920 26179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 39270 26179 387 42 0 33522 0
[pid=9743/tid=9745] ppid=9741 vsize=157080 CPUtime=401.9
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 10604 0 0 0 40173 17 0 0 25 0 3 0 330935705 160849920 26179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=157080 CPUtime=400.26
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 12835 0 0 0 40020 6 0 0 25 0 3 0 330935705 160849920 26179 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.4
Current children cumulated vsize (KiB) 157080

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1119712/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=162628 CPUtime=922.11
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 28165 0 0 0 92183 28 0 0 19 0 3 0 330935681 166531072 27511 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 40657 27511 387 42 0 34909 0
[pid=9743/tid=9745] ppid=9741 vsize=162628 CPUtime=461.88
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 12043 0 0 0 46168 20 0 0 25 0 3 0 330935705 166531072 27511 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=162628 CPUtime=459.98
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 12835 0 0 0 45992 6 0 0 25 0 3 0 330935705 166531072 27511 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.11
Current children cumulated vsize (KiB) 162628

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1093920/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=194328 CPUtime=1041.83
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 34698 0 0 0 104151 32 0 0 19 0 3 0 330935681 198991872 33964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 48582 33964 387 42 0 42834 0
[pid=9743/tid=9745] ppid=9741 vsize=194328 CPUtime=521.85
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 12932 0 0 0 52164 21 0 0 25 0 3 0 330935705 198991872 33964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=194328 CPUtime=519.73
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 18479 0 0 0 51964 9 0 0 25 0 3 0 330935705 198991872 33964 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.83
Current children cumulated vsize (KiB) 194328

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1090528/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=197632 CPUtime=1161.54
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 35540 0 0 0 116121 33 0 0 19 0 3 0 330935681 202375168 34806 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 49408 34806 387 42 0 43660 0
[pid=9743/tid=9745] ppid=9741 vsize=197632 CPUtime=581.84
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 13774 0 0 0 58161 23 0 0 25 0 3 0 330935705 202375168 34806 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=197632 CPUtime=579.46
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 18479 0 0 0 57937 9 0 0 25 0 3 0 330935705 202375168 34806 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.54
Current children cumulated vsize (KiB) 197632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 9746
/proc/meminfo: memFree=1089120/2055924 swapFree=4156956/4192956
[pid=9743] ppid=9741 vsize=198964 CPUtime=1200.06
/proc/9743/stat : 9743 (ornithorynque) S 9741 9743 9234 0 -1 4194304 35882 0 0 0 119972 34 0 0 19 0 3 0 330935681 203739136 35148 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 268591722363 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/9743/statm: 49741 35148 387 42 0 43993 0
[pid=9743/tid=9745] ppid=9741 vsize=198964 CPUtime=601.14
/proc/9743/task/9745/stat : 9745 (ornithorynque) R 9741 9743 9234 0 -1 4194368 14116 0 0 0 60091 23 0 0 25 0 3 0 330935705 203739136 35148 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311137 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=9743/tid=9746] ppid=9741 vsize=198964 CPUtime=598.67
/proc/9743/task/9746/stat : 9746 (ornithorynque) R 9741 9743 9234 0 -1 4194368 18479 0 0 0 59858 9 0 0 25 0 3 0 330935705 203739136 35148 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 198964

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.706
CPU time (s): 1200.1
CPU user time (s): 1199.74
CPU system time (s): 0.363944
CPU usage (%): 199.449
Max. virtual memory (cumulated for all children) (KiB): 198964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35882
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= 94
involuntary context switches= 22936

runsolver used 0.577912 second user time and 1.64475 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Mar  5 15:50:10 UTC 2007

IDJOB= 328286
IDBENCH= 20194
IDSOLVER= 139
FILE ID= node6/328286-1173109809

PBS_JOBID= 4013929

Free space on /tmp= 66433 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  54d48c33f7a9a8497a5de749a63ebbcb

RANDOM SEED= 709274084

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.277
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.277
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:      2055924 kB
MemFree:       1229456 kB
Buffers:         42776 kB
Cached:         691688 kB
SwapCached:       2520 kB
Active:         177500 kB
Inactive:       579964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1229456 kB
SwapTotal:     4192956 kB
SwapFree:      4156956 kB
Dirty:            1280 kB
Writeback:           0 kB
Mapped:          30680 kB
Slab:            54712 kB
Committed_AS:  1224892 kB
PageTables:       1744 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66433 MiB

End job on node6 on Mon Mar  5 16:00:13 UTC 2007