Trace number 328494

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.19 602.636

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
MD5SUMfad87308d3751e996b7b3c35a13a7fd9
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark30.2494
Satisfiable
(Un)Satisfiability was proved
Number of variables137341
Number of clauses724504
Sum of the clauses size1900318
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2588905
Number of clauses of size 3130263
Number of clauses of size 41197
Number of clauses of size 5111
Number of clauses of size over 53752

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 int
0.00/0.00	c parsing...
1.69/1.72	c ...done
1.69/1.72	c nbVar=139818 nbClause=724504
1.89/1.94	c nbVar=139818 nbClause=724504
2.19/2.27	c complete search running
2.19/2.27	c local search running
2.51/2.42	c flip 0 nbSat=550134 maxSat=0
3.31/2.80	c flip 10000 nbSat=634917 maxSat=634917
4.31/3.38	c flip 20000 nbSat=659326 maxSat=659326
4.50/3.46	c flip 30000 nbSat=665623 maxSat=665623
6.50/4.43	c flip 40000 nbSat=670441 maxSat=670866
9.48/5.97	c flip 50000 nbSat=674880 maxSat=675114
11.49/6.99	c flip 60000 nbSat=677317 maxSat=677504
14.67/8.51	c flip 70000 nbSat=679191 maxSat=679234
17.07/9.76	c flip 80000 nbSat=679440 maxSat=680873
19.68/11.10	c flip 90000 nbSat=681771 maxSat=682218
22.85/12.66	c flip 100000 nbSat=683752 maxSat=684159
24.45/13.48	c flip 110000 nbSat=685129 maxSat=685619
27.44/14.96	c flip 120000 nbSat=686297 maxSat=686742
29.83/16.13	c flip 130000 nbSat=686143 maxSat=687807
32.23/17.31	c flip 140000 nbSat=689010 maxSat=689011
35.03/18.79	c flip 150000 nbSat=688770 maxSat=689921
37.22/19.85	c flip 160000 nbSat=690466 maxSat=691243
39.42/20.95	c flip 170000 nbSat=691403 maxSat=691901
42.41/22.47	c flip 180000 nbSat=692278 maxSat=692938
44.81/23.63	c flip 190000 nbSat=692461 maxSat=693745
47.20/24.81	c flip 200000 nbSat=694007 maxSat=694699
50.59/26.53	c flip 210000 nbSat=695297 maxSat=695680
53.59/28.03	c flip 220000 nbSat=695916 maxSat=696547
55.78/29.15	c flip 230000 nbSat=696237 maxSat=696960
58.38/30.44	c flip 240000 nbSat=697070 maxSat=697838
61.57/32.09	c flip 250000 nbSat=697968 maxSat=698654
64.76/33.64	c flip 260000 nbSat=699125 maxSat=699471
67.35/34.99	c flip 270000 nbSat=698872 maxSat=700299
69.95/36.21	c flip 280000 nbSat=700111 maxSat=700963
72.73/37.66	c flip 290000 nbSat=701180 maxSat=701487
75.53/39.06	c flip 300000 nbSat=700836 maxSat=702283
78.51/40.57	c flip 310000 nbSat=702430 maxSat=703009
81.90/42.25	c flip 320000 nbSat=703025 maxSat=703786
85.10/43.84	c flip 330000 nbSat=703209 maxSat=704451
88.29/45.44	c flip 340000 nbSat=704848 maxSat=705005
91.68/47.11	c flip 350000 nbSat=704762 maxSat=705885
94.87/48.79	c flip 360000 nbSat=705853 maxSat=706191
98.27/50.48	c flip 370000 nbSat=706284 maxSat=707094
101.86/52.21	c flip 380000 nbSat=707202 maxSat=707626
105.27/53.91	c flip 390000 nbSat=707586 maxSat=708262
108.45/55.58	c flip 400000 nbSat=708819 maxSat=708894
111.44/57.08	c nbDecision=10000 #clauses=729050
111.64/57.11	c flip 410000 nbSat=708269 maxSat=709426
115.03/58.87	c flip 420000 nbSat=709706 maxSat=710298
119.22/60.91	c flip 430000 nbSat=709845 maxSat=710352
122.62/62.65	c flip 440000 nbSat=710660 maxSat=710915
125.81/64.24	c flip 450000 nbSat=711026 maxSat=711810
129.20/65.93	c flip 460000 nbSat=711463 maxSat=712062
133.39/68.03	c flip 470000 nbSat=712088 maxSat=712744
136.58/69.63	c flip 480000 nbSat=712345 maxSat=713122
141.57/72.12	c flip 490000 nbSat=713061 maxSat=713699
145.16/73.98	c flip 500000 nbSat=713418 maxSat=714030
150.15/76.47	c flip 510000 nbSat=714233 maxSat=714653
154.74/78.75	c flip 520000 nbSat=713937 maxSat=714693
159.13/80.94	c flip 530000 nbSat=714177 maxSat=714930
163.72/83.20	c flip 540000 nbSat=714657 maxSat=715407
168.31/85.59	c flip 550000 nbSat=715871 maxSat=715975
173.49/88.10	c flip 560000 nbSat=716009 maxSat=716362
178.68/90.70	c flip 570000 nbSat=716331 maxSat=716531
183.67/93.29	c flip 580000 nbSat=715710 maxSat=716742
189.06/95.91	c flip 590000 nbSat=716430 maxSat=716982
194.05/98.50	c flip 600000 nbSat=716225 maxSat=717235
200.03/101.43	c flip 610000 nbSat=716969 maxSat=717469
206.82/104.81	c flip 620000 nbSat=717415 maxSat=717530
212.21/107.56	c flip 630000 nbSat=716356 maxSat=717838
218.99/110.92	c flip 640000 nbSat=717677 maxSat=717996
224.78/113.88	c flip 650000 nbSat=716765 maxSat=718246
232.16/117.58	c flip 660000 nbSat=718165 maxSat=718411
238.14/120.57	c flip 670000 nbSat=717856 maxSat=718639
239.34/121.14	c nbDecision=20000 #clauses=735326
244.73/123.84	c flip 680000 nbSat=717172 maxSat=718736
251.52/127.25	c flip 690000 nbSat=717412 maxSat=718879
258.10/130.58	c flip 700000 nbSat=718784 maxSat=719013
264.88/133.92	c flip 710000 nbSat=718709 maxSat=719013
271.47/137.23	c flip 720000 nbSat=718838 maxSat=719157
277.86/140.40	c flip 730000 nbSat=719139 maxSat=719284
284.24/143.64	c flip 740000 nbSat=718854 maxSat=719372
291.42/147.28	c flip 750000 nbSat=718282 maxSat=719533
298.21/150.69	c flip 760000 nbSat=718659 maxSat=719540
305.38/154.29	c flip 770000 nbSat=719091 maxSat=719642
312.97/158.01	c flip 780000 nbSat=719498 maxSat=719699
319.16/161.17	c flip 790000 nbSat=718289 maxSat=719714
326.54/164.87	c flip 800000 nbSat=718901 maxSat=719727
334.12/168.63	c flip 810000 nbSat=718862 maxSat=719847
341.11/172.19	c flip 820000 nbSat=719364 maxSat=719857
349.30/176.22	c flip 830000 nbSat=719213 maxSat=719940
356.27/179.73	c flip 840000 nbSat=719446 maxSat=719940
363.86/183.50	c flip 850000 nbSat=718729 maxSat=719974
371.24/187.27	c flip 860000 nbSat=719724 maxSat=719974
377.63/190.44	c flip 870000 nbSat=719522 maxSat=720051
384.41/193.83	c flip 880000 nbSat=718695 maxSat=720077
392.19/197.72	c flip 890000 nbSat=719728 maxSat=720105
400.18/201.75	c flip 900000 nbSat=719750 maxSat=720172
407.56/205.41	c flip 910000 nbSat=719748 maxSat=720202
414.75/209.00	c flip 920000 nbSat=718473 maxSat=720213
422.93/213.10	c flip 930000 nbSat=718911 maxSat=720247
429.92/216.70	c flip 940000 nbSat=719331 maxSat=720270
436.30/219.86	c flip 950000 nbSat=719925 maxSat=720300
442.68/223.00	c flip 960000 nbSat=720093 maxSat=720355
449.07/226.21	c flip 970000 nbSat=720024 maxSat=720355
455.65/229.51	c flip 980000 nbSat=719955 maxSat=720355
462.44/232.92	c flip 990000 nbSat=719913 maxSat=720366
469.43/236.41	c flip 1000000 nbSat=719615 maxSat=720367
476.59/240.02	c flip 1010000 nbSat=718738 maxSat=720397
484.18/243.80	c flip 1020000 nbSat=718809 maxSat=720397
490.97/247.29	c flip 1030000 nbSat=718967 maxSat=720407
498.16/250.85	c flip 1040000 nbSat=718801 maxSat=720420
504.93/254.21	c flip 1050000 nbSat=719817 maxSat=720420
510.92/257.27	c flip 1060000 nbSat=719856 maxSat=720433
518.11/260.82	c flip 1070000 nbSat=719789 maxSat=720442
524.69/264.10	c flip 1080000 nbSat=720251 maxSat=720442
530.68/267.14	c flip 1090000 nbSat=720109 maxSat=720443
536.66/270.12	c flip 1100000 nbSat=718512 maxSat=720491
543.05/273.33	c flip 1110000 nbSat=718914 maxSat=720491
549.83/276.76	c flip 1120000 nbSat=719802 maxSat=720491
557.81/280.78	c flip 1130000 nbSat=719743 maxSat=720491
565.79/284.78	c flip 1140000 nbSat=720469 maxSat=720491
573.37/288.58	c flip 1150000 nbSat=719747 maxSat=720502
580.56/292.12	c flip 1160000 nbSat=718885 maxSat=720505
586.94/295.38	c flip 1170000 nbSat=720048 maxSat=720505
593.93/298.82	c flip 1180000 nbSat=720048 maxSat=720514
600.51/302.19	c flip 1190000 nbSat=720201 maxSat=720514
606.10/304.98	c flip 1200000 nbSat=718857 maxSat=720514
611.89/307.85	c flip 1210000 nbSat=719838 maxSat=720519
619.08/311.47	c flip 1220000 nbSat=719947 maxSat=720519
626.47/315.14	c flip 1230000 nbSat=720217 maxSat=720529
632.85/318.33	c flip 1240000 nbSat=718877 maxSat=720551
639.23/321.50	c flip 1250000 nbSat=720222 maxSat=720552
646.22/325.01	c flip 1260000 nbSat=719477 maxSat=720552
652.19/328.05	c flip 1270000 nbSat=719872 maxSat=720556
657.58/330.78	c flip 1280000 nbSat=718923 maxSat=720556
663.37/333.68	c flip 1290000 nbSat=720029 maxSat=720556
669.96/336.94	c flip 1300000 nbSat=720367 maxSat=720556
675.95/339.99	c flip 1310000 nbSat=718793 maxSat=720556
682.13/343.03	c flip 1320000 nbSat=720159 maxSat=720564
689.32/346.66	c flip 1330000 nbSat=720452 maxSat=720564
694.71/349.36	c flip 1340000 nbSat=719313 maxSat=720577
700.10/352.10	c flip 1350000 nbSat=718624 maxSat=720577
706.69/355.33	c flip 1360000 nbSat=720244 maxSat=720577
712.87/358.48	c flip 1370000 nbSat=720263 maxSat=720590
718.85/361.47	c flip 1380000 nbSat=718794 maxSat=720590
724.83/364.43	c flip 1390000 nbSat=720046 maxSat=720590
731.02/367.59	c flip 1400000 nbSat=720267 maxSat=720593
737.01/370.53	c flip 1410000 nbSat=718968 maxSat=720593
742.98/373.56	c flip 1420000 nbSat=720273 maxSat=720593
748.78/376.44	c flip 1430000 nbSat=719976 maxSat=720609
754.17/379.15	c flip 1440000 nbSat=718758 maxSat=720609
760.55/382.34	c flip 1450000 nbSat=720261 maxSat=720609
766.54/385.31	c flip 1460000 nbSat=719690 maxSat=720609
771.73/387.97	c flip 1470000 nbSat=718808 maxSat=720609
778.32/391.20	c flip 1480000 nbSat=720157 maxSat=720609
784.90/394.52	c flip 1490000 nbSat=719711 maxSat=720609
791.09/397.60	c flip 1500000 nbSat=719011 maxSat=720609
797.28/400.71	c flip 1510000 nbSat=720252 maxSat=720609
803.07/403.67	c flip 1520000 nbSat=719747 maxSat=720609
808.65/406.48	c flip 1530000 nbSat=718866 maxSat=720609
815.43/409.89	c flip 1540000 nbSat=720364 maxSat=720609
821.61/412.95	c flip 1550000 nbSat=719718 maxSat=720612
827.41/415.84	c flip 1560000 nbSat=720003 maxSat=720612
834.18/419.20	c flip 1570000 nbSat=720516 maxSat=720612
839.57/421.99	c flip 1580000 nbSat=718561 maxSat=720612
845.75/425.03	c flip 1590000 nbSat=720259 maxSat=720612
852.54/428.49	c flip 1600000 nbSat=720385 maxSat=720629
858.93/431.61	c flip 1610000 nbSat=718764 maxSat=720631
865.71/435.00	c flip 1620000 nbSat=720158 maxSat=720631
872.70/438.54	c flip 1630000 nbSat=720279 maxSat=720631
878.68/441.57	c flip 1640000 nbSat=718734 maxSat=720631
885.47/444.92	c flip 1650000 nbSat=720308 maxSat=720631
890.86/447.66	c flip 1660000 nbSat=719634 maxSat=720631
896.04/450.29	c flip 1670000 nbSat=719997 maxSat=720634
902.04/453.27	c flip 1680000 nbSat=720528 maxSat=720634
907.01/455.72	c flip 1690000 nbSat=718531 maxSat=720634
912.40/458.45	c flip 1700000 nbSat=720119 maxSat=720634
918.79/461.69	c flip 1710000 nbSat=720533 maxSat=720649
923.98/464.29	c flip 1720000 nbSat=718707 maxSat=720649
929.96/467.26	c flip 1730000 nbSat=720112 maxSat=720649
936.34/470.44	c flip 1740000 nbSat=720172 maxSat=720649
941.73/473.19	c flip 1750000 nbSat=718761 maxSat=720649
947.92/476.28	c flip 1760000 nbSat=720260 maxSat=720649
953.51/479.00	c flip 1770000 nbSat=719597 maxSat=720649
958.50/481.60	c flip 1780000 nbSat=720150 maxSat=720649
965.08/484.82	c flip 1790000 nbSat=720568 maxSat=720649
970.47/487.54	c flip 1800000 nbSat=718637 maxSat=720649
975.86/490.29	c flip 1810000 nbSat=720233 maxSat=720649
981.44/493.05	c flip 1820000 nbSat=720287 maxSat=720658
986.24/495.41	c flip 1830000 nbSat=718949 maxSat=720658
991.43/498.07	c flip 1840000 nbSat=720434 maxSat=720708
996.22/500.47	c flip 1850000 nbSat=718334 maxSat=720708
1001.19/502.95	c flip 1860000 nbSat=720172 maxSat=720708
1006.98/505.83	c flip 1870000 nbSat=720394 maxSat=720708
1011.78/508.29	c flip 1880000 nbSat=718772 maxSat=720708
1017.76/511.27	c flip 1890000 nbSat=720100 maxSat=720708
1023.15/513.92	c flip 1900000 nbSat=719245 maxSat=720708
1028.34/516.57	c flip 1910000 nbSat=720190 maxSat=720708
1033.92/519.33	c flip 1920000 nbSat=720436 maxSat=720708
1038.71/521.74	c flip 1930000 nbSat=718998 maxSat=720708
1044.51/524.61	c flip 1940000 nbSat=720335 maxSat=720708
1049.10/526.95	c flip 1950000 nbSat=719090 maxSat=720708
1053.88/529.32	c flip 1960000 nbSat=720253 maxSat=720708
1058.87/531.89	c flip 1970000 nbSat=720372 maxSat=720708
1063.67/534.22	c flip 1980000 nbSat=718863 maxSat=720708
1069.25/537.07	c flip 1990000 nbSat=720592 maxSat=720708
1073.84/539.34	c flip 2000000 nbSat=718609 maxSat=720708
1078.63/541.78	c flip 2010000 nbSat=720391 maxSat=720708
1083.42/544.12	c flip 2020000 nbSat=719993 maxSat=720708
1087.80/546.35	c flip 2030000 nbSat=719874 maxSat=720708
1093.19/549.03	c flip 2040000 nbSat=720589 maxSat=720708
1097.19/551.03	c flip 2050000 nbSat=718421 maxSat=720708
1101.17/553.08	c flip 2060000 nbSat=720396 maxSat=720708
1105.56/555.23	c flip 2070000 nbSat=720273 maxSat=720708
1109.75/557.30	c flip 2080000 nbSat=718592 maxSat=720708
1114.94/559.90	c flip 2090000 nbSat=720326 maxSat=720708
1119.72/562.38	c flip 2100000 nbSat=718433 maxSat=720708
1124.72/564.89	c flip 2110000 nbSat=720277 maxSat=720708
1129.90/567.45	c flip 2120000 nbSat=719884 maxSat=720708
1134.50/569.72	c flip 2130000 nbSat=720437 maxSat=720708
1139.88/572.49	c flip 2140000 nbSat=720456 maxSat=720708
1144.67/574.85	c flip 2150000 nbSat=718709 maxSat=720766
1149.67/577.35	c flip 2160000 nbSat=720278 maxSat=720766
1154.05/579.58	c flip 2170000 nbSat=718115 maxSat=720766
1158.65/581.89	c flip 2180000 nbSat=720358 maxSat=720766
1163.43/584.26	c flip 2190000 nbSat=720271 maxSat=720766
1167.82/586.41	c flip 2200000 nbSat=720481 maxSat=720766
1172.41/588.77	c flip 2210000 nbSat=720520 maxSat=720766
1176.80/590.93	c flip 2220000 nbSat=718739 maxSat=720766
1181.99/593.55	c flip 2230000 nbSat=720566 maxSat=720766
1186.38/595.78	c flip 2240000 nbSat=718508 maxSat=720766
1190.96/598.07	c flip 2250000 nbSat=720381 maxSat=720766
1195.95/600.59	c flip 2260000 nbSat=720158 maxSat=720766

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/node29/watcher-328494-1173111923 -o ROOT/results/node29/solver-328494-1173111923 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328494-1173111923/ornithorynque /tmp/evaluation/328494-1173111923/instance-328494-1173111923.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.92 3/77 11189
/proc/meminfo: memFree=1268960/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=23220 CPUtime=0
/proc/11189/stat : 11189 (ornithorynque) R 11187 11189 10314 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 304956633 23777280 266 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221778048746 0 0 4096 0 0 0 0 17 1 0 0
/proc/11189/statm: 5805 266 219 42 0 45 0

