Trace number 336247

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.16 602.04

General information on the benchmark

Namecrafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
MD5SUM15ed95b3a35c74d0cc5dd4986376305c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark48.2217
Satisfiable
(Un)Satisfiability was proved
Number of variables11318
Number of clauses316793
Sum of the clauses size640466
Maximum clause length38
Minimum clause length1
Number of clauses of size 161
Number of clauses of size 2314245
Number of clauses of size 3173
Number of clauses of size 42250
Number of clauses of size 50
Number of clauses of size over 564

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.59/0.61	c ...done
0.59/0.61	c nbVar=11318 nbClause=316793
0.69/0.72	c nbVar=11318 nbClause=316793
0.79/0.87	c complete search running
0.79/0.87	c local search running
0.92/0.92	c flip 0 nbSat=235738 maxSat=0
1.51/1.27	c flip 10000 nbSat=316326 maxSat=316331
2.11/1.53	c flip 20000 nbSat=316491 maxSat=316500
2.51/1.77	c flip 30000 nbSat=316545 maxSat=316547
2.91/1.99	c flip 40000 nbSat=316564 maxSat=316581
3.32/2.20	c flip 50000 nbSat=316549 maxSat=316582
3.91/2.42	c flip 60000 nbSat=316569 maxSat=316582
4.31/2.62	c flip 70000 nbSat=316568 maxSat=316582
4.71/2.83	c flip 80000 nbSat=316564 maxSat=316587
5.11/3.05	c flip 90000 nbSat=316582 maxSat=316587
5.51/3.26	c flip 100000 nbSat=316575 maxSat=316587
5.90/3.47	c nbDecision=10000 #clauses=317942
5.90/3.49	c flip 110000 nbSat=316572 maxSat=316587
6.50/3.71	c flip 120000 nbSat=316587 maxSat=316590
6.90/3.92	c flip 130000 nbSat=316572 maxSat=316595
7.30/4.14	c flip 140000 nbSat=316585 maxSat=316595
7.71/4.36	c flip 150000 nbSat=316580 maxSat=316595
8.10/4.57	c flip 160000 nbSat=316571 maxSat=316595
8.50/4.79	c flip 170000 nbSat=316586 maxSat=316595
8.90/4.98	c flip 180000 nbSat=316574 maxSat=316595
9.30/5.18	c flip 190000 nbSat=316569 maxSat=316598
9.70/5.38	c flip 200000 nbSat=316588 maxSat=316600
10.10/5.58	c flip 210000 nbSat=316588 maxSat=316600
10.50/5.77	c flip 220000 nbSat=316589 maxSat=316604
10.89/5.97	c flip 0 nbSat=242867 maxSat=316604
11.69/6.34	c flip 10000 nbSat=319839 maxSat=319841
12.30/6.65	c flip 20000 nbSat=320056 maxSat=320070
12.89/6.94	c flip 30000 nbSat=320083 maxSat=320105
13.49/7.22	c flip 40000 nbSat=320093 maxSat=320115
13.89/7.49	c flip 50000 nbSat=320118 maxSat=320140
14.49/7.74	c flip 60000 nbSat=320123 maxSat=320147
14.89/8.00	c flip 70000 nbSat=320151 maxSat=320168
15.49/8.23	c flip 80000 nbSat=320154 maxSat=320181
15.88/8.47	c flip 90000 nbSat=320179 maxSat=320186
16.28/8.68	c flip 100000 nbSat=320185 maxSat=320196
16.68/8.89	c flip 110000 nbSat=320184 maxSat=320198
17.28/9.11	c nbDecision=20000 #clauses=323651
17.28/9.11	c flip 120000 nbSat=320167 maxSat=320198
17.68/9.34	c flip 130000 nbSat=320172 maxSat=320198
18.08/9.57	c flip 140000 nbSat=320147 maxSat=320198
18.68/9.81	c flip 150000 nbSat=320169 maxSat=320198
19.07/10.02	c flip 160000 nbSat=320179 maxSat=320198
19.47/10.24	c flip 170000 nbSat=320168 maxSat=320198
19.87/10.48	c flip 180000 nbSat=320175 maxSat=320198
20.47/10.70	c flip 190000 nbSat=320187 maxSat=320199
20.87/10.93	c flip 200000 nbSat=320181 maxSat=320199
21.26/11.17	c flip 210000 nbSat=320177 maxSat=320199
21.86/11.41	c flip 220000 nbSat=320180 maxSat=320199
22.26/11.65	c flip 0 nbSat=246103 maxSat=320199
23.26/12.11	c flip 10000 nbSat=324825 maxSat=324843
24.06/12.59	c flip 20000 nbSat=325104 maxSat=325129
25.06/13.01	c flip 30000 nbSat=325170 maxSat=325203
25.86/13.41	c flip 40000 nbSat=325196 maxSat=325222
26.46/13.79	c flip 50000 nbSat=325212 maxSat=325231
27.46/14.22	c flip 60000 nbSat=325222 maxSat=325248
28.25/14.62	c flip 70000 nbSat=325203 maxSat=325248
29.05/15.00	c flip 80000 nbSat=325233 maxSat=325248
29.66/15.34	c flip 90000 nbSat=325205 maxSat=325248
29.86/15.46	c nbDecision=30000 #clauses=329023
30.25/15.67	c flip 100000 nbSat=325234 maxSat=325249
31.24/16.13	c flip 110000 nbSat=325229 maxSat=325249
32.24/16.60	c flip 120000 nbSat=325219 maxSat=325252
33.04/17.09	c flip 130000 nbSat=325233 maxSat=325254
34.04/17.57	c flip 140000 nbSat=325186 maxSat=325254
34.83/17.98	c flip 150000 nbSat=325215 maxSat=325254
35.83/18.44	c flip 160000 nbSat=325222 maxSat=325254
36.63/18.88	c flip 170000 nbSat=325206 maxSat=325254
37.63/19.34	c flip 180000 nbSat=325237 maxSat=325257
38.43/19.75	c flip 190000 nbSat=325249 maxSat=325257
39.22/20.17	c flip 200000 nbSat=325260 maxSat=325262
40.03/20.56	c flip 210000 nbSat=325264 maxSat=325275
40.83/20.99	c flip 220000 nbSat=325275 maxSat=325281
41.62/21.34	c flip 0 nbSat=258169 maxSat=325284
43.02/22.08	c flip 10000 nbSat=333228 maxSat=333266
44.42/22.76	c flip 20000 nbSat=333548 maxSat=333560
45.81/23.42	c flip 30000 nbSat=333549 maxSat=333581
47.42/24.22	c flip 40000 nbSat=333586 maxSat=333610
48.40/24.76	c flip 50000 nbSat=333620 maxSat=333639
49.61/25.32	c flip 60000 nbSat=333649 maxSat=333649
50.60/25.86	c flip 70000 nbSat=333619 maxSat=333649
51.80/26.41	c flip 80000 nbSat=333637 maxSat=333663
52.39/26.75	c nbDecision=40000 #clauses=337572
52.79/26.96	c flip 90000 nbSat=333641 maxSat=333663
53.39/27.28	c flip 100000 nbSat=333658 maxSat=333675
54.59/27.81	c flip 110000 nbSat=333633 maxSat=333675
55.59/28.38	c flip 120000 nbSat=333581 maxSat=333675
56.79/28.98	c flip 130000 nbSat=333648 maxSat=333675
58.39/29.72	c flip 140000 nbSat=333639 maxSat=333675
59.58/30.32	c flip 150000 nbSat=333633 maxSat=333675
60.59/30.85	c flip 160000 nbSat=333666 maxSat=333677
61.58/31.32	c flip 170000 nbSat=333673 maxSat=333692
62.58/31.84	c flip 180000 nbSat=333667 maxSat=333692
63.57/32.35	c flip 190000 nbSat=333666 maxSat=333692
64.37/32.74	c flip 200000 nbSat=333678 maxSat=333694
64.78/32.99	c flip 210000 nbSat=333659 maxSat=333694
65.37/33.26	c flip 220000 nbSat=333670 maxSat=333694
65.96/33.58	c flip 0 nbSat=263238 maxSat=333694
68.76/34.96	c flip 10000 nbSat=339934 maxSat=339961
72.75/36.91	c flip 20000 nbSat=340244 maxSat=340249
75.96/38.55	c flip 30000 nbSat=340292 maxSat=340310
78.94/40.08	c flip 40000 nbSat=340316 maxSat=340323
82.54/41.83	c flip 50000 nbSat=340321 maxSat=340358
85.52/43.33	c flip 60000 nbSat=340343 maxSat=340358
88.11/44.61	c flip 70000 nbSat=340341 maxSat=340363
90.30/45.77	c flip 80000 nbSat=340322 maxSat=340363
92.30/46.75	c flip 90000 nbSat=340359 maxSat=340390
92.90/47.06	c nbDecision=50000 #clauses=346406
94.29/47.72	c flip 100000 nbSat=340362 maxSat=340390
96.29/48.78	c flip 110000 nbSat=340383 maxSat=340393
98.09/49.68	c flip 120000 nbSat=340368 maxSat=340396
100.49/50.80	c flip 130000 nbSat=340362 maxSat=340396
102.68/51.95	c flip 140000 nbSat=340389 maxSat=340399
105.07/53.10	c flip 150000 nbSat=340389 maxSat=340400
107.46/54.39	c flip 160000 nbSat=340367 maxSat=340404
109.85/55.53	c flip 170000 nbSat=340368 maxSat=340404
112.65/56.93	c flip 180000 nbSat=340363 maxSat=340408
115.64/58.45	c flip 190000 nbSat=340385 maxSat=340408
118.43/59.88	c flip 200000 nbSat=340355 maxSat=340408
120.83/61.07	c flip 210000 nbSat=340373 maxSat=340408
123.22/62.22	c flip 220000 nbSat=340388 maxSat=340408
124.82/63.05	c flip 0 nbSat=271054 maxSat=340411
129.62/65.46	c flip 10000 nbSat=350688 maxSat=350730
136.00/68.61	c flip 20000 nbSat=350963 maxSat=350980
140.59/70.95	c flip 30000 nbSat=351032 maxSat=351051
145.58/73.48	c flip 40000 nbSat=351040 maxSat=351051
145.78/73.56	c nbDecision=60000 #clauses=354804
151.16/76.25	c flip 50000 nbSat=351082 maxSat=351094
156.15/78.80	c flip 60000 nbSat=351039 maxSat=351094
161.36/81.34	c flip 70000 nbSat=351065 maxSat=351099
166.14/83.78	c flip 80000 nbSat=351085 maxSat=351115
169.13/85.26	c flip 90000 nbSat=351098 maxSat=351118
172.92/87.17	c flip 100000 nbSat=351118 maxSat=351130
176.51/88.96	c flip 110000 nbSat=351097 maxSat=351138
179.30/90.32	c flip 120000 nbSat=351112 maxSat=351142
182.49/92.00	c flip 130000 nbSat=351121 maxSat=351142
186.28/93.83	c flip 140000 nbSat=351097 maxSat=351142
189.68/95.58	c flip 150000 nbSat=351085 maxSat=351142
190.48/95.91	c nbDecision=70000 #clauses=363280
193.87/97.62	c flip 160000 nbSat=351103 maxSat=351142
197.46/99.41	c flip 170000 nbSat=351107 maxSat=351142
200.85/101.13	c flip 180000 nbSat=351141 maxSat=351143
204.04/102.73	c flip 190000 nbSat=351100 maxSat=351148
209.43/105.44	c flip 200000 nbSat=351079 maxSat=351148
214.02/107.70	c flip 210000 nbSat=351103 maxSat=351148
217.21/109.35	c flip 220000 nbSat=351119 maxSat=351148
220.41/110.97	c flip 0 nbSat=289343 maxSat=351157
227.40/114.45	c flip 10000 nbSat=368406 maxSat=368409
233.99/117.72	c nbDecision=80000 #clauses=371584
234.98/118.24	c flip 20000 nbSat=368628 maxSat=368653
240.76/121.15	c flip 30000 nbSat=368724 maxSat=368739
248.35/124.98	c flip 40000 nbSat=368712 maxSat=368739
255.94/128.76	c flip 50000 nbSat=368751 maxSat=368757
262.71/132.15	c flip 60000 nbSat=368743 maxSat=368772
268.92/135.30	c flip 70000 nbSat=368761 maxSat=368780
277.48/139.55	c flip 80000 nbSat=368767 maxSat=368784
281.67/141.64	c flip 90000 nbSat=368778 maxSat=368805
285.85/143.78	c flip 100000 nbSat=368780 maxSat=368807
286.46/144.07	c nbDecision=90000 #clauses=380076
289.45/145.54	c flip 110000 nbSat=368780 maxSat=368807
294.24/147.95	c flip 120000 nbSat=368773 maxSat=368809
301.03/151.33	c flip 130000 nbSat=368754 maxSat=368809
308.80/155.28	c flip 140000 nbSat=368763 maxSat=368809
316.19/158.99	c flip 150000 nbSat=368773 maxSat=368809
325.57/163.66	c flip 160000 nbSat=368758 maxSat=368809
334.76/168.26	c flip 170000 nbSat=368763 maxSat=368809
341.73/171.79	c flip 180000 nbSat=368753 maxSat=368809
351.71/176.76	c nbDecision=100000 #clauses=388161
353.11/177.44	c flip 190000 nbSat=368763 maxSat=368809
361.89/181.89	c flip 200000 nbSat=368738 maxSat=368809
372.86/187.30	c flip 210000 nbSat=368781 maxSat=368809
380.44/191.17	c flip 220000 nbSat=368790 maxSat=368809
385.62/193.77	c flip 0 nbSat=313695 maxSat=368816
396.01/198.98	c flip 10000 nbSat=391096 maxSat=391141
408.38/205.15	c flip 20000 nbSat=391304 maxSat=391350
422.36/212.12	c flip 30000 nbSat=391407 maxSat=391426
426.74/214.32	c nbDecision=110000 #clauses=396878
434.72/218.37	c flip 40000 nbSat=391404 maxSat=391459
447.29/224.61	c flip 50000 nbSat=391437 maxSat=391466
458.86/230.40	c flip 60000 nbSat=391441 maxSat=391473
468.64/235.36	c flip 70000 nbSat=391460 maxSat=391478
479.21/240.63	c flip 80000 nbSat=391438 maxSat=391479
489.79/245.99	c flip 90000 nbSat=391474 maxSat=391487
500.17/251.17	c flip 100000 nbSat=391471 maxSat=391497
511.14/256.64	c flip 110000 nbSat=391461 maxSat=391497
521.72/261.96	c flip 120000 nbSat=391465 maxSat=391497
524.12/263.14	c nbDecision=120000 #clauses=405264
535.69/268.99	c flip 130000 nbSat=391484 maxSat=391511
547.67/274.95	c flip 140000 nbSat=391500 maxSat=391520
555.64/278.97	c flip 150000 nbSat=391513 maxSat=391525
564.62/283.45	c flip 160000 nbSat=391502 maxSat=391525
573.00/287.67	c flip 170000 nbSat=391485 maxSat=391525
583.97/293.18	c flip 180000 nbSat=391465 maxSat=391525
592.56/297.47	c flip 190000 nbSat=391488 maxSat=391525
601.94/302.18	c flip 200000 nbSat=391475 maxSat=391525
609.93/306.15	c flip 210000 nbSat=391464 maxSat=391525
617.91/310.10	c flip 220000 nbSat=391488 maxSat=391525
622.50/312.47	c flip 0 nbSat=333375 maxSat=391525
636.07/319.25	c nbDecision=130000 #clauses=413863
636.27/319.39	c flip 10000 nbSat=412264 maxSat=412288
650.83/326.68	c flip 20000 nbSat=412466 maxSat=412544
661.20/331.83	c flip 30000 nbSat=412570 maxSat=412593
672.38/337.47	c flip 40000 nbSat=412572 maxSat=412614
686.95/344.71	c flip 50000 nbSat=412601 maxSat=412630
700.92/351.71	c flip 60000 nbSat=412586 maxSat=412630
712.09/357.36	c flip 70000 nbSat=412602 maxSat=412645
725.06/363.83	c flip 80000 nbSat=412619 maxSat=412645
738.22/370.44	c flip 90000 nbSat=412649 maxSat=412654
744.01/373.36	c nbDecision=140000 #clauses=422605
748.40/375.59	c flip 100000 nbSat=412648 maxSat=412663
759.98/381.33	c flip 110000 nbSat=412644 maxSat=412663
771.67/387.24	c flip 120000 nbSat=412631 maxSat=412663
784.23/393.59	c flip 130000 nbSat=412661 maxSat=412673
793.81/398.39	c flip 140000 nbSat=412622 maxSat=412673
801.98/402.48	c flip 150000 nbSat=412658 maxSat=412674
812.34/407.61	c flip 160000 nbSat=412676 maxSat=412679
825.49/414.26	c flip 170000 nbSat=412631 maxSat=412679
842.24/422.64	c flip 180000 nbSat=412630 maxSat=412679
857.80/430.48	c flip 190000 nbSat=412621 maxSat=412679
865.18/434.10	c flip 200000 nbSat=412640 maxSat=412679
875.72/439.45	c flip 210000 nbSat=412672 maxSat=412679
882.11/442.63	c nbDecision=150000 #clauses=431474
888.88/446.09	c flip 220000 nbSat=412638 maxSat=412683
896.67/449.95	c flip 0 nbSat=351972 maxSat=412683
911.63/457.49	c flip 10000 nbSat=432024 maxSat=432030
932.55/467.96	c flip 20000 nbSat=432277 maxSat=432302
952.88/478.15	c flip 30000 nbSat=432334 maxSat=432334
967.84/485.66	c flip 40000 nbSat=432335 maxSat=432370
981.83/492.61	c flip 50000 nbSat=432352 maxSat=432402
994.59/499.07	c flip 60000 nbSat=432378 maxSat=432411
1007.94/505.71	c nbDecision=160000 #clauses=440109
1009.14/506.31	c flip 70000 nbSat=432416 maxSat=432425
1023.12/513.35	c flip 80000 nbSat=432382 maxSat=432425
1035.29/519.42	c flip 90000 nbSat=432419 maxSat=432430
1052.65/528.19	c flip 100000 nbSat=432427 maxSat=432443
1065.82/534.80	c flip 110000 nbSat=432431 maxSat=432443
1076.00/539.84	c flip 120000 nbSat=432409 maxSat=432443
1083.99/543.87	c flip 130000 nbSat=432441 maxSat=432456
1095.16/549.42	c flip 140000 nbSat=432447 maxSat=432462
1106.13/554.93	c flip 150000 nbSat=432441 maxSat=432462
1115.51/559.60	c flip 160000 nbSat=432444 maxSat=432465
1126.28/565.08	c flip 170000 nbSat=432446 maxSat=432465
1128.08/565.90	c nbDecision=170000 #clauses=448569
1137.06/570.46	c flip 180000 nbSat=432450 maxSat=432470
1146.04/574.97	c flip 190000 nbSat=432431 maxSat=432470
1158.02/580.92	c flip 200000 nbSat=432429 maxSat=432470
1170.19/587.06	c flip 210000 nbSat=432427 maxSat=432470
1182.76/593.38	c flip 220000 nbSat=432449 maxSat=432470
1193.73/598.84	c flip 0 nbSat=378175 maxSat=432475

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/node68/watcher-336247-1173642876 -o ROOT/results/node68/solver-336247-1173642876 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/336247-1173642876/ornithorynque /tmp/evaluation/336247-1173642876/instance-336247-1173642876.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: 0.99 0.97 0.99 3/64 11901
/proc/meminfo: memFree=1896592/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=23220 CPUtime=0
/proc/11901/stat : 11901 (ornithorynque) R 11899 11901 11744 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 384245338 23777280 261 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257411814501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11901/statm: 5805 263 218 42 0 45 0

