Trace number 328280

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.14 601.639

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
MD5SUM28ae03a20ed33a70e6a5afd2d43adafd
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.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=47881 maxSat=0
0.36/0.34	c flip 10000 nbSat=51588 maxSat=51593
0.56/0.43	c flip 20000 nbSat=52551 maxSat=52566
0.76/0.53	c flip 30000 nbSat=52899 maxSat=52951
0.96/0.62	c flip 40000 nbSat=53152 maxSat=53202
1.16/0.71	c flip 50000 nbSat=53296 maxSat=53336
1.16/0.79	c flip 60000 nbSat=53361 maxSat=53394
1.36/0.88	c flip 70000 nbSat=53424 maxSat=53488
1.56/0.97	c flip 80000 nbSat=53426 maxSat=53527
1.76/1.06	c flip 90000 nbSat=53551 maxSat=53571
1.96/1.15	c flip 100000 nbSat=53583 maxSat=53604
2.15/1.24	c flip 110000 nbSat=53627 maxSat=53663
2.35/1.32	c flip 120000 nbSat=53641 maxSat=53707
2.55/1.41	c flip 130000 nbSat=53691 maxSat=53711
2.55/1.49	c flip 140000 nbSat=53667 maxSat=53711
2.75/1.58	c flip 150000 nbSat=53640 maxSat=53717
2.95/1.66	c flip 160000 nbSat=53692 maxSat=53717
3.15/1.75	c flip 170000 nbSat=53673 maxSat=53738
3.35/1.83	c flip 180000 nbSat=53723 maxSat=53746
3.55/1.91	c flip 190000 nbSat=53720 maxSat=53797
3.75/2.00	c flip 200000 nbSat=53769 maxSat=53806
3.75/2.08	c flip 210000 nbSat=53742 maxSat=53809
3.95/2.17	c flip 220000 nbSat=53763 maxSat=53828
4.16/2.25	c flip 230000 nbSat=53786 maxSat=53846
4.35/2.33	c flip 240000 nbSat=53784 maxSat=53873
4.55/2.42	c flip 250000 nbSat=53838 maxSat=53873
4.75/2.53	c flip 0 nbSat=48852 maxSat=53923
4.95/2.67	c flip 10000 nbSat=52734 maxSat=53923
5.35/2.81	c flip 20000 nbSat=53639 maxSat=53923
5.55/2.95	c flip 30000 nbSat=54030 maxSat=54065
5.95/3.10	c flip 40000 nbSat=54317 maxSat=54323
6.16/3.25	c flip 50000 nbSat=54435 maxSat=54446
6.55/3.40	c flip 60000 nbSat=54542 maxSat=54577
6.74/3.55	c flip 70000 nbSat=54573 maxSat=54651
7.14/3.71	c flip 80000 nbSat=54573 maxSat=54651
7.34/3.86	c flip 90000 nbSat=54661 maxSat=54680
7.74/4.01	c flip 100000 nbSat=54691 maxSat=54731
7.94/4.16	c flip 110000 nbSat=54673 maxSat=54749
8.35/4.31	c flip 120000 nbSat=54730 maxSat=54758
8.55/4.46	c flip 130000 nbSat=54738 maxSat=54796
8.94/4.62	c flip 140000 nbSat=54766 maxSat=54825
9.14/4.77	c flip 150000 nbSat=54819 maxSat=54860
9.54/4.92	c flip 160000 nbSat=54886 maxSat=54909
9.74/5.07	c flip 170000 nbSat=54817 maxSat=54909
10.14/5.21	c flip 180000 nbSat=54832 maxSat=54909
10.34/5.36	c flip 190000 nbSat=54807 maxSat=54909
10.74/5.52	c flip 200000 nbSat=54788 maxSat=54909
10.93/5.67	c flip 210000 nbSat=54805 maxSat=54909
11.33/5.82	c flip 220000 nbSat=54841 maxSat=54909
11.53/5.97	c flip 230000 nbSat=54787 maxSat=54909
11.93/6.12	c flip 240000 nbSat=54778 maxSat=54909
12.13/6.27	c flip 250000 nbSat=54805 maxSat=54909
12.53/6.46	c flip 0 nbSat=50732 maxSat=54909
12.93/6.69	c flip 10000 nbSat=54757 maxSat=54909
13.52/6.93	c flip 20000 nbSat=55585 maxSat=55619
13.92/7.18	c flip 30000 nbSat=55985 maxSat=55990
14.52/7.45	c flip 40000 nbSat=56127 maxSat=56189
15.13/7.72	c flip 50000 nbSat=56321 maxSat=56331
15.52/7.99	c flip 60000 nbSat=56302 maxSat=56432
16.12/8.28	c flip 70000 nbSat=56425 maxSat=56483
16.72/8.56	c flip 80000 nbSat=56502 maxSat=56515
17.32/8.83	c flip 90000 nbSat=56517 maxSat=56588
17.92/9.10	c flip 100000 nbSat=56497 maxSat=56588
18.32/9.39	c flip 110000 nbSat=56538 maxSat=56613
18.92/9.66	c flip 120000 nbSat=56591 maxSat=56622
19.53/9.94	c flip 130000 nbSat=56536 maxSat=56625
20.12/10.20	c flip 140000 nbSat=56561 maxSat=56625
20.52/10.46	c flip 150000 nbSat=56627 maxSat=56661
21.11/10.73	c flip 160000 nbSat=56665 maxSat=56697
21.72/11.00	c flip 170000 nbSat=56660 maxSat=56732
22.11/11.27	c flip 180000 nbSat=56643 maxSat=56732
22.71/11.53	c flip 190000 nbSat=56648 maxSat=56732
23.11/11.79	c flip 200000 nbSat=56693 maxSat=56732
23.71/12.05	c flip 210000 nbSat=56685 maxSat=56739
24.30/12.32	c flip 220000 nbSat=56676 maxSat=56739
24.50/12.47	c nbDecision=10000 #clauses=59628
24.90/12.60	c flip 230000 nbSat=56686 maxSat=56739
25.30/12.87	c flip 240000 nbSat=56676 maxSat=56739
25.90/13.15	c flip 250000 nbSat=56665 maxSat=56747
26.49/13.48	c flip 0 nbSat=53076 maxSat=56747
27.30/13.84	c flip 10000 nbSat=57013 maxSat=57023
28.10/14.25	c flip 20000 nbSat=57814 maxSat=57846
28.89/14.67	c flip 30000 nbSat=58272 maxSat=58293
29.89/15.11	c flip 40000 nbSat=58509 maxSat=58511
30.69/15.58	c flip 50000 nbSat=58609 maxSat=58635
31.68/16.09	c flip 60000 nbSat=58703 maxSat=58724
32.69/16.56	c flip 70000 nbSat=58795 maxSat=58868
33.68/17.06	c flip 80000 nbSat=58916 maxSat=58930
34.68/17.54	c flip 90000 nbSat=58928 maxSat=58999
35.67/18.03	c flip 100000 nbSat=58986 maxSat=59039
36.67/18.51	c flip 110000 nbSat=59035 maxSat=59070
37.47/18.97	c flip 120000 nbSat=59052 maxSat=59089
38.47/19.44	c flip 130000 nbSat=59063 maxSat=59115
39.47/19.92	c flip 140000 nbSat=59070 maxSat=59115
40.26/20.39	c flip 150000 nbSat=59079 maxSat=59124
41.26/20.87	c flip 160000 nbSat=59083 maxSat=59134
42.26/21.31	c flip 170000 nbSat=59026 maxSat=59134
43.06/21.75	c flip 180000 nbSat=59041 maxSat=59134
43.85/22.18	c flip 190000 nbSat=59035 maxSat=59134
44.85/22.62	c flip 200000 nbSat=59065 maxSat=59134
45.66/23.08	c flip 210000 nbSat=59100 maxSat=59134
46.65/23.55	c flip 220000 nbSat=59087 maxSat=59139
47.65/24.02	c flip 230000 nbSat=59082 maxSat=59146
48.44/24.48	c flip 240000 nbSat=59093 maxSat=59159
49.44/24.94	c flip 250000 nbSat=59107 maxSat=59159
50.44/25.47	c flip 0 nbSat=56371 maxSat=59159
51.64/26.04	c flip 10000 nbSat=60228 maxSat=60233
53.03/26.73	c flip 20000 nbSat=61119 maxSat=61119
54.44/27.44	c flip 30000 nbSat=61436 maxSat=61464
55.83/28.13	c flip 40000 nbSat=61716 maxSat=61735
57.42/28.90	c flip 50000 nbSat=61889 maxSat=61934
58.83/29.63	c flip 60000 nbSat=61964 maxSat=62018
60.22/30.33	c flip 70000 nbSat=62039 maxSat=62112
61.61/31.09	c flip 80000 nbSat=62143 maxSat=62172
63.22/31.88	c flip 90000 nbSat=62063 maxSat=62201
65.01/32.73	c flip 100000 nbSat=62250 maxSat=62258
66.60/33.57	c flip 110000 nbSat=62207 maxSat=62285
68.20/34.38	c flip 120000 nbSat=62222 maxSat=62285
69.60/35.10	c nbDecision=20000 #clauses=65442
70.00/35.22	c flip 130000 nbSat=62260 maxSat=62317
71.59/36.08	c flip 140000 nbSat=62262 maxSat=62324
73.38/36.97	c flip 150000 nbSat=62336 maxSat=62376
75.17/37.83	c flip 160000 nbSat=62320 maxSat=62376
76.97/38.70	c flip 170000 nbSat=62350 maxSat=62397
78.57/39.53	c flip 180000 nbSat=62376 maxSat=62400
80.16/40.32	c flip 190000 nbSat=62399 maxSat=62450
81.55/41.06	c flip 200000 nbSat=62457 maxSat=62468
83.16/41.88	c flip 210000 nbSat=62407 maxSat=62470
84.76/42.67	c flip 220000 nbSat=62389 maxSat=62470
86.35/43.49	c flip 230000 nbSat=62418 maxSat=62470
88.15/44.33	c flip 240000 nbSat=62493 maxSat=62510
89.75/45.11	c flip 250000 nbSat=62432 maxSat=62511
91.55/46.01	c flip 0 nbSat=60753 maxSat=62511
93.34/46.90	c flip 10000 nbSat=64607 maxSat=64607
95.53/48.00	c flip 20000 nbSat=65627 maxSat=65661
97.93/49.26	c flip 30000 nbSat=66022 maxSat=66049
100.32/50.43	c flip 40000 nbSat=66216 maxSat=66228
102.72/51.67	c flip 50000 nbSat=66268 maxSat=66270
105.51/53.03	c flip 60000 nbSat=66329 maxSat=66356
108.10/54.39	c flip 70000 nbSat=66402 maxSat=66435
110.90/55.77	c flip 80000 nbSat=66416 maxSat=66453
113.70/57.19	c flip 90000 nbSat=66501 maxSat=66525
116.48/58.58	c flip 100000 nbSat=66522 maxSat=66602
119.48/60.03	c flip 110000 nbSat=66552 maxSat=66611
122.27/61.46	c flip 120000 nbSat=66611 maxSat=66651
125.26/62.92	c flip 130000 nbSat=66628 maxSat=66660
128.06/64.37	c flip 140000 nbSat=66622 maxSat=66683
130.86/65.76	c flip 150000 nbSat=66634 maxSat=66683
133.65/67.12	c flip 160000 nbSat=66665 maxSat=66703
136.44/68.52	c flip 170000 nbSat=66672 maxSat=66715
139.22/69.91	c flip 180000 nbSat=66730 maxSat=66743
141.82/71.25	c flip 190000 nbSat=66721 maxSat=66777
144.62/72.65	c flip 200000 nbSat=66668 maxSat=66777
145.21/72.96	c nbDecision=30000 #clauses=71483
147.20/73.91	c flip 210000 nbSat=66678 maxSat=66777
149.60/75.15	c flip 220000 nbSat=66658 maxSat=66777
152.19/76.44	c flip 230000 nbSat=66727 maxSat=66777
154.79/77.78	c flip 240000 nbSat=66663 maxSat=66777
157.58/79.12	c flip 250000 nbSat=66775 maxSat=66793
160.37/80.52	c flip 0 nbSat=65425 maxSat=66793
163.37/82.08	c flip 10000 nbSat=69467 maxSat=69474
166.95/83.84	c flip 20000 nbSat=70352 maxSat=70352
170.55/85.69	c flip 30000 nbSat=70791 maxSat=70791
174.73/87.78	c flip 40000 nbSat=70934 maxSat=70947
178.92/89.84	c flip 50000 nbSat=71037 maxSat=71080
183.31/92.03	c flip 60000 nbSat=71163 maxSat=71210
187.90/94.32	c flip 70000 nbSat=71250 maxSat=71305
192.30/96.59	c flip 80000 nbSat=71273 maxSat=71328
197.09/98.90	c flip 90000 nbSat=71343 maxSat=71380
201.87/101.32	c flip 100000 nbSat=71389 maxSat=71420
206.66/103.75	c flip 110000 nbSat=71367 maxSat=71430
211.25/106.09	c flip 120000 nbSat=71366 maxSat=71430
216.24/108.53	c flip 130000 nbSat=71414 maxSat=71439
220.83/110.85	c flip 140000 nbSat=71405 maxSat=71443
225.63/113.22	c flip 150000 nbSat=71469 maxSat=71497
230.40/115.68	c flip 160000 nbSat=71438 maxSat=71497
234.99/117.99	c flip 170000 nbSat=71515 maxSat=71548
239.98/120.40	c flip 180000 nbSat=71511 maxSat=71604
244.57/122.74	c flip 190000 nbSat=71506 maxSat=71604
247.56/124.23	c nbDecision=40000 #clauses=77579
249.16/125.00	c flip 200000 nbSat=71531 maxSat=71604
253.55/127.25	c flip 210000 nbSat=71499 maxSat=71618
258.14/129.55	c flip 220000 nbSat=71579 maxSat=71624
263.12/132.01	c flip 230000 nbSat=71576 maxSat=71642
267.32/134.16	c flip 240000 nbSat=71565 maxSat=71642
271.31/136.17	c flip 250000 nbSat=71595 maxSat=71642
276.09/138.50	c flip 0 nbSat=72170 maxSat=71642
281.08/141.09	c flip 10000 nbSat=76144 maxSat=76152
287.07/144.07	c flip 20000 nbSat=77105 maxSat=77130
293.66/147.39	c flip 30000 nbSat=77422 maxSat=77470
300.83/150.99	c flip 40000 nbSat=77684 maxSat=77718
308.22/154.61	c flip 50000 nbSat=77783 maxSat=77835
315.61/158.34	c flip 60000 nbSat=77948 maxSat=77957
323.78/162.49	c flip 70000 nbSat=77915 maxSat=77974
331.56/166.33	c flip 80000 nbSat=77963 maxSat=78007
338.34/169.72	c flip 90000 nbSat=77986 maxSat=78050
345.53/173.36	c flip 100000 nbSat=78059 maxSat=78087
352.91/177.10	c flip 110000 nbSat=78016 maxSat=78112
360.48/180.88	c flip 120000 nbSat=78103 maxSat=78153
367.27/184.21	c nbDecision=50000 #clauses=83708
368.27/184.72	c flip 130000 nbSat=78124 maxSat=78180
375.86/188.60	c flip 140000 nbSat=78139 maxSat=78210
384.04/192.68	c flip 150000 nbSat=78176 maxSat=78234
392.22/196.79	c flip 160000 nbSat=78215 maxSat=78261
400.60/200.92	c flip 170000 nbSat=78229 maxSat=78266
408.77/205.08	c flip 180000 nbSat=78244 maxSat=78266
417.36/209.37	c flip 190000 nbSat=78254 maxSat=78302
425.93/213.60	c flip 200000 nbSat=78280 maxSat=78308
434.71/218.02	c flip 210000 nbSat=78275 maxSat=78318
443.68/222.50	c flip 220000 nbSat=78298 maxSat=78320
452.67/227.04	c flip 230000 nbSat=78278 maxSat=78331
461.85/231.61	c flip 240000 nbSat=78232 maxSat=78331
470.83/236.12	c flip 250000 nbSat=78223 maxSat=78331
477.41/239.40	c nbDecision=60000 #clauses=89802
480.21/240.87	c flip 0 nbSat=83176 maxSat=78331
489.19/245.31	c flip 10000 nbSat=86943 maxSat=86959
499.75/250.60	c flip 20000 nbSat=87890 maxSat=87890
512.12/256.80	c flip 30000 nbSat=88302 maxSat=88324
525.29/263.41	c flip 40000 nbSat=88491 maxSat=88524
539.06/270.39	c flip 50000 nbSat=88612 maxSat=88624
552.23/276.91	c flip 60000 nbSat=88752 maxSat=88766
567.00/284.32	c flip 70000 nbSat=88882 maxSat=88884
581.56/291.60	c flip 80000 nbSat=88909 maxSat=88929
595.32/298.57	c flip 90000 nbSat=88948 maxSat=88960
609.91/305.85	c flip 100000 nbSat=88902 maxSat=88960
624.67/313.29	c flip 110000 nbSat=88959 maxSat=89001
630.85/316.38	c nbDecision=70000 #clauses=96250
639.82/320.84	c flip 120000 nbSat=89064 maxSat=89071
653.99/327.94	c flip 130000 nbSat=88993 maxSat=89086
669.36/335.64	c flip 140000 nbSat=89052 maxSat=89086
684.11/343.07	c flip 150000 nbSat=88997 maxSat=89086
699.69/350.81	c flip 160000 nbSat=89090 maxSat=89110
716.05/359.03	c flip 170000 nbSat=89052 maxSat=89159
731.01/366.58	c flip 180000 nbSat=89075 maxSat=89159
746.37/374.25	c flip 190000 nbSat=89122 maxSat=89184
761.74/381.98	c flip 200000 nbSat=89138 maxSat=89189
776.89/389.51	c flip 210000 nbSat=89083 maxSat=89189
791.46/396.85	c flip 220000 nbSat=89118 maxSat=89189
792.07/397.11	c nbDecision=80000 #clauses=102571
806.23/404.24	c flip 230000 nbSat=89083 maxSat=89189
821.19/411.77	c flip 240000 nbSat=89108 maxSat=89189
836.16/419.29	c flip 250000 nbSat=89130 maxSat=89189
852.53/427.46	c flip 0 nbSat=98039 maxSat=89191
868.28/435.34	c flip 10000 nbSat=101881 maxSat=101888
886.45/444.44	c flip 20000 nbSat=102848 maxSat=102875
906.59/454.57	c flip 30000 nbSat=103294 maxSat=103333
928.15/465.39	c flip 40000 nbSat=103584 maxSat=103606
950.68/476.69	c flip 50000 nbSat=103698 maxSat=103731
957.46/480.04	c nbDecision=90000 #clauses=108764
973.23/487.96	c flip 60000 nbSat=103818 maxSat=103845
997.97/500.39	c flip 70000 nbSat=103802 maxSat=103872
1022.91/512.84	c flip 80000 nbSat=103949 maxSat=104023
1046.05/524.45	c flip 90000 nbSat=103928 maxSat=104023
1071.59/537.23	c flip 100000 nbSat=103946 maxSat=104023
1098.33/550.67	c flip 110000 nbSat=104000 maxSat=104040
1126.26/564.67	c flip 120000 nbSat=104072 maxSat=104096
1144.43/573.78	c nbDecision=100000 #clauses=114991
1154.60/578.90	c flip 130000 nbSat=104073 maxSat=104096
1182.54/592.81	c flip 140000 nbSat=104123 maxSat=104178

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/node42/watcher-328280-1173109638 -o ROOT/results/node42/solver-328280-1173109638 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328280-1173109638/ornithorynque /tmp/evaluation/328280-1173109638/instance-328280-1173109638.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: 2.00 1.97 1.91 3/64 10739
/proc/meminfo: memFree=1197672/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=23220 CPUtime=0
/proc/10739/stat : 10739 (ornithorynque) R 10737 10739 10230 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 36917213 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259412497520 0 0 4096 0 0 0 0 17 1 0 0
/proc/10739/statm: 5805 266 219 42 0 45 0