[startup+0.092756 s]
/proc/loadavg: 1.83 1.94 1.92 3/77 11189
/proc/meminfo: memFree=1268960/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=26876 CPUtime=0.08
/proc/11189/stat : 11189 (ornithorynque) R 11187 11189 10314 0 -1 4194304 1429 0 0 0 8 0 0 0 18 0 1 0 304956633 27521024 1292 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221780546273 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11189/statm: 6719 1293 379 42 0 971 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26876

[startup+0.101756 s]
/proc/loadavg: 1.83 1.94 1.92 3/77 11189
/proc/meminfo: memFree=1268960/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=27336 CPUtime=0.09
/proc/11189/stat : 11189 (ornithorynque) R 11187 11189 10314 0 -1 4194304 1524 0 0 0 9 0 0 0 18 0 1 0 304956633 27992064 1387 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4293162 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11189/statm: 6834 1387 379 42 0 1086 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27336

[startup+0.301768 s]
/proc/loadavg: 1.83 1.94 1.92 3/77 11189
/proc/meminfo: memFree=1268960/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=35072 CPUtime=0.29
/proc/11189/stat : 11189 (ornithorynque) R 11187 11189 10314 0 -1 4194304 3618 0 0 0 28 1 0 0 19 0 1 0 304956633 35913728 3352 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221780546215 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11189/statm: 8768 3352 379 42 0 3020 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35072