[startup+0.0071411 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11901
/proc/meminfo: memFree=1896592/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=23172 CPUtime=0
/proc/11901/stat : 11901 (ornithorynque) R 11899 11901 11744 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 384245338 23728128 333 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 271050260640 0 0 4096 0 0 0 0 17 1 0 0
/proc/11901/statm: 5793 341 282 42 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23172

[startup+0.101149 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11901
/proc/meminfo: memFree=1896592/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=27816 CPUtime=0.09
/proc/11901/stat : 11901 (ornithorynque) R 11899 11901 11744 0 -1 4194304 1687 0 0 0 9 0 0 0 18 0 1 0 384245338 28483584 1550 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304481 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11901/statm: 6954 1550 377 42 0 1206 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27816

[startup+0.301166 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11901
/proc/meminfo: memFree=1896592/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=37800 CPUtime=0.29
/proc/11901/stat : 11901 (ornithorynque) R 11899 11901 11744 0 -1 4194304 4380 0 0 0 28 1 0 0 19 0 1 0 384245338 38707200 3857 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304481 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11901/statm: 9450 3858 377 42 0 3702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37800

[startup+0.701202 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11901
/proc/meminfo: memFree=1896592/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=58524 CPUtime=0.69
/proc/11901/stat : 11901 (ornithorynque) R 11899 11901 11744 0 -1 4194304 9892 0 0 0 65 4 0 0 22 0 1 0 384245338 59928576 8856 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257414304481 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11901/statm: 14631 8856 381 42 0 8883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58524

[startup+1.50128 s]
/proc/loadavg: 0.99 0.97 0.99 3/67 11904
/proc/meminfo: memFree=1854456/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=89736 CPUtime=2.11
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 13178 0 0 0 205 6 0 0 24 0 3 0 384245338 91889664 10836 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 22434 10836 387 42 0 16686 0
[pid=11901/tid=11903] ppid=11899 vsize=89736 CPUtime=0.62
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 330 0 0 0 62 0 0 0 25 0 3 0 384245426 91889664 10836 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311635 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=89736 CPUtime=0.62
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 2 0 0 0 62 0 0 0 25 0 3 0 384245426 91889664 10836 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285871 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 89736

[startup+3.10143 s]
/proc/loadavg: 0.99 0.97 0.99 3/67 11904
/proc/meminfo: memFree=1854328/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=89736 CPUtime=5.31
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 13180 0 0 0 525 6 0 0 24 0 3 0 384245338 91889664 10838 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 22434 10838 387 42 0 16686 0
[pid=11901/tid=11903] ppid=11899 vsize=89736 CPUtime=2.22
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 332 0 0 0 222 0 0 0 25 0 3 0 384245426 91889664 10838 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=89736 CPUtime=2.21
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 2 0 0 0 221 0 0 0 25 0 3 0 384245426 91889664 10838 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4284385 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 89736

[startup+6.30272 s]
/proc/loadavg: 1.07 0.99 0.99 3/67 11904
/proc/meminfo: memFree=1854272/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=92092 CPUtime=11.69
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 13579 0 0 0 1163 6 0 0 24 0 3 0 384245338 94302208 11082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 23023 11082 387 42 0 17275 0
[pid=11901/tid=11903] ppid=11899 vsize=92092 CPUtime=5.42
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 409 0 0 0 542 0 0 0 25 0 3 0 384245426 94302208 11082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311068 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=92092 CPUtime=5.4
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 324 0 0 0 540 0 0 0 20 0 3 0 384245426 94302208 11082 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241651 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 92092

[startup+12.7013 s]
/proc/loadavg: 1.15 1.00 1.00 3/67 11904
/proc/meminfo: memFree=1850944/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=95100 CPUtime=24.46
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 14239 0 0 0 2438 8 0 0 24 0 3 0 384245338 97382400 11742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 23775 11742 387 42 0 18027 0
[pid=11901/tid=11903] ppid=11899 vsize=95100 CPUtime=11.81
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 834 0 0 0 1180 1 0 0 25 0 3 0 384245426 97382400 11742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4289482 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=95100 CPUtime=11.76
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 559 0 0 0 1176 0 0 0 25 0 3 0 384245426 97382400 11742 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241187 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 95100

[startup+25.5015 s]
/proc/loadavg: 1.28 1.04 1.01 3/67 11904
/proc/meminfo: memFree=1844224/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=101036 CPUtime=50
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 15918 0 0 0 4990 10 0 0 24 0 3 0 384245338 103460864 13421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 25259 13421 387 42 0 19511 0
[pid=11901/tid=11903] ppid=11899 vsize=101036 CPUtime=24.61
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 1798 0 0 0 2458 3 0 0 25 0 3 0 384245426 103460864 13421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311518 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=101036 CPUtime=24.51
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 1274 0 0 0 2451 0 0 0 25 0 3 0 384245426 103460864 13421 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (KiB) 101036

[startup+51.1018 s]
/proc/loadavg: 1.56 1.13 1.04 3/67 11904
/proc/meminfo: memFree=1833984/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=111652 CPUtime=101.08
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 18475 0 0 0 10094 14 0 0 24 0 3 0 384245338 114331648 15978 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 27913 15978 387 42 0 22165 0
[pid=11901/tid=11903] ppid=11899 vsize=111652 CPUtime=50.2
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 3304 0 0 0 5014 6 0 0 25 0 3 0 384245426 114331648 15978 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4290173 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=111652 CPUtime=49.99
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 2325 0 0 0 4998 1 0 0 25 0 3 0 384245426 114331648 15978 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241640 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.08
Current children cumulated vsize (KiB) 111652

[startup+102.305 s]
/proc/loadavg: 1.81 1.26 1.09 3/67 11904
/proc/meminfo: memFree=1819392/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=127176 CPUtime=203.25
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 22088 0 0 0 20307 18 0 0 24 0 3 0 384245338 130228224 19591 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 31794 19591 387 42 0 26046 0
[pid=11901/tid=11903] ppid=11899 vsize=127176 CPUtime=101.4
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 5455 0 0 0 10130 10 0 0 25 0 3 0 384245426 130228224 19591 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311218 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=127176 CPUtime=100.97
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 3787 0 0 0 10095 2 0 0 25 0 3 0 384245426 130228224 19591 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241539 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.25
Current children cumulated vsize (KiB) 127176

[startup+162.302 s]
/proc/loadavg: 1.93 1.39 1.14 3/67 11904
/proc/meminfo: memFree=1802880/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=144680 CPUtime=322.97
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 26221 0 0 0 32275 22 0 0 24 0 3 0 384245338 148152320 23724 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 36170 23724 387 42 0 30422 0
[pid=11901/tid=11903] ppid=11899 vsize=144680 CPUtime=161.38
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 7650 0 0 0 16125 13 0 0 25 0 3 0 384245426 148152320 23724 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=144680 CPUtime=160.72
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 5725 0 0 0 16069 3 0 0 25 0 3 0 384245426 148152320 23724 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241572 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.97
Current children cumulated vsize (KiB) 144680

[startup+222.301 s]
/proc/loadavg: 1.97 1.50 1.19 3/67 11904
/proc/meminfo: memFree=1783360/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=168140 CPUtime=442.7
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 31081 0 0 0 44244 26 0 0 24 0 3 0 384245338 172175360 28584 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 42035 28584 387 42 0 36287 0
[pid=11901/tid=11903] ppid=11899 vsize=168140 CPUtime=221.36
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 9361 0 0 0 22120 16 0 0 25 0 3 0 384245426 172175360 28584 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311191 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=168140 CPUtime=220.46
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 8874 0 0 0 22043 3 0 0 25 0 3 0 384245426 172175360 28584 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240896 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.7
Current children cumulated vsize (KiB) 168140

[startup+282.302 s]
/proc/loadavg: 1.99 1.59 1.24 3/67 11904
/proc/meminfo: memFree=1777728/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=174416 CPUtime=562.42
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 32490 0 0 0 56213 29 0 0 24 0 3 0 384245338 178601984 29993 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 43604 29993 387 42 0 37856 0
[pid=11901/tid=11903] ppid=11899 vsize=174416 CPUtime=281.35
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 10770 0 0 0 28116 19 0 0 25 0 3 0 384245426 178601984 29993 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311496 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=174416 CPUtime=280.2
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 8874 0 0 0 28016 4 0 0 25 0 3 0 384245426 178601984 29993 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241654 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.42
Current children cumulated vsize (KiB) 174416

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/67 11904
/proc/meminfo: memFree=1761600/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=191640 CPUtime=682.16
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 36768 0 0 0 68183 33 0 0 24 0 3 0 384245338 196239360 34007 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 47910 34007 387 42 0 42162 0
[pid=11901/tid=11903] ppid=11899 vsize=191640 CPUtime=341.33
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 12093 0 0 0 34112 21 0 0 25 0 3 0 384245426 196239360 34007 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=191640 CPUtime=339.94
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 11829 0 0 0 33989 5 0 0 25 0 3 0 384245426 196239360 34007 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.16
Current children cumulated vsize (KiB) 191640

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/73 11986
/proc/meminfo: memFree=1755384/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=195868 CPUtime=801.78
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 37950 0 0 0 80138 40 0 0 24 0 3 0 384245338 200568832 35189 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 48967 35189 387 42 0 43219 0
[pid=11901/tid=11903] ppid=11899 vsize=195868 CPUtime=401.23
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 13275 0 0 0 40100 23 0 0 25 0 3 0 384245426 200568832 35189 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=195868 CPUtime=399.66
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 11829 0 0 0 39956 10 0 0 25 0 3 0 384245426 200568832 35189 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.78
Current children cumulated vsize (KiB) 195868

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/73 12078
/proc/meminfo: memFree=1741568/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=215324 CPUtime=921.38
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 43530 0 0 0 92084 54 0 0 24 0 3 0 384245338 220491776 38624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 53831 38624 387 42 0 48083 0
[pid=11901/tid=11903] ppid=11899 vsize=215324 CPUtime=461.11
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 14450 0 0 0 46086 25 0 0 25 0 3 0 384245426 220491776 38624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311535 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=215324 CPUtime=459.38
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 16234 0 0 0 45916 22 0 0 25 0 3 0 384245426 220491776 38624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285268 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.38
Current children cumulated vsize (KiB) 215324

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.40 3/67 12102
/proc/meminfo: memFree=1737720/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=221232 CPUtime=1041.08
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 44806 0 0 0 104050 58 0 0 24 0 3 0 384245338 226541568 39867 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 55308 39867 387 42 0 49560 0
[pid=11901/tid=11903] ppid=11899 vsize=221232 CPUtime=521.08
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 15726 0 0 0 52080 28 0 0 25 0 3 0 384245426 226541568 39867 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311141 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=221232 CPUtime=519.11
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 16234 0 0 0 51888 23 0 0 25 0 3 0 384245426 226541568 39867 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.08
Current children cumulated vsize (KiB) 221232

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 12102
/proc/meminfo: memFree=1733368/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=225588 CPUtime=1160.81
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 45902 0 0 0 116021 60 0 0 24 0 3 0 384245338 231002112 40930 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 56397 40930 387 42 0 50649 0
[pid=11901/tid=11903] ppid=11899 vsize=225588 CPUtime=581.06
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 16822 0 0 0 58077 29 0 0 25 0 3 0 384245426 231002112 40930 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311177 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=225588 CPUtime=578.86
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 16234 0 0 0 57863 23 0 0 25 0 3 0 384245426 231002112 40930 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.81
Current children cumulated vsize (KiB) 225588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.002 s]
/proc/loadavg: 1.99 1.85 1.45 3/67 12102
/proc/meminfo: memFree=1723704/2055920 swapFree=4183376/4192956
[pid=11901] ppid=11899 vsize=239252 CPUtime=1200.12
/proc/11901/stat : 11901 (ornithorynque) S 11899 11901 11744 0 -1 4194304 50091 0 0 0 119950 62 0 0 24 0 3 0 384245338 244994048 43403 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 257423339387 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11901/statm: 59813 43403 387 42 0 54065 0
[pid=11901/tid=11903] ppid=11899 vsize=239252 CPUtime=600.76
/proc/11901/task/11903/stat : 11903 (ornithorynque) R 11899 11901 11744 0 -1 4194368 17111 0 0 0 60046 30 0 0 25 0 3 0 384245426 244994048 43403 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4311226 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11901/tid=11904] ppid=11899 vsize=239252 CPUtime=598.47
/proc/11901/task/11904/stat : 11904 (ornithorynque) R 11899 11901 11744 0 -1 4194368 20134 0 0 0 59822 25 0 0 25 0 3 0 384245426 244994048 43403 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (KiB) 239252

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): 602.04
CPU time (s): 1200.16
CPU user time (s): 1199.52
CPU system time (s): 0.648901
CPU usage (%): 199.349
Max. virtual memory (cumulated for all children) (KiB): 239252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.52
system time used= 0.648901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50091
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= 51
involuntary context switches= 9602

runsolver used 0.540917 second user time and 1.67274 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Sun Mar 11 19:54:37 UTC 2007

IDJOB= 336247
IDBENCH= 24670
IDSOLVER= 139
FILE ID= node68/336247-1173642876

PBS_JOBID= 4101361

Free space on /tmp= 66557 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/others/strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/336247-1173642876/ornithorynque /tmp/evaluation/336247-1173642876/instance-336247-1173642876.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-336247-1173642876 -o ROOT/results/node68/solver-336247-1173642876 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/336247-1173642876/ornithorynque /tmp/evaluation/336247-1173642876/instance-336247-1173642876.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  15ed95b3a35c74d0cc5dd4986376305c

RANDOM SEED= 171241747

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.234
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.234
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:       1897128 kB
Buffers:         14856 kB
Cached:         107332 kB
SwapCached:       3952 kB
Active:          49648 kB
Inactive:        82532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1897128 kB
SwapTotal:     4192956 kB
SwapFree:      4183376 kB
Dirty:            4312 kB
Writeback:           0 kB
Mapped:          15264 kB
Slab:            12680 kB
Committed_AS:   869236 kB
PageTables:       1380 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= 66557 MiB

End job on node68 on Sun Mar 11 20:04:41 UTC 2007