[startup+0.059128 s]
/proc/loadavg: 2.00 1.97 1.91 3/64 10739
/proc/meminfo: memFree=1197672/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=25320 CPUtime=0.05
/proc/10739/stat : 10739 (ornithorynque) R 10737 10739 10230 0 -1 4194304 985 0 0 0 5 0 0 0 18 0 1 0 36917213 25927680 913 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259414987489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/10739/statm: 6330 913 377 42 0 582 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25320

[startup+0.102136 s]
/proc/loadavg: 2.00 1.97 1.91 3/64 10739
/proc/meminfo: memFree=1197672/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=26896 CPUtime=0.09
/proc/10739/stat : 10739 (ornithorynque) R 10737 10739 10230 0 -1 4194304 1420 0 0 0 9 0 0 0 18 0 1 0 36917213 27541504 1283 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259414987489 0 0 4096 1088 0 0 0 17 1 0 0
/proc/10739/statm: 6724 1284 377 42 0 976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26896

[startup+0.301189 s]
/proc/loadavg: 2.00 1.97 1.91 3/64 10739
/proc/meminfo: memFree=1197672/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=54648 CPUtime=0.36
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 3363 0 0 0 35 1 0 0 19 0 3 0 36917213 55959552 3075 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 13662 3075 387 42 0 7914 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 54648