[startup+0.701792 s]
/proc/loadavg: 1.83 1.94 1.92 3/77 11189
/proc/meminfo: memFree=1268960/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=52228 CPUtime=0.69
/proc/11189/stat : 11189 (ornithorynque) R 11187 11189 10314 0 -1 4194304 8312 0 0 0 66 3 0 0 23 0 1 0 304956633 53481472 7219 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221780546273 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11189/statm: 13057 7220 379 42 0 7309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52228

[startup+1.50184 s]
/proc/loadavg: 1.77 1.92 1.91 2/78 11190
/proc/meminfo: memFree=1229656/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=85652 CPUtime=1.49
/proc/11189/stat : 11189 (ornithorynque) R 11187 11189 10314 0 -1 4194304 17496 0 0 0 141 8 0 0 25 0 1 0 304956633 87707648 15040 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789597794 0 0 4096 1088 0 0 0 17 1 0 0
/proc/11189/statm: 21413 15041 379 42 0 15665 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85652

[startup+3.10196 s]
/proc/loadavg: 1.77 1.92 1.91 2/78 11190
/proc/meminfo: memFree=1138712/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=184188 CPUtime=3.9
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 41056 0 0 0 372 18 0 0 25 0 3 0 304956633 188608512 34113 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 46047 34113 388 42 0 40299 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 184188

