Trace number 334273

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.04 601.621

General information on the benchmark

Namecrafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
MD5SUMbccff1bed1e8ac721090562d562b05f0
Bench CategoryCRAFTED (crafted 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 variables8319
Number of clauses80958
Sum of the clauses size363322
Maximum clause length5
Minimum clause length1
Number of clauses of size 1194
Number of clauses of size 28188
Number of clauses of size 38064
Number of clauses of size 40
Number of clauses of size 564512
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	c parsing...
0.19/0.28	c ...done
0.19/0.28	c nbVar=8319 nbClause=80958
0.29/0.31	c nbVar=8319 nbClause=80958
0.29/0.37	c complete search running
0.29/0.37	c local search running
0.29/0.39	c flip 0 nbSat=76064 maxSat=0
4.81/2.66	c flip 10000 nbSat=77582 maxSat=77687
9.20/4.84	c flip 20000 nbSat=77650 maxSat=77935
13.59/7.05	c flip 30000 nbSat=77716 maxSat=78048
17.98/9.25	c flip 40000 nbSat=78037 maxSat=78200
22.37/11.41	c flip 50000 nbSat=77911 maxSat=78200
26.76/13.61	c flip 60000 nbSat=77728 maxSat=78200
30.95/15.79	c flip 70000 nbSat=77945 maxSat=78218
35.34/17.97	c flip 80000 nbSat=78180 maxSat=78218
39.73/20.14	c flip 90000 nbSat=77914 maxSat=78328
44.12/22.34	c flip 100000 nbSat=77948 maxSat=78328
48.31/24.46	c flip 110000 nbSat=78079 maxSat=78328
52.70/26.62	c flip 120000 nbSat=78088 maxSat=78344
56.89/28.77	c flip 130000 nbSat=77968 maxSat=78344
61.27/30.94	c flip 140000 nbSat=78225 maxSat=78438
65.47/33.07	c flip 150000 nbSat=78064 maxSat=78438
69.86/35.25	c flip 160000 nbSat=78132 maxSat=78443
72.65/36.66	c flip 0 nbSat=76087 maxSat=78443
77.43/39.03	c flip 10000 nbSat=77775 maxSat=78443
82.01/41.36	c flip 20000 nbSat=77956 maxSat=78443
86.61/43.65	c flip 30000 nbSat=78219 maxSat=78443
91.20/45.90	c flip 40000 nbSat=78198 maxSat=78477
95.59/48.19	c flip 50000 nbSat=78145 maxSat=78520
100.38/50.54	c flip 60000 nbSat=78405 maxSat=78555
104.77/52.79	c flip 70000 nbSat=78400 maxSat=78611
109.16/54.97	c flip 80000 nbSat=78304 maxSat=78645
113.75/57.23	c flip 90000 nbSat=78525 maxSat=78699
118.34/59.51	c flip 100000 nbSat=78444 maxSat=78726
122.73/61.77	c flip 110000 nbSat=78420 maxSat=78726
127.33/64.10	c flip 120000 nbSat=78496 maxSat=78726
131.92/66.35	c flip 130000 nbSat=78485 maxSat=78726
136.31/68.58	c flip 140000 nbSat=78330 maxSat=78774
140.90/70.84	c flip 150000 nbSat=78190 maxSat=78774
145.49/73.13	c flip 160000 nbSat=78557 maxSat=78774
148.28/74.58	c flip 0 nbSat=77830 maxSat=78774
153.86/77.31	c flip 10000 nbSat=79381 maxSat=79553
159.05/79.97	c flip 20000 nbSat=79532 maxSat=79805
164.44/82.68	c flip 30000 nbSat=79593 maxSat=79812
169.82/85.36	c flip 40000 nbSat=79801 maxSat=79972
175.01/87.99	c flip 50000 nbSat=79934 maxSat=80029
180.40/90.64	c flip 60000 nbSat=79674 maxSat=80029
185.58/93.23	c flip 70000 nbSat=79657 maxSat=80029
190.77/95.86	c flip 80000 nbSat=79883 maxSat=80029
196.16/98.54	c flip 90000 nbSat=79940 maxSat=80112
201.55/101.22	c flip 100000 nbSat=79872 maxSat=80178
206.93/103.92	c flip 110000 nbSat=79831 maxSat=80178
212.13/106.55	c flip 120000 nbSat=79990 maxSat=80229
217.31/109.17	c flip 130000 nbSat=80000 maxSat=80229
222.70/111.85	c flip 140000 nbSat=79700 maxSat=80229
227.90/114.47	c flip 150000 nbSat=79938 maxSat=80229
233.28/117.10	c flip 160000 nbSat=79958 maxSat=80229
236.68/118.86	c flip 0 nbSat=77646 maxSat=80229
242.25/121.63	c flip 10000 nbSat=79183 maxSat=80229
247.65/124.36	c flip 20000 nbSat=79540 maxSat=80229
253.03/127.01	c flip 30000 nbSat=79547 maxSat=80229
258.41/129.72	c flip 40000 nbSat=79663 maxSat=80229
263.79/132.46	c flip 50000 nbSat=79756 maxSat=80229
269.18/135.10	c flip 60000 nbSat=79830 maxSat=80229
274.37/137.78	c flip 70000 nbSat=79915 maxSat=80229
279.76/140.41	c flip 80000 nbSat=79758 maxSat=80229
284.95/143.10	c flip 90000 nbSat=79778 maxSat=80229
290.33/145.80	c flip 100000 nbSat=79747 maxSat=80229
295.73/148.50	c flip 110000 nbSat=79977 maxSat=80229
301.11/151.15	c flip 120000 nbSat=80000 maxSat=80229
306.30/153.76	c flip 130000 nbSat=79744 maxSat=80229
311.68/156.44	c flip 140000 nbSat=79722 maxSat=80229
317.08/159.10	c flip 150000 nbSat=79697 maxSat=80260
322.27/161.77	c flip 160000 nbSat=79749 maxSat=80260
325.66/163.46	c flip 0 nbSat=77683 maxSat=80260
331.24/166.24	c flip 10000 nbSat=79346 maxSat=80260
336.62/168.91	c flip 20000 nbSat=79507 maxSat=80260
341.82/171.54	c flip 30000 nbSat=79534 maxSat=80260
346.99/174.18	c flip 40000 nbSat=79458 maxSat=80260
352.38/176.87	c flip 50000 nbSat=79855 maxSat=80260
357.77/179.51	c flip 60000 nbSat=79898 maxSat=80260
363.16/182.22	c flip 70000 nbSat=79813 maxSat=80260
368.54/184.96	c flip 80000 nbSat=79762 maxSat=80260
374.13/187.72	c flip 90000 nbSat=79938 maxSat=80260
379.33/190.37	c flip 100000 nbSat=79799 maxSat=80260
384.71/193.02	c flip 110000 nbSat=80049 maxSat=80283
389.90/195.65	c flip 120000 nbSat=79973 maxSat=80283
395.29/198.30	c flip 130000 nbSat=79984 maxSat=80283
400.48/200.92	c flip 140000 nbSat=80198 maxSat=80314
405.86/203.62	c flip 150000 nbSat=80144 maxSat=80344
411.05/206.27	c flip 160000 nbSat=79853 maxSat=80344
414.45/207.99	c flip 0 nbSat=77622 maxSat=80344
420.03/210.73	c flip 10000 nbSat=79302 maxSat=80344
425.43/213.42	c flip 20000 nbSat=79555 maxSat=80344
430.61/216.04	c flip 30000 nbSat=79528 maxSat=80344
435.80/218.70	c flip 40000 nbSat=79747 maxSat=80344
441.18/221.35	c flip 50000 nbSat=79738 maxSat=80344
446.37/224.00	c flip 60000 nbSat=79931 maxSat=80344
451.76/226.68	c flip 70000 nbSat=79771 maxSat=80344
457.14/229.32	c flip 80000 nbSat=80090 maxSat=80344
462.33/231.96	c flip 90000 nbSat=79953 maxSat=80344
467.72/234.60	c flip 100000 nbSat=80029 maxSat=80344
472.71/237.18	c flip 110000 nbSat=79964 maxSat=80344
478.11/239.85	c flip 120000 nbSat=79953 maxSat=80344
483.49/242.54	c flip 130000 nbSat=80090 maxSat=80344
488.88/245.25	c flip 140000 nbSat=79902 maxSat=80344
494.26/247.93	c flip 150000 nbSat=79991 maxSat=80344
499.45/250.53	c flip 160000 nbSat=79930 maxSat=80344
502.85/252.25	c flip 0 nbSat=77773 maxSat=80344
508.43/255.00	c flip 10000 nbSat=79339 maxSat=80344
513.62/257.68	c flip 20000 nbSat=79522 maxSat=80344
519.20/260.42	c flip 30000 nbSat=79629 maxSat=80344
524.38/263.03	c flip 40000 nbSat=79705 maxSat=80344
529.57/265.65	c flip 50000 nbSat=79752 maxSat=80344
534.96/268.34	c flip 60000 nbSat=79841 maxSat=80344
540.14/270.95	c flip 70000 nbSat=79726 maxSat=80344
545.33/273.56	c flip 80000 nbSat=79885 maxSat=80344
550.72/276.22	c flip 90000 nbSat=79913 maxSat=80344
555.91/278.85	c flip 100000 nbSat=80061 maxSat=80344
561.30/281.54	c flip 110000 nbSat=80052 maxSat=80344
566.69/284.26	c flip 120000 nbSat=79602 maxSat=80344
571.88/286.86	c flip 130000 nbSat=80162 maxSat=80344
577.06/289.49	c flip 140000 nbSat=79770 maxSat=80344
582.45/292.13	c flip 150000 nbSat=79733 maxSat=80344
587.65/294.74	c flip 160000 nbSat=79931 maxSat=80344
591.03/296.44	c flip 0 nbSat=77612 maxSat=80344
596.63/299.23	c flip 10000 nbSat=79392 maxSat=80344
601.81/301.87	c flip 20000 nbSat=79599 maxSat=80344
607.20/304.57	c flip 30000 nbSat=79546 maxSat=80344
612.58/307.30	c flip 40000 nbSat=79767 maxSat=80344
617.96/309.95	c flip 50000 nbSat=79703 maxSat=80344
623.15/312.56	c flip 60000 nbSat=79826 maxSat=80344
628.34/315.15	c flip 70000 nbSat=80061 maxSat=80344
633.53/317.77	c flip 80000 nbSat=79862 maxSat=80344
638.92/320.41	c flip 90000 nbSat=79725 maxSat=80344
644.10/323.04	c flip 100000 nbSat=79991 maxSat=80344
649.29/325.68	c flip 110000 nbSat=80134 maxSat=80344
654.48/328.29	c flip 120000 nbSat=80180 maxSat=80344
659.86/330.90	c flip 130000 nbSat=80014 maxSat=80344
665.05/333.51	c flip 140000 nbSat=79998 maxSat=80344
670.24/336.13	c flip 150000 nbSat=79999 maxSat=80432
675.44/338.76	c flip 160000 nbSat=80120 maxSat=80432
678.83/340.45	c flip 0 nbSat=77522 maxSat=80432
684.43/343.23	c flip 10000 nbSat=79389 maxSat=80432
689.61/345.87	c flip 20000 nbSat=79518 maxSat=80432
695.00/348.58	c flip 30000 nbSat=79611 maxSat=80432
700.38/351.27	c flip 40000 nbSat=79789 maxSat=80432
705.77/353.90	c flip 50000 nbSat=79646 maxSat=80432
711.14/356.61	c flip 60000 nbSat=79935 maxSat=80432
716.33/359.30	c flip 70000 nbSat=79693 maxSat=80432
721.73/361.91	c flip 80000 nbSat=79808 maxSat=80432
727.11/364.63	c flip 90000 nbSat=79996 maxSat=80432
732.50/367.35	c flip 100000 nbSat=79950 maxSat=80432
737.68/369.95	c flip 110000 nbSat=79962 maxSat=80432
743.08/372.65	c flip 120000 nbSat=79864 maxSat=80432
748.46/375.31	c flip 130000 nbSat=79847 maxSat=80432
753.65/377.98	c flip 140000 nbSat=79769 maxSat=80432
759.05/380.69	c flip 150000 nbSat=79940 maxSat=80432
764.62/383.41	c flip 160000 nbSat=80032 maxSat=80432
767.82/385.08	c flip 0 nbSat=77906 maxSat=80432
773.41/387.87	c flip 10000 nbSat=79362 maxSat=80432
778.80/390.52	c flip 20000 nbSat=79604 maxSat=80432
783.98/393.19	c flip 30000 nbSat=79533 maxSat=80432
789.37/395.85	c flip 40000 nbSat=79781 maxSat=80432
794.75/398.51	c flip 50000 nbSat=79651 maxSat=80432
799.93/401.19	c flip 60000 nbSat=79776 maxSat=80432
805.32/403.86	c flip 70000 nbSat=79613 maxSat=80432
810.71/406.53	c flip 80000 nbSat=79765 maxSat=80432
815.90/409.14	c flip 90000 nbSat=79560 maxSat=80432
821.28/411.84	c flip 100000 nbSat=79845 maxSat=80432
826.68/414.54	c flip 110000 nbSat=79861 maxSat=80432
832.06/417.20	c flip 120000 nbSat=79957 maxSat=80432
837.25/419.87	c flip 130000 nbSat=79742 maxSat=80432
842.45/422.47	c flip 140000 nbSat=79888 maxSat=80432
847.63/425.06	c flip 150000 nbSat=80020 maxSat=80432
853.02/427.70	c flip 160000 nbSat=79860 maxSat=80432
856.41/429.41	c flip 0 nbSat=77959 maxSat=80432
861.80/432.15	c flip 10000 nbSat=79333 maxSat=80432
867.18/434.87	c flip 20000 nbSat=79522 maxSat=80432
872.77/437.65	c flip 30000 nbSat=79608 maxSat=80432
878.16/440.34	c flip 40000 nbSat=79544 maxSat=80432
883.54/443.08	c flip 50000 nbSat=79738 maxSat=80432
888.92/445.76	c flip 60000 nbSat=79651 maxSat=80432
894.12/448.36	c flip 70000 nbSat=79848 maxSat=80432
899.31/450.97	c flip 80000 nbSat=79928 maxSat=80432
904.69/453.63	c flip 90000 nbSat=79826 maxSat=80432
910.08/456.31	c flip 100000 nbSat=79723 maxSat=80432
915.27/458.98	c flip 110000 nbSat=79927 maxSat=80432
920.66/461.62	c flip 120000 nbSat=79944 maxSat=80432
926.04/464.34	c flip 130000 nbSat=79883 maxSat=80432
931.24/466.99	c flip 140000 nbSat=79864 maxSat=80432
936.63/469.60	c flip 150000 nbSat=79980 maxSat=80432
941.81/472.27	c flip 160000 nbSat=80147 maxSat=80432
945.21/473.96	c flip 0 nbSat=77676 maxSat=80432
950.59/476.67	c flip 10000 nbSat=79280 maxSat=80432
956.18/479.40	c flip 20000 nbSat=79562 maxSat=80432
961.37/482.02	c flip 30000 nbSat=79616 maxSat=80432
966.76/484.75	c flip 40000 nbSat=79463 maxSat=80432
971.95/487.39	c flip 50000 nbSat=79750 maxSat=80432
977.32/490.02	c flip 60000 nbSat=79739 maxSat=80432
982.51/492.60	c flip 70000 nbSat=79733 maxSat=80432
987.69/495.22	c flip 80000 nbSat=79822 maxSat=80432
992.88/497.81	c flip 90000 nbSat=79947 maxSat=80432
998.08/500.41	c flip 100000 nbSat=79597 maxSat=80432
1003.46/503.10	c flip 110000 nbSat=79988 maxSat=80432
1008.65/505.75	c flip 120000 nbSat=79996 maxSat=80432
1014.03/508.40	c flip 130000 nbSat=79865 maxSat=80432
1019.22/511.01	c flip 140000 nbSat=80074 maxSat=80432
1024.42/513.65	c flip 150000 nbSat=79848 maxSat=80432
1029.60/516.28	c flip 160000 nbSat=79737 maxSat=80432
1033.20/518.01	c flip 0 nbSat=77609 maxSat=80432
1038.58/520.78	c flip 10000 nbSat=79211 maxSat=80432
1043.97/523.44	c flip 20000 nbSat=79487 maxSat=80432
1049.36/526.15	c flip 30000 nbSat=79639 maxSat=80432
1054.75/528.85	c flip 40000 nbSat=79621 maxSat=80432
1060.13/531.58	c flip 50000 nbSat=79847 maxSat=80432
1065.53/534.24	c flip 60000 nbSat=79926 maxSat=80432
1070.89/536.91	c flip 70000 nbSat=79680 maxSat=80432
1076.28/539.62	c flip 80000 nbSat=79789 maxSat=80432
1081.48/542.24	c flip 90000 nbSat=80126 maxSat=80432
1086.86/544.94	c flip 100000 nbSat=79883 maxSat=80432
1092.05/547.59	c flip 110000 nbSat=79755 maxSat=80432
1097.24/550.15	c flip 120000 nbSat=79927 maxSat=80432
1102.43/552.79	c flip 130000 nbSat=79900 maxSat=80432
1107.82/555.42	c flip 140000 nbSat=80045 maxSat=80432
1113.20/558.11	c flip 150000 nbSat=79857 maxSat=80432
1118.40/560.79	c flip 160000 nbSat=79897 maxSat=80432
1121.99/562.50	c flip 0 nbSat=77750 maxSat=80432
1127.37/565.27	c flip 10000 nbSat=79151 maxSat=80432
1132.76/567.96	c flip 20000 nbSat=79584 maxSat=80432
1138.15/570.66	c flip 30000 nbSat=79664 maxSat=80432
1143.54/573.36	c flip 40000 nbSat=79757 maxSat=80432
1148.93/576.01	c flip 50000 nbSat=79745 maxSat=80432
1154.12/578.64	c flip 60000 nbSat=79729 maxSat=80432
1159.49/581.32	c flip 70000 nbSat=79779 maxSat=80432
1164.88/584.01	c flip 80000 nbSat=79837 maxSat=80432
1170.07/586.68	c flip 90000 nbSat=79890 maxSat=80432
1175.45/589.30	c flip 100000 nbSat=79794 maxSat=80432
1180.64/591.92	c flip 110000 nbSat=79972 maxSat=80432
1185.83/594.55	c flip 120000 nbSat=79836 maxSat=80432
1191.22/597.23	c flip 130000 nbSat=79946 maxSat=80432
1196.40/599.86	c flip 140000 nbSat=79949 maxSat=80432

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/node10/watcher-334273-1173561887 -o ROOT/results/node10/solver-334273-1173561887 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334273-1173561887/ornithorynque /tmp/evaluation/334273-1173561887/instance-334273-1173561887.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.93 1.00 0.99 3/77 26318
/proc/meminfo: memFree=1713904/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=23220 CPUtime=0
/proc/26318/stat : 26318 (ornithorynque) R 26316 26318 25972 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 376143775 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214917223536 0 0 4096 0 0 0 0 17 1 0 0
/proc/26318/statm: 5805 265 218 42 0 45 0

[startup+0.027512 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 26318
/proc/meminfo: memFree=1713904/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=23896 CPUtime=0.02
/proc/26318/stat : 26318 (ornithorynque) R 26316 26318 25972 0 -1 4194304 626 0 0 0 2 0 0 0 18 0 1 0 376143775 24469504 587 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214919713505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26318/statm: 5974 587 377 42 0 226 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23896

[startup+0.101523 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 26318
/proc/meminfo: memFree=1713904/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=25872 CPUtime=0.09
/proc/26318/stat : 26318 (ornithorynque) R 26316 26318 25972 0 -1 4194304 1142 0 0 0 9 0 0 0 18 0 1 0 376143775 26492928 1070 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214919713505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26318/statm: 6468 1071 377 42 0 720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25872

[startup+0.301549 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 26318
/proc/meminfo: memFree=1713904/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=32892 CPUtime=0.29
/proc/26318/stat : 26318 (ornithorynque) R 26316 26318 25972 0 -1 4194304 3007 0 0 0 28 1 0 0 19 0 1 0 376143775 33681408 2741 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214919713505 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26318/statm: 8223 2741 381 42 0 2475 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32892

[startup+0.701612 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 26318
/proc/meminfo: memFree=1713904/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58352 CPUtime=1.02
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4388 0 0 0 100 2 0 0 19 0 3 0 376143775 59752448 3817 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14588 3817 387 42 0 8840 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 58352

[startup+1.50172 s]
/proc/loadavg: 0.93 1.00 0.99 3/80 26321
/proc/meminfo: memFree=1699992/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58352 CPUtime=2.62
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4399 0 0 0 260 2 0 0 19 0 3 0 376143775 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14588 3828 387 42 0 8840 0
[pid=26318/tid=26320] ppid=26316 vsize=58352 CPUtime=1.12
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 130 0 0 0 112 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4243003 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=58352 CPUtime=1.12
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 2 0 0 0 112 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242148 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 58352

[startup+3.10293 s]
/proc/loadavg: 0.93 1.00 0.99 3/80 26321
/proc/meminfo: memFree=1699800/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58352 CPUtime=5.81
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4399 0 0 0 579 2 0 0 19 0 3 0 376143775 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14588 3828 387 42 0 8840 0
[pid=26318/tid=26320] ppid=26316 vsize=58352 CPUtime=2.72
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 130 0 0 0 272 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=58352 CPUtime=2.71
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 2 0 0 0 271 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 58352

[startup+6.30137 s]
/proc/loadavg: 1.02 1.02 1.00 3/80 26321
/proc/meminfo: memFree=1699736/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58352 CPUtime=12.19
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4399 0 0 0 1217 2 0 0 19 0 3 0 376143775 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14588 3828 387 42 0 8840 0
[pid=26318/tid=26320] ppid=26316 vsize=58352 CPUtime=5.91
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 130 0 0 0 591 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242881 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=58352 CPUtime=5.9
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 2 0 0 0 590 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 58352

[startup+12.7022 s]
/proc/loadavg: 1.10 1.03 1.01 3/80 26321
/proc/meminfo: memFree=1699608/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58352 CPUtime=24.97
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4399 0 0 0 2495 2 0 0 19 0 3 0 376143775 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14588 3828 387 42 0 8840 0
[pid=26318/tid=26320] ppid=26316 vsize=58352 CPUtime=12.31
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 130 0 0 0 1231 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242895 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=58352 CPUtime=12.27
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 2 0 0 0 1227 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 58352

[startup+25.502 s]
/proc/loadavg: 1.30 1.08 1.02 3/80 26321
/proc/meminfo: memFree=1699608/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58352 CPUtime=50.5
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4399 0 0 0 5048 2 0 0 19 0 3 0 376143775 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14588 3828 387 42 0 8840 0
[pid=26318/tid=26320] ppid=26316 vsize=58352 CPUtime=25.11
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 130 0 0 0 2511 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=58352 CPUtime=25.02
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 2 0 0 0 2502 0 0 0 25 0 3 0 376143813 59752448 3828 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285353 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 58352

[startup+51.1014 s]
/proc/loadavg: 1.54 1.15 1.04 4/80 26321
/proc/meminfo: memFree=1699352/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=58916 CPUtime=101.57
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4540 0 0 0 10155 2 0 0 19 0 3 0 376143775 60329984 3929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14729 3929 387 42 0 8981 0
[pid=26318/tid=26320] ppid=26316 vsize=58916 CPUtime=50.7
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 132 0 0 0 5070 0 0 0 25 0 3 0 376143813 60329984 3929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242946 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=58916 CPUtime=50.49
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 141 0 0 0 5049 0 0 0 25 0 3 0 376143813 60329984 3929 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283800 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 58916

[startup+102.305 s]
/proc/loadavg: 1.80 1.28 1.09 3/80 26321
/proc/meminfo: memFree=1698904/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=203.75
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 20372 3 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=101.89
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 10188 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=101.48
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 10148 0 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 59312

[startup+162.301 s]
/proc/loadavg: 1.92 1.41 1.15 3/80 26321
/proc/meminfo: memFree=1698840/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=323.46
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 32343 3 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=161.87
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 16186 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242918 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=161.21
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 16121 0 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 59312

[startup+222.302 s]
/proc/loadavg: 2.01 1.53 1.20 3/80 26321
/proc/meminfo: memFree=1698840/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=443.17
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 44313 4 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=221.85
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 22184 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=220.94
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 22094 0 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.17
Current children cumulated vsize (KiB) 59312

[startup+282.302 s]
/proc/loadavg: 2.00 1.61 1.25 3/80 26321
/proc/meminfo: memFree=1698840/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=562.9
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 56286 4 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=281.82
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 28181 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242884 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=280.68
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 28068 0 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.9
Current children cumulated vsize (KiB) 59312

[startup+342.302 s]
/proc/loadavg: 2.00 1.68 1.29 3/80 26321
/proc/meminfo: memFree=1698776/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=682.62
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 68257 5 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=341.81
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 34179 2 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=340.42
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 34042 0 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241035 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.62
Current children cumulated vsize (KiB) 59312

[startup+402.302 s]
/proc/loadavg: 2.00 1.73 1.33 3/80 26321
/proc/meminfo: memFree=1698776/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=802.33
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 80228 5 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=401.79
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 40177 2 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=400.16
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 40015 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242471 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.33
Current children cumulated vsize (KiB) 59312

[startup+462.302 s]
/proc/loadavg: 2.04 1.80 1.38 3/80 26321
/proc/meminfo: memFree=1698776/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=922.05
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 92199 6 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=461.77
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 46174 3 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=459.9
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 45989 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.05
Current children cumulated vsize (KiB) 59312

[startup+522.301 s]
/proc/loadavg: 2.01 1.83 1.41 3/80 26321
/proc/meminfo: memFree=1698840/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=1041.78
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 104172 6 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=521.75
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 52172 3 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=519.64
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 51963 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.78
Current children cumulated vsize (KiB) 59312

[startup+582.301 s]
/proc/loadavg: 2.07 1.87 1.45 3/80 26321
/proc/meminfo: memFree=1698776/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=1161.48
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 116142 6 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=581.73
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 58170 3 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4243003 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=579.37
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 57936 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.48
Current children cumulated vsize (KiB) 59312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.05 1.88 1.46 3/80 26321
/proc/meminfo: memFree=1698776/2055920 swapFree=4168784/4192956
[pid=26318] ppid=26316 vsize=59312 CPUtime=1200.01
/proc/26318/stat : 26318 (ornithorynque) S 26316 26318 25972 0 -1 4194304 4644 0 0 0 119995 6 0 0 19 0 3 0 376143775 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 214928748411 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26318/statm: 14828 4033 387 42 0 9080 0
[pid=26318/tid=26320] ppid=26316 vsize=59312 CPUtime=601.04
/proc/26318/task/26320/stat : 26320 (ornithorynque) R 26316 26318 25972 0 -1 4194368 181 0 0 0 60101 3 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242995 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26318/tid=26321] ppid=26316 vsize=59312 CPUtime=598.59
/proc/26318/task/26321/stat : 26321 (ornithorynque) R 26316 26318 25972 0 -1 4194368 196 0 0 0 59858 1 0 0 25 0 3 0 376143813 60735488 4033 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 59312

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.621
CPU time (s): 1200.04
CPU user time (s): 1199.97
CPU system time (s): 0.070989
CPU usage (%): 199.467
Max. virtual memory (cumulated for all children) (KiB): 59312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4644
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= 22584

runsolver used 0.637903 second user time and 1.58176 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Mar 10 21:24:48 UTC 2007

IDJOB= 334273
IDBENCH= 24623
IDSOLVER= 139
FILE ID= node10/334273-1173561887

PBS_JOBID= 4101195

Free space on /tmp= 66502 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest04/others/Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/334273-1173561887/ornithorynque /tmp/evaluation/334273-1173561887/instance-334273-1173561887.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-334273-1173561887 -o ROOT/results/node10/solver-334273-1173561887 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/334273-1173561887/ornithorynque /tmp/evaluation/334273-1173561887/instance-334273-1173561887.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  bccff1bed1e8ac721090562d562b05f0

RANDOM SEED= 692119457

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.232
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.232
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:       1714440 kB
Buffers:         41392 kB
Cached:         216720 kB
SwapCached:       2600 kB
Active:         162644 kB
Inactive:       118312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1714440 kB
SwapTotal:     4192956 kB
SwapFree:      4168784 kB
Dirty:            2332 kB
Writeback:           0 kB
Mapped:          30332 kB
Slab:            46016 kB
Committed_AS:  1700484 kB
PageTables:       1832 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= 66502 MiB

End job on node10 on Sat Mar 10 21:34:51 UTC 2007