[startup+0.70126 s]
/proc/loadavg: 2.00 1.97 1.91 3/64 10739
/proc/meminfo: memFree=1197672/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=54860 CPUtime=1.16
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 3414 0 0 0 115 1 0 0 19 0 3 0 36917213 56176640 3126 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 13715 3126 387 42 0 7967 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 54860

[startup+1.50141 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1186448/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=54988 CPUtime=2.75
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 3460 0 0 0 274 1 0 0 19 0 3 0 36917213 56307712 3172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 13747 3172 387 42 0 7999 0
[pid=10739/tid=10741] ppid=10737 vsize=54988 CPUtime=1.26
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 170 0 0 0 126 0 0 0 25 0 3 0 36917236 56307712 3172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=54988 CPUtime=1.26
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 2 0 0 0 126 0 0 0 25 0 3 0 36917236 56307712 3172 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238075 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.10172 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1186000/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=57548 CPUtime=5.95
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 3850 0 0 0 593 2 0 0 19 0 3 0 36917213 58929152 3562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 14387 3562 387 42 0 8639 0
[pid=10739/tid=10741] ppid=10737 vsize=57548 CPUtime=2.86
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 278 0 0 0 286 0 0 0 21 0 3 0 36917236 58929152 3562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=57548 CPUtime=2.85
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 284 0 0 0 285 0 0 0 21 0 3 0 36917236 58929152 3562 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 57548

[startup+6.30133 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1183824/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=58468 CPUtime=12.33
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 4069 0 0 0 1231 2 0 0 19 0 3 0 36917213 59871232 3781 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 14617 3782 387 42 0 8869 0
[pid=10739/tid=10741] ppid=10737 vsize=58468 CPUtime=6.06
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 498 0 0 0 606 0 0 0 25 0 3 0 36917236 59871232 3782 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259414987489 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=58468 CPUtime=6.04
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 284 0 0 0 604 0 0 0 25 0 3 0 36917236 59871232 3782 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 58468

[startup+12.7015 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1180248/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=61440 CPUtime=25.1
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 4952 0 0 0 2507 3 0 0 19 0 3 0 36917213 62914560 4664 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 15360 4664 387 42 0 9612 0
[pid=10739/tid=10741] ppid=10737 vsize=61440 CPUtime=12.46
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 754 0 0 0 1245 1 0 0 25 0 3 0 36917236 62914560 4664 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=61440 CPUtime=12.4
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 910 0 0 0 1240 0 0 0 25 0 3 0 36917236 62914560 4664 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 61440

[startup+25.503 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1173848/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=72624 CPUtime=50.64
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 7584 0 0 0 5058 6 0 0 19 0 3 0 36917213 74366976 7296 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 18156 7296 387 42 0 12408 0
[pid=10739/tid=10741] ppid=10737 vsize=72624 CPUtime=25.25
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 1375 0 0 0 2524 1 0 0 25 0 3 0 36917236 74366976 7296 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311148 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=72624 CPUtime=25.15
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 2921 0 0 0 2513 2 0 0 17 0 3 0 36917236 74366976 7296 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 72624

[startup+51.1028 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1160920/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=82568 CPUtime=101.72
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 9992 0 0 0 10164 8 0 0 19 0 3 0 36917213 84549632 9446 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 20642 9446 387 42 0 14894 0
[pid=10739/tid=10741] ppid=10737 vsize=82568 CPUtime=50.84
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 2206 0 0 0 5081 3 0 0 25 0 3 0 36917236 84549632 9446 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311267 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=82568 CPUtime=50.64
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 4498 0 0 0 5061 3 0 0 25 0 3 0 36917236 84549632 9446 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242448 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 82568

[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1150232/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=94524 CPUtime=203.87
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 12638 0 0 0 20378 9 0 0 19 0 3 0 36917213 96792576 12092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 23631 12092 387 42 0 17883 0
[pid=10739/tid=10741] ppid=10737 vsize=94524 CPUtime=102.02
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 2654 0 0 0 10199 3 0 0 25 0 3 0 36917236 96792576 12092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=94524 CPUtime=101.61
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 6696 0 0 0 10157 4 0 0 25 0 3 0 36917236 96792576 12092 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 94524

[startup+162.303 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1133208/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=113564 CPUtime=323.58
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 16879 0 0 0 32346 12 0 0 19 0 3 0 36917213 116289536 16333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 28391 16333 387 42 0 22643 0
[pid=10739/tid=10741] ppid=10737 vsize=113564 CPUtime=161.99
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 3634 0 0 0 16195 4 0 0 25 0 3 0 36917236 116289536 16333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=113564 CPUtime=161.34
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 9957 0 0 0 16129 5 0 0 25 0 3 0 36917236 116289536 16333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (KiB) 113564

[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1127960/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=118684 CPUtime=443.28
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 18184 0 0 0 44314 14 0 0 19 0 3 0 36917213 121532416 17638 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 29671 17638 387 42 0 23923 0
[pid=10739/tid=10741] ppid=10737 vsize=118684 CPUtime=221.98
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 4939 0 0 0 22191 7 0 0 25 0 3 0 36917236 121532416 17638 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311234 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=118684 CPUtime=221.06
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 9957 0 0 0 22101 5 0 0 25 0 3 0 36917236 121532416 17638 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.28
Current children cumulated vsize (KiB) 118684

[startup+282.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/67 10742
/proc/meminfo: memFree=1094232/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=154876 CPUtime=563.01
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 26640 0 0 0 56281 20 0 0 19 0 3 0 36917213 158593024 26094 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 38719 26094 387 42 0 32971 0
[pid=10739/tid=10741] ppid=10737 vsize=154876 CPUtime=281.96
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 6216 0 0 0 28187 9 0 0 25 0 3 0 36917236 158593024 26094 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=154876 CPUtime=280.81
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 17136 0 0 0 28072 9 0 0 25 0 3 0 36917236 158593024 26094 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.01
Current children cumulated vsize (KiB) 154876

[startup+342.301 s]
/proc/loadavg: 2.07 1.99 1.91 3/67 10742
/proc/meminfo: memFree=1089560/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=159492 CPUtime=682.71
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 27798 0 0 0 68250 21 0 0 19 0 3 0 36917213 163319808 27252 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 39873 27252 387 42 0 34125 0
[pid=10739/tid=10741] ppid=10737 vsize=159492 CPUtime=341.93
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 7374 0 0 0 34183 10 0 0 25 0 3 0 36917236 163319808 27252 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311281 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=159492 CPUtime=340.54
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 17136 0 0 0 34045 9 0 0 25 0 3 0 36917236 163319808 27252 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 159492

[startup+402.302 s]
/proc/loadavg: 2.20 2.03 1.93 3/67 10742
/proc/meminfo: memFree=1085336/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=163592 CPUtime=802.44
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 28860 0 0 0 80222 22 0 0 19 0 3 0 36917213 167518208 28314 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 40898 28314 387 42 0 35150 0
[pid=10739/tid=10741] ppid=10737 vsize=163592 CPUtime=401.91
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 8436 0 0 0 40180 11 0 0 25 0 3 0 36917236 167518208 28314 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4314353 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=163592 CPUtime=400.29
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 17136 0 0 0 40020 9 0 0 25 0 3 0 36917236 167518208 28314 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241176 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 163592

[startup+462.302 s]
/proc/loadavg: 2.07 2.02 1.93 3/67 10742
/proc/meminfo: memFree=1060888/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=193200 CPUtime=922.15
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 34932 0 0 0 92190 25 0 0 19 0 3 0 36917213 197836800 34386 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 48300 34386 387 42 0 42552 0
[pid=10739/tid=10741] ppid=10737 vsize=193200 CPUtime=461.88
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 8863 0 0 0 46177 11 0 0 25 0 3 0 36917236 197836800 34386 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=193200 CPUtime=460.02
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 22781 0 0 0 45991 11 0 0 25 0 3 0 36917236 197836800 34386 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241004 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.15
Current children cumulated vsize (KiB) 193200

[startup+522.302 s]
/proc/loadavg: 2.02 2.02 1.93 3/67 10742
/proc/meminfo: memFree=1060696/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=193628 CPUtime=1041.86
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 35051 0 0 0 104161 25 0 0 19 0 3 0 36917213 198275072 34398 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 48407 34398 387 42 0 42659 0
[pid=10739/tid=10741] ppid=10737 vsize=193628 CPUtime=521.87
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 8982 0 0 0 52175 12 0 0 25 0 3 0 36917236 198275072 34398 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=193628 CPUtime=519.75
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 22781 0 0 0 51964 11 0 0 25 0 3 0 36917236 198275072 34398 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.86
Current children cumulated vsize (KiB) 193628

[startup+582.302 s]
/proc/loadavg: 2.06 2.03 1.94 3/67 10742
/proc/meminfo: memFree=1060696/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=193628 CPUtime=1161.59
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 35062 0 0 0 116133 26 0 0 19 0 3 0 36917213 198275072 34409 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 48407 34409 387 42 0 42659 0
[pid=10739/tid=10741] ppid=10737 vsize=193628 CPUtime=581.84
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 8993 0 0 0 58172 12 0 0 25 0 3 0 36917236 198275072 34409 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311247 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=193628 CPUtime=579.49
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 22781 0 0 0 57938 11 0 0 25 0 3 0 36917236 198275072 34409 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242170 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.59
Current children cumulated vsize (KiB) 193628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.04 2.03 1.94 3/67 10742
/proc/meminfo: memFree=1060696/2055920 swapFree=4191892/4192956
[pid=10739] ppid=10737 vsize=193628 CPUtime=1200.1
/proc/10739/stat : 10739 (ornithorynque) S 10737 10739 10230 0 -1 4194304 35069 0 0 0 119984 26 0 0 19 0 3 0 36917213 198275072 34416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 259424022395 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/10739/statm: 48407 34416 387 42 0 42659 0
[pid=10739/tid=10741] ppid=10737 vsize=193628 CPUtime=601.15
/proc/10739/task/10741/stat : 10741 (ornithorynque) R 10737 10739 10230 0 -1 4194368 9000 0 0 0 60103 12 0 0 25 0 3 0 36917236 198275072 34416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311260 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=10739/tid=10742] ppid=10737 vsize=193628 CPUtime=598.71
/proc/10739/task/10742/stat : 10742 (ornithorynque) R 10737 10739 10230 0 -1 4194368 22781 0 0 0 59860 11 0 0 25 0 3 0 36917236 198275072 34416 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 193628

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.639
CPU time (s): 1200.14
CPU user time (s): 1199.86
CPU system time (s): 0.282956
CPU usage (%): 199.479
Max. virtual memory (cumulated for all children) (KiB): 193628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.282956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35069
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= 97
involuntary context switches= 9301

runsolver used 0.465929 second user time and 1.75573 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Mon Mar  5 15:47:18 UTC 2007

IDJOB= 328280
IDBENCH= 20188
IDSOLVER= 139
FILE ID= node42/328280-1173109638

PBS_JOBID= 4013923

Free space on /tmp= 66527 MiB

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

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  28ae03a20ed33a70e6a5afd2d43adafd

RANDOM SEED= 883869114

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.263
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.263
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:       1198144 kB
Buffers:         24924 kB
Cached:         754076 kB
SwapCached:        416 kB
Active:          43908 kB
Inactive:       749980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1198144 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1292 kB
Writeback:           0 kB
Mapped:          23668 kB
Slab:            50036 kB
Committed_AS:    91500 kB
PageTables:       1408 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= 66527 MiB

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