[startup+6.30116 s]
/proc/loadavg: 1.79 1.92 1.91 3/80 11192
/proc/meminfo: memFree=1133192/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=189008 CPUtime=10.28
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 46126 0 0 0 1008 20 0 0 25 0 3 0 304956633 193544192 33931 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 47252 33931 389 42 0 41504 0
[pid=11189/tid=11191] ppid=11187 vsize=189008 CPUtime=4
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 7890 0 0 0 397 3 0 0 25 0 3 0 304956861 193544192 33931 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4328902 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=189008 CPUtime=3.99
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 399 0 0 0 25 0 3 0 304956861 193544192 33931 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245038 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 189008

[startup+12.7026 s]
/proc/loadavg: 1.80 1.92 1.91 3/80 11192
/proc/meminfo: memFree=1134088/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=189008 CPUtime=23.05
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 48049 0 0 0 2283 22 0 0 25 0 3 0 304956633 193544192 33936 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 47252 33936 389 42 0 41504 0
[pid=11189/tid=11191] ppid=11187 vsize=189008 CPUtime=10.4
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 9813 0 0 0 1036 4 0 0 25 0 3 0 304956861 193544192 33936 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=189008 CPUtime=10.36
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 1035 1 0 0 25 0 3 0 304956861 193544192 33936 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245067 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.05
Current children cumulated vsize (KiB) 189008

[startup+25.5014 s]
/proc/loadavg: 1.83 1.93 1.91 3/80 11192
/proc/meminfo: memFree=1134152/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=189112 CPUtime=48.6
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 49168 0 0 0 4837 23 0 0 25 0 3 0 304956633 193650688 33959 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 47278 33959 389 42 0 41530 0
[pid=11189/tid=11191] ppid=11187 vsize=189112 CPUtime=23.2
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 10932 0 0 0 2315 5 0 0 25 0 3 0 304956861 193650688 33959 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4329362 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=189112 CPUtime=23.11
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 2310 1 0 0 25 0 3 0 304956861 193650688 33959 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.6
Current children cumulated vsize (KiB) 189112

[startup+51.1019 s]
/proc/loadavg: 1.90 1.93 1.91 3/80 11194
/proc/meminfo: memFree=1133576/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=189736 CPUtime=99.66
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 49527 0 0 0 9943 23 0 0 25 0 3 0 304956633 194289664 34120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 47434 34120 389 42 0 41686 0
[pid=11189/tid=11191] ppid=11187 vsize=189736 CPUtime=48.8
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 11291 0 0 0 4874 6 0 0 25 0 3 0 304956861 194289664 34120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=189736 CPUtime=48.59
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 4858 1 0 0 25 0 3 0 304956861 194289664 34120 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.66
Current children cumulated vsize (KiB) 189736

[startup+102.305 s]
/proc/loadavg: 1.95 1.94 1.91 3/80 11194
/proc/meminfo: memFree=1132104/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=191180 CPUtime=201.83
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 49948 0 0 0 20159 24 0 0 25 0 3 0 304956633 195768320 34512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 47795 34512 389 42 0 42047 0
[pid=11189/tid=11191] ppid=11187 vsize=191180 CPUtime=99.98
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 11712 0 0 0 9992 6 0 0 25 0 3 0 304956861 195768320 34512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4326906 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=191180 CPUtime=99.57
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 9956 1 0 0 25 0 3 0 304956861 195768320 34512 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246233 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.83
Current children cumulated vsize (KiB) 191180

[startup+162.302 s]
/proc/loadavg: 1.98 1.95 1.91 3/80 11194
/proc/meminfo: memFree=1130056/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193224 CPUtime=321.55
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51095 0 0 0 32129 26 0 0 25 0 3 0 304956633 197861376 35022 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48306 35022 389 42 0 42558 0
[pid=11189/tid=11191] ppid=11187 vsize=193224 CPUtime=159.97
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12859 0 0 0 15989 8 0 0 25 0 3 0 304956861 197861376 35022 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193224 CPUtime=159.3
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 15929 1 0 0 25 0 3 0 304956861 197861376 35022 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244988 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.55
Current children cumulated vsize (KiB) 193224

[startup+222.302 s]
/proc/loadavg: 1.99 1.95 1.91 3/80 11194
/proc/meminfo: memFree=1129736/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=441.28
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 44101 27 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=219.95
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 21987 8 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=219.05
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 21903 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244167 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.28
Current children cumulated vsize (KiB) 193324

[startup+282.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 11194
/proc/meminfo: memFree=1129736/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=561
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 56073 27 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=279.94
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 27985 9 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=278.78
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 27876 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561
Current children cumulated vsize (KiB) 193324

[startup+342.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 11194
/proc/meminfo: memFree=1129800/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=680.73
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 68045 28 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=339.92
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 33983 9 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246386 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=338.53
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 33851 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4245059 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.73
Current children cumulated vsize (KiB) 193324

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 11194
/proc/meminfo: memFree=1129800/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=800.47
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 80018 29 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=399.91
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 39981 10 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246383 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=398.27
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 39825 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244337 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.47
Current children cumulated vsize (KiB) 193324

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 11194
/proc/meminfo: memFree=1129800/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=920.17
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 91988 29 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=459.89
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 45979 10 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=457.99
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 45797 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297895 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.17
Current children cumulated vsize (KiB) 193324

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 11194
/proc/meminfo: memFree=1129800/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=1039.91
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 103961 30 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=519.87
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 51977 10 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246457 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=517.74
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 51772 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4297053 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.91
Current children cumulated vsize (KiB) 193324

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 11194
/proc/meminfo: memFree=1129736/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=1159.64
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 115934 30 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=579.87
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 57976 11 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4246403 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=577.49
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 57747 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4239099 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.64
Current children cumulated vsize (KiB) 193324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 11194
/proc/meminfo: memFree=1129736/2055920 swapFree=4147724/4192956
[pid=11189] ppid=11187 vsize=193324 CPUtime=1200.14
/proc/11189/stat : 11189 (ornithorynque) S 11187 11189 10314 0 -1 4194304 51167 0 0 0 119984 30 0 0 25 0 3 0 304956633 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 221789581179 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/11189/statm: 48331 35071 389 42 0 42583 0
[pid=11189/tid=11191] ppid=11187 vsize=193324 CPUtime=600.17
/proc/11189/task/11191/stat : 11191 (ornithorynque) R 11187 11189 10314 0 -1 4194368 12931 0 0 0 60006 11 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244164 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=11189/tid=11192] ppid=11187 vsize=193324 CPUtime=597.69
/proc/11189/task/11192/stat : 11192 (ornithorynque) R 11187 11189 10314 0 -1 4194368 2 0 0 0 59767 2 0 0 25 0 3 0 304956861 197963776 35071 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4244964 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 193324

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.636
CPU time (s): 1200.19
CPU user time (s): 1199.86
CPU system time (s): 0.328949
CPU usage (%): 199.157
Max. virtual memory (cumulated for all children) (KiB): 193924

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

runsolver used 0.484926 second user time and 1.73974 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Mon Mar  5 16:25:24 UTC 2007

IDJOB= 328494
IDBENCH= 20416
IDSOLVER= 139
FILE ID= node29/328494-1173111923

PBS_JOBID= 4013909

Free space on /tmp= 66540 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h30-unknown.cnf
COMMAND LINE= /tmp/evaluation/328494-1173111923/ornithorynque /tmp/evaluation/328494-1173111923/instance-328494-1173111923.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-328494-1173111923 -o ROOT/results/node29/solver-328494-1173111923 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328494-1173111923/ornithorynque /tmp/evaluation/328494-1173111923/instance-328494-1173111923.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  fad87308d3751e996b7b3c35a13a7fd9

RANDOM SEED= 441018207

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.209
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	: 5931.00
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.209
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:       1269432 kB
Buffers:         46656 kB
Cached:         639424 kB
SwapCached:      12144 kB
Active:         207160 kB
Inactive:       503568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1269432 kB
SwapTotal:     4192956 kB
SwapFree:      4147724 kB
Dirty:           13332 kB
Writeback:           0 kB
Mapped:          31736 kB
Slab:            61220 kB
Committed_AS:   848580 kB
PageTables:       1868 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= 66540 MiB

End job on node29 on Mon Mar  5 16:35:29 UTC